Behavioral consistency checking between requirements and implementations

Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.     

以系统论方法诠释中国传统思维:社会 学简

本文以系统论方法诠释中国传统思维，再用中国传统思维——精气学说和阴阳学说的观点、方法和语言去解释社会的流动、阶级的形成、社会的分化与整合、社会结构的优化、和谐社会的形成和推动社会发展的动力。中国古代思想家和哲学家，尤其是具有代表性的老子和孔子关于社会和谐的理论，对今天社会具有重要的现实意义。     

系统科学和系统哲学研究的新进路——学习乌杰《系统哲学之数学原理》

本文学习和系统介绍乌杰的新著作《系统哲学之数学原理》一书。指出乌杰的系统哲学有三次重大突破。本书是他的哲学的第三次突破的成果,它系统研究和说明系统哲学的统一的数学基础,从而更科学更准确表述了乌杰的系统哲学的五大定律。特别重要的是本书深入分析和试图从哲学上解决爱因斯坦——杨振宁问题:世界为什么是和谐的和可以理解的。也因此使乌杰系统哲学成为本体论、价值论和认识论的统一整体。     

系统思维与党的制度建设研究

探索在新的历史条件下用系统思维指导党的制度建设非常必要。用系统思维构建党建制度系统要做到：首先,坚持核心思维,构建以民主集中制为核心的制度系统。其次,坚持整体思维,构建内容协调、程序严密、配套完备、有效管用的制度系统。最后,坚持自组织思维,构建认真学习、严格执行与自觉维护相统一的制度系统。     

联合作战武器装备体系演示验证仿真系统研究

面向信息化条件下联合作战武器装备体系演示验证仿真需求,提出了一种可以实现异质模型与多模拟系统的互联与联合仿真,支持在战区作战体系大环境下,对联合作战武器装备体系的概念、方案与作战运用进行一体化演示与综合实验评估验证的仿真系统设计方案,并对系统设计实现中的若干关键问题进行了讨论。     

集成锁相跟踪滤波器件(PLTF)调试中的几个问题

本文介绍PLTF调试中的几个问题;NE526捕捉带宽的测量,调制器与带通滤波器的引进,调谐电容的确定和缩短捕捉时间、稳定工作的措施及滤波器参数的选择。文中给出的照片是在不同信噪比的情况下得到的。     

工程系统论——一门工程元学科

本文提出了一门新学科一工程系统论.它首先给出了工程系统的概念.接着讨论了工程系统论的研究对象、研究方法及其学科层次.最后论证了建立这门新学科的根据,并分析了工程系统论与系统工程的差别与联系.     

仿真机器人足球赛中多Agent合作模型

在多Agent系统中,合作机制是成功的关键.如何能够达到令人满意的多Agent合作是目前MAS研究的关键.本文结合仿真组机器人世界杯足球赛领域,在团队行为规划和Teamwork理论基础上提出一种新的合作框架.本模型不完全依赖通讯.     

系统生长模型和群组综合决策

本文提出了系统生长模型和群组综合决策法,用以解决高层次系统分析,宏观规划决策和中长期预测问题。     

2002～2005年《系统工程理论与实践》载文统计分析

对《系统工程理论与实践》2002年至2005年所刊载的论文从载文量、研究内容、地区分布、EI收录量和文献计量学指标方面进行了统计分析,统计结果在一定程度上揭示了《系统工程理论与实践》的发展状况.