基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.     

今年两会：聚焦民生

“两会”的大幕徐徐落下,一个充满希望的春天向我们走来。民主、求实、和谐、奋进,这一激动人心的两会主旋律,从人民大会堂传向祖国的四面八方,带给亿万人民共建共享和谐社会美好未来的深切希望。千万名学子在这个春天露出笑脸。亿万农民在这个春天得到更多的实惠。低收入群体在这个春天感受到更多的温馨和关爱。2007年的春天,是一个温暖的春天;2007年的“两会”,是一次和谐的“两会”。请看本刊据新华社、人民日报有关报道编写的这篇——     

共享发展成果造福职工群众

农四师是一个少数民族边境师,由于多种原因,职工生产生活条件相对滞后。为进一步促进经济社会协调发展,农四师党委从解决职工群众最关心、最直接、最现实的问题出发,集中财力、物力,每年为基层群众办10件实事。今年初,农四师党委在办好办实去年10件实事的基础上,决定实施经济社会"双十主体工程",使广大职工群众共享改革发展的成果。     

战场信息分类

本文在分析战场信息的基础上,确定了战场信息的分类准则,并且为战场信息给出了一个完备的分类。提出这个分类,试图为今后的战场信息格式制订提供指导,为指挥自动化系统间的信息共享奠定基础。     

利用WINDOWS实现“Internet”连接共享方案的设计与实现

针对局域网中“Internet”连接共享 ,提出了一种利用Windows新特性共享上网的方案 ,实现了“Internet”连接共享。较以前采用Wingate、Sygete等软件做一个代理服务器的方法速度更快 ,实现更方便 ,并节省了系统资源     

Intranet技术在出入境边防检查涉外信息网中的应用

本文通过分析我国现行的出入境边防检查涉外信息网,并结合它存在的不足;阐述了Ｉｎｔｒａｎｅｔ技术在边防检查涉外信息网中的应用,提出了新形势下优化网络的解决方案——构建边防检查Ｉｎｔｒａｎｅｔ（企业内部网）。     

信息化条件下加强党委对作战统一领导需要着力解决的几个问题

党委对作战的统一领导,是经过战争实践检验的科学领导方式,是我军战胜一切强大敌人的基本经验和重要法宝。随着信息技术广泛应用于军事领域,战争形态、战场环境、作战手段和指挥方式发生深刻变化,给党委对作战的统一领导带来了一些新情况新问题,需要不断研究解决,保证部队在任何时候任何情况下始终做到思想统一、意志统一、指挥统一、行动统一。     

具有适应值预测机制的遗传算法

针对适应值计算费时的优化问题,提出一种具有适应值预测机制的遗传算法:为了有效控制预测适应值的准确度和预测频率,建立了一个基于可信度概念的适应值预测模型,引入可信度流失机制以减少预测误差的传播和累积,引入冗余个体剔除机制以减少计算消耗。利用3个基准函数对算法进行收敛性和有效性的测试,测试结果表明算法对于3个测试函数均能获得满意的最优解,并且都能减少60%以上的真实适应值计算次数。     

基于信息态势共享的编队反导目标分配方案优化

在编队目标信息态势实现共享的条件下,可实现网络化防空反导作战的常规作战样式,对目标进行集中统一分配,如何形成最优化分配方案,是防空反导作战指挥决策中的关键。在给定目标来袭态势下,根据编队目标分配原则,可形成多种目标分配初始方案,先后采用了基于负载平衡和基于任务有利度方法,对目标分配方案进行优化。优化所得方案有利度的均方根最大,目标来袭密度的均方根最小,可作为下一步编队组织使用火力通道的依据。