基于SysML的航电系统架构安全性评估方法

针对现有系统安全性分析方法中安全性分析与航电系统架构设计过程无法融合的问题,提出基于SysML的航电系统架构安全性评估方法。首先在EA中基于SysML建模语言建立系统架构模型;然后利用XML解析技术从中提取系统关键信息,并建立故障树模型对其失效概率与区域安全性等进行分析,得到安全性评估结果;最后基于SysML语言对IMA架构下的显示系统进行架构设计和安全性评估,评估结果验证了所提出安全性评估方法的有效性。     

DCS控制软件的新结构

论述了集散控制系统环境下控制软件的新结构。阐明了软件开发的标准：组件对象模型（COM）/分布式组件对象模型（DCOM）;软件运行的系统结构：客户机／服务器结构。     

提高网络MIS安全性的方法及其实现

本文从网络结构的选择、防止非法用户入网、文件目录分配、用户组划分、防止非法数据访问和数据库的安全保护等方面，讨论了基于Netware和FoxPro开发平台的管理信息系统（MIS）安全性问题，同时提出了有关实现方法．     

面向方面的编程方法

面向方面编程（Aspect-Oriented Programming,AOP）是目前发展比较迅速的一种新的编程方法。它是面向过程、面向对象方法的进一步发展。AOP通过引入了方面概念,改进了关注点的分离（separation of concerns）,减少代码缠结（code tangling）,解决了横切关注点（crosscutting concerns）的问题,可以提高软件质量和效率。文章对AOP的基本概念、技术特点和AOP的技术框架现状进行了相关介绍。     

软件安全性评估方法综述

软件安全性评估的目的是评价软件是否达到系统规范所要求的安全性。该文对国内外关于软件安全性评估的方法进行了分析,将其分为风险矩阵评估、模糊评估和基于可靠性模型的评估等类别,并对上述几种方法做了相应的比较。     

企业网环境下控制软件的新发展

本文论述了企业网环境下控制软件的新发展。阐明了软件开发的标准：组件对象模型（COM）／分布式组件对象模型（DCOM）；软件运行的系统结构：客户机／服务器结构。     

企业网环境下控制软件的新发展

本文论述了企业网环境下控制软件的新发展。阐明了软件开发的标准：组件对象模型（ＣＯＭ）／分布式组件对象模型（ＤＣＯＭ）；软件运行的系统结构：客户机／服务器结构     

一个面向方面的可信软件开发平台TSCE*

随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额外编写可信性实现的相关代码,便可在部署运行阶段使软件具有一定的可信性判断能力和故障预警与修复能力。     

基于扩展FAST协议的金融消息压缩方法

为降低金融交换消息的大小,近年来已出现QuickFast、OpenFast等基于FAST1.1协议的金融消息压缩方法。然而现有方法不支持压缩率更高的FAST1.2协议,也无法支持面向过程的开发运行环境。提出基于扩展FAST的金融消息压缩方法FASTX,不仅可以达到更好的编码效率和速度,还为在面向过程编程模式下实现FAST1.2提供了新的方法。实验结果表明FASTX编码效率十分高,只需约DBF1/4的大小就可表示相同的内容,与其他几种常用数据格式也进行了对比,验证了新方法的可行性和有效性。     

基于Nelson模型的软件安全性评估准则

软件可靠性模型一般只考虑失效出现的频度和时机,而不区分其可能产生的后果差异。在软件安全性研究领域,人们不但要考虑失效出现的频度,还要考虑失效可能产生的后果严重性。如果我们能寻找出一种方法,它能在相同风险概念的前提下,将软件失效后果的严重性差异转嫁到软件失效出现的频度上,使软件失效具有相同的后果严重性,则在将频度转换成概率后,可用已有的软件可靠性模型来讨论软件的安全性评估准则。本文以Nelson模型为例讨论在风险等效前提下的软件安全性概念及相应的评估准则。1 软件风险度量及软件安全性定义1 设E={e_k|k=1,2,…,n}为因软件故障     

基于本体和多Agent的面向任务协同编程

针对面向对象编程与面向方面编程存在的问题,提出一种基于本体和多Agent的面向任务协同编程方法,给出任务分解原则、任务描述方法及编程的9个阶段。通过实例验证该方法可以提高目标软件系统的模块化程度,使目标软件系统易于实现、理解、演化和复用。     

一种改进的XP技术及其实践应用

极限编程(XP)是简单、快速、易用的软件开发方法中最为流行的。在简要介绍XP的概念、结对编程等基本理论之后,阐述了XP与结对编程的关系,并在此基础上,根据实际的开发环境,提出了一种改进型的结对编程方式,并将其应用于一个营业收费信息系统的开发过程中,详细描述了XP开发模式的实际执行过程及结果,通过实践改进加强了对XP的理论研究和实践理解。     

一种改进的XP技术及其实践应用

极限编程（XP）是简单、快速、易用的软件开发方法中最为流行的。在简要介绍XP的概念、结对编程等基本理论之后,阐述了XP与结对编程的关系,并在此基础上,根据实际的开发环境,提出了一种改进型的结对编程方式,并将其应用于一个营业收费信息系统的开发过程中,详细描述了XP开发模式的实际执行过程及结果,通过实践改进加强了对XP的理论研究和实践理解。     

预训练模型在软件工程领域应用研究进展

近年来深度学习在软件工程领域任务中取得了优异的性能. 众所周知, 实际任务中优异性能依赖于大规模训练集, 而收集和标记大规模训练集需要耗费大量资源和成本, 这限制了深度学习技术在实际任务中的广泛应用. 随着深度学习领域预训练模型(pre-trained model, PTM)的发布, 将预训练模型引入到软件工程(software engineering, SE)任务中得到了国内外软件工程领域研究人员的广泛关注, 并得到了质的飞跃, 使得智能化软件工程进入了一个新时代. 然而, 目前没有研究提炼预训练模型在软件工程领域的成功和机遇. 为阐明这一交叉领域的工作 (pre-trained models for software engineering, PTM4SE), 系统梳理当前基于预训练模型的智能软件工程相关工作, 首先给出基于预训练模型的智能软件工程方法框架, 其次分析讨论软件工程领域常用的预训练模型技术, 详细介绍使用预训练模型的软件工程领域下游任务, 并比较和分析预训练模型技术这些任务上的性能. 然后详细介绍常用的训练和微调PTM的软件工程领域数据集. 最后, 讨论软件工程领域使用PTM面临的挑战和机遇. 同时将整理的软件工程领域PTM和常用数据集发布在https://github.com/OpenSELab/PTM4SE.     

基于监控的可信软件构造模型研究与实现*

如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题。针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色。     

基于IP和GEP算法的股票预测

采用免疫算法和基于基因表达式编程的混合算法建立了股票指数预测模型。实验结果显示,该模型能够以相当高的精度预测股票指数。     

面向组件的商务决策分析系统的设计与实现

本系统是基于因特网、B／S的三层架构,采用面向组件编程的分布式决策分析系统。它为电子商务的海量数据建立数据仓库,利用数据挖掘为经营、管理的决策分析提供解决方案。它通过MD5单向加密等多重安全保护机制为企业数据提供足够的不同级别的保密措施;J2EE平台及组件化的设计使系统具有良好的特性。     

GeoVISTA Studio: a codeless visual programming environment for geoscientific data analysis and visualization

The fundamental goal of the GeoVISTA Studio project is to improve geoscientific analysis by providing an environment that operationally integrates a wide range of analysis activities, including those both computationally and visually based. Improving the infrastructure used in analysis has far-reaching potential to better integrate human-based and computationally based expertise, and so ultimately improve scientific outcomes. To address these challenges, some difficult system design and software engineering problems must be overcome.This paper illustrates the design of a component-oriented system, GeoVISTA Studio, as a means to overcome such difficulties by using state-of-the-art component-based software engineering techniques. Advantages described include: ease of program construction (visual programming), an open (non-proprietary) architecture, simple component-based integration and advanced deployment methods. This versatility has the potential to change the nature of systems development for the geosciences, providing better mechanisms to coordinate complex functionality, and as a consequence, to improve analysis by closer integration of software tools and better engagement of the human expert. Two example applications are presented to illustrate the potential of the Studio environment for exploring and better understanding large, complex geographical datasets and for supporting complex visual and computational analysis.     

敏捷开发:极限编程在管理信息系统开发中的实践探讨

极限编程是敏捷的和基于实践的软件开发方法学。通过介绍极限编程的特点及其在一个管理信息系统项目实际开发中的成功实践,探讨研究了极限编程对于中小型需求易变的软件开发项目应用的优势和不足。     

轴承统计过程控制的研究及软件编制

统计过程控制（SPC）是指应用统计分析技术对生产过程进行实时监控,区分出生产过程中产品质量的异常波动,以便管理人员及时采取措施,消除异常,达到提高和控制质量的目的。针对SPC的实际应用研究,SPC的软件编制阐述了统计过程控制原理,提出相关数学模型,对其模拟软件的设计进行了研究分析,并对相关的内容作了进一步的讨论。在理论知识的基础上采用高级编程语言进行软件编制,实现具有一定实用性的软件应用系统。