描述实时系统需求的模型

本文提出一个描述实时系统需求的模型 .在这个模型中 ,层次式有穷状态机被表示成规则和模板的形式 ,且一个模板对应于一个状态机 .由于与状态机相关的规则和信息可被写入到模板中 ,故用此模型写出的需求规格说明书可由多个模板组成 ,而且易于理解和阅读 .最后 。

一种源程序到流程图的转换方法及实现

把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。

基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.

基于M_(AS)的形式化数据流图的方法

由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则。

基于并行处理环境的多类命题动态逻辑系统

本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构，并使用ＭＰＤＬ描述了一个实际问题．本文使用了新算子Ｇｉｊ来描述并行程序间的关系．最后，本文简单地讨论了ＭＰＤＬ的一致性和完备性．

嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.

一种新型安全计算机

在可信计算平台的概念和技术的基础上，介绍了我国自主研制的一种新型安全计算机．这种安全计算机在系统结构和主要技术路线上与美国可信计算组织TCG(Trusted Computing Group)的可信PC规范是一致的，并在技术上有所创新，采用了信任链机制、基于呤和智能卡的用户身份认证、嵌入式安全模块、两级日志、灵活的I／O端口控制等新技术．它适用于电子政务、电子商务及其他对安全性要求高的微机环境，而且以它为平台可以开发出许多信息安全产品．

基于模型驱动的软件体系结构

介绍了一种基于模型驱动的软件体系结构。该体系结构将与实现技术无关的功能模型及基于某一特定技术的实现模型分离 ,通过不同模型之间的变换 ,使系统能适应技术的进步 ,解决系统在不同中间件平台上的集成、互操作性、可移植性等问题。此外 ,也讨论了这种体系结构的优缺点及今后需要解决的问题。

图象数据关联规则挖掘

本文在介绍了多媒体数据挖掘基本思想和图象数据主要特征基础之上 ,对图象数据关联规则挖掘进行了讨论 .首先对关联规则挖掘有关问题加以描述和分析 ,针对图象数据 ,定义了新的关联规则及其有关概念 ,并给出考虑项数量的原子特征和空间关系关联规则挖掘算法 Max Occur和 MAR- Spatial。

基于行为模型的需求可视化研究

针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为其执行模型和描述模型,每一个状态迁移都对应一个需要进行可视化描述的行为,一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联,控制图形的运动,实现需求行为模型的可视化.该方法的优点在于,需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求,避免需求变更,并且BDL模型必须通过一系列检测,以确保需求动画的正确性.文中给出了行为模型到状态模型转换规则的正确性证明,为转换提供了相应的理论验证.最后给出了校园通系统实例分析以及所实现的建模工具和动画工具介绍.

基于迁移学习的软件缺陷预测

传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,算法首先收集训练数据和测试数据的特征信息,然后计算特征差异,将不同项目数据之间差异转化为训练数据权重,最后基于这些权重数据建立预测模型.在8个开源项目数据集上进行实验比较,实验结果表明与其他方法相比本文方法显著提高跨项目缺陷预测性能.

面向软件行为的需求模型及特性检测

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.

软件体系结构评估方法的研究

体系结构评估是软件开发中的一项重要工作 ,目的是分析体系结构潜在的风险 ,并检验设计中提出的质量属性需求。介绍并讨论了有代表性的三种评估方法 :SAAM ,ATAM ,ALPSM ,在此基础上提出一个概念上的比较框架来分析这些评估方法的相似与差异 ,并进一步对方法的结合、重用 。

Linux中USB设备驱动程序研究

介绍了USB的相关概念及Linux中USB设备驱动程序的框架和重要数据结构。通过设计和实现一个典型的例子 ,总结了Linux下编写一个USB设备驱动程序的一般方法和技巧。

基于矩阵的改进的Apriori算法

针对Apriori算法的不足之处,提出了基于矩阵的算法,该算法首先将事务数据库用矩阵表示出来,并对矩阵进行处理,找出包含最多项的频繁K-项集,最后再利用矩阵找出从频繁2-项集到频繁K-1项集的所有频繁项集。通过一个实例表明了该算法的具体实现过程,并与其它算法进行比较,阐述了该算法的优缺点。该算法不但充分利用了矩阵这一工具,用"与运算"的方法代替了到数据库中去查找的算法,而且大大减少了候选频繁项集的产生,从而节省了计算频繁项集的时间,提高了计算的效率。

面向行为的需求建模研究及实现

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。

一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。

一种面向软件行为和多视点的需求模型验证方法

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例 。

面向软件行为和多视点的需求建模方法

提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.