扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

农村中学英语教学存在的问题与对策

新的《国家基础教育英语课程标准》对英语的知识和技能等方面的教学都提出了更高的要求。但是一些农村中学的英语教学效果与大中城市的差距却在逐渐扩大,教育质量提高缓慢。如何在农村现有条件下培养学生具有较强的语言应用能力,为将来进一步的学习打下坚实的基础,已成为广大农村英语教学亟待解决的问题。本文试图就此问题存在的原因和解决的办法做一些探讨。     

社会主义市场经济条件下高校档案工作改革的思考

高校档案工作对高校的发展有着重要的促进作用，本文论述了如何在市场经济条件下，面向21世纪加强高校档案工作的几个问题.     

水稻新品种海科115的选育

本文介绍水稻新品种海科115的选育。要选育高产、优质、高抗的新品种应该注重:根据海南气候的特点和生产实际需要;选择主要性状互补性强、优点多缺点少的品种作亲本;选育过程、重视库源比,通过长粒化来达大粒化和提高结实率;注重抗源的利用和抗病性状的选择。     

PASCAL—SPECPK—酸碱离解常数的确定

完成了用分光光度数据确定二元质子酸碱重叠离解常数的程序设计,可快速、准确测定 pK_1和 pK_2,并给出模拟反算的离差及标准误差.程序用 TurboPascal(V5.0)编制.     

关于Y.Yajima的一个定理

本定义了次ｐｒｅｏｒｔｈｏ－紧性，证明了一个空间Ｘ是次亚紧的当且仅当乘积Ｘ×βＸ是次ｐｒｅｏｒｇｈｏ－紧 的，这改进了Ｙ．Ｙａｊｉｍａ近来的一个定理。     

淬火工艺对铬结构钢显微组织和机械性能的影响

本文研究了淬火工艺对低和中碳铬钢的显微组织,冲击韧性和断裂机制的影响,得出了无论是低碳,还是中、高碳钢,当奥氏体长大倾向稍大时,采取提高加热温度进行淬火的工艺均为不可取的结论。     

新型桥梁施工挂篮XG—A的研究与应用

根据修建海沙大桥工程的需要,专门研制了一种超轻型滑动斜拉式的新型桥梁施工挂篮XG—A.该挂篮自重轻、效率高是目前国内较先进的桥梁施工设备.     

组织和个体激励效益合理最大化的规划模型

激励是人力资源管理中的一项重要职能 ,激励是有投入与产出的管理活动 .文章通过定义激励过程中的组织和个体的激励效益及其合理最大化的概念 ,建立了一个组织激励效益和个体效益合理最大化的规划模型     

关于互联网管理与国家安全的思考

从国家安全和讲政治的角度以及目前互联网管理现状出发，分析了加强互联网管理的必要性和重要性，在此基础上探讨了公安机关参与互联网管理应注意处理的关系及管理策略．