基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

2008—2012年《中华实用儿科临床杂志》载文文献计量分析

目的:分析《中华实用儿科临床杂志》近5年发展情况,为提高该刊质量提供参考依据. 方法:通过"中国生物医学文献数据库"收集该刊2008—2012年的文献题录,采用文献计量学方法,对文献的时间分布、单位分布、作者分布、作者合作情况、单位合作情况、高频关键词、高频主题词等指标进行统计分析. 结果:2008—2012年《中华实用儿科临床杂志》共载文3 459篇,单篇论文的长度在逐年增长;涉及作者13 870位,每篇论文作者平均数量大于4,每篇论文的平均合作单位数量多于1.45,关键词和主题词符合本刊的主题.2008—2010年被引的文献为1 131条,占期间总文献量的62%.结论:2008—2012年发表的论文选择更具有针对性,向着更为合理性的方向发展,研究方法也多采用定量分析方法,并且论文形式多样,文献被引次数越来越多.     

基于养生理念的小区生态园林植物群落配置设计——以池州和泰星城小区为例

首先论述了小区生态园林植物配置的原则,提出养生保健理念配置具体手法,具体调查了池州市和泰星城小区绿化树种的选择以及群落配置,进行了系统分析评价,借以探讨池州养生宜居小区的建设。     

基于ESI和InCites的学科发展预测研究--以中国地质大学为例

基于汤姆路透公司的ESI和InCites数据库，分析了中国地质大学各学科的特征，探讨了高被引论文、热门论文、顶尖论文与学科发展的关系，并预测后续最有可能入围ESI世界前1％的学科。     

户用光伏交流冰箱系统的性能研究

针对昆明地区户用光伏交流冰箱系统的工作特性进行了实验研究,在不同天气条件下对所构建的系统性能进行了测试,测试结果表明,该系统冰箱的冷冻室最低温度可达-22℃,冷藏室温度为0~7℃,在晴天和多云天气情况下,系统带3kg水时制冷系数COP分别为0.08、0.05,系统带8kg负载时制冷系数COP分别为0.28、0.23;在阴雨天气情况下,蓄电池单独向系统供电可保证系统连续工作3d.该光伏冰箱系统在昆明地区运行稳定,并为户用光伏交流冰箱系统性能的进一步优化提供了依据.     

云南老厂矿区煤层气地质条件

在分析矿区地质条件、煤岩及煤储层特征的基础上,探讨研究区煤层气地质条件.结果表明:老厂矿区龙潭组和长兴组含煤性好,煤层厚度大并且分布稳定,煤质以无烟煤为主,生烃量大,生烃能力强;煤岩组分稳定,镜质组含量高,对甲烷吸附性强;煤层孔隙度较低,渗透率中等;解吸率和储层压力偏高,中等含气性,含气量在6.02 ～ 18.95 m3/t.研究区构造类型和水文地质条件相对简单,围岩封盖及地下水封堵作用强,利于煤层气的富集成藏.综合分析认为,老厂矿区属中型富甲烷煤层气目标区,煤层气成藏地质条件优越,煤层气资源丰富,开采条件优越.     

浅议国际商务合同翻译教学中术语意识的培养

国际商务合同翻译过程中涉及多个专业的术语翻译,如法律术语、国际贸易术语、保险术语和金融术语等。作者认为在国际商务合同翻译教学中除了讲授国际商务合同的基础知识、语言特点、句法结构和合同的整体构成以及普通翻译技巧等之外,还需要重视学生对术语基础知识和术语翻译原则等方面的学习,培养学生的术语意识,提升学生的国际商务合同翻译质量和水平,并给出了培养学生术语意识的相关方法。     

基于联合违约概率的资产组合投资优化方法

投资组合的资产联合违约概率(joint,probability of default,JPoD)是一种有效的系统风险测度工具.基于JPoD分析,提出了一种新的资产组合选择优化方法,即通过计算资产池中每两种资产的JPoD值得到JPoD矩阵,利用遍历算法逐次筛选,得出具有最小系统风险的多资产组合.实证分析首先利用2014 2015年的上证综指和深证成指数据验证了JPoD方法的有效性;其次,分别利用中国股票市场数据和美国股票市场数据将所提出的资产组合选择方法与马科维茨均值-方差组合理论、随机组合方法进行比较,结果表明无论是在中国股票市场还是美国股票市场,JPoD方法都明显优于其他两种方法.     

一种立体织机平行打纬机构的设计与优化

针对多层织物织造过程中,各层纬纱打纬力需保持一致以及需要减少钢筘与纱线之间摩擦的要求,提出八连杆平行打纬机构,并根据工艺要求对打纬机构进行优化。以打纬机构的主轴转动140°时,筘座在后心位置处的近似静止位移Δs最小为优化目标,通过Matlab软件分析确定设计变量,优化钢筘在后死心位置的近似停留时间。运动学仿真结果表明,优化后的打纬机构不仅保证了钢筘的打纬动程和其在后死心处的静止时间,而且增大了钢筘的惯性打纬力,有利于厚重织物的打纬。     

两个矩阵和Drazin逆新的推广式

针对两个矩阵和Drazin逆的表示, 由Drazin逆的定义，根据矩阵分解的思想, 利用Drazin逆的相关性质, 给出了两个矩阵的和在一定条件下Drazin逆新的表示。新结果推广了现有的一些结果。