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

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

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

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

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

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

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

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

深圳笔架山公园植被林分改造的原则与措施

基于深圳笔架山公园现有植物群落的特点及其自然地理条件,提出合理地进行林分改造设计的方案.主要依据是:适地适树原则,以及园林观景设计原则;在此基础上,根据造林地的主要立地类型提出具体的林分改造措施,为公园的植被建设提供理论依据.     

Influences of Electrolytes on Soap-Free P(ST-MMA-AA) Emulsion Polymerization

1Introduction Functional polymer microspheres are kinds of polymer particles with special structures, morphologies or functional groups[1] , and have been gained much attention because of their specific properties and their application since 1980s. Although some researches have investigated that the latex particle size and its distribution,as well as the stability of polymerization and the resultant latex were strongly influenced by introducing electrolyte into the emulsion polymerization system[2] , few of them focused on the systematic study of electrolytes on the soap-free emulsion polymerization, which is considered as a conventional approach to synthesize functional polymer microspheres with clean surfaces[2]. In this presentation, the influences of variety and dosage of electrolytes on soap-free emulsion polymerization of St, MMA and AA were studied, and a series of micron or submicron sized latex particles with narrow distribution were obtained.     

浅谈七年级生物教学中的理化知识分布与处理

分析初一生物教材(苏教版)中的理化知识分布特点,目的在于运用恰当的处理方法,使生物教学做到“对症下药”,提高教学效果。     

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

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

基于机器视觉的脱绒棉种外观质量检测装置的研究

为实现基于脱绒棉种外观特性对红种、破碎棉种的分选，搭建了脱绒棉种外观质量检测的硬件装置，并基于Visual C＋＋6．0开发了检测的软件系统。提取了适合脱绒棉种分级的3个关键的特征参数：颜色、圆形度、粒型；基于BP神经网络实现了脱绒棉种的分级，通过试验验证，该神经网络的拟合性较好。     

紫苏乙醇提取物抗氧化活性研究

以乙醇为溶剂,从紫苏中提取有效成分,采用微生物活性纸片法和烘箱法对紫苏乙醇提取物的抗氧化活性进行研究。结果表明,紫苏乙醇提取物具有较强的抗氧化性,且对油脂食品具有较好的保护作用。