贵州蕨类植物科,属检索（上_

本文根据贵州现知材料，依秦依昌１９８７年系统编制蕨类植物科、属检索表，供应用，教学及理论研究之需。     

河道治理类工程环境影响评价及环保措施思考

文章通过分析工程对环境的影响，为河道治理类工程提出了环境保护措施。     

双语教学初探

从双语教学的定义出发,探讨了实施双语教学的三要素及其对策。     

高校专业资料室在重点学科建设中的作用

论述了专业资料室为重点学科建设提供服务的优势,分析了专业资料室在重点学科建设中的重要作用。     

工程多维集成管理研究现状分析及其技术实现

对国内外建筑工程多维集成管理的研究进行回顾和总结,对研究现状进行分析.目前,建筑工程多维集成管理的研究主要集中在产品建模和可视化、过程建模和分析及协作和交流等方向,研究的基础是建筑工程生命期内信息的创建,研究核心是信息的管理和共享过程,研究所需解决的关键问题是揭示其理论机理及其模型构建.在此基础上提出未来工程多维集成管理技术实现的方法,基于参数化建筑工程数据模型建立的可计算的信息、协同数据标准和标准商业模式成为解决方案的研究重心.     

基于XFP-tree的XML结构重构策略

基于海量XML文档查询速度已不能满足日益增长的信息关联和服务请求多样性的需求,本文提出一个重构XML结构的频繁向量选择增量模式树（XFP-tree）算法,该算法以XML键为基础,首先对XML结构进行向量矩阵处理,再通过投影频繁模式树实现对XML结构进行分裂、合并、更改与取消等优化措施,满足XML结构简洁性与查询多样性;结合投影和树结构技术,讨论XML键向量矩阵频繁项集的划分规则,而相应启发式策略的制定与支持度阈值的讨论有利于算法效率的提高。对比其它关联算法,一系列仿真实验表明所提出的算法具有一定的有效性及合理性,是重构XML结构的一种有效方法。     

3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

等级保护与服务器系统的安全

介绍了国家的计算机信息系统安全等级保护.按照国家等级保护的标准,提出一个系统、可行的计算机信息系统安全的解决方法,以便管理人员按照此方法规划自己单位的网络安全的解决方案.     

A New Fast Modular Arithmetic Method in Public Key Cryptography

0 IntroductionPublic key cryptosystemsolvedthe secure problemof keydistributionsoundlyinsymmetric cryptosystem[1],real-ized digital signature and message authentication successfullyin secureinformationsystem. However ,secure applications ofthemneed badly high-speedsoftware,hardware,andarithme-tic computation of large number .Furthermore,the secret ex-ponent cannot betoosmall[2]and operands should be 1 024 bitorlarger[3]whenthe securitylevel is set high.So,manylargeinteger modular multiplicatio…     

图论在检修维护工期规划中的应用——关键路线法的证明与计算

本文证明出,在图G上一种新的求关键路线方法。该法便于编制程序与上机计算。通过工程实例检验证该实法简便及运算速度快。