从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

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

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

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

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

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

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

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

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

二次受力下CFS加固混凝土构件的计算方法

碳纤维材料以其高强、轻质、耐腐蚀等优良性能广泛应用于混凝土结构加固领域。为了充分保证建筑结构的安全性，现以某办公楼加固工程为例，阐述了应用碳纤维材料对钢筋混凝土构件进行结构补强加固的设计原理，提出了考虑二次受力时应如何进行加固计算以及应用碳纤维布进行结构加固时应注意的事项等。     

硝基苯制备的微型化研究

对硝基苯的制备进行了微型化研究，经过几组常规和微型实验的对比，结果表明微型实验具有省试剂、少污染、安全快速、便于操作等特点，可在化学教学中推广应用。     

纳米电化学与生物传感器的研究进展

纳米材料的介入为传感器的发展提供了无穷的想象空间,由于其量子尺寸效应和表面效应,可把传感器的性能提高到新水平,使其不仅体积小,而且速度快、精度高、可靠性好,还能实现多功能化和选择检测．目前,纳米材料传感器已成为一个研究亮点,备受瞩目．该文主要就金利通课题组近年来在纳米电化学与生物传感器方面开展的工作进行介绍并对该领域的发展作一展望．     

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

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

试论我国有限责任公司资本制度

由于立法目的不同，在实践中我国就同一种有限责任公司类型下存在两种不同的资本组织形态，只有在法律上分清了两种资本制度的差异，才能将两者的优势结合起来，在实践中做好衔接和协调，现代化企业制度的建立做好保障。