加快结构调整 推动两化进程

2010年，面对持续、严重的旱情和加快发展的重任，农二师党委把应对干旱危机、保障民生和促进社会事业发展放在首要位置，立足保持经济平稳较快发展，大力推进农业结构调整，进一步加快农业产业化和新型工业化进程，努力实现经济结构的战略性大调整和发展方式的战略性大转变，推动全师经济社会步入更快更好的发展轨道。     

当代中国军事战略思维与和平发展道路（续）

维护和平发展要求当代中国军事变革必须坚持中国特色 这是当代中国军事战略思维据以展开的第三个基础性判断。这个思维判断包含的逻辑进程，要求回答维护和平发展与有限大幅提升军事实力的关系，提升军事实力与军事变革的关系，以及军事变革的中国特色的要点。     

努力提高新时期政治动员能力

政治动员是国防动员的重要组成部分和基础工程。新的历史时期，随着改革开放的不断深人和全球化进程的加快，国民政治、经济生活发生了重要变化，人生观、价值观取向趋于多元化，国防观的形成受外界环境的影响较大，政治动员工作面临许多新特点、新问题。     

以信息化提升“三化”建设水平

完善信息基础设施,加大信息技术应用,以信息化促进经济结构调整和发展方式转变,以改善民生为重点加快政务和社会事业信息化建设,努力为兵团跨越式发展和长治久安作出贡献。     

本刊加入“中国知网(CNKI)”“万方数据”等数据库的声明

为了实现学术期刊编辑、出版、发行工作的电子化,推进科技信息交流的网络化进程,我刊现已加入"中国知网(CNKI)""万方数据--数字化刊群""维普全文数据库""中国终身教育学术研究数据库"和"超星数字期刊"等数据库。凡本刊刊用的文章,将一律由编辑部统一纳入这五个数据库,进入因特网提供信息服务。不同意者,请预先声明。     

一个实时调度仿真模型算法的算法

提出了一个在仿真支撑系统中所采用的实时调度仿真模型算法的算法,并且成功地应用在“RDFI—50MW热电厂训练仿真机”中.     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

客户/服务器计算环境及其数据库服务器的结构分析

本文首先介绍了客户/服务器的有关概念,并详细讨论了客户/服务器带给我们的好处。然后重点研究了客户/服务器系统中数据库服务器的几种结构,并比较了它们之间的优劣。     

战术轮式车的现代化进程

本文分析了美军战术轮式车的发展情况。由于资金缺乏,大部分战术轮式车过于陈旧的现状还将继续下去。文中还分析了把旧车翻新改装,即实施延长使用期计划的情况,这在一定程度上满足了战术轮式车现代化的需要,但要真正加快战术轮式车现代化进程,还得要资金保证。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。