技术组织的进化

通过对技术发展过程的分析，揭示了技术组织形式必然要进化的原因。介绍了技术组织的历史发展过程，指出随着生产的发展、技术的进步，技术组织会不断地进化。     

甘肃产马先蒿属植物分种检索表

本文对甘肃产马先蒿属５２种、７亚种、６变种和１变型列了分种检索表，并在括号内记载了产地，为开发该属资源提供依据。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

现代意义下作战模型的研究

本文阐述了现代战争的特点，构造了现代意义下的作战模型，通过求解与分析，指明信息在现代战争中的重要作用和对未来战争的指导意义。     

全面建小康--宏伟的系统工程蓝图

全面建设小康社会，关键在全面二字。建设要全面规划；社会要全面小康。按系统科学原理，一项系统工程的精髓首先也就在于全面，在于综合。利周鸟瞰全局、循序渐进、动态优化、信息开拓、价值品评和环境适应等系统工程的时空现和价值观来考虑这一划时代的战略部署，足以让我们从更高境界、更广视野去揭示全面小康社会的科学内涵以及去探查为在较短的历史时期内达到这一宏伟目标应有的兼权熟计，避短扬长。     

复杂性问题研究实践与认识论、方法论反思

概述笔者从事两项复杂性问题研究的认识与实践 :一是辩证唯物论认识论的指导作用与系统科学的中介作用 ,不容忽视 ;二是在预测和控制某些复杂系统行为的研究中 ,还原论与整体论结合的一个切入点和一种有效形式 ,是典型信息法。     

构筑产学研结合立体网络的研究与实践

从校内“局域网”、社会“城域网”以及全球“因特网”三个方面探讨产学研结合立体网络的构建。联系工作实际，探索校企合作建设产学研基地和网络的有效途径。     

高校档案编研工作的现状与发展趋势

高校档案编研工作应着力于创新编研手段、确立创新理念、进行知识化编研,与时俱进,才能满足学校与社会各方面的工作需求。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

基于DNN的高校科研管理信息系统的分析与设计

以杭州师范学院科研管理系统为示例,将科研管理业务逻辑进行重组,以实现科研管理系统化、规范化的目标,并运用DNN应用程序框架对该系统进行设计,特别是页面管理和模块定义功能实现了用户接口和业务逻辑,具有成本小、可重用性和可扩充性等特点.