计算机技术领域的杰出女性。 第三部分



如果不是全部,那么很多人都知道Ada Lovelace。 当然,她的作品值得全世界的认可和尊重。 但是,在计算机科学领域,有很多女科学家的名字很少被列入“前十名”。 他们的工作值得引起重视和尊重,因为这项工作的结果以某种方式影响了计算机世界,进而影响了社会生活。 今天,我们将稍微扩展我们的地理范围,并结识一些来自亚洲和欧洲的计算机界杰出女性。 走吧

浅川千惠子(Chieko)



不幸的是,并非所有人都能够在不必克服任何障碍的情况下设法实现目标。 财务问题,社会限制或家庭戏剧都可能造成干扰。 但是最严重的障碍可能是健康问题,因为我们的健康决定了我们。

浅川千惠子1958年出生于日本大阪。 她是一个活泼快乐的孩子,梦想成为奥运会冠军。 但是这个梦想注定不会实现。 浅川在11岁时游泳时受伤了视神经。 视力开始慢慢消失,但不可撤销。 到了14岁,她完全失明了。 对每个人来说,成为有前途的运动员和失去健康都是非常非常巨大的打击。

但是,浅川不屈不挠,站不住脚。 因此,她进入了Otemon Gakuin大学的英语文学学院,并于1982年获得学士学位。 此后,旭川为盲人完成了为期两年的计算机编程课程。 在培训期间,我们使用了非常酷的机电设备-Optacon(从光学到触觉转换器),可以将其翻译为“光学-触觉转换器”。 该设备允许盲人阅读普通印刷文本(不是盲文)。


(概括地说,设备) Optacon由两个主要部分组成:摄像头和触觉转换器。 一名男子跟踪摄像机,看了一下文字,将其固定好并将数据传输到主转换器模块。 它有一个24x6的金属棒矩阵,每个棒都可以单独振动。 因此,振动棒的某种组合产生了一种触觉图像,使盲人对特定字母,单词和整个短语有了一个想法。 这种独特的设备的创造者是约翰·G·林维尔(1919-2011)-斯坦福大学电气工程学名誉教授。

浅川说,她有一个问题,问谁,在哪里工作以及如何工作? 有视力的人有时很难找到工作,更不用说盲人了。 偶然地,Chieko发现盲人被雇用了作为计算机工程师。 Chieko毫不犹豫地双手抓住了这个机会。 1984年,她以临时雇员的身份加入IBM Research团队。 仅仅一年之后,她很快就成为了全职和永久雇员。

浅川为自己设定了创建工具的任务,该工具可以帮助残障人士获得全部信息,并与残障人士相提并论。 Chieko开发了用于盲文文档的文字处理程序,使盲人可以操作和编辑此类文本。 这是一项艰巨的任务,但不像创建数字盲文图书馆那样费力。 Chieko对此发表了以下看法:
在数字图书馆出现之前,我不得不给盲文图书馆打电话,说:“我想读哈利·波特,你能给我寄书吗?” 他们通过邮寄给我这本书。 但是,在电子图书馆发展之后,我们可以随时访问并下载书籍。
这项艰巨的工作过去对盲人非常重要,因为它给盲人带来了与所有人一起进入文学,知识和信息世界的机会。 头脑拥有“食物”的权利应该拥有所有人。

在图书馆工作之后,Asakawa开始为盲人开发另一个同样重要的“助手”-Netscape浏览器的插件,该插件可以将文本转换为语音,并改进了用于盲人需求的Web搜索工具。 IBM喜欢这个插件,并在1997年成为该公司的成熟产品,称为“主页阅读器”。 该插件已成为5年来最流行,最常见的文本转语音工具。 Asakawa Chieko于2004年获得东京大学的工程学博士学位。


浅川千惠子(Asakawa Chieko)从不中断智能手机,帮助她自己完成大部分工作。

IBM或全球科学界都没有忽视计算机技术领域的这些杰出著作。 2003年,浅川千惠子被列入技术名人堂的国际女性奖。 2009年,Chieko获得了IBM院士的荣誉(最高“头衔”)头衔,成为日本第一位获得此头衔的女性。 日本政府还指出了浅川的功绩,即“紫色丝带荣誉勋章”(自1955年以来颁发给那些对科学和技术发展做出了重大贡献的人)。


浅川千惠子(Asakawa Chieko)展示了他的成长-盲人助手(视频预览可能会显示错误,但实际上有效)

浅川目前正在开展无障碍项目,其主要任务是改善残疾人(残疾人,老年人等)的生活。 该项目应使用包括人工智能在内的现代技术来简化此类人的生活,使他们更容易获得信息,能够在城市中全面流动并过上积极的社交生活。
我的动力是当我开始做某件事时,我必须完成它。 我不能放弃一半。 作为一个盲人,我很难获得信息或行动。 这种痛苦的经历帮助我使自己的生活现代化。 我真的很喜欢哈利·波特。 尽管他在非常困难的条件下长大,但他的心并未破裂。 他从不放弃,总是试图帮助人们。 我认为我们可以学到很多东西。 我没有哈利·波特那样的魔力。 我只需要努力改善生活。 无论有无视力,都很难比较哪种生活对我更好。 但是现在我可以说-我很高兴。



在这段视频中,浅川千惠子谈到了今天最重要的事情,以及技术如何帮助盲人。

浅川不仅是杰出的工程师和开发人员。 她不仅是残疾人的榜样,也是那些没有遇到类似困难的人的榜样。 您永不放弃,您永不停止相信自己和您的思想。 也许,到达工作的终点时,您不会喜欢结果。 它可能没有您想要的那么出色。 但是,如果您中途放弃或害怕走这条路,那么根本没有结果。

亚历山德拉·莫西洛维奇(Alexandra Moysilovich)



为了造福社会,并非总是有必要发明或开发新事物或改善旧事物。 有时,为了改善社会生活,有必要分析这种生活。

亚历山德拉·莫西洛维奇(Alexandra Moysilovich)1968年出生于贝尔格莱德(当时的南斯拉夫)。 小时候,亚历山德拉想成为一名艺术家。 她的父母对这类计划反应克制,但严格地:
父亲告诉我,我可以成为任何人。 但是,当我一文不名时,我必须确保他们将不必支付我的账单。
这是一个非常不透明的暗示,表明艺术家会饿了,您需要选择其他路径。 亚历山德拉(Alexandra)拥有对精确科学的好奇心和良好的技能,进入了贝尔格莱德大学的电机工程学院。 1992年,她仅两年就获得了学士学位,并获得了硕士学位。 由于该国的政治和经济危机,这些年对亚历山德拉和她的所有同胞来说都是艰难的。


受炮击影响的住宅建筑物(萨拉热窝市)
我在一个不复存在的国家长大。 情况非常困难。 有时没有天然气,电力,水甚至食物。 这个时期决定了我将来会怎样。 总的来说,他让我更加开朗(欣赏生活)和坚强。
她的博士学位论文是亚历山德拉(Alexandra)生活的转折点,她于1997年成功辩护。 她的工作被所谓的“计算机视觉”描述。 亚历山德拉想教一台计算机来查看和分析图像,或者说X射线,以确定可见的癌症症状。 谁曾想到她的工作会被世界另一端的科学家,即贝尔实验室(Bell Labs)的科学家所关注。 1998年,她受邀加入贝尔实验室,并移居美国。 然后她工作到2000年。 并非没有失望。 她在计算机视觉方面的工作引起了所有人的兴趣,但很快就被人们遗忘了。 亚力山德拉意识到自己当时无法实施,便转而从事另一项同样复杂而重要的工作,即大数据分析。 那时,根本不存在诸如“数据科学”或“数据分析(计算/处理)”的概念。 2000年,IBM邀请亚历山德拉(Alexandra)到一个研究中心工作,直到今天。


科学字母:字母D =数据。 Alexandra Moysilovich谈到数据的重要性以及如何使用它们

亚历山德拉·莫西洛维奇(Alexandra Moysilovich)目前是位于纽约约克镇高地的托马斯·沃森研究中心的AI基金会负责人。 该部门从事机器学习,多维信号处理,模式识别。 最重要的是,通过将这些技术应用于社会的各个领域:医疗保健,财务建模,业务分析,生物识别等。

Moysilovich还是IBM Science for Social Good项目的联合主任,该项目旨在在改善社会的过程中最有效地使用现代技术。


亚历山德拉·莫西洛维奇(Alexandra Moysilovich),“数据分析造福社会”

亚历山德拉·莫西洛维奇(Alexandra Moysilovich)不仅分析数据,而且还创建了此过程中越来越多的新方法,因为进行的分析越准确,越快和越好,使用结果的效率就越高。 亚历山德拉在该领域已经拥有15项专利,这显然不是极限。

数据在社会中非常重要。 他们每天都围绕着我们,即使我们不考虑这一点。 了解数据,我们了解本质。
2006年,一个人走近我,请我分析各种公司。 他想向某人证明投资IT外包的公司要比不投资IT的公司更好。 经过分析大量数据,我们能够证明这一说法的正确性。 分析结果已变得比任何广告活动都强大。
继续公司内部数据分析的重要性这一主题,Alexandra说:
想象一下,公司拥有完美的员工。 他按时完成所有工作,即使是最无望的项目也可以应付。 如果创建他的个人数学模型,则根据其参数,可以选择公司中相同的员工。
亚历山大不得不对大数据进行类似的分析,为超过50,000名IBM员工创建了数学模型。

亚历山德拉(Alexandra)对数据科学的贡献获得了许多奖项的标记,而IBM为她的员工授予了最光荣的头衔-IBM Fellow。



数据分析不是科学活动中最突出的领域。 大多数情况下,该领域的科学家始终身处更大,规模更大且“充满活力”的项目和研究的阴影之下。 但是,请不要忘记,任何其他项目都基于需要分析的所有相同数据。 这个过程就像人类的空气一样,在信息技术世界中是不可或缺的。 处于数据科学最前沿的亚历山德拉·莫西洛维奇(Alexandra Moysilovich)的惊人作品证明了这一点。

冯检基



机器(Android或计算机)能否在情感上完全理解一个人? 我要回答的第一件事是不。 车上没有情绪,她怎么能理解? 但是,并非每个人都这么认为。

冯德铭(Pascal Fung)1966年出生于中国上海市。 她的父母是艺术家,因此顺理成章地为一个艺术男人的未来做好了准备。 冯先生11岁那年,1977年与母亲和妹妹一起移居香港。 由于中国刚刚开始从“文化大革命”的后果中恢复过来,所以这一时期对中国所有居民来说都是极其困难的。

“文化大革命”
我们不会详细介绍。 但是,在此期间,在害怕失去权力的毛泽东的领导下,采取了“措施”来对抗反对派。 这严重打击了文化,经济和社会其他领域。 数百万人被处决,杀害和压制。

冯被艺术所包围,但她选择了确切的科学。 整件事都在她从小开始阅读的书中。 关于不可思议的技术,关于未来,关于机器人的科幻小说将Pascal推向了计算机科学的方向。

Pascal在香港历史最悠久的女子学校Belilios接受中学教育。 在学校里,她为学生组织了两个圈子:电子学和天文学。 冯检基认为,她的环境没有刺激也没有鼓励有志于科学的女孩。 因此,冯的下一个教育阶段不在中国,而是在美国。 她于1988年从伍斯特理工学院获得学士学位。 五年后,她成为哥伦比亚大学的计算机科学硕士学位。 自然,没有人会想到这一点,因为冯在1997年就成为了理学博士。


Belilios校舍

在那些日子里,帕斯卡(Pascal)的想法以及她对计算机世界的未来的看法对许多人来说都是极为不寻常,未来主义甚至革命性的。 但是,无论别人怎么说,冯在她的领域继续工作,即在机器与人的互动领域。 冯检基在其工作中使用的主要领域是自然语言处理,对话语言系统,情绪和情绪的识别以及预测分析。 这些区域的组合使您可以创建智能系统,该系统不仅可以在语音级别理解一个人,而且可以在情感级别理解一个人。
我们在和动物聊天。 正是我们说话的语气,我们单词的情感背景,可以帮助他们理解我们,甚至不了解单词本身。 因此,情感背景是语义表示的重要组成部分。
在她漫长的职业生涯中,冯德华为人机交互等复杂的计算机科学领域的发展和改进做出了巨大贡献。 考虑到她的职业性质,她仍然并行学习6种语言,这并不奇怪。 目前,冯先生作为香港科技大学的教授,继续从事研究和管理各种项目。 其中之一是android的“会说话的头”。 该机器不仅能够识别对话者的讲话,而且能够识别他的微面部表情以及短语的情感背景。 Android将能够讲话,显示与口语短语,对话主题或对话者情感相对应的情感。

除上述内容外,Fung还是许多研究小组的负责人,这些研究小组涉及机器人技术,物联网甚至财务分析。 由于冯先生在语言和技术配对方面的努力,第一个中文搜索引擎于2001年发布,并于2010年发布了第一个中文智能手机虚拟助手。


冯教授获得香港女性专业企业家协会颁发的奖项后

Fung在语音识别,情感AI的实现,人机交互的扩展等方面的巨大工作,获得了许多荣誉称号和奖项。 冯还定期参加各种国际科学和经济论坛。

以下是冯教授从其官方页面获得的头衔,奖项和事件清单:
电气电子工程师学会(IEEE)研究员
国际语音交流协会(ISCA)研究员
世界经济论坛(AI)和机器人技术全球未来理事会成员(2016-)
计算语言学协会SIGDAT主席兼董事会成员
人工智能伙伴关系成员
计算机语音和语言编辑
2018、2020年IEEE国际声学,语音和信号处理会议(ICASSP)技术联席主席
2017年MT峰会计划联席主席
2017年11月,深圳,世界经济论坛中国企业圆桌会议特邀发言人和小组成员
2017年10月,香港雀科周,金融人工智能在未来的主题演讲者
小组成员,“人工智能:数字经济和社会的未来”,日本世界经济论坛和第四次工业革命系统倡议研讨会,东京,2017年10月
Keynote Speaker, “Sentiment and Emotion-aware Natural Language Processing”, Machine Learning Decoded, Bloomberg Summit, Singapore, October 2017
Invited Panelist, “Engineering Your Business”, Wharton Global Forum, Hong Kong, June 2017
Invited Speaker, “Sentiment and Emotion Recognition in Speech and Language”, JP Morgan Innovation Day, Hong Kong, June 2017
Panelist, “Artificial General Intelligence: Why Are We Not There Yet?”, Institute of Advanced Study, HKUST, June 2017
Speaker, “Speech and Language Processing for Big Data and AI”, HKUST Big Data Day, May 2017
Keynote Speaker, “Sentiment Analysis for Financial Analysis”, Conference on AI, Machine Learning and Sentiment Analysis Applied to Finance, Hong Kong, 14-15 March 2017
Keynote Speaker, “Robots with Heart: Towards Empathetic Human-Machine Interactions”, IEEE Spoken Language Technology, San Diego, December 2016
Invited Speaker, “Difficulties and Experiments with Data Collection for Speech Emotion Processing and Recognition”, University of Stuttgart, Germany, October 2016
Invited Speaker, “How To Make Robots Empathetic to Human Feelings in Real Time?”, O'Reilly AI Summit, NYC, September 2014
Invited Speaker, “Artificial Intelligence: Blurring the Lines Between Humans and Machines”, Milken Institute Asia Summit, Singapore, September 2016
Keynote Speaker, “Towards Empathetic Human-Robot Interactions”, Third Workshop on Big Data and Computer Intelligence, Beijing, July 2016
Invited Panelist, “AI and Robotics”, Goldman Sachs TechNet Conference Asia-Pacific 2016, Hong Kong, May 2016
Keynote Speaker, “Towards Empathetic Human-Robot Interactions”, 17th International Conference on Intelligent Text Processing and Computational Linguistics, April 2016
Area Chair, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2009, 2010, 2011, 2012, 2013, 2014
Technical Co-Chair, 2014 IEEE Spoken Language Technology Workshop
Area Coordinator, Interspeech 2010, 2011, 2014
Area Chair, EMNLP 2014
Program Chair, The 51st Annual Meeting of the Association for Computational Linguistics 2013


除科​​学活动外,冯氏还促进“技术转让”(当一项新技术或研究尚未完成,而是在社会中传播,从一所大学到另一所大学,从一个实验室到另一个实验室,等等)传播时,促进了性别平等和思想的胜利。


冯检基(Pascal Fung)的主题为“全面的计算机培训”的访谈

始终很难做到,因为您没有机会利用之前积累的经验,因为它根本就不存在。但是,这不是不可克服的障碍。这只是实现目标的困难。即使这个目标像人与机器之间的情感交流一样不寻常且具有未来性。

Mary Lee Woods



创建程序可能非常困难。即使付出最大的努力,它仍然可能包含错误。寻找这些“库存”可能会更加困难。特别是如果我们在谈论50年代示例的程序和计算机。

玛丽·李·伍兹(Mary Lee Woods)于1924年3月12日出生于英国伯明翰市。玛丽的父母是老师。在学校(Yardleys学校)学习期间,Mary对数学表现出了极大的兴趣。而且由于该学生不能一次(连续学习)学习很多科目,因此玛丽不得不放弃英语和法语,以便她可以从事更多的数学,地理和物理学工作。


Yardleys学校建筑

她的父母从小就鼓励她的女儿接受教育,因为他们属于那些相信女人应该有其他选择,选择生活道路,而不是结婚子女领取养老金的人。这是玛丽本人对此的评价:
据我所记得,他们在一次妇女会议上相遇(妇女在会议上表达了自己的权利),关于妇女权利的想法使他们非常着迷。他们意识到,女人必须想要和感觉到。重要的是,除了婚姻以外,还有另一种选择,当时很多人都认为婚姻已成为常规,甚至现在很多人都这样认为。
在玛丽开始在伯明翰大学学习之前,全世界都面临着纳粹的侵略。玛丽和其他居民一样,被疏散到格洛斯特郡的利德尼小镇。根据伍兹的说法,今年并非易事。被疏散的孩子住在Lidney镇民的家庭中,感到自己极度缺乏食物。在冬季,这里没有供暖的场所。
. — . , , , - .
一年后,孩子们回到伯明翰。爆炸造成的损失是巨大的。玛丽所学习的学校遭受炸弹袭击,因为屋顶上布满了小孔,没有暖气,在雨天,一切都被水淹没了。因此,大多数时候,这些课程是在防空洞中举行的。教育过程也不是那么顺利。早期的教学人员是男女混合的。人们之所以被打仗,是因为老师们过时了。


轰炸后的伯明翰街头

两年来,我有5位不同的数学老师。不建议这样做。之后,我考虑了下一步该怎么做。国家为工程师提供了奖学金,我利用它来了曼彻斯特。

从1942年到1944年,玛丽在伯明翰大学学习,但是在这些年中,许多学生被派往各个军事基地。最初,玛丽应该在范堡罗的航空研究实验室工作。但是鉴于悲剧事件,计划已经改变。玛丽的唯一兄弟加入了士兵行列,在战斗中被杀。玛丽无法离开她伤心欲绝的父母。因此,她请愿她转移到马尔文市(伍斯特郡)。在这个地方,一切都集中在雷达上,据玛丽说,她根本不了解任何东西。经过两年的研究,伍兹回到大学并于1947年完成学业。


大莫尔文南部地区(1949)

玛丽对战争感到厌倦,对哥哥的死怀有悲痛之情,迈出了决定性的一步。在阅读了《皇家天文学会月刊》上的理查德·范德·里埃特·伍利教授的文章后,她决定从事天文学。伍兹给教授写了一封信,他回信并邀请他在堪培拉天文台工作。


恒星光谱分类表的示例

这是玛丽·伍兹(Mary Woods)如何描述她在天文台的工作:
: . , , . , , . , . 2 , , , , .

, . . , . .
玛丽真的不喜欢星星上的例行和单调的工作,所以三年后她回到了家乡。伍兹再次面对他未来的不确定性。但是,正如他们所说,事故并非偶然。玛丽在《自然》杂志上看到一则广告,“数学家想在数字计算机上工作”。

一个有趣且有吸引力的报价,但是什么是“数字计算机”?这是玛丽想到的问题。
我不知道那是什么 在此之前,我使用的最大值是Brunsviga(机械计算器)。



机械计算器Brunsviga Nova 13(发布年份-1920年)

Mary在图书馆里呆了两天,研究计算机是什么,然后接受了采访。为了增加获得工作的机会,伍兹问了一些聪明的问题,尽管那时她还不太了解答案。

玛丽·伍兹被聘为程序员。由约翰·贝内特(John Bennett)领导的一组工程师和程序员正在研究Mark I计算机的商业版本(第一台具有RAM程序的全电子计算机),名为Ferranti Mark1。计划制造一种可以免费出售给任何人的公共计算机。后来,发布了更高级的版本-Ferranti Mark 1 *。


汤姆·基尔本(Ferranti Mark 1的创造者之一)站在他的创作旁边(1950年)

伍兹用机器代码编写程序。该计算机使用40位算术。在保持相当高的准确性的同时,这极大地复杂化了在程序中缩放变量的过程。

一群程序员决定以5位Bodo二进制代码的形式将一个从0到31的数字序列嵌入到磁带上,该磁带用于输入/输出:
/ E @ A:SIU½DRJNFCKTZLWHYPQOBG»MXV£
另一个麻烦是两层存储。 阴极射线管上有8页随机存取存储器,磁鼓上有512页二级存储。 每页包含32个40位字,这些字在CRT上显示为64条20位行。

所有这些都是非常困难的-要使汽车正常工作。 但是,当它起作用时,会发生错误,就像有人没有在避免它们一样。 诊断这些错误非常困难且耗时。 程序员必须坐下来观察计算机如何一次执行一项操作,以查看是否一切正常或有问题。 这个过程花费了宝贵的时间。 然后项目经理John Bennett建议Mary Woods编写一个程序,该程序可以打印特定程序中的内存内容和各个存储行,从而摆脱了对计算机进行持续监控的需要。 对Mary而言,最困难的事情是使该程序并行化,也就是说,在不干扰她的情况下,使其与诊断目标(主程序)同时工作。 而且,主存储器中的空间很小。 玛丽编写了一个程序,该程序可以同时求解40个方程,这在当时是非常多的。


玛丽·伍兹(Mary Woods)和她的丈夫康威·伯纳斯·李(Conway Berners-Lee)(1954)

除了编程外,伍兹还一直倡导妇女权利。 她发现项目员工的薪水比员工少,尽管工作相同,即使难度更高,金额也一样。 玛丽不想容忍这种态度,向人事部门抗议并投诉。 她的薪金调平要求已获批准。

玛丽·伍兹(Mary Woods)一直从事Ferranti项目,直到1955年才退休。 她想花时间与家人和刚出生的儿子在一起。 但是,即使在房屋的墙壁内,也不会没有这样的优秀专家。 大小不一的许多项目都开始向她寻求帮助。 因此,玛丽成为第一批自由职业者之一,在不离开家的情况下完成了编程命令。


玛丽·伍兹(Mary Woods)的儿子,万维网的创建者蒂莫西·约翰·伯纳斯·李爵士

玛丽总是谦虚地谈论自己的编程技能和对该科学的贡献。 但是,无论有什么事情,还有她的儿子,她总是准备夸耀。 这并不是偶然的,因为玛丽·伍兹(Mary Woods)是蒂姆·伯纳斯·李(Tim Berners-Lee)的母亲,后者是创建万维网的人。
我最大的优点就是成为互联网的祖母。
玛丽·伍兹(Mary Woods)是跟随您的心脏的一个典范。 如果您想成为一名化学家(例如),那么即使是最有趣的活动也不会令您感到高兴。 您将始终后悔没有遵循自己选择的道路。

玛丽·伍兹谈论编程的简短录音

玛塔·克瓦特科夫斯卡(Marta Kwiatkowska)



有时,要寻找错误,就需要最标准的方法。

Marta Kwiatkowska于1957年2月26日出生于波兰。 玛尔塔(Marta)在雅加隆大学(Jagiellonian University)接受高等教育,该大学是克拉科夫市最古老的大学。 她立即​​获得了计算机科学的学士和硕士学位。 作为一名学生,她非常有才干,这是因为她获得了“最高荣誉”徽章(具有最高的自尊),这是波兰知识评估系统中最高的分数。


莱斯特大学大楼

1989年,玛塔(Marta)在莱斯特大学(英国)为自己的博士学位辩护。 多年来,Kwiatkowska在世界各地的多所大学任教。 但是,她不仅为此受到了公众的认可。

作为一名研究员,Kwiatkowska致力于概率系统的研究,建模和验证。 以及创建新的模型测试技术。

玛莎和她的团队的辛勤工作导致了概率性的符号验证者PRISM。 ( 棱镜报告

PRISM是一个正式的验证程序*,用于对具有概率特征的系统进行建模和分析。 这种系统的起源可能是在蓝牙通信协议或安全协议(例如,人群或洋葱路由)中使用概率算法(随机化)。 可以使用PRISM分析的系统还包括生化反应(代谢)。

使用PRISM,可以分析马尔可夫链(具有离散时间和连续时间),马尔可夫决策过程以及临时自动机形式化的概率扩展。

*正式验证
一种验证验证对象与其描述相符(或不一致)的方法。 由于软件测试无法完整显示错误的存在与否以及属性和特性的对应关系,因此使用形式验证。


PRISM的另一个功能是其开源。 任何人都可以研究该软件的代码。 并且在2013年和2014年,PRISM参加了Google Summer of Code(Google举办了一项年度竞赛,参与者将其作为开源项目的一部分来执行某些任务。优胜者将获得50,000美元的奖励,而该项目本身为每个参与者500美元)。


工作环境PRISM

如果您有兴趣查看PRISM是什么以及它的工作原理,则可以从链接中下载程序及其代码。

PRISM是同类中第一个正式的验证工具,也是该领域后续开发和研究的金标准。

PRISM的创建虽然是一项杰出的工作,但它远非Marta Kvyatkovskaya的职业生涯中的唯一一位。

Martha Kvyatkovskaya的作品清单:
1.概率/定量验证的实施已成为世界实践的标准,并将这些过程从理论领域转移到实践中。

2.框架:
-概率系统的语义模型;
-验证概率时间机器和概率软件;
-用于测试概率系统的多功能模型;
-无线传感器网络软件;
-随机游戏的定量多用途验证和控制器综合;
-定量运行时间和增量验证;
-概率模型参数的综合;
-称职的系统。

3.通过概率验证检测蓝牙错误。

4.已经创建了一个框架,用于起搏器模型(验证对象)和心脏个性化模型(验证对象的描述)的闭环验证。

5.第一次,在系统生物学中进行了定量测试,以鉴定成纤维细胞生长因子的定量特征,随后通过实验进行了证实。

6.概率验证,用于自动搜索和诊断DNA结构中的错误,这对于研究DNA机器的计算潜力和可靠性分析并设计DNA折纸的预测模型(二维和三维纳米图,其中DNA作为建筑材料)是必要的。


毫不奇怪,通过查看这些作品清单,玛莎获得了许多奖项和荣誉。 目前,除了研究以外,玛塔还在牛津大学任教,她在那里是计算机科学教授。


Marta Kwiatkowska和她的学生们(2016)

Marta Kwiatkowska目前正在领导由欧洲研究理事会赞助的移动自主项目,该项目将于2020年结束。


Marta Kwiatkowska谈论移动自主机器人

不幸的是,我无法找到有关推动Marta走向计算机科学道路的信息。 但是不管它是什么,它都没有白费。 出色的思维能力,分析和确定某些因果关系的能力以及创造性的方法使玛莎能够创造出宏伟的事物,为此,她将在非常非常长的时间内被铭记。

结语

令人遗憾的是,大多数科学家的重要研究,创新,发现和发展仅在非常狭小的人群中才为人所知。 尽管我们每天都感受到他们工作的影响,但是因为我们的生活已经与技术(尤其是计算机技术)密不可分。 任何科学家,无论是女人还是男人,首先都是科学家-一个有好奇心并且渴望了解改进和创造的方法和方法的人。 无论如何,如果您要为社会的福祉而建,如果您要致力于科学世界,那就采取行动。 不要放弃,继续朝着目标前进。 这条路可能漫长而曲折,但越困难,完成时的感觉就越明亮。 探索,思考和创造。

感谢您与我们在一起。 你喜欢我们的文章吗? 想看更多有趣的资料吗? 通过下订单或将其推荐给您的朋友来支持我们,为我们为您开发的入门级​​服务器的独特模拟,为Habr用户提供30%的折扣: 关于VPS(KVM)E5-2650 v4(6核)的全部真相10GB DDR4 240GB SSD 1Gbps从$ 20还是如何划分服务器? (RAID1和RAID10提供选件,最多24个内核和最大40GB DDR4)。

戴尔R730xd便宜2倍?在荷兰和美国,我们有2台Intel Dodeca-Core Xeon E5-2650v4 128GB DDR4 6x480GB SSD 1Gbps 100电视(249美元起) 阅读有关如何构建基础架构大厦的信息。 使用价格为9000欧元的Dell R730xd E5-2650 v4服务器的上等课程?

Source: https://habr.com/ru/post/zh-CN411657/


All Articles