离散型二维竞争系统中某群体消亡的条件

研究了离散型二维竞争系统的渐近稳定性,得到了这类竞争系统中各类平衡点的坐标及其性质,获得了系统在边界上的平衡点处渐近稳定的一系列充分条件.这些条件等价于该系统中的某个群体在竞争过程中消亡或被淘汰的相应条件.     

门捷列夫的“旷缺”与中国公使的感叹

1869年门捷列夫完成了世界上第一张化学元素周期表,除了把当时所知的全部63种元素按原子量大小分组(族)排列外,还在表中留下一些空位,预言了与硼、铝、硅类似的元素的存在及其性质。随后的20多年内,这些空位相继被新发现的元素填补。1877年中国首任驻英公使郭嵩焘听到了门捷列夫的预言与元素镓的发现这一故事,联想到发现海王星的经过,由衷感叹西方科学的精致与功效。     

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

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

基于FPGA的信号量管理模块的设计

针对软件实时操作系统的开销给嵌入式系统带来性能退化的问题,提出了基于FPGA的硬件实时操作系统的方案,设计了一个硬件信号量管理模块并用Verilog HDL硬件描述语言进行描述。仿真结果验证了这一设计的正确性,且其创建、请求和发送信号量操作的执行速度比μC/OS-Ⅱ中信号量管理部分明显提高。     

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％的学科。     

测绘工程专业CAD课程教学改革与实践

结合测绘工程专业本身的特点，该文首先介绍了CAD课程的作用，分析了该课程的教学现状，总结了在现实教学中存在的问题，进一步引出教学改革的必要性。接下来结合实际教学经验，分别从课程的教学内容、教材的选择、教学方法与教学手段、考核方式、师资队伍建设等方面探讨了AutoCAD教学的改革措施，对提高CAD课程教学质量，培养学生实际动手能力，更好地将CAD应用到专业中，适应实际行业工作需求，具有十分重要的意义。     

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

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

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

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