快速可重构信息系统的框架研究(英文)

变化和重构是快速可重构信息系统 (RRIS)的两个核心概念 ,RRIS对变化的适应或演化能力使它优于传统信息系统。本文首先提出 RRIS的体系结构 ,然后以 RRIS框架为重点 ,讨论框架的定义、分类及设计 ,研究框架的构成、构成元素 (业务构件 )的设计及构件如何在构架的组织下协调地安插在 CORBA的软总线上 ,实现类似硬件IC的即插即用。构件在框架上即插即用的灵活机制及热点构件 (反映变化 )的灵活运用 ,提高了框架的可扩展性、可定制性 ,从而提高了 RRIS适应变化的可重构性。     

系统群进化环境的模型设计

由于系统群复杂性的增加和有关实践的非成熟性，开发了一个系统化的方法来进行进化活动显得十分必要。本提出了一个系统群进化的综合环境的设计模型，介绍了该环境的设计思想，操作的流程，主要的模块以及如何运用系统构架知识来支持系统的进化，最后给出了该环境设计的高层结构。     

基于ASP的高校田径运动会信息管理系统

田径运动会的编排是一项非常繁琐的工作 ,传统的人工编排操作效率低、准确度低 ,随着体育教学改革的深入 ,田径运动项目的增多 ,为发展高校体育运动 ,提高田径运动会的高科技含量 ,提高教职工、学生的体质 ,结合学校体育工作的实际情况 ,用VisualFoxPro、ASP、VBScript设计了一套高校田径运动会信息管理系统。主要包括网上报名、数据的编排和报表的打印模块。经我院田径运动会的应用表明 ,这一计算机编排系统能有效地减少劳动强度 ,提高数据准确度 ,并能及时输出各种实时数据及报表 ,而且操作简单、灵活、界面友好 ,是高校田径运动会有效的管理软件。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

基于多GPU的大型线性和非线性方程组的求解(英文)

在处理工程问题时,常常需要对线性或非线性方程组进行求解。对于实际应用中经常遇到的大型方程组进行求解则需要相当长的时间。使用图形处理器(GPU)代替传统的CPU,将多块GPU通过操作系统进行协调,并将PBi-CGstab方法和Inexact Newton方法进行适合多GPU并行的改造以此作为多GPU求解器的核心算法,加速求解大型线性和非线性方程组。本文的多GPU求解器在成倍扩展了单GPU求解器允许的计算规模的同时取得了令人满意的加速比。     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

基于网络的可重构电火花线切割CAD/CAM系统研究

针时线切割行业的特点，给出了一种切实可行的基于网络的线切割CAD／CAM系统开发方案，该系统分为可重构的客户端软件和可伸缩的服务器端软件两部分。文中对系统的体系结构、客户端软件的重构、工艺数据库以及服务器载荷的平衡、网络流量的控制等相关技术进行了研究和探讨，并对相关技术进行了验证，结果表明开发方案和其中采用的技术是可行的和有效的。