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

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

UV/H2O2氧化降解甲基叔丁基醚(MTBE)的试验研究

采用UV／H2O2技术对污染水体中的MTBE进行了氧化降解试验，考察了不同MTBE初始浓度，不同H2O2浓度，不同pH值，不同波长的紫外光对降解效果的影响，以及不同Cl^-、HCO3^-浓度的抑制作用．结果表明，在室温条件下，当紫外光波长为254nm，H2O2为15mmol／L，pH为3．0时对起始浓度为1mmol／L的MTBE具有较好的降解效果；反应60min，MTBE去除率可达97．6％．实验证明，UV／H2O2氧化技术是降解MTBE的一种有效方法．     

偶氮苯化合物的合成及在新体系催化光度分析中的应用

研究了催化光度法分析指示物的合成 ,探讨了在硫酸介质中铜 (Ⅱ )催化抗坏血酸和 3 甲基 4 氨基 4′ 硝基偶氮苯的还原褪色反应 ,优化了反应条件 ,建立了一种高选择性的测定痕量铜的新方法 ,方法的检出限为 4 8× 10 - 2 μg·L- 1 。用于人发样及铝合金样中铜的测定 ,结果满意。     

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

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

浅谈影响学生参与英语课堂活动积极性的因素

在外语课堂教学中，越来越多的人倡导“以学生为中心”的教学理论。而充分调动学生参与英语课堂活动的积极性是“以学生为中心”教学理论在课堂实践中贯彻实行的关键。     

单层有机发光二极管中电场与载流子密度的分布

建立了单层 (有机发光二极管 )中载流子注入、输运和复合的理论模型 ,通过求解非线性Painleve方程得到了电场强度随坐标变化的解析函数关系式 ,计算并讨论了载流子迁移率对电场强度、载流子密度等的影响。结果表明 :空间电荷分布不均匀造成了电场强度的不均匀分布。当在器件中占主导地位的载流子具有较低的迁移率或少数载流子具有较高的迁移率时 ,有利于载流子的输运与复合 ,发光性能可得到较大提高。     

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

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

Logistic回归及其在概率降水预报中的应用

介绍了一种气象上较少应用的Logistic回归的原理和计算方法，并利用1999年3月1日至2001年5月30日期间，国家气象局T106模式输出的80个物理量场及其导出场资料和福州地区降水的0、1化资料，采用Logistic回归方法，制作春季福州24h降水概率预报，并与事件概率回归方法作了比较。结果表明，该方法对二分类变量有较好的预报效果。     

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

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

以就业为导向促进高职CAD课程的改革与发展

针对高职教育的特点,以就业为导向,以培养高级应用型人才为目的,从 CAD 课程的教学内容与要求、教学方法、教学手段等方面,分析探讨促进高职教育 CAD 课程教学改革和发展的理论与实践。