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

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

我院近7年剖宫产率及剖宫产指征变化的临床分析

目的：总结我院近7年剖宫产率及剖宫产指征的变化。方法：回顾性分析我院近7年来剖宫产孕妇的临床资料。结果：剖宫产率逐年升高,2000年为29%,2006年为54.30%,增加1.87倍;2000年-2003年剖宫产的指征难产排第一位,而近3年,社会因素占第一位。结论：剖宫产率升高主要与社会因素有关,降低剖宫产率的关键是严格掌握剖宫产指征,尽量减少因社会因素而行剖宫产术。     

基于小波包分析及支持向量机的超音速目标识别方法研究

提出了基于小波包分析及支持向量机的超音速目标识别方法 .通过 5 .5 6mm ,7.6 2mm和 12 .7mm三种枪弹试验获取信号 ,用小波包分解激波信号 ,统计每个频带的能量特征 ,用支持向量机方法训练测试样本 ,获得了很好的分类效果 .仿真结果表明基于超音速飞行体产生的激波信号来识别目标是可行的 .     

新生儿硬肿症危险因素分析

为探讨新生儿硬肿症发病的危险因素，以便有效地预防该病，以41例硬肿症新生儿为研究对象，并设疾病对照组，运用多元Logistic回归，对8项可疑因素进行了分析。结果表明，早产，低体重，窒息和感染， 毒最终进入方程（P＞0．05），且OR值均大于1，是硬肿症发病的危险因素。硬肿症是原发病的一个并发症和严重征兆。寒冷不是本地区硬肿症的常见病因。流动人口的新生儿是硬肿症的高危人群。加强围产期母婴保健，普及新法复苏，感染的预防和早期有效干预，早产，低体重儿和重新新生儿热能供给和维持内环境平衡是预防硬肿症的有效措施。     

FORTRAN 95 TO C/C++翻译器的设计与实现

国内一些研究所和科研机构从国外购入大量Fortran程序源代码,为拓宽其应用领域,需要把Fortran源程序翻译成C/C 程序,即实现Fortran应用程序二次开发利用。针对开发Fortran 95 TO C/C 翻译器的具体功能要求,详细介绍了翻译器的实现方法,并对翻译器进行了需求及可行性分析,对目标语言的选择、总体设计方案、功能与结构模块划分、软件流程图等进行了分析说明。     

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

新的环糊精衍生物气相色谱固定相的初步研究

合成一种新的β-环糊精衍生物固定相：3-单(N-苯甲酰化L-丙氨酸酰基)-七(2，6-二-0-甲基)-β-环糊精，考察了该种固定相的气相色谱性能，并与合成中使用的母体七(2，6-二-0-甲基)-β-环糊精衍生物的气相色谱性能进行了比较。新固定相具有较好的成膜性，较高的柱效，对难分离的含有苯环的常规物质对以及含苯环的位置异构体具有很好的分离效果。氨基酸官能团的引入改变了环糊精的空腔结构；环糊精上取代基的大小、极性、形状与客体分子的π-π相互作用等对于客体分子的识别起到关键作用。     

基于VB6.0的PC机和S7-200PLC间的数据通讯

以SIEMENS公司S7200 PLC为例，用VB实现S7-200PLC在自由口通讯方式下与上位机的通讯。讨论了通讯系统的构成、通讯方式的设置，给出了软件程序和实验结果。该系统已成功应用于3．3kV八组合磁力控制站测控系统中。实验结果表明，该通讯程序具有重要的工程应用价值。     

《水浒传》之反贪论

《水浒传》中的梁山英雄在官逼民反的情况下上演了一场忠奸之争 ,而斗争实质上表现为在替天行道的旗帜下的反贪运动。梁山好汉有力地打击了一批贪官污吏 ,奸佞小人。一场卓有成效的反贪运动却因招安以失败告终 ,显示了深刻的社会体制原因