横隔板间距对集中偏心荷载作用下简支钢箱梁畸变的影响

钢板箱形梁是工程中常采用的结构形式。为研究横隔板间距对集中荷载作用下简支钢箱梁畸变的影响,通过设置不同数量横隔板的简支钢箱梁,比较其在集中荷载作用下的畸变效应和刚性扭转效应,得到最大畸变效应随横隔板数量的变化曲线。在箱梁腹板顶端施加集中荷载,按畸变、刚性扭转、对称弯曲和偏心荷载四种工况采用荷载分解的方法进行计算。     

基于可达矩阵的软件体系结构演化波及效应分析

构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件--连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础.     

基于特征的领域构件高内聚控制

构件的高内聚性是基于构件蔓用研究领域常见的话题，也是软件开发者一直追求的目标。无论是对软件体系结构的获取，还是对软件演化的探究，甚至遗留系统的现代化改造，都与高内聚性构件的确定有着不可分割的天然联系。通过特征跟踪矩阵，建立了领域构件与特征之间的联系；给出了基于特征的n维向量空间中领域构件向量的表示，进而获取了反应领域构件间密切关系的领域构件向量距离矩阵；基于领域构件向量距离矩阵，结合等级簇聚合算法建立了领域构件等级簇树；最后在领域构件等级簇树的基础上，提出了一种高内聚领域构件获取和控制策略。     

OOSDM的对象模型与系统构造

随着面向对象实现技术的快速发展，面向对象的各种软件开发方法正在相互融合，并进入实施应用阶段，从而有力地促使了这一方法逐步走向成熟，基于“青鸟工程”和现有的面向对象方法，我们提出了ＯＯＳＤＭ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＳｏｆｔｗａｒｅＤｅｖｅｌｏｐｉｎｇＭｅｔｈｏｄ）。本文主要介绍ＯＯＳＤＭ的对象模型──结合事件对象，以及如何以这一对象模型进行软件系统构造。     

基于时态逻辑的工作流分析

工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^＊,该语言集成了状态和事件,能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高的,状态空间爆炸是验证的主要困难所在。利用E-CTL^＊描述畅通性,可以使用存在的符号化模型检测工具验证畅通性,在一定程度上克服了状态爆炸问题。同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。工作流的变动需要具有正确性。从时态逻辑的角度讨论了变动正确性问题,得出了保持变动正确性的一般特征。     

软件框架开发过程研究

软件框架是实现大粒度复用的重要途径,它往往针对特定领域,同时支持设计复用和代码复用。论文主要探讨了软件框架开发的相关活动,包括软件框架开发以及基于框架的应用开发(即框架复用),通过建立开发过程模型,刻画了框架开发过程。进而基于该模型,描述了开发过程中的相关问题,如变化性处理策略、应用开发中的体系结构调整、框架演化等,从而指导相关开发活动。     

RFID信息服务中发布/订阅系统若干关键技术问题研究

 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.     

工作流元模型的研究与应用

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.     

信息系统安全度量与评估模型

信息技术安全评估标准GB17859定义了信息系统安全评估的安全要素集,并以等级的形式表示信息系统的安全度量.为区分各个安全要素在信息系统安全度量评估过程中表现出的不同特性,提出了组合独立性安全要素、组合互补性安全要素及组合关联性安全要素的概念,通过定义访问路径、规范路径及组件之间的相互关系,给出了信息系统安全度量的形式化评估模型及其实现.     

一种软件需求变化追踪方法

有效的软件变化追踪方法是实施软件演化的关键.基于需求信息传播与建模、需求变化信息传播路径和需求变化信息跟踪方法三个层面,阐述了软件变化跟踪的整体过程框架;给出了基于变化起源跟踪矩阵、变化对象跟踪矩阵、变化构件跟踪矩阵、以及可达矩阵的功能变化传播记录方法;凭借矩阵运算,描述了功能变化跟踪的具体实现,并给出了实施变化所付出代价高低的初步判定方法.对软件维护甚至软件演化研究具有一定的借鉴意义.