基于复杂网络理论的流程工业系统安全性分析

以复杂网络理论为基础，通过对流程工业系统的结构脆弱性分析，提出了一种新的系统安全性评估方法．通过构建流程工业系统网络模型、分析其拓扑结构特性和固有特征，建立了基于复杂网络特性的连锁故障模型，用该模型对网络中故障点所引起的级联效应进行了分析，并对连锁故障的严重程度进行了仿真．以田纳西一伊斯曼化工过程为例，对所提出的方法进行了分析验证，结果表明，该方法可以从复杂网络角度分析和理解系统连锁故障的本质，识别系统中的关键点和脆弱点，为安全控制和故障预防系统的合理设计提供了依据．     

软件逆向工程的研究与发展

从介绍逆向工程的产生背景出发，给出了逆向工程的基本概念，同时也给出了与逆向工程密切相关的正向工程和再工程概念．通过分析逆向工程的主要目的，概括出逆向工程的最基本目标是为了系统的维护和进一步开发而增加对系统的全面理解能力．指出了逆向工程的主要任务为分析系统、抽象系统和展现系统，并论述分析系统的方法，即静态分析法和动态分析法．总结了国内外逆向工程的发展现状和应用现状，提出了发展方向．     

基于执行模式和扇入分析的横切关注点识别

为提高遗留系统的横切关注点识别效率和精确率,提出一种改进的候选横切关注点识别方法．该方法选取覆盖系统核心功能的挖掘用例,根据横切关注点具有的方法执行模式特征和方法扇入度特征对活动代码进行动态分析,以便发现可供候选的方面．在识别过程中,特别引入了扇入阈值和横切阈值,对由于低于阈值而不可能成为候选横切关注点的方法进行预过滤,同时通过分析方法外语句对方法执行的影响,排除部分不可织入的候选横切关注点．与传统方法相比,该方法在保证查全率不下降的基础上,可有效提高识别效率和精确率．     

ODP观点下计算机会议系统模型的研究

在用开放分布式处理参考模型的５种观战指引下，以计算机会议流结合作为重要概念，系统地研究了设计了一个分布式会议系统。用对象建模技术对会议系统进行了高度抽象，突出了企业，信息，计算，工程和技术观战下各个层面的会议信息流结构和交互特性，作为会议系统实观模型的基础。     

分布式制造信息系统单元的Agent模型

建立分布式制造信息系统的多Agent系统模型时，要在对其功能需求进行分析的同时研究其控制需求．文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法．在此基础上利用基于双向输出自动机的接口，以设备和原料仓的交互为例，研究了Agent之间的通信．结果表明，该模型可以同时对系统进行功能需求和控制需求分析，便于系统分析和设计．     

基于自然语言理解的机械产品需求分析及用例转换研究

本文论述了基于自然语言理解的机械产品需求分析基本模型和用例转换解决方案。在自然语言理解的基础上,通过对ICTCLAS分词系统的优化,利用计算机技术将需求分解为用例元,并对用例元进行分析,以获得产品需求信息和准则。     

智能制造系统的一种研究方法

把制造系统描述为互相连接的信息、数据、知识处理单元的集合，把数据、知识处理单元抽象为信息处理单元，构造制造系统的抽象模型，据此提出了一种从这种抽象模型展开对智能制造系统研究的方法．     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

一种层次式面向对象需求模型的设计

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化／抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性,易维护性和可靠性,并有利于系统的自动开发。     

逆向工程中可重用模型构建技术研究

结合工作实践对逆向工程的研究和应用现状进行了总结,针对逆向工程模型可重用性的不足,提出了一种实物反求工作流程的改进方案．对在通用CAD／CAM系统中进行可重用模型构建的实现技术——特征库和知识库的建立、基于特征的点云分割、特征及特征树的建立及应用进行了研究．     

基于程序依赖图的Aspect挖掘技术

为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的Aspect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.     

软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.     

面向Java语言的逆向工程工具JBRET-JAVA

逆向工程通过对具体系统的分析 ,得出系统的高层结构。我们研制开发的逆向工程工具JBRET -JAVA系统 ,采用EER(EnhancedEntityRelationship)模型为被分析的系统源程序建立概念模型 ,并用关系数据库存储所抽取的程序信息 ;在JBRET -JAVA中 ,程序信息抽取器以增量方式分析程序源代码、抽取程序信息 ;程序信息表示器生成交互式理解的可视化视图以及逆向OOD(Object -OrientedDesign)文档 ;增量方式分析提高了分析效率 ;数据收集和信息浏览相分离 ,增强了系统的可扩展性     

Model-based embedded compiled software fault positioning

Software fault positioning is one of the most effective activities in program debugging. In this paper, we propose a model-based fault positioning method to detect the faults of embedded program without source code. The system takes the machine code of embedded software as input and translates the code into high-level language C with the software reverse engineering program. Then, the static analysis on the high-level program is taken to obtain a control flow graph (CFG), which is denoted as a node-tree and each node is a basic block. According to the faults found by the field testing, we construct a fault model by extracting the features of the faulty code obtained by ranking the Ochiai coefficient of basic blocks. The model can be effectively used to locate the faults of the embedded program. Our method is evaluated on ST chips of the smart meter with the corresponding source code. The experiment shows that the proposed method has an effectiveness about 87% on the fault detection.     

自行火炮有限元参数化建模方法

该文通过对典型的CAD软件输出的有限元模型的分析，提出了自行火炮有限元参数化建模方法。通过修改节点局部坐标系实施数据转换，指出了参数化建模的关键问题，编制了相应的转换程序，可方便地处理不同的射击工况，解决了自行火炮有限元法重复建模的问题。结合某自行火炮进行了参数化建模，证明该方法技术途径可行，这对解决火炮工程问题具有重要的实用价值。     

基于产品数据管理的产品和开发过程集成方法

为支持集成的产品和过程开发 (IPPD) ,建立了表达产品开发过程的功能、行为、组织和信息要素的过程模型。用产品模型数据交换标准 (STEP)建立了产品与开发过程间的关系 ,用面向对象方法建立了产品和开发过程的集成机制。开发了支持 IPPD的工程框架系统 ,它由产品数据管理(PDM)层、开发工具层和过程管理层组成。 PDM层提供了有效的集成信息环境 ;开发工具层由许多单独的产品开发软件组成 ,这些软件封装在 PDM系统中 ;根据建立的过程模型 ,过程管理层仿真和控制产品开发过程 ,并在工程框架系统中有效地实现了产品和开发过程集成     

Formative Assessment of Programming Language Learning Based on Peer Code Review: Implementation and Experience Report

In programming courses, the traditional assessment approach tends to evaluate student performance by scoring one or more project-level summative assignments. This approach no longer meets the requirements of a quality programming language education. Based on an upgraded peer code review model, we propose a formative assessment approach to assess the learning of computer programming languages, and develop an online assessment system(OOCourse) to implement this approach. Peer code review and inspection is an effective way to ensure the high quality of a program by systematically checking the source code. Though it is commonly applied in industrial and open-source software development, it is rarely taught and practiced in undergraduate-level programming courses. We conduct a case study using the formative assessment method in a sophomore level Object-Oriented Design and Construction course with more than 240 students. We use Moodle(an online learning system) and some relevant plugins to conduct peer code review. We also conduct data mining on the running data from the peer assessment activities. The case study shows that formative assessment based on peer code review gradually improved the programming ability of students in the undergraduate class.     

基于插桩技术的程序谱构建方法

为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。     

基于关系数据模型代码生成器的设计与实现

在以多层架构实现的数据库应用系统中,大量程序代码与其关系数据模型直接相关,采用一种以关系数据模型为输入的自动代码生成工具,可以大幅度地降低编程工作量,提高软件质量.现有基于模板的代码生成工具具有良好的设计框架,但其脚本语言由于与关系数据模型关联不紧密,导致代码模板编写和维护比较困难,难以快速应用.文中设计一种与关系数据模型紧密结合的迭代式代码脚本语言RDM CodeMark,保留基于模板的代码生成技术通用性的同时,简化代码模板编写难度.结果表明:基于RDM CodeMark语言的代码生成工具在针对J2EE平台和.Net平台的软件项目开发实践中能取得较为理想的效果.     

基于框架的Linux安全增强开发技术

基于框架开发软件有助于复用代码，提高开发效率和质量。对LSM(Linux Security Module)和RSBAC(Rule Set Based Access Control)实现的GFAC(Generalized Framework of Access Control)框架进行了分析，修改并扩充了RSBAC的GFAC框架并将其应用于Linux安全增强操作系统的开发，研究了基于安全访问控制框架开发多安全策略系统的方法。