一种基于 Agent的构件组装机制

讨论了软构件组装中存在的问题,结合Agent的特性研究设计了一种基于Agent的构件组装机制,由不同开发商设计的、具有不同接口标准的构件不需要修改可以直接实现相互合作,为基于构件技术开发软件系统提供有力的支持.     

基于struts的领域构件存储管理系统

分析了领域构件的特征和形态,提出了一种领域构件表示模型,在该模型基础上可以实现领域构件的存储.然后介绍了struts框架及其实现机制,给出了基于struts的领域构件存储管理系统的系统架构,并介绍了煤矿安全领域构件存储管理系统的实现.     

基于构件的动态配置应用框架设计与实现

以软件复用为背景, 对基于构件的软件开发和应用框架技术进行了研究.为使基于构件的软件开发更具灵活性与适应性,基于.NET平台设计并实现了一种基于构件的动态配置应用框架.该框架把"依赖注入"思想封装为一个构件,通过该构件可以灵活便捷的加载其他构件,不必关心其他构件复杂的内部实现,并且可以动态更新,加载构件而不必重新编译系统.最后举例介绍了一个应用实例以说明相应的系统开发流程.该技术思想在实际应用中取得了良好效果.     

一种基于函数依赖图的构件抽取方法

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法.先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果.此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量.实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率.     

结构可靠性评判中构件权系数的计算研究

以结构可靠性理论为基础,考虑了荷载效应间和主要失效模式间的相关性对结构体系可靠性的影响,通过计算各构件抗力同等程度的下降所引起的结构体系可靠性不同程度的降低,来衡量各构件在整个结构体系中的相对重要性,并通过比较这种相对重要性来确定构件权系数,从而建立起一种新的构件权系数计算模型,最后利用算例说明了该方法的应用,分析结果表明,建议的方法能够准确体现构件权系数的含义,反映出构件对整个结构体系的影响程度,与传统的层次分析法计算结果相比较,克服了其主观性的缺点,是一种新的研究思路。     

构件依赖性的显式表达

构件依赖关系的显式表达对于基于构件的软件开发是十分重要的．通过对构件生产的领域分析,提取了一个特殊的依赖表达构件,进而给出了一种新的构件依赖关系的显式表达方法。     

一种支持多领域构件描述的分类描述模型

软件构件库是支持基于构件的软件开发的基础设施.在软件构件库中,构件的分类描述是复用者检索和理解构件的基础.随着构件技术的发展,构件库在不同领域的得到了应用,构件分类描述机制也面临着扩展性和变化性的挑战.提出了支持多领域构件描述的分类描述模型ECDM,并基于该模型,实现了青鸟构件库管理系统中多种分类模式的定制以及对构件描述属性扩展的支持.     

基于场景和UML图的CBSD软件集成测试方法研究

基于构件的软件开发(Component_Based Software Development,CBSD)是软件设计的新趋势,软件测试是软件质量的保证.构件化软件的测试核心是构件间的交互.介绍了一种基于场景和UML图的CBSD软件的集成测试方法,它以扩展的UML图为主要的测试模型,分析构件间的交互,并利用场景的思想生成测试用例.最后提出了一个构件化软件集成测试框架.     

不重复字形层面的秦楚简文构形差异比较研究

战国时代秦、楚简文构形比较是古文字研究中的一个前沿课题.本文以秦、楚简文直接构件作为考察范围,整理出二者相对特异者.在此基础上,完成这些特异构件实际参与构字的精确计量,并从不重复字形层面来完成两者差异的量化评估,从而揭示出二者在此层次上的构形差异.研究结果表明,在不重复字形层面,秦、楚特异构件在系统中的影响力都不大,秦、楚文字系统的差异度很小.     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

QoS敏感的服务组合动态配置研究

针对静态配置的Web服务组合系统无法适应组件服务QoS的动态变化,以及对易错环境缺乏自适应性和不能反映系统不断演进特征的问题,提出了一种QoS敏感的服务组合系统动态配置方法.通过扩展Petri网对服务依赖关系进行建模,形成一个形式化的系统配置方案;利用无循环依赖关系验证算法和最终状态合法性验证算法验证了系统配置方案的正确性;提出了一种最优配置选择算法以选取具有最优QoS的服务配置.仿真实验对比了动态配置、静态配置和随机配置对用户服务请求满意度的影响,结果表明,所提建模方法和相应算法能大幅改善组合服务的QoS.     

软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.     

WebView组件漏洞自动化检测与验证方法

Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本文提出了基于静态分析与动态验证技术融合的WebView组件漏洞自动化检测与验证方法,通过对漏洞可疑点进行可达性分析,避免对不可达路径的无效动态遍历,提高了分析效率;将数据依赖分析与模拟真实攻击行为的动态验证相结合,及时判断漏洞触发的真实性,降低了误报率.已实现原型工具XWebViewDigger并测试了80个Android应用,检出并验证18个应用存在漏洞,与现有方法相比,误报率有效降低.      

基于XYZ/E的CA系统体系结构描述

XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例.     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

液压大系统的性能参数法

本文针对液压大系统仿真与辨识的需要,提出并发展了一种性能参数建模法。该法使液压系统的数学模型建立在液压元件数学子模型的基础之上,根据拓扑结构在元件结点上建立系统模型相应的方程。与以往传统的显式状态空间表达式不同,该法采用隐式状态空间表达式。通过计算机仿真证明这种方法通用性强,运算速度快并开辟了静动态仿真合一的途径。从应用的角度看,该法面向用户,适用于大系统仿真。     

冻融循环对混凝土静动力特性的影响

为了解冻融循环对混凝土材料静、动态力学性能的影响规律,在清水和盐水中采用"快冻法"对C60混凝土进行了不同冻融次数后的单轴静压试验和霍布金森压杆冲击试验,分析了混凝土强度变化的原因。试验表明,清水和盐水条件下,混凝土试件的质量损失和相对动弹性模量的损失率随冻融次数的增加而增大,盐水环境中更明显。清水环境下的冻融循环对混凝土的静态抗压强度具有显著影响,但对其动态抗压强度影响不明显;盐水环境下,当冻融次数较少时,混凝土的动态强度表现显著的应变率效应且不受冻融循环次数的影响,但在冻融循环次数达到240次时,混凝土的动态强度显著下降且对冲击速度不再敏感。不同冻融环境对混凝土静、动态强度影响的差异显著。     

大跨度结构地震行波效应研究

借助于虚拟激励法,深入研究了行波效应对结构地震响应的影响.对于一具有两个地面支撑的单自由度体系,推导出内力功率谱的解析表达式;以此为基础,分析了地震波视波速对体系极值响应的影响,并讨论了动态相对位移和拟静位移分量对体系极值响应的贡献.计算结果表明,对于跨度较大或地震波视波速较小的结构,内力随视波速的变化显著发生改变;动态相对位移和拟静位移分量对体系极值响应的影响与结构的自振频率和波速都有很大关系.最后,对一实际悬索桥采用不同地震波视波速进行了随机地震响应分析,计算结果进一步表明行波效应对结构地震响应的影响非常大.     

基于蒙特卡洛仿真的液压系统动态可靠性

由于传统可靠性分析方法侧重于系统静态结构的描述,难以反映系统的动态运行过程,所以采用蒙特卡洛仿真方法研究液压系统的动态可靠性特征,重点计算液压元件故障服从不同分布、元件维修后故障率服从不同分布条件下液压系统可靠性指标的变化.仿真结果表明:修复如新时,不同分布对系统动态可靠性指标影响较小;修复如旧时,不同分布对系统动态可靠性指标影响较大.以可靠性仿真数据为基础,给出液压系统预防性维修策略.