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

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

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

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

区域地理教育与区域可持续发展

文章论述了可持续发展的形成标志着人类、资源、环境的发展进入新的时期 ,这对建立在以人地关系研究为基础的区域地理学产生深刻的影响 .提出把可持续发展理论纳入到区域地理的教材、教法中 ,作为在区域地理教学中的内容及实现可持续发展教育的基本措施 ,指出实现地理素质教育 ,也就是培养学生的情感、态度、价值观的教育     

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

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

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

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

双动压力机外滑块执行机构的计算方法

本文分析了双动拉延压力机外滑块执行机构的运动特性，给出了按行程确定机构参数的计算方法。     

我院工科毕业设计存在的问题和改革策略

强调了毕业设计是工科特别是职业技术师范院校本科学生一门十分重要的必修实践课程。分析了我院工科本科专业毕业设计的现状及所存在的问题后,着重阐述了全面提高毕业设计质量的改革策略。     

Samples Selection for Artificial Neural Network Training in Preliminary Structural Design

An artificial neural network (ANN) is applied in the preliminary structural design of reticulated shells. Major efforts are made to enhance the generalization ability of networks through well-selected training samples. Number-theoretic methods (NTMs) are adopted to generate samples with low discrepancy, i.e.uniformly scattered in the domain, where discrepancy is a quantitative measurement of the uniformity. The discrepancy of the NTM-based sample set is 1/6-1/7 that of samples with equal spacing. In a case study,networks trained by NTM-based samples are compared with those trained by equal-spaced samples in generalizing performance. The results show that both the computational precision and stability of the former ANNs are more satisfactory than those of the latter. It is concluded that the flexibility of ANNs in generalizing can be effectively increased by use of uniformly distributed training samples rather than simply piling data.More reliable uniformity should be obtained, however, through NTMs instead of equal-spaced samples.     

Algorithm of graph isomorphism with threedimensional DNA graph structures

ResearchonDNAcomputingwasinitializedin1994 ,whenAdleman[1] proposedamethodofsolvingasmallinstanceoftheHamiltonianPathproblembyalaboratoryexperimentinvolvingDNAmolecules .Later,Lipton[2 ] demonstratedhowalargeclassofNP completeproblemscouldbesolvedbyencodingtheprobleminDNAmolecules .Inparticular ,LiptonshowedonefamousNP problem ,theso called“satisfiability”problem (SAT)andsubsequentlytheotherNP problemscouldbeencodedandsolvedusingmolecules .TheadvantagesofDNAcomputingareitsmassivepa…     

真分数表成单位分数和的一类特解

用初等的方法研究了m/n表法，并给出了真分数表成单位分数和的一类特解。