【摘 要】
：
24~27 August 2015,Nanjing,China http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applica
论文部分内容阅读
24~27 August 2015,Nanjing,China http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications.The sixth conference will be held on 24 throug
其他文献
基于耗散粒子动力学模拟研究了强排斥壁面作用下圆管状受限空间内单粒子及柔性链分子自扩散系数的变化规律,并对空间受限作用下分子扩散性质的各向异性进行了深入分析.结果表明,随着圆管管径的增大,单粒子及柔性链分子的自扩散系数均呈现先减小后增大的变化规律,且出现自扩散系数最小值对应的管径随链长的增加逐渐减小;柔性链分子因其在圆管中异于体相的伸展状况,自扩散系数的变化幅度随链长的增加而变大;圆管中分子径向自扩
由于全球能源和环境危机的不断加剧,清洁高效能源的研究和应用引起了人们的极大关注.层状双金属氢氧化物LDHs是一类典型的阴离子黏土材料,由于其电化学活性高、稳定、价廉,近年来被广泛用于电化学传感器、超级电容器、锂离子电池和燃料电池等领域.本文详细介绍了插层材料LDHs的材料设计、可控制备及其在电化学能量存储与转换领域的研究进展,并进一步讨论了LDHs材料在该领域面临的挑战和发展趋势.
转基因食品安全性是国内外广泛关注与争议的问题之一.根据"实质等同性"原则,本文基于手性D-氨基酸(DAA)形成机制对抗除草剂草甘膦和抗虫Bt蛋白转基因的食品安全性进行了风险评估.与传统非转基因作物相比,除草剂草甘膦或Bt蛋白由于具有较强的金属络合能力,因此在本质上促使土壤中金属离子较多地进入转基因作物体内,然后诱导D-海因酶的活性增加从而产生更多的DAA.体外研究发现,DAA、D-氨基酸氧化酶(D
研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可
医学图像的三维显示通过复杂计算为医生提供了直观的病人内部病理信息特征,它通过对具有空间特征的医学对象在静态或动态三维空间中进行处理,以视觉信息的形式充分反映出医学对象中丰富的隐含信息。
本年度我刊将特别关注大数据、移动互联网、云计算、信息安全、物联网方面的稿件。主要组稿方向如下(但不仅限以下方向):网络与通信:移动互联网、物联网、移动通信、移动支付、软件定义网络、近场通信、
尊敬的聂力主任、各位院士、各位将军、各位嘉宾、各参赛队的老师与同学们、朋友们:大家好!今天我们非常高兴地迎来了全国各地参加第六届计算机仿真大奖赛的选手们和专家们,在此,我谨代表本届评委会,对各位朋友的远道而来,表示热烈地欢迎!
很高兴能够见到大家,作为一个仿真界的老人,今天看到来了很多同学,他们能够参加到这个大奖赛说明他们都是青年才俊,有这么多的青年才俊共聚一堂说明仿真事业发展前景是非常美好的。第一,各位同学你们能够有幸进入到仿真这个领域,我觉得你们应当
2014年12月21日下午2:00在人民大会堂重庆厅隆重举行了《第六届全国计算机仿真大奖赛决赛及颁奖典礼》。主办单位是中国自动化学会,中国计算机用户协会,中国系统仿真学会,中国指挥与控制学会,教育部高教司,总装备部仿真技术专业组。承办单位是《计算机仿真》杂志社。