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

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

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

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

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

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

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

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

污水中氧化铁鞘细菌的分离及其酶学特性研究

采用试管静止富集培养及生态模拟富集培养,成功地从100份水样中分离到32株鞘细菌.利用Winogradsky液体试管法和摇瓶法进行氧化铁鞘细菌的快速筛选,从中筛选出1株氧化活性最高的菌株FC9901.对铁氧化酶特性进行了初步研究,该酶作用的最适pH和最适温度分别为7.5和30℃.金属离子Ca2 、Mg2 、Zn2 对氧化活性有激活和稳定作用;Cu2 、Hg2 、Al3 则抑制酶的活性;Fe2 、K 、Na 对酶活性影响不明显.     

培养复合型体育人才是实施《标准》的需要

体育教学是实现学校体育目的任务的基本途径,其实施过程及其效果与多种因素相关,该文通过对《标准》的学习、理解和应用,根据系统原理,从教育理论,教学方法等方面论述了建立一支新型的高素质体育教师队伍的时代要求和现实意义.     

企业在成本竞争中的约束因素

分析了企业在成本竞争中的约束因素,阐述了同质成本与异质成本的概念及内涵,指出异质成本对总成本的影响弹性一定大于同质成本对总成本的影响弹性。     

地锦草提取物对小鼠肝组织GSH-PX和CAT活性的影响

目的：观察地锦草提取物对小鼠肝组织GSH—PX(谷胱甘肽过氧化物酶)和CAT(过氧化氢酶)活性的影响．方法：地锦草提取物给小鼠连续灌胃28d，1次／d，1ml／次．结果：与空白对照组比较，地锦草提取物可明显提高小鼠肝组织GSH—PX和CAT活性．结论：实验表明，地锦草提取物具有较强的清除自由基及抗氧化、防衰老作用．     

氨基磺酸催化合成环己酮1,2-丙二醇缩酮

以氨基磺酸为催化剂,对以环己酮和1,2-丙二醇为原料合成环己酮1,2-丙二醇缩酮进行了研究。较系统地研究了酮醇摩尔比,催化剂用量,反应时间诸因素对收率的影响。最佳反应条件为:n(酮)∶n(醇)=1∶1.5,催化剂用量为1 g,带水剂环己烷15 mL,反应时间60 m in。上述条件下,环己酮1,2-丙二醇缩酮的收率可达71.15%。     

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

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