寻找无向图中全部生成树的复合支路和网络撕裂技术

将复合支路和网络撕裂技术用于寻找无向图中全部生成树的算法.给出复合支路的概念、表示方法和运算规则,以及由各个子图的全部生成树得到原图的全部生成树的方法.在图的分解和找树过程中,可以采用并行算法,从而降低了找树算法的复杂性.     

加强合作不断创新技术和产品——国产机床优秀合作项目MGKF2000／4数控高精度立式复合磨床

近年来,随着高速高精度主轴单元技术、精密高速进给单元技术、砂轮制造技术、检测控制等技术的不断进步,实现圆及非圆零件表面的高速精密磨削加工的条件日趋成熟,目前已成为世界各工业国家竞相投入大量人力、物力研究的热点。     

敢立潮头树标杆——广东省深圳市福田区人武部抓全面建设纪实

“先进人武部”“先进党委”,150多面奖牌奖旗,他们与特区共成长、同辉煌：“大运会赛事保障”“安保维稳”。多次完成急难险重任务,他们无愧于特区兴武的标杆。     

磁控溅射工艺对CrN基复合涂层微观结构及摩擦学性能的影响

采用闭合场非平衡磁控溅射技术在不锈钢基体上制备了不同质量分数Mo的CrMoN复合涂层。采用X射线衍射仪（XRD）、扫描电子显微镜（SEM）、能谱仪（EDX）和光电子能谱仪（XPS）,系统分析了CrMoN复合涂层的相结构、表面形貌、成分、原子化合价价态等,结果表明：添加Mo后,CrMoN涂层的择优取向由CrN涂层的（220）转变为（200）,CrMoN涂层中的Mo原子取代了CrN晶格中的Cr原子,形成（Cr,Mo）N置换固溶体。采用Nano Test 600硬度测试仪测定了CrMoN复合涂层的纳米硬度,结果表明：由于CrN相和MoN两种硬相的协同作用,使得CrMoN复合涂层的纳米硬度值增大。采用多功能摩擦磨损试验机测定了CrN涂层及CrMoN复合涂层的摩擦因数,结果表明：CrMoN复合涂层的摩擦因数低于CrN涂层,磨损过程中由于摩擦热反应生成大量MoO3,使得复合膜的摩擦因数降低,起到了一定的润滑效果,降低了磨损量。     

μC/GUI图形界面在SOPC系统中的移植研究

图形用户界面(μC/GUI)以其友好的人机交互界面,在各种嵌入式系统中得到广泛应用。文中介绍了μC/GUI在以Nios II处理器为核心的SOPC系统中的移植过程和应用方法。分析了SOPC系统架构和μC/GUI的组织结构,构建了LCD控制器和触摸屏驱动,实现了中文显示。μC/GUI运行结果表明,LCD上图形显示效果良好,体现了μC/GUI在SOPC系统中应用的优越性。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

基于SD流率基本入树的部队装备管理信息化建设研究

部队装备管理信息化建设是当前我军装备管理领域正在着力进行的一项复杂系统工程。深入探索建设规律,对于指导建设实践、提高建设质量具有重要意义。在对部队装备管理信息化建设进行系统分析的基础上,利用系统动力学（SD）流率基本人树建模方法构建了其流率基本人树模型,并利用vensim仿真软件对其进行了实例仿真。研究表明,运用系统动力学方法可以实现对部队装备管理信息化建设问题的研究由定性向定量转变,深化规律探索,同时研究结果也可为建设决策提供科学的定量理论支持。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

分布式实时网络半实物仿真方法研究

介绍了基于分布式实时网络的复合寻的制导武器半实物仿真试验环境建立的基本方法,对其工作原理、主要设备和技术进行了分析。     

射频/红外复合制导半实物仿真技术的发展

射频 /红外双模复合制导技术的不断发展引发了对射频 /红外双模复合制导仿真工具的迫切需求。国外从 20世纪 80年代末就开始了射频 /红外半实物仿真系统的研究。分析了美国海军空战中心等 4个单位的射频 /红外半实物仿真系统及其发展过程、技术特点。