多机并发系统动态信息的逆向抽取和过滤策略

针对多机并发系统的复杂性,为了辅助用户从多个层次全面地理解并发系统,就需要抽取出能反映系统整体行为特征的动态信息。从进程的视角研究信息的逆向获取,提出了一种抽取多机并发系统动态信息的方法。此方法基于反射和开放编译的植入机制和共享内存机制,来获取所需要的动态信息,在此基础上运用分类策略来组织、收集和过滤信息,最后进行了系统的实验研究。结果表明,逆向抽取的动态信息能够正确、有效地反映多机并发系统设计时进程级别的关系。     

逆向工程中动静态结合分析面向对象系统研究

针对静态程序分析得到的信息冗余且无法反映面向对象目标系统多态和动态绑定的本质特征,而动态分析则与动态程序执行有关的,无法得到完整的依赖关系,提出反射植入动态分析和开放编译静态分析相结合的方式,并将得到的静态和动态信息有机结合起来产生动静态结合程序依赖图。最后通过试验研究表明动静态结合程序依赖图既能反映动态运行轨迹,又能全面反映系统整体依赖信息,可以更有效地辅助程序理解。     

利用MATLAB-RTW移植发动机控制系统的方法与实践

介绍使用MATLAB中的Real-Time Workshop解决汽车电子问题的成功经验.以前的发动机控制程序只能运行于单一的ECU平台,而且没有实时操作系统的支持.首先利用Simulink成功的继承了以前的发动机控制算法代码,然后通过自动代码生成过程,为不同平台(包括一款符合OSEK标准的操作系统)生成了C代码,最终利用第三方编译工具生成了可执行代码,成功完成了对发动机喷油和点火的控制过程.由于得到RTW的帮助,整个移植过程只用了一个月的时间,而且生成的可执行程序运行稳定.     

基于横切关注点恢复的软件逆向工程研究

为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。通过对目标系统执行信息进行概念格分析,该方法能够识别和抽取横切用例模型的系统方法调用集合,并利用统一建模语言中用例图的版型(stereotype)机制对它们进行模型重构和呈现。与仅为了代码重构而进行的侧面挖掘(aspect mining)技术相比,该方法更适合在较高的系统抽象层面上进行程序理解,作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性。     

引入目标灰度信息的多假设跟踪方法

在传统的多假设跟踪(MHT)算法中,航迹置信度函数仅利用了目标的位置信息。对于红外搜索与跟踪(IRST)系统中的目标跟踪,还有目标灰度信息可以利用,因此在IRST系统的MHT算法中加入目标的灰度信息来重新构造航迹置信度函数和航迹启动条件,增强了算法抑制虚警的能力。通过跟踪5个高机动目标的仿真过程,对算法性能进行了检验,仿真结果表明,新的算法可以减少航迹数目、减少系统计算时间,并使算法具有更强的抑制噪声的能力。     

基于关注点的序列图逆向生成优化算法

针对序列图逆向生成过程中由于动态信息过大造成生成序列图耗时巨大,生成的序列图过于复杂,不利于对目标系统的理解的问题,提出了一种基于关注点的序列图生成算法,对原有算法进行了优化。该算法基于用户在程序理解中关注的方面,包括进程、函数调用层次、某一时间段内的目标程序运行情况、对象在目标系统中扮演的角色等,对收集到的动态信息进行提取,生成基于用户关注点的序列图。使用该算法生成序列图,耗费的时间大大减少,而且生成的序列图便于用户理解目标系统。通过实验验证了这种算法的正确性和有效性。     

科学基金管理系统多层次决策分析

本文利用层次分析法(Analytic Hierarchy Process)和德尔菲群组判断概念,分析了科学基金管理系统的决策问题,讨论了系统的递阶层次结构,层次指标体系和系统判断矩阵的数学模型。通过计算处理和综合,对决策对象和方案进行优劣排序,为决策者提供决策依据。本文的方法可推广应用于其他涉及优化排序的管理系统中。     

控制系统功能表图的电路实现

控制系统功能表图(CSFC)建立在Petri网的理论基础之上,用来描述控制系统的功能与特性,是一种并发系统的模型。文章介绍了如何用D触发器实现CSFC中的步,用与或门实现CSFC中的转换,并将基本电路封装成元件,存入EDA软件工具的库中以备调用。最后通过一个CSFC控制器,对D触发器和RS触发器实现方法进行了比较,并给出了仿真波形。     

水下目标回波亮点特性计算的图形学方法

根据Kirchohoff近似公式建立了一种水下目标回波亮点特性计算的新方法.该方法利用三维图形处理系统,采用建模软件对复杂水下目标进行几何建模,利用OpenGL技术将几何三维模型转化为屏幕上可视化的像素图形,利用计算机图形学方法和图形硬件计算水下复杂目标的表面法向量和空间距离信息,将回波亮点特性中的面元计算转化为对图形像素点相关信息的计算,对不同传播距离的面元反射特性求和得到水下复杂目标回波亮点特征,最后模拟出不同脉宽的发射信号的水下目标回波信号.模拟计算表明该方法有效,对回波亮点特性模拟逼真,同时计算复杂度不受模拟几何建模复杂度的影响.     

面向客户关系管理的营销信息系统可视化建模

分析了面向客户关系管理的营销管理模式和适应客户化定制的营销BOM多视图间组织映射关系,以及营销BOM作为市场需求信息的载体向企业内部生产制造系统传递的机制。将IDEF方法与面向对象技术相结合,对营销系统进行可视化建模,利用IDEF0方法设计了营销系统的功能模型,明确营销系统的开发目标和功能;利用面向对象技术进行详细分析,将营销信息以对象形式封装起来,采用可视化统一建模语言(UML)建立了营销信息系统的实现模型,使系统有好的维护性、扩充性和重用性。     

基于安全元对象的CORBA系统的访问控制机制

目前 ,使用反射机制实现非功能性机制变得越来越流行 ,出现了面向可靠性应用的各种元对象协议。针对CORBA安全服务在访问控制的细粒度实现、可定制性方面不够灵活的问题 ,提出了基于安全元对象的CORBA系统的访问控制技术。反射机制把客户对服务器对象的访问隔离开来 ,进行访问权限的检查和安全审计 ,防止应用软件的非法访问和操作来提高系统可靠性。安全元对象协议的实现采用了开放式编译器 ,使最终的访问控制系统代码量小、运行开销小 ,同时安全策略定制灵活、易于扩展     

防空C3I系统软件开发方法研究

防空C3 I系统是C3 I系统的重要组成部分 ,在防空作战中起着重要的作用。其软件开发的质量将直接影响防空C3 I系统作战效能的发挥。通过几年的防空C3 I软件开发实践 ,归纳了其软件开发的基本方法———以系统工程法为基础 ,综合运用软件集成、渐进获取和面向对象等方法。实践证明 ,这些方法对开发防空C3 I系统软件是行之有效的。     

嵌入期权的激励相容型软件外包付款合同设计

扩展了文献[1]的经典模型, 建立起激励相容框架下软件外包付款合同设计的正式模型. 特别之处在于嵌入了一个"中期检查"的触发期权, 在模型中采用示性函数的方法简洁表示. 通过基准模型与嵌入触发期权的模型结果的比较, 证明了嵌入触发期权对外包的风险控制、促进承接商(vendor)提高努力程度均占有优势. 还发现嵌入期权对客户(client)与承接商的双重约束功能, 主要通过改变超支分担系数来约束客户行为. 利用中国对日本的软件外包承接商的调查研究数据, 证实了嵌入触发期权主要通 过促进承接商超支控制效率的提高而实现外包风险有效控制,也证实了双重约束功能及其他主要理论结果.     

A Jave-Based Multi-tier Distributed Object Enterprise Computing Model

1. INTRODUCTIONEnterprises today need to eXtend their reach, cut costs, and reduce their response time by providing easyto-access services to their customers, partners, employees, and suPpliers. TyPically, applications that provide theseservices must combine existing enterprise information systems with new business fUqFtjotis that deliver servicesto a broad range of users. These services are exPected to be higny avaiIab1e, to meet the needs of today's globalbusiness environment. Secure…     

飞行器控制计算机的程序设计

本文论述了以ＴＭＳ３２０Ｃ２５作为飞行器控制计算机微处理器来设计控制程序的方法。设计中透彻分析了控制程序的数学模型特点，提出了用标准激励实时控制软件的方法，充分发挥了微处理器的结构特点，运用函数查表、扩展精度运算等各种方法，不仅使控制程序满足了实时运行的要求，而且计算结果也有较高的精度。     

电离层斜向返回探测雷达的发射模块设计

为在武汉电离层斜向返回探测系统(Wuhan ionospheric oblique backscattering sounding system,WIOBSS)中实现低的发射功率、远的探测距离、比较强的抗干扰等技术要求,根据WIOBSS的特点,提出了脉间二相编码等间隔收发探测模式。在这种新型探测模式中,WIOBSS采用发射长持续时间探测信号的方式来积累回波能量,并采用具有良好自相关性的二元伪随机序列m序列和近完美序列来对相位进行调制。另外,一套采用软件无线电和面向仪器系统的外围部件互连扩展(Pci eXtension for instru mentation,PXI)总线技术的软件化发射模块被设计用于实现这种新型探测模式。实际探测结果表明,采用该发射模块的WIOBSS在发射功率非常小的情况下成功地实现了2000 km范围内的电离层状态探测。     

分布式多用户控制系统仿真的实现

将分布式计算的思想应用于航空发动机控制系统数学模型仿真中，将客户/朋务器网络通信模式与控制器／被控对象信息传递的机制相结合，以现有的计算机操作系统为平台，开发了一个运行在计算机网络上的分布式多用户发动机监控仿真系统。仿真系统中的发动机数学模型可以同时为多个用户使用，开发人员可以将工作的重点放在控制方案的设计上，在节约计算资源的同时也提高了工作的效率。     

SPECIFYING AGENT-ORIENTED E-COMMERCE SOFTWARE AS ORGANIZATIONAL STRUCTURES

1. Introduction The meteoric rise of Internet andWorld-Wide-Web technologies has createdovernight new application areas for enterprisesoftware, including e-commerce applications.These areas demand software that is robust, canoperate within a wide range of environments,and can evolve over time to cope with changingrequirements. Moreover, such software has to behighly customisable to meet the needs of a widerange of users and sufficiently secure to protectpersonal …     

基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。