访问学者工作汇报

1、访问学者工作汇报我是计算机科学与技术学院教师-马艳芳，受淮北师范大学教师公派出国访学项目的资助，于2014年9月1日到2014年12月29日期间，在美国纽约州立大学石溪分校进行了为期四个月的学术访问，现已访学结束，于2014年12月29日回国。本次访学的主要目的是建立软件与环境交互量化模型的逻辑刻画。国外导师是纽约州立大学石溪分校计算机系教授-Scott Smolka教授。Smolka教授在计算机形式化方面取得了很多研究成果。在Smolka教授的指导下，按照事先制定的研修计划，顺利完成了所有研究内容，构造了一种逻辑系统用以刻画软件与环境交互的量化模型，同时认真撰写学术论文，积极参加学术研讨会和

2、其它学术交流活动，经常与导师和同学进行交流。四个月的访问学习使我收获很多，英语口语、专业知识及科研能力都得到了一定程度的提高。一、 科研方面由于在自己出国前就制定了较为详细、明确的访学目标及访学安排，所以到美国后就根据既有的安排开展工作。初次和导师见面后，为了让导师及其课题组的同事、同学对我的研究内容和取得的成果有一些了解，导师安排我于2014年9月24日做了一个学术报告。在报告中，就我最近的研究内容和取得的研究成果以及访学的目的做了详细的介绍。在报告过程中，Smolka教授及其同事、同学各抒己见，毫不保留，对我的研究内容和研究思路给予肯定的同时又提出了很多宝贵的意见。Smolka教授为了进一

3、步了解我的研究方向，安排我就我的研究内容做了一份调查报告。为了了解本学科最新的研究成果和前沿动态，我查阅了大量的资料，下载阅读了大量的科学文献，花费了大约2个月的时间完成了这份调查报告。在调查报告中，主要对为什么研究软件近似正确性、以及如何来建立软件近似正确性模型进行了总结分析。在软件理论的研究中，十九世纪八十年代左右，就开始了软件近似正确性的研究。对软件近似正确性的研究主要有两种方法，一种是从静态的角度建立软件的实现与其规范之间的量化模型。一方面主要对互模拟语义建立量化模型，另一方面对状态建立距离函数用以描述实现和规范之间的近似性。另一种方法是从动态角度研究软件的近似正确模型。主要是将软件的

4、执行过程用一个拓扑结构进行抽象描述，并建立其越来越正确的形式化模型。通过对软件的近似正确性进行调查，也发现了很多值得研究的方向和问题。于是，在访学期间除了完成软件近似正确性的逻辑刻画，还研究了模糊系统动态近似正确性模型及其拓扑性质。共完成了学术论文2篇，调查报告一篇。完成的学术论文如下，现已在审稿阶段：（1） 马艳芳，The quantitative model of interaction between software and its environment and the modal logical characterization.（2） 马艳芳，The infinite evolu

5、tion mechanism of -bisimulation based on residuated-lattice.（3） 马艳芳， The suvey of quantitative analysis of software approximate correctness 二、 学习生活方面在日常学习中，为了了解本学科的最新研究成果，经常与导师和课题组人员进行交流。课题组的学术气氛活跃，学术交流的形式多种多样，可以采用座谈、讨论、演讲、展示、实验、发表成果等方式进行。许多科研课题组每周均要进行一次组内报告，有利于提高学生的表达能力和促进其协作精神，但报告的形式非常自由，可以是集中的汇报，

6、也可以是通过网上交流平台进行问题的解答，也可以是邮件形式进行交流。同时，为了提高自己的科研水平，每天都去图书馆下载、阅读、打印相关文献和资料。石溪大学共有7个大小不等的图书馆，图书馆对外开放程度很高。图书馆及其网络对所有教师和学生均平等开放，藏书丰富,学生有机会接触到不同的学术观点和最新的知识。为了提高自己的英语水平，积极参加语言课程。石溪大学的visa and immigrant办公室和 Peter Soo 教授组织了每周一次的英语口语课程。在上课期间，可以与来自世界各地的同学、老师进行学术上和生活上的交流，了解不同国家和地区的科研环境、风土人情、文化差异等。通过该课程的学习，使我的英语口语

7、水平有了很大的提高。 由于石溪是一个海边的小镇，在日常生活中，为了了解当地的风土人情和当地的文化，周末经常会去海边或公园，看到当地人的生活节奏很悠闲，非常重视对大自然的保护，空气质量特别好。慢慢的，我对美国当地的文化风俗、生活习惯等也有了一些了解，也深深体会到了美国高度发达的社会文明以及自然与社会环境的和谐发展。临近回国，我去了纽约，近距离接触了自由女神像，登上了帝国大厦，无论是气势非凡的大都会博物馆，林立的高楼大厦，或繁华的时代广场，或浪漫的中央公园，无一不折射出纽约的繁华和魅力。我还去了费城、华盛顿，参观了国会山庄、白宫、华盛顿纪念碑，还去了旧金山、洛杉矶和圣地亚哥，参观了渔人码头、好莱坞、格瑞费斯天文台。三、 回国后的计划1、回国后，继续在该领域的基础研究和应用基础研究方面积极探索；借鉴国外先进的研究工作思路和理念，进一步明确本领域的前沿问题，理清研究方向，完善研究方法和手段，提高在软件可信性领域的实力，继续撰写相关的学术论文。2、将国外先进的教学思想和科研