基于变量间依赖关系的软件可信度量模型

针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.     

虚拟客户与新产品开发团队的知识交互系统模型

客户参与企业新产品开发时,与新产品开发团队之间的交互实质是知识的交互。在已知面向客户的知识推送一般模型的基础上,在虚拟客户参与新产品开发的具体环境下,构建了虚拟客户与新产品开发团队的知识交互系统模型,并分析了模型框架中的备主要部件的功能,描述了该模型的运行流程,并在结语中给出了该模型及其软件的应用前景。     

虚拟客户与新产品开发团队知识交互系统模型

客户参与企业新产品开发时,与新产品开发团队之间的交互实质是知识的交互.在已知面向客户的知识推送一般模型的基础上,在虚拟客户参与新产品开发的具体环境下,构建了虚拟客户与新产品开发团队的知识交互系统模型,并分析了模型框架中的各主要部件的功能,描述了该模型的运行流程,并在结语中给出了该模型及其软件的应用前景.     

软件过程度量过程模型的研究

软件过程的度量是影响软件项目管理和过程管理的关键因素,是对软件项目和软件过程进行目标管理的基础.软件过程的度量也是一个过程,需要建立过程模型指导度量过程的实施.提出了1个软件过程度量过程的SPM-IDEAL模型,定义了模型各阶段的主要活动,讨论了度量数据的分类和度量元的选取,并讨论了过程数据库在软件过程度量中的重要作用.     

一种基于置信度的软件构件可信性度量模型

软件构件在测试过程中存在空间局限性以及测试环境的单一性,需要根据系统运行的状态来对构件的可信性进行评估。通过引入置信度的模型对构件的可信度进行评价,给出一个构件可信的度量模型。在度量模型中采用三角模糊数层次分析法确定运行状态对置信度的影响权重。仿真结果表明,该模型能够有效地度量构件的可信度。     

基于层次切片模型的JAVA相互作用耦合度量

在Eder等人提出的三维耦合度量框架基础上,基于层次切片模型对JAVA中的相互作用耦合进行了研究,得到了JAVA中存在的相互作用耦合类型,并建立了一系列形式化的相互作用耦合度量公式.相对传统的耦合性度量,基于层次切片技术的耦合性度量更加精确,它不仅描述了度量对象之间的耦合关系,并在一定程度上描述了度量对象之间的耦合程度,从而为程序分析和理解等软件活动提供更多有用的信息.     

面向Agent的软件度量模型研究

由于Agent及其技术迅猛发展,迫切需要面向Agent度量方法和工具来辅助面向Agent软件的开发。文章提出了一组面向Agent的度量指标:Agent总数、依赖度、被依赖度、交互数、总交互数、社会理性、知识量、学习能力、反应时间和智商。在此基础上开发了一个度量工具原型:度量AgentMA。     

直觉模糊信息系统下基于优势关系的邻域粗糙集

粗糙集是处理不确定性信息的有效数学工具,然而,在复杂的环境下,经典粗糙集并不能满足某些特殊的现实需要,因此,为粗糙集引入拓展要素,是增强模型可靠性的重要手段。文章在直觉模糊信息系统下,基于优势关系研究邻域粗糙集模型。首先将直觉模糊数与邻域粗糙集近似算子结合,刻画直觉模糊邻域粗糙近似算子,建立直觉模糊邻域粗糙集模型。然后,引入了优势关系,构建优势邻域类,进而构建基于优势关系下的直觉模糊邻域粗糙集模型,并研究了该模型的上下近似、优势邻域类、集合的基本运算等性质,给出了模型不精确性度量指标。最后通过实例验证了所提出模型的有效性。     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

部分非线性回归模型的非线性度量

利用传统曲率理论度量回归模型的非线性程度,分析其缺陷,并对几类实例模型进行探讨,进而提出基于局部近似的新度量方法,在一定程度上弥补了传统方法的缺陷;还研究了模型参数基于局部线性近似的最小二乘估计的渐进性质及其求法中迭代初值的选取和改进方向．     

基于公共对象请求代理结构的负载测试技术研究

提出了基于公共对象请求代理结构(common object request broker architecture,CORBA)的负载测试系统,并对系统的组成结构、模块设计及关键技术进行了分析.结果表明,系统的应用可以提高对分布式计算环境下软件的测试效率,从而保证软件的质量.     

一种基于EAI模型的软件安全测试方法

研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.     

船舶剩余阻力系数计算平台的实现

根据蓝波-奥芬凯勒图谱,利用非线性最小二乘法对船舶剩余阻力曲线进行了曲线拟合,将得到的方程系数保存为文本文档,建立VB与文本文档的检索方法,开发出船舶剩余阻力系数的计算平台.根据界面中输入的船型参数,利用计算机在数据中进行检索、内插,从而达到直接计算剩余阻力系数的目的.通过计算实例与实验结果比较,计算结果的精度完全能够满足船舶动态仿真的需要.     

软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

应用软件技术提高彩电FBT测试台抗干扰性能

对于工业实时控制和测试系统,噪声干扰是最令人困扰的问题之一,常常需要从各个方面采取措施,提高系统的抗干扰性能。软件抗干扰不改变硬件环境,不需要对干扰噪声进行精确的定位、定量分析,实现灵活方便,对消除干扰引起的一些暂态性故障有明显的效果,是计算机自动测控系统的主要特点和优势之一。本文介绍了FBT测试台中存在的和可能存在的一些功能性故障,论述了处理这些故障的各种软件方法。这些方法可以推广到其他一些计算机自动测控系统。     

用数理统计方法建立钢的淬透性曲线模型

利用统计学中的Ｌｏｇｉｓｔｉｃ数理模型，经过适当改造后可以建立起主要钢种的淬透性曲线的数学模型，并且具有较同的拟合性，误差较小，结合此种方法，通过少量的实测点就可以作出一般钢种的淬透性曲线。此种方法在实践上对于机械零件热处理的自动化，在理论上对探索钢的物理冶金机理，可能具有较大的意义。     

液压拆包机工作机构的数学模型及对周期冲击作用的响应

本文建立了拆包机工作机构的数学模型，得出了多自由度系统在周期冲击作用下的数学解，讨论了固有频率与冲击频率的关系。这将为进一步研究拆包机以及同类设备的动力特性奠定基础，为研制拆包机提供一定的参考和依据，也可供同类设备设计及性能检测时参考     

软件测试环境COSTE的设计与实现

介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点．该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术，可以完成对COBOL程序的静态分析和动态测试，提供关于被测软件的程序特性和异常信息，以夏动态测试结果和结构覆盖信息，并可以根据覆盖情况和结构覆盖准则，自动生成补充的测试数据。以期更好地逼近结构覆盖要求，辅助用户更有效地进行软件维护工作．     

网络环境下企业信息安全管理体系建设与研究

时至今日,信息数据所拥有的价值对于企业来说至关重要,然而当前企业却面临着复杂的网络环境和安全威胁。恶意木马软件、病毒黑客侵入、内部人员有意无意外泄等都将造成企业重要信息的泄露和破坏,因此根据企业网络环境制定相应的措施,保护企业信息系统就显得尤为重要。网络环境下企业信息安全管理体系的建立将会为企业的可持续发展提供必要的保障。     

基于模糊神经网络的顾客啤酒口味仿真模型

应用模糊神经网络方法,建立对顾客啤酒口味和喜好程度评价的仿真模型,以MATLAB为开发环境,阐述建立、训练和仿真网络的方法,并用实际数据进行了网络训练和误差测试,证明该模型是切实可行的。