参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

深化预算管理改革 提高军队建设质量效益

深化军队预算管理制度改革,应坚持积极稳妥、政策连贯、完善配套的原则,紧密结合部队实际,多法并举,综合施策。要强化规划计划牵引,加快经费标准化进程,完善重大项目决策论证制度,加大事业经费调控,集中财力收支渠道,健全预算执行监管,强化预算监督考评,努力推进军费预算法制化、决策科学化、管理信息化。     

谈公安边防部队预算执行审计问题

深入研究、切实抓好预算执行审计工作对于保证预算的落实、达到收支平衡,具有十分重要的现实意义。预算执行审计应围绕“三个监督”开展工作,并处理好“三方面关系”。     

核电装备业首次向民资敞开 中广核签下10亿大单

中国核电巨头之一的中国广东核电集团3月2日与浙江省30家民营能源装备企业签订合作协议,总金额约10亿元,这是中广核首次面向民营核电装备企业采购相关设备。     

“破窗户理论”的启示

美国斯坦福大学心理学家詹巴斗曾做过一项试验:他将两辆外形完全相同的汽车停放在相同的环境里,其中一辆车的引擎和车窗都是打开的,另一辆则封闭如常。打开的那辆车在三天之内就被人破坏得面目全非,而另一辆车则完好无损。这时候,詹巴斗又在完好的那辆车的窗户上打了一个洞,只一天功夫,车上所有的窗户都被打破,内部的东西也全部丢失。这就是著名的“破窗户理论”。由此,笔者联想到部队管理工作,管理的效果———正规的“四个秩序”好比试验前完好的车,管理的依据———条令条例和各项规章制度好比试验中的车窗。那么,要想建立正规的“四个秩…     

美印海上演习意在遏制中俄

10月初,美海军部署在印度洋的“尼米兹”号舰母编队各型舰船6艘以编队形式驶离阿拉伯海,外界正对这支般母编队驶离阿拉伯海后的动向进行揣测的时候,编队中的属舰导弱巡洋舰“乔辛”号、导弹驱逐舰“菲茨杰拉德”号、油船“切萨皮克”号。核动力潜艇“帕萨迪娜”号于5日出现在印度南部海域。而“尼米兹”号航母却于7日抵达新加坡,通常情况下,美海军一支航母编队一旦离开其部署海域赴另一海域活动,说明肯定有什么事,要么是换防,要么是进行演习或执行什么任务。     

自我革新的坚实逻辑起点——解读“党的先进性是具体的历史的”

十六大报告指出 :“党的先进性是具体的、历史的” ,这是江泽民同志和党中央在深深的忧患意识支配下对我们党自身前途和命运深刻反思的结果 ,是我们党在新的历史条件下自我批判自我革新的宣言 ,为我们坚持党的先进性找到了一个坚实的逻辑起点和实践上的切入点、着力点。进步从来不是抽象的 ,工人阶级的先进性、党的先进性也从来不是抽象的 ,这不仅因为是否先进要看实践 ,更因为党的实践是具体的历史的 ,社会进步的标准是具体的、历史的、全面的和相对的     

基于TCP/IP协议栈构建的弹上飞控软件评测与验收系统的硬件实现

基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。     

一种单片化可重构的相位式测距系统

通过相位式测距的计算,进行了参数选择.基于XACT可编程逻辑开发软件平台,利用Xilinx的现场编程逻辑器件对系统进行单片集成,整个系统的体系结构和测量参数都可以动态重构,是实时信息处理系统小型化设计的一种全新方案.     

移动Ad Hoc网络组播路由的研究

移动计算的发展与便携计算设备的大量使用 ,提高了移动无线网络的重要性。由于面向群组计算的应用也大大增加 ,产生了MANET组播路由的需求。由于潜在的广播能力 ,MANET更适合组播通信。本文指出了关于MANET组播路由研究的一些突出的问题 ,并且研究和讨论了现有几种组播协议的优缺点 ,以及对不同条件的适应性。