CROWN:面向服务的网格中间件系统与信任管理

针对大量网格资源的分布、自治等特点，给出了基于SOA的服务网格体系结构，提出了基于层叠网的分布式网格资源组织与管理机制、访问控制策略的自动协商、信任管理和信任协商机制，并研制了中间件系统CROWN；通过部署CROWN中间件系统建立了广域试验环境并部署了中尺度天气系统降水预报、海量多媒体数据处理平台、血液流动温度场显示、科学数据网格以及数字巡天图检索等多个网格应用，应用经验表明，该中间件系统能够支撑以计算密集型、数据密集型和海量信息分析与处理为特征的典型应用．     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

弘扬伟大精神建功立业新时代

 中国人民具有伟大梦想精神，中华民族充满变革和开放精神。自西学东渐以来，有识之士为科学救国而奔走呼号，空有才华却报国无门。只有在中国共产党的领导下，科技工作者才真正实现了科技报国、科技兴国的人生抱负。新中国成立以来，以钱学森、邓稼先、郭永怀、袁隆平、黄旭华、屠呦呦、赵忠贤等为代表的老一辈科技工作者，以强烈的家国情怀，艰苦奋斗，不懈创新，为国家富强、民族振兴、人民幸福作出了彪炳史册的重大贡献。在改革开放和创新型国家建设的伟大征程中，李保国、黄大年、南仁东、钟扬、王逸平等当代科技工作者，把论文写在祖国大地上，以丰硕的创新争先成果，诠释了心有大我、至诚报国的浓烈情怀，不愧为国家栋梁、民族脊梁、人民赤子。一代代科技工作者，用忠诚、信仰、学识、青春甚至生命，铸就而成爱国、创新、求实、奉献、协同、育人的中国科学家精神。不管时代如何变化，这种精神始终能够薪火相传并愈加焕发出勃勃生机，召唤激励着更多科技工作者披荆斩棘、砥砺前行。 伟大梦想不是等得来、喊得来的，而是拼出来、干出来的。面临科技革命和产业变革的历史交汇期，面临世界百年未有之大变局，面临复杂严峻的国际形势，我们犹如逆水行舟、滚石上山，进则海阔天空，退则前功尽弃。形势逼人、挑战逼人、使命逼人。科技工作者作为时代中坚、社会之光，必须不畏任重，不惧时艰，把个人理想自觉融入科技强国伟业，洞察变革于端倪，把握先机于初始，引领方向于“无人区”，补短板、增长板，摆脱核心技术受制于人的局面，打造未来竞争新优势，在奋斗中成就创新梦想、实现人生价值。 周虽旧邦，其命维新。建成社会主义现代化强国，实现中华民族伟大复兴，是一场接力跑。面对新征程新使命，走过一甲子的中国科协，将进一步融入大局、聚焦靶心，团结引领广大科技工作者坚定信仰、秉持信念、满怀信心，接力精神火炬，奋进新的长征，一棒接着一棒跑下去，赢得更大的荣光，创造更大的奇迹！     

聚力构建开放、信任、团结的科技共同体

 科技进步有效地推动了经济、社会、生态文明发展，科技创新从未像当前一样深刻影响着人们的生活、生产，深刻影响着人类文明和全球治理，同时科技发展面临着前所未有的机遇与挑战。     

粗糙集理论在中国手语合成中的应用

粗糙集理论是处理模糊和不确定知识的一种重要工具,约简是它的核心方法之一．在人机交互中,手势交互的难点在于手势表示的复杂性和逼真性,在将粗糙集理论应用于中国手语合成中,利用约简发现了手运动中的一类约束,降低了手语表示的复杂性,也增强了手语合成的逼真性．     

共促科学素质建设共创人类美好未来

 世界公众科学素质促进大会2018年9月17-19日在北京召开。大会聚焦科学素质与人类命运共同体的主题，旨在以共商共建共享中深化交流合作，为落实联合国2030年可持续发展议程、构建人类命运共同体发挥重要促进作用。习近平主席专门为大会发来贺信，王沪宁同志出席大会并致辞，联合国秘书长古特雷斯发来贺信，众多专家学者分享了精彩报告，展现了世界各地提升公众科学素质探索与实践的丰硕成果，对增强公众科学素质建设、增进人类社会福祉具有重要启示。     

密码协议的代数模型及其安全性

引入了一个新的代数系统——称为密码协议代数(cryptographic protocol algebra, CPA), 刻画具有多种密码运算的消息代数性质, 并基于CPA提出了一个新的密码协议代数模型. 模型中, 用子代数、自由生成元和多项式代数等概念刻画主体的知识扩张过程, 并用类似于代数中的正合序列概念描述了密码协议的攻击过程, 从而为密码协议的安全性分析建立了一种数学方法. 基于这个模型, 利用代数的技巧证明了对于具有一定对称性的协议, 任意多主体参与运行的协议安全性分析可归结为几个主体与攻击者参与的协议安全性分析. 研究了密码协议安全的一致性问题, 给出了两个协议合成保持安全性的一个充分条件, 并提供两个安全的密码协议的合成安全的例子, 推广了相关工作.     

空战武器装备的系统对抗分析

建立了空对空作战体系对抗的物理模型 ,基于多元兰彻斯特方程 ,给出了不同空战武器战术交战的数学模型 ,考虑现代战争的高技术特征 ,发展了战役优势参数的概念 ,使其更加准确地反映空对空作战的实质 .以数学模型和战役优势参数为核心 ,采用随机分配目标战术和用“对数法”计算战斗机对空作战能力指数 ,实现了优势评估、进程预测、装备反算、配置优化等复杂体系对抗问题的计算分.