• 摘要

尊敬的老师或同学：

http://www.global-sci.org/mc/issues/2/no2.

目 录

数学人物

入门须引路 功夫法自修 —— 王元院士谈数学教学
六十自述

数学趣谈

数学微博文摘
写在数学情人节
数学家与诗人

数学烟云

医学护理先驱南丁格尔的统计思想和方法
黎曼猜想漫谈（连载三）
复数及其文化意义

数学教育

数学的发端和演变
黑森林中的数学胜地
几何之美（一）

数学经纬

旦复旦兮，吾将上下而求索
聊聊数学家的故事（连载五）
翰林外史连载（连载四）

数学家随笔

读郭沫若一篇短文有感
钱学森的晚年遗憾和温家宝的视察照片

数学人书评

白天鹅的反击 ——书评：《黑天鹅》

我们希望您能帮助宣传我刊; 让更多的人(包括中学大学学生)读到我们的刊物.也希望您不吝赐稿, 成为我们的作者. 如果您想订阅本刊, 请电邮: sxwh123@gmail.com.

• 摘要

来源：科学时报
近日，第二届全国高校数学文化课程建设研讨会在南开大学省身楼举行。来自美国密歇根大学、台湾世新大学、清华大学、南开大学、上海交通大学、浙江大学、南京大学等20余所高校的专家学者在会上作了主题报告。
学习数学也要提高人文素质
教育部高等学校文化素质教育指导委员会主任委员、中国科学院院士杨叔子，在作“文理交融打造‘数学文化’特色课程”主题报告时指出，数学不只是一个科学工具，也不只具有强大有力的工具理性。作为传道、授业、解惑的教师，更不能只将数学作为科学工具来进行教学、育人。
关于“怎样定义数学”，杨叔子指出：“数学是文化，是人类文明的重要基础；数学是科学，是哲理思维，蕴涵着深刻而丰富的人文文化。学习数学，既要提高数学素质，提高科学素质，又要提高思维品质，提高人文素质。”
谈到数学教学的任务，杨叔子说，其重要之处在于要完善学生的自我全面发展。他说，数学文化课程实际上也包涵着讲授数学发展史、数学家成长史，这本身就是一个极好的育人过程。“教育就是以文化育人，育全面发展的人，这既靠科学文化也靠人文文化；既靠工具理性，更靠价值理性。”
杨叔子说，数学发展史、数学家成长史清楚地表明，没有一个个卓越数学家的坚定信念、执著追求、不懈努力，就没有一个个撼世的数学成果。数学学习者应从中得出深刻的启迪。同时，数学发展过程也是人的认识发展过程极富典型的范例，这告诉人们，前进并非没有艰辛，没有坎坷，没有曲折，既要敢于开拓，又要善于学习，善于总结，善于开拓。杨叔子在报告中指出：“通过学习数学，学习数学文化，来提高学生的科学文化与人文文化相融合的文化素质，从而促进两种文化的交融，正是文化素质教育的核心。”
数学家应有诗人气质
中国科学院院士严加安在题为《科学与艺术有共性也有交融》的报告中，详细讲述了科学与艺术的共性、数学与诗歌的共性、科学与艺术怎样交融。
严加安指出，科学和艺术最主要的共性，是追求一种普遍性和永恒性，在创作中追求“真”和“美”。此外，科学和艺术的创作都需要智慧和情感，它们具有共同的美学准则。“‘创新性’是科学和艺术共同的美学准则之一，只不过在艺术那里把‘创新性’叫做‘艺术风格’。”严加安利用李白与杜甫、肖邦与李斯特作对比，指出“判断一个艺术品的成就高低，主要是看它有没有独特的艺术风格。判断一项科学成果的价值，主要也是看它有没有创新，如果没有创新，肯定没有太大价值”。
具体到科学的一个门类“数学”和艺术的一个门类“诗歌”，严加安详细分析了它们之间的共同特性。他引用英国数学家哈代的话“画家进行色彩与形态的组合，音乐家把音阶组合起来，诗人组词，数学家是把一定类型的概念组合起来”，以此说明“数学是一门创造和组合数学概念的艺术”。
对于数学与诗歌之间的共同特性，严加安认为在于数学理念像诗歌创作、二者都追求和谐与简洁、数学中的“对偶”与诗歌中的“对仗”异曲同工、二者的创作都需要直觉和想象。严加安说：“一个数学家不一定要写诗，但是气质要像诗人，即要有丰富的直觉和想象，这样才能作好数学研究。”
数学之美表现于思想本质
南开大学数学科学学院教授顾沛简要介绍了南开大学的数学文化课程。他表示：“科学求真，人文求善；真和善又都导致美。美，具有文化的属性，而数学科学是美的。数学文化课，就要让学生感悟数学的美。”
顾沛说：“数学的美，表现在许多方面，特别表现在数学的本质上，表现在数学的思想、精神上。”他着重讲述了黄金分割点的再生性，认为其再生性是“黄金分割”美的数学依据。而0.618这个“黄金分割点”能产生“优选法”，“这告诉我们——美的东西和有用的东西之间，常常是有联系的”。
此外，顾沛认为“等于”的思想，把不同的两件事物看做相同，是非常了不起的思想，这是数学发生、发展的基础。他表示，数学文化课从文化的角度来看数学，应该引导学生重视“等于”，并且与学生一起，共同找出“等于”的实质，那就是事物之间满足反身性”、“对称性”和“传递性”的一种关系。
紧接着，顾沛阐述了“逼近”的思想。他解释说，数学从数量关系和空间形式上刻画和反映客观世界，当然希望准确地刻画和反映。但是，客观世界是纷繁复杂的，人们未必能够马上就十分准确地刻画，所以就有一个“逐步准确”的过程，就产生了“逼近”的思想，就有了“以简代繁”的手段，就出现了数学“以简驭繁”的效果。这种“逼近”的思想，也是非常深刻的数学思想。古希腊阿基米德的“穷竭法”，中国古代数学家刘徽的“割圆术”，牛顿“微分学”中的“舍去高阶无穷小”，都是“逼近”思想的具体运用。

• 摘要

来源：科学时报
7月29日，国家自然科学基金委员会、科技部、教育部、中国科学院、中国工程院、中国科协等6部委的科研道德建设相关负责人及专家100余人共同参加了在京举行的科研诚信教育座谈会。
国家自然科学基金委员会主任、中国科学院学部道德建设委员会主任陈宜瑜院士指出，对当前中国科学发展来说，科研诚信教育，尤其是科研人员在入门阶段所接受的科研诚信教育至关重要。
“目前，中国大部分高等院校还没有开设科研诚信、科研行为规范的课程，也缺乏适合的教材和读本。”陈宜瑜说，“许多年轻人甚至有一定经验的科研工作者都并不清楚哪些属于不当或不端行为，需要加强对他们的诚信教育。”
教育部科学技术学风建设委员会主任吴常信院士、中国科协科技工作者道德与权益专门工作委员会主任黄伯云院士等会议代表指出，实施科教兴国战略和建设创新型国家对加强我国科研诚信建设提出了迫切要求。加强科研诚信建设需要进一步健全完善科研评价体系和监督惩处机制，但更需要加强科研诚信和科研行为规范教育。
作为促进科研诚信建设的一项举措，国家自然科学基金委会同有关部门，结合我国科研诚信教育薄弱的现状，先后征求国内外专家意见，最后遴选出《科研诚信：负责任的科研行为教程与案例》一书，并组织翻译出版。该书作为负责任的科研行为的课程和研讨教材，旨在对科研人员的价值观、道德观以及负责任研究行为给予充分引导，是美国负责任的科研行为领域最畅销的一本教材。
据悉，为推进我国高校和科研单位加强科研诚信教育，基金委还将为这些单位集中购书提供一定额度的经费支持。据基金委副主任何鸣鸿介绍，该书在7月29日首发当天就被相关部门订购了超过17000本。

• 摘要

来源：科学时报
日前，随着第七届国际工业与应用数学大会（ICIAM2011）在温哥华闭幕，第八届ICIAM的筹办也提上日程。下届大会将于2015年在北京举办，由中国工业与应用数学会联合中国数学会、中国运筹学会和中国计算数学会组织承办，大会秘书处设在中科院国家数学与交叉科学中心。
第八届ICIAM将由中国工业与应用数学会名誉理事长李大潜院士担任大会指导委会主席，中国工业与应用数学会现任理事长郭雷院士担任大会主席，中国数学会现任理事长马志明院士担任大会程序委员会主席。
据悉，ICIAM每四年举办一次，是国际工业与应用数学最高水平与最大规模的盛会，参加人员包括国际著名或资深学者、决策者、工业界代表以及年轻学者和研究生，对国际工业与应用数学的发展起着非常重要的推动作用。

• 摘要

“两弹一星功勋奖章”获得者，中国科学院院士、中国工程院院士，国际宇航科学院院士，著名光学家，我国近代光学工程的重要学术奠基人、开拓者和组织领导者，杰出的战略科学家、教育家王大珩先生，因病于2011年7月21日13时02分在北京逝世，享年96岁。
王大珩先生1915年2月26日出生，祖籍江苏吴县。1936年毕业于清华大学物理系。1938年考取“庚款”留学生，在英国伦敦大学帝国理工学院应用光学专业学习，获理学硕士学位。1941-1942年在英国雪菲尔德大学玻璃制造技术系，攻读博士学位。
1942-1948年在英国昌司玻璃公司从事光学玻璃研究工作。1948年回国。1949-1951年任大连大学教授，应用物理系主任。1951年到中国科学院工作，1952-1983年在长春从事光学仪器与工程研究，1983年调至中国科学院技术科学部工作。
王大珩先生历任中国科学院长春光学精密机械研究所所长，中国科学院长春分院院长，中国科学院技术科学部主任，中国科学院空间科学技术中心主任；解放军总装备部科学技术委员会顾问；长春光学精密机械学院院长，哈尔滨科学技术大学校长；中国科学技术协会副主席，北京市科学技术协会主席，中国光学学会理事长，中国仪器仪表学会理事长，中国计量测试学会理事长，中国高技术产业化研究会理事长等职。
王大珩先生1978年10月加入中国共产党。曾当选为中国共产党第十二次全国代表大会代表，全国人民代表大会第三、四、五、六届代表，全国人民政协第三、七届委员。
王大珩先生在光学与光学工程研究和组织领导工作中做出了杰出贡献。他主持150工程，领导研制我国第一台靶场装备大型精密光学跟踪电影经纬仪；主持718工程，领导研制我国第一台激光红外电视电影经纬仪和船体变形测量系统，为发展我国的尖端武器做出了杰出贡献。曾荣获国家科技进步特等奖，名列首位；何梁何利基金科学与技术成就奖、国家“两弹一星功勋奖章”；国家“863计划”特殊贡献先进个人称号。
王大珩先生远见卓识，从战略高度上思考并联合其他科学家对国家科学技术发展提出多项重大建议。关于跟踪研究战略性高技术发展的建议，最后成为国家《高技术研究发展计划纲要》（简称“863”计划），使发展高科技成为实现我国科技现代化的一项重要战略部署。这些建议为国家科技决策发挥了积极作用，产生了深远影响。
王大珩先生也是杰出的教育家，他是中国光学、仪器仪表和计量科教事业的奠基人之一。在他领导的研究所以及他创办的院校，为国家培养了一大批科技英才。
王大珩先生的学术思想和他对国家光学、仪器、计量科学事业的贡献以及对国家科技发展战略的重大建议等等，都将载入史册。

• 摘要

来源：清华大学
7月19日，清华大学华罗庚讲座迎来了首位演讲人——2010年新晋菲尔兹奖得主、37岁的法国庞加莱研究所所长塞德里克?维拉尼（Cédric Villani）教授。他分两天时间，向清华师生介绍了自己的研究工作及相关物理背景。两场演讲吸引了近300人次参加，维拉尼的讲解生动风趣，现场气氛十分热烈。
华罗庚讲座是丘成桐先生领导的清华大学数学科学中心今年推出的数学大师冠名讲座之一。冠名讲座以陈省身、华罗庚、许宝騄和林家翘4位毕业于清华的数学大师命名，每年在他们各自所代表的研究领域（几何与拓扑；数论、代数和分析；统计和概率；应用数学领域）中评选出4位贡献杰出的国际学者，邀请他们来清华作报告，使相关领域师生有机会近距离接触大师的研究成果和数学精神，激励他们努力成为未来国际数学界的带头人。
7月19日的演讲开始前，我国著名数学家、中科院王元院士为维拉尼颁发了奖牌和奖金。维拉尼对清华大学数学科学中心成立一年半来取得的成绩和产生的国际响给予高度评价。“清华学生给我留下的普遍印象是学习刻苦，进取心强。在两个小时的演讲中，我能带给他们的东西可能是有限的，但希望他们能由此找到自己的研究兴趣和方向所在。”维拉尼回忆说，自己对动力学方程研究产生兴趣，正是源于学生时代听到的一场精彩演讲。
据中心副主任潘日新教授介绍，早在半年前，来访学者刘建国就与数学中心教授江宁合作开设了《动力学方程的数学理论》课程，专门介绍维拉尼的研究工作。这使师生们有机会较为全面地了解相关研究方向的进展，在演讲后的互动环节提出了许多相当深入的问题。今年8月份，数学中心还将邀请法国的Karl-Theodor Sturm教授来访，就关课题展开进一步的合作研究。所有这些工作，相信会使对此方向感兴趣的学生受益匪浅。潘日新表示：“培养学生不是一天、一年的工作，我们会持续提供这样与高水平学交流的机会，帮助他们尽快成长。”

除维拉尼和7月15日做客许宝騄讲座首场的国际统计学权威、美国国家科学奖章获得者、斯坦福大学教授埃夫隆（Bradley Efron）外，数学中心今年还将邀请为应用数序、计算科学和科学计算作出奠基性贡献的加州大学洛杉矶分校教授奥舍尔（Stanley Osher）于8月21日作林家翘讲座，整体微分几何中应用分析技巧的著名专家、几何分析奠基人之一、斯坦福大学教授邵恩（Richard Schoen）于12月作陈省身讲座，为清华师生奉上名副其实的数学盛宴。

• 摘要

来源：基金委网站
根据国家自然科学基金委员会（NSFC）与法国国家科学研究中心（CNRS）的双边合作协议，双方每年共同资助中法研究人员之间在合作研究基础上开展合作交流项目（Joint Projects）。 NSFC资助中国研究人员访法的国际旅费和法国研究人员在华的生活费，CNRS资助中国研究人员在法的生活费和法国研究人员访华的国际旅费。
一、 申请人资格
1. 申请人在开始执行本项目时，须是2012年12月31日以后（含）结题的国家自然科学基金在研项目的负责人或主要参加者。在研项目是指面上基金项目、青年基金项目、地区基金项目、重点基金项目、重大基金项目、国家杰出青年基金项目、联合资助基金项目和创新群体项目。在读学生不得申请。
2. 中法双方申请人需分别向NSFC和CNRS递交项目申请，单方申请将不予受理。
二、 项目执行期限
2012年2月1日至2012年12月31日。
三、 申报要求
1. 项目须以在研基金项目为依托，且合作内容与在研基金项目密切相关。
2. 申报路径
申请人须登录ISIS科学基金网络系统（http://isis.nsfc.gov.cn），在线填报《国家自然科学基金国际（地区）合作交流项目申请书》。
具体步骤是：选择“项目负责人”用户组登录系统，点击界面左侧菜单栏中的“申请国际合作类项目”，再点击右侧“新建申请书”按钮，在项目类型中选择“合作交流”，之后点击右侧的“请点击展开子类别”，选择“NSFC-CNRS项目（中法）”，点击“填写申请书”按钮即可填写具体内容并在线提交。
3. 申请书填写说明
（1）项目申请书中，中方及境外人员信息栏的第一名默认为双方项目负责人，且双方申请书中的项目名称（中英文）、双方依托单位（中英文）和双方项目负责人应严格一致，以便项目评审工作顺利进行。
（2）申请人填写申请书中“项目执行计划”时应注意说明出访人员姓名、国外停留时间、拟开展工作介绍及日程安排，出访人数在一人以上请分别按人次列出；同时，说明来访人员姓名、在华停留时间、访问地点、拟开展工作介绍及日程安排，来访人数在一人以上请分别按人次列出。
（3）申请人填写申请书中“经费预算表”时应注意出访经费仅限中方出访人的国际旅费。
4. 附件
需要作为附件与申请书电子版一同上传的文件有：中方申请人和出访人员、法方申请人和来访人员的个人简历，内容含近期公开发表的有代表性的文章目录（不超过篇）。
5. 报送材料
除网上提交以外，申请人须将系统自动生成的PDF申请书文件与附件打印一套，经本人签字和单位盖章确认后，于2011年9月30日前递交或邮寄（以邮戳为限）至国家自然科学基金委员会国际合作局西欧处(北京市海淀区双清路83号，100085)。
四、申请截止日期和通知结果日期
中方申请人向国家自然科学基金会递交申请的截止日期为2011年9月30日。评审结果将于2012年1月底前上网公布。

五、联系方式
联系人：李文聪 范英杰
电　话：010 62327014　010 62325309
Email：liwc@nsfc.gov.cn，fanyj@nsfc.gov.cn
地　址：北京市海淀区双清路83号，国家自然科学基金委员会国际合作局西欧处
邮　编：100085

• 摘要

来源：基金委网站
根据国家自然科学基金委员会(NSFC)与英国皇家学会(RS)的科技合作谅解备忘录双方每年共同资助中英研究人员之间在合作研究基础上的开展合作交流项目（Joint Projects）。RS对每个项目提供每年最多6000英镑的资助，用于中国研究人员在英期间的生活费和英国研究人员访华的国际旅费；NSFC资助中国研究人员访英的国际旅费和英国研究人员在华的生活费。
一、申请人资格
1. 申请人在开始执行本项目时，须是2012年12月31日以后（含）结题的国家自然科学基金在研项目的负责人或主要参加者。在研项目是指面上基金项目、青年基金项目、地区基金项目、重点基金项目、重大基金项目、国家杰出青年基金项目、联合资助基金项目和创新群体项目。在读学生不得申请。
2. 中英双方申请人需分别向NSFC和RS递交项目申请，单方申请将不予受理。
二、项目执行期限
每个项目实施期限为两年，2012年4月1日至2014年3月31日。
三、申报要求
1. 项目须以在研基金项目为依托，且合作研究内容与在研基金项目密切相关。
2. 申报路径
申请人须登录ISIS科学基金网络系统（http://isis.nsfc.gov.cn），在线填报《国家自然科学基金国际（地区）合作交流项目申请书》。
具体步骤是：选择“项目负责人”用户组登录系统，点击界面左侧菜单栏中的“申请国际合作类项目”，再点击右侧“新建申请书”按钮，在项目类型中选择“合作交流”，之后点击右侧的“请点击展开子类别”，选择“NSFC-RS项目（中英）”，点击“填写申请书”按钮即可填写具体内容并在线提交。
3. 申请书填写说明
（1）项目申请书中，中方及境外人员信息栏的第一名默认为双方项目负责人，且双方申请书中的项目名称（中英文）、双方依托单位（中英文）和双方项目负责人应严格一致，以便项目评审工作顺利进行。
（2）申请人填写申请书中“项目执行计划”时应注意说明出访人员姓名、国外停留时间、拟开展工作介绍及日程安排，出访人数在一人以上请分别按人次列出；同时说明来访人员姓名、在华停留时间、访问地点、拟开展工作介绍及日程安排，来访人数在一人以上请分别按人次列出。
（3）申请人填写申请书中“经费预算表”时应注意出访经费限中方出访人的国际旅费。
4. 附件
需要作为附件与申请书电子版一同上传的文件有：中方申请人和出访人员、英方申请人和来访人员的个人简历，内容含近期公开发表的有代表性的文章目录（不超过6篇）。
5. 报送材料
除网上提交以外，申请人须将系统自动生成的PDF申请书文件与附件打印一套，经本人签字和单位盖章确认后，于2011年10月10日前递交或邮寄（以邮戳为限）至国家自然科学基金委员会国际合作局西欧处（北京市海淀区双清路83号，100085）。
四、申请截止日期和通知结果日期
中方申请人向国家自然科学基金委员会递交申请的截止日期为2011年10月10日。评审结果将于2012年1月底前网上公布。
五、联系方式
联系人：李文聪 范英杰
电　话：010 62327014　010 62325309
Email：liwc@nsfc.gov.cn，fanyj@nsfc.gov.cn
地　址：北京市海淀区双清路83号，国家自然科学基金委员会国际合作局西欧处
邮　编：100085

• 摘要

* PhD Position

Applications are invited for a PhD studentship at the Department of Mathematics
in Hong Kong Baptist University.

The successful PhD applicant should possess excellent background in applied mathematics and strong interested in the area of numerical solution of PDEs related to high speed shocked flows. The PhD candidate should be a quick learner, mature, and possesses strong will to learn new things and to tackle new challenges independently. Strong English writing and communication skills are required.
Applicants are asked to send their CV and three letters of recommendation to wsdon@hkbu.edu.hk for consideration of the position. Questions regarding the position can be directed to Prof. Don, Wai-Sun by email.
* Postdoctoral Position
Applications are invited for a Postdoc position at the Department of Mathematics in Hong Kong Baptist University. The beginning of the appointment will start in September 2011 or shortly afterwards.
The successful Postdoc candidate should possess an excellent background in high order methods for numerical solution of PDEs for high speed flows with shocks in a high performance serial and parallel Linux cluster with MPI and/or GPU computing with CUDA. The programming language is FORTRAN95. The applicant should have practical and strong mathematical understanding of advanced numerical methods. Knowledge in spectral methods and high order WENO methods is highly desirable. The main project is on the numerical study of compressible Richmyter-Meshkov instability and Rayleigh-Taylor instability governed by the full Navier-Stokes equation in general curvilinear coordinates using high order hybrid numerical methods.
The candidate should be a quick learner, mature, and possesses strong will to learn new things and to tackle new challenges independently. Strong English writing and communication skills are required.
The initial appointment of the Postdoc position will be one year and renewable for another year,subject to mutual agreement, satisfaction of the progress and availability of funds. The salary and benefit will be commensurable to the qualification of the applicant. Applicants are asked to send their CV and three letters of recommendation to wsdon@hkbu.edu.hk for consideration.Questions regarding the position can be directed to Prof. Don, Wai-Sun by email.

• 摘要

MACIS 2011 - Fourth International Conference on
Mathematical Aspects of Computer and Information Sciences
Beijing, China, October 19-21, 2011

http://macis2011.cc4cm.org/

CALL FOR PAPERS

MACIS is a series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences. Each conference focuses on two or three themes.

The themes for MACIS 2011 are:

- Design and Analysis of Complex Systems
- Numeric and Symbolic Constraint Solving
- Cryptography and Coding Theory

see the end of this call for a detailed list of topics.

SUBMISSION

Potential participants of MACIS 2011 are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by members of the Program Committee (PC) for soundness and relevance to the conference. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the conference. Electronic submissions are strongly preferred using EasyChair

http://www.easychair.org/conferences/?conf=macis2011

or should be sent by e-mail as .pdf attachments to the PC Co-chair:

Dr. Ilias S. Kotsireas
Wilfrid Laurier University
Waterloo ON, CANADA
e-mail:ikotsire@wlu.ca

Accepted extended abstracts and full papers will be printed for distribution at the conference. Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in special issues of Mathematics in Computer Science (MCS -http://www.cc4cm.org/mcs) by Birkhaeuser/Springer after the meeting. The submitted papers will be formally reviewed by PC members and external referees according to the refereeing procedure of MCS.

IMPORTANT DATES

Submission of papers/extended abstracts: Aug. 11, 2011
Notification of acceptance or rejection: September 5, 2011
Conference taking place: October 19-21, 2011
Deadline for full paper submission: December 15, 2011

INVITED SPEAKERS
Martin Fraenzle (University of Oldenburg, Germany)
Mark Giesbrecht (University of Waterloo, Canada)
Katsuhisa Horimoto (National Institute of
Advanced Industrial Science and Technology, Japan)
Chaochen Zhou (Institute of Software, Chinese Academy of Sciences)

GENERAL CHAIRS
Dongming Wang (Universit¨| Pierre et Marie Curie - CNRS, France)
Zhiming Zheng (Beihang University, China)

LOCAL COMMITTEE CHAIR
Meng Zhou (Beihang University, China)

PROGRAM COMMITTEE
Hirokazu Anai (Fujitsu Laboratories Ltd / Kyushu University, Japan)
Hoon Hong (North Carolina State University, U.S.A.)
Deepak Kapur (University of New Mexico, U.S.A.)
Ilias Kotsireas (Wilfrid Laurier University, Canada), Co-chair
Laura Kovacs (Vienna University of Technology, Austria)
Dongdai Lin (Institute of Software, Chinese Academy of Sciences, China)
Edgar Martinez Moro (University of Valladolid, Spain)
Stefan Ratschan (Czech Academy of Sciences, Czech Republic), Co-chair
Nathalie Revol (INRIA, France)
Enric Rodr¨aguez-Carbonell (Technical University of Catalonia, Spain)
Sriram Sankaranarayanan (University of Colorado Boulder, U.S.A.)
Thomas Sturm (Max Planck Institute for Computer Science, Germany)
Bican Xia (Peking University, China)
Lihong Zhi (Institute of Systems Science,
Chinese Academy of Sciences, China)

PUBLICITY CHAIR
Georg Regensburger (INRIA Saclay, France)

TOPICS OF INTEREST INCLUDE

- Design and Analysis of Complex Systems

Software systems; hardware systems; control systems; biological
systems; physical systems; dynamical systems; hybrid
(e.g. cyber-physical) systems; nondeterminism/uncertainty;
mathematical modeling; simulation; formal verification;
systems/controller synthesis; computational techniques and tools

- Numeric and Symbolic Constraint Solving

Systems of equations; quantifier elimination and decision procedures;
(global) optimization; differential equations; numeric, symbolic,
interval and hybrid solution techniques; application, especially in
systems analysis and design; proof obligations in formal verification

- Cryptography and Coding Theory

Error-correcting codes; decoding algorithms; related combinatorial and
complexity problems; algorithmic aspects of cryptology; symmetric
cryptology; public-key cryptography; cryptanalysis; computational
and algebraic paradigms in postquantum cryptology; discrete
mathematics and algorithmic tools related to coding and cryptography;
boolean functions; sequences; computation in finite fields and
related algebraic systems.

• 摘要

Random attractor of stochastic Zakharov lattice system 
Yu Bai, Shengfan Zhou 155-171

On the number of \(n\)-dimensional invariant spheres in polynomial vector fields
of \(\mathbb{C}^{n+1}\) 
Yudy Bola\(\tilde{n}\)os, Jaume Llibre 173-182

Resonances of the SD oscillator due to the discontinuous phase 
Qingjie Cao, Yeping Xiong, Marian Wiercigroch 183-191

On a new model of two-patch predator-prey system with migration of both species
Wei Feng, Brevin Rock, Jody Hinson 193-203

Minimum wave speed for a diffusive competition model with time delay 
Wenzhang Huang, Yinshu Wu 205-218

On the existence of bubble-type solutions of nonlinear singular problems 
Feng Jiao, Jianshe Yu 219-242

Explicit soliton solutions of the Kaup-Kupershmidt equation through the dynamical
system approach 
Jibin Li, Zhijun Qiao 243-250

On uniqueness and analyticity in thermoviscoelastic solids with voids 
Paulo Xavier Pamplona, Jaime E. Mu\(\tilde{n}\)oz Rivera, Ramon Quintanilla 251-266

Exact explicit traveling wave solutions for a new coupled ZK system 
Minzhi Wei, Shengqiang Tang 267-277

Duality theory of regularized resolvent operator family
Jizhou Zhang, Yeping Li 279-290

Communication Letter

Four limit cycles in quadratic near-integrable system 
Pei Yu, Maoan Han 291-298


------------------------------
End of CAM Digest
本期到此结束