构件适应和组装的形式化语义描述

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。

智能家居平台构件适应与协同模型及形式化分析

以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。

软构件行为适应的Petri网方法研究

构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。

基于自适应构件的工作流流程动态变更模型

为了动态适应不断改变的业务环境,对企业业务流程的重组和再造提供支持,使用上下文感知技术,提出了自适应构件。该类构件采用事件机制,动态感知外界环境所发生的变化,并主动调整自身,以适应外部的变化。基于自适应构件,结合柔性工作流机制,构造了一个工作流流程动态变更模型;形式化地描述了模型中流程构件的加入、删除、替换和更新操作,并给出利用四种操作实现流程动态变更的算法。通过实例说明了流程动态变更模型的应用。

面向网构软件的构件自适应机制研究

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。

一个基于改进RBAC模型的自适应权限构件

针对权限管理在设计上存在的重复性及现有RBAC模型在实际应用中存在的不足,本文提出了一种改进的RBAC模型,该模型在主要对角色授权的基础上加入了对用户的直接授权、屏蔽角色中的部分权限和利用优先级解决互斥权限分配的机制。利用该模型从复用的角度设计并实现了一个具有自适应性的系统级权限构件,实现了权限管理的构件化,为以后的软件开发提高效率。

通用构件行为适应方法研究

基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生,实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明.

基于适应性构件模型的软件产品线设计和实现(英文)

在当前面向特征的软件产品线开发方法中,需求级的可变性分析、可变点表示以及面向应用的定制已经得到了较好的支持。但是,从需求级的定制和裁剪( 特征模型) 到实现级( 体系结构和构件) 的映射仍然存在许多困难。针对这一问题,文章提出了一种基于适应性构件模型的软件产品线开发方法。这种适应性构件模型引入基于特征的领域模型作为构件端口( 包括内部端口和外部端口) 的语义基础。另一方面, 适应性构件模型所具有的微体系结构使得面向特定应用的构件行为定制成为可能。为了实现构件级面向特征的定制, 构件内部负责内部和外部协作的控制中心与构件的计算逻辑被分离开来执行经定制后的构件行为协议和端口语义。构件协作和计算功能的分离使针对构件行为的面向应用的定制更加便利。这样,产品线应用开发中需求级的特征定制就可以映射为体系结构和构件级的结构和行为调整。

基于Revit自适应构件和Dynamo城市轨道交通轨道BIM建模方法研究

作为城市轨道交通BIM设计的常用平台之一,Revit在建筑、结构等专业工程方面内置了丰富的设计工具,可实现高效BIM建模。而城市轨道交通轨道工程是一种空间曲线下的带状工程,现有Revit平台无法满足专业设计人员的高效建模需求。针对这一问题,根据轨道专业设计经验,结合Revit平台软件特点,提出一种Revit平台下快速实现轨道BIM建模的方法。通过Revit平台下的Dynamo可视化编程工具开发的专用工具,实现对线路平纵断面基础数据的读取,以及直接计算出线路空间位置及方向,然后自动调用各类轨道自适应构件,进行钢轨、轨枕扣件及道床的布置,实现轨道BIM高效建模。

一种基于多Agent适配器的构件重用方法(英文)

首先提出一种构件适应方法——通过为构件外挂适配器——来解决构件重用中的“接口匹配、消息处理、状态监控和环境模拟”等问题 .并采用多 Agent适配器来建立一个可适应机制 .然后讨论基于这种多 Agent适配器的构件适应技术的体系结构和建模方法 .

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.

基于BIM的建筑模型构件化研究

随着工业4.0时代即将到来,以BIM为突破口,建筑信息化革命带动了建筑构件从生成式设计到加工、安装的集成化进程。建筑模型的构件化是以参数化为基础,以数字化加工设备为基本手段的设计方式。本文探讨了利用BIM的自适应构件体系对模型构件进行自动化设计的技术流程和方法,并对以此方式实施建构设计进行案例研究。

自适应被抓取目标形状的柔性指端夹持器设计

研制了一种基于颗粒材料和气动真空原理的柔性指端夹持器。该夹持器采用弹性膜包裹颗粒材料的方式形成柔性指端,并配以气动装置,对于任何外形复杂的目标抓取对象,柔性指端夹持器无需识别物体外形,能够自适应改变指端形状,包裹住目标对象,以实现完全贴合、非刚性接触抓取目标。为了验证柔性指端夹持器的应用效果,设计了系统测试实验,实验结果表明,该柔性指端夹持器的抓取速度、抓取成功率和稳定性等均能满足使用需求。

福厦铁路CRTS双块式无砟轨道BIM技术应用研究

结合福厦铁路BIM试点项目,将Dynamo可视化编程技术应用于铁路无砟轨道BIM设计中,阐述轨道BIM参数化设计思路和流程。针对项目特点,建立轨道部件自适应构件模型,采用Dynamo编程定义节点的逻辑关系。实践表明,该技术可提升CRTS双块式无砟轨道结构建模效率,提高设计质量,对类似应用具有推广和借鉴意义。

如何提高软件的可维护性

本文简要地介绍了软件可维护性的概念,从程序结构、控制的数据化、程序注释、文档的编写、自适应构件的设计、调试模块的编写等几个方面较为详细地阐述了如何在程序设计过程提高软件可维护性的方法。

自适应休息亭

该目研究了以瓢虫翅膀为灵感的大型自适应建筑结构,由碳和玻璃钢制成的两种自适应构件搭建而成。由集成传感器、网络通信与后台计算构成的交互式控制系统促进了使用的便捷性。该项目展示了仿生建筑中的设计、模拟和制造过程的无限潜力,由学生与研究员共同完成,由建筑师、工程师、生物学家和古生物学家共同组成的多学科团队为其提供了支持。