检索结果-内蒙古大学图书馆

通信学报 2013年第3期34卷 32-43页

作者：袁博汪斌强马东超国家数字交换系统工程技术研究中心河南郑州450002 北方工业大学信息工程学院北京100041

基于构件接口分离原则和动态软件体系结构技术,提出了一种支持网络动态重构的可信构件模型,对构件构造和组装进行了分析,并提出了可信数据安全封装机制。基于感知、决策和执行分离机制,构件模型可以支持构件重构,通过容器对构件数据进... 详细信息

基于构件接口分离原则和动态软件体系结构技术,提出了一种支持网络动态重构的可信构件模型,对构件构造和组装进行了分析,并提出了可信数据安全封装机制。基于感知、决策和执行分离机制,构件模型可以支持构件重构,通过容器对构件数据进行安全封装,构件模型可以检测和阻止恶意构件的非法操作,保护构件间的数据安全传递。实现了支持可信构件模型的容器原型,实验表明,使用该模型可进行构件连接拓扑关系的重构,可及时发现恶意构件并暂停构件运行,提高了节点的可信性。

关键词：可重构柔性网络可信构件模型安全封装可重构

来源：评论

学校读者我要写书评

暂无评论

以体系结构为中心的构件模型的形式化语义

引用

软件学报 2006年第6期17卷 1287-1297页

作者：楚旺钱德沛西安交通大学计算机科学与技术系陕西西安710049

目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被... 详细信息

目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.

关键词：体系结构构件模型构件可跟踪性形式化语义软件重用

来源：评论

学校读者我要写书评

暂无评论

功能性能分离的可信服务构件模型

引用

电子科技大学学报 2010年第2期39卷 236-241页

作者：桑楠苏芮廖勇黄小红侯炜李波电子科技大学计算机科学与工程学院成都610054

为了向分布式实时嵌入式系统(DRES)的运行过程提供可信保障服务,方便上层应用程序的开发,提出了一种针对DRES的可信构件服务模型QUOCCM。该模型将系统功能实现与性能确保分离开,把应用程序的性能确保模块抽象成通用的服务确保构件,为运... 详细信息

为了向分布式实时嵌入式系统(DRES)的运行过程提供可信保障服务,方便上层应用程序的开发,提出了一种针对DRES的可信构件服务模型QUOCCM。该模型将系统功能实现与性能确保分离开,把应用程序的性能确保模块抽象成通用的服务确保构件,为运行于动态环境下的应用程序提供自适应的可信保障服务。该文以一个模拟实现的飞行控制系统验证了QUOCCM模型的可行性和灵活性。

关键词：自适应实时系统构件模型可信服务 QoS管理

来源：评论

学校读者我要写书评

暂无评论

基于精细化构件模型的网壳结构动力响应分析

引用

建筑结构学报 2020年第2期41卷 115-124页

作者：朱钊辰罗永峰曲扬黄青隆中建五局土木工程有限公司湖南长沙410004 同济大学土木工程学院上海200092

为得到网壳结构在动力荷载作用下的精确响应,应建立能够同时模拟受拉强化和受压屈曲的精细化构件模型。基于滞回模型耗能相等原则,建立轴向受力带缺陷构件的等效Marshall模型。通过参数分析,研究截面参数、初弯曲幅值、材料屈服后弹模... 详细信息

为得到网壳结构在动力荷载作用下的精确响应,应建立能够同时模拟受拉强化和受压屈曲的精细化构件模型。基于滞回模型耗能相等原则,建立轴向受力带缺陷构件的等效Marshall模型。通过参数分析,研究截面参数、初弯曲幅值、材料屈服后弹模折减系数和长细比等构件基本参数对等效Marshall模型各系数的影响,并给出各控制系数的计算公式。对一个缩尺K6网壳模型进行振动台试验和有限元模拟分析,结果表明:基于等效Marshall模型的精细化构件单元可以准确模拟构件受力状态的动态变化过程,其残余位移计算结果与试验结果的平均误差为13%,优于传统Marshall模型计算结果,满足实际工程应用的精度;此外,采用未考虑构件初弯曲的构件模型将高估网壳模型的实际承载力。

关键词：网壳结构动力分析构件模型振动台试验受压屈曲

来源：评论

学校读者我要写书评

暂无评论

基于构件模型的应用框架扩展方法研究

引用

计算机工程 2006年第17期32卷 129-131页

作者：杨鹤标马振华张震波江苏大学计算机科学与通信工程学院镇江212013

框架是实现大粒度软件复用的重要途径,开发人员可通过对框架的扩展和实例化实现应用系统。但现有的框架扩展方法大都可操作性差,仅仅解决了局部扩展的问题。提出基于构件模型的应用框架扩展方法,借鉴面向领域的特征模型的思想,确定了构... 详细信息

框架是实现大粒度软件复用的重要途径,开发人员可通过对框架的扩展和实例化实现应用系统。但现有的框架扩展方法大都可操作性差,仅仅解决了局部扩展的问题。提出基于构件模型的应用框架扩展方法,借鉴面向领域的特征模型的思想,确定了构件模型中构件间的关系及组织方法,对扩展点进行了分类,并用UniCon形式化语言描述了应用框架的扩展方法。通过构件模型简述了应用框架的功能和技术特点,为扩展提供了良好的文档支持。

关键词：构件模型扩展机制形式化描述

来源：评论

学校读者我要写书评

暂无评论

学科交叉多物理场耦合并行计算构件模型

引用

中国科学：信息科学 2023年第8期53卷 1560-1574页

作者：莫则尧杨章北京应用物理与计算数学研究所北京100094 中物院高性能数值模拟软件中心北京100088

随着高性能数值模拟对客观对象逼真度的不断增强,学科交叉特征凸显,带来多物理场耦合的多样性和动态演化,给并行计算带来了新的挑战.相对于单一学科或静态的多物理场耦合,挑战主要表现在两个方面,其一,如何降低耦合的复杂度;其二,如何... 详细信息

随着高性能数值模拟对客观对象逼真度的不断增强,学科交叉特征凸显,带来多物理场耦合的多样性和动态演化,给并行计算带来了新的挑战.相对于单一学科或静态的多物理场耦合,挑战主要表现在两个方面,其一,如何降低耦合的复杂度;其二,如何支撑提升耦合的可信度.本文提出一种跨学科并行计算构件模型,统一表征结构网格、非结构网格和组合几何的网格数据模型,构件化数据通信、负载平衡和数值计算功能,将耦合复杂度从平方量级降低到线性近优,并奠定了耦合可信度提升的并行计算基础.结构–流体–传热等跨学科多物理场耦合并行计算表明,本文提出的构件模型有效.

关键词：构件模型并行计算学科交叉多物理场耦合

来源：评论

学校读者我要写书评

暂无评论

构件模型的测试系统演化开发波及效应分析

引用

空军工程大学学报（自然科学版） 2008年第2期9卷 60-63页

作者：王银坤肖明清王学奇空军工程大学工程学院

军用ATS系统化开发方法属于当今装备保障研究领域的前沿,且在不断发展之中,需要加强其前瞻性理论和开发方法的研究,以满足军用ATS进一步发展的技术需要。测试系统演化开发作为一种新的军用ATS开发方法,它侧重于对测试系统开发过程的微... 详细信息

军用ATS系统化开发方法属于当今装备保障研究领域的前沿,且在不断发展之中,需要加强其前瞻性理论和开发方法的研究,以满足军用ATS进一步发展的技术需要。测试系统演化开发作为一种新的军用ATS开发方法,它侧重于对测试系统开发过程的微观分析,以更好地解决需求向实现平坦过渡的问题。针对测试系统演化开发活动中波及效应这一微观特性进行了探讨,提出了一种基于构件模型的方法,通过引入可达矩阵描述,构建影响矩阵,为测试系统演化开发中各种活动的波及效应的分析及相对大小的度量提供了依据。特别对演化开发中构件的删除、增加、修改、合并及分解活动所引起的各种波及效应进行了深入的分析,为顺利实施测试系统的演化开发策略奠定了基础。

关键词：构件模型演化开发可达矩阵影响矩阵波及效应

来源：评论

学校读者我要写书评

暂无评论

构件模型的精化理论研究

构件模型的精化理论研究

引用

作者：王子桢北京大学

学位级别：博士

基于构件的模型驱动开发被认为是实现软件复用和降低系统开发复杂度的重要技术之一，并已在工业界得到广泛应用。其基本思想是：根据不同的视角和关注点将系统分解为不同模型，然后从较高层次、平“台独”立的抽象模型开始，经过一系列... 详细信息

基于构件的模型驱动开发被认为是实现软件复用和降低系统开发复杂度的重要技术之一，并已在工业界得到广泛应用。其基本思想是：根据不同的视角和关注点将系统分解为不同模型，然后从较高层次、平“台独”立的抽象模型开始，经过一系列模型转换，转换为较低层次、平台相关的具体模型，直至生成代码。\n 构件模型之间的精化关系在模型驱动开发中扮演关键角色，它刻画了构件之间的可替代关系，为构件模型转换规则提供了语义基础。以往工作中构件模型的精化关系一般定义为系统行为之间的包含关系，即一个系统精化后，其行为构成的集合被精化前行为构成的集合所包含。从构件设计和开发的角度看，这种精化关系仅仅考虑到模型安全性质的保持，无法体现一个构件精化后应该对外界环境更易反应这样的直观感觉，因此不适合于构件之间的比较。本文在构件模型之间提出了新的精化关系，一个构件是另一个构件的精化，则意味着它提供更好的服务，并且对外界环境具有更强的反应能力。该想法与Alur、Henzinger等学者在研究开放系统及其逻辑中形成的观点一致。他们将开放系统定义为一个基于博弈论的多代理系统，精化关系定义为交替精化关系，一般由交替模拟实现。本文证明了新定义的精化关系是一种交替模拟关系，而构件显然是一种开放系统，这就从理论上表明了本文定义的合理性。\n 本文的工作基于rCOS构件模型。rCOS是何积丰和刘志明等提出的一个基于构件的集成形式化开发方法，为不同抽象层次的构件模型提供了基于共同语义理论的建模符号和语义表示，包括构件接口、合同、实现、规约、发布等。本文具体工作和创新如下：\n 1.本文在构件合同模型中提出了一种全局精化关系，称为迹精化关系，在这种精化关系下，一个构件合同精化后，从静态功能看，会提供更好的服务，从与环境交互行为看，会提供更多服务。本文还提出了一个更易于验证的局部精化关系，称为数据精化关系，并证明了它可以蕴含全局精化关系。\n 本文证明了新定义的精化关系是一种交替模拟关系，从理论上表明定义的合理性。\n 2.本文提出了一种比较接口相异的合同的方法，思想是通过定义在合同上的内部化算子将合同之间的不同方法内部化，然后使用定义的精化关系对接口相异的合同进行比较。这样做有效克服了原始交替模拟关系中的副作用，并且弥补了传统精化方法只适合于比较接口相同的合同的局限。\n 3.本文进而将构件合同模型上定义的精化关系扩展至构件的实现模型，并定义了组合操作算子。在构件实现模型定义了构件实现的语义函数，于是构件实现之间的精化关系定义为语义函数计算得到的供应合同之间的精化关系。本文还证明了定义的组合操作算子对于该精化关系是单调的，这表明可以通过精化单独的构件对整个系统进行精化，因而支持了基于关注分离的开发。\n 4.本文最后定义了构件规约模型之间的交替精化关系，并定义了规约上的组合操作算子。在构件规约模型定义的精化关系，使得规约在精化后提供更好和更多的服务，而需要更弱和更少的服务。本文证明了这依然是一种交替模拟关系，说明了其合理性。本文进而证明了定义的组合操作算子对于该精化关系是单调的，从而支持了基于关注分离的开发。

关键词：构件模型精化理论语义基础模型驱动开发

来源：评论

学校读者我要写书评

暂无评论

一种基于对等计算的构件模型研究

引用

小型微型计算机系统 2012年第5期33卷 929-935页

作者：黄靖卢炎生刘海孟智武汉理工大学计算机科学与技术学院武汉430063 武汉大学软件工程国家重点实验室武汉430072 华中科技大学计算机科学与技术学院武汉430074 华中科技大学下一代互联网接入系统国家工程实验室武汉430074 湖北省建筑科学研究设计院武汉430071

基于构件的软件开发,是软件工程领域一个重要的方法,其中构件模型是该方法的理论基础.目前,适用于基于对等结构的分布式应用软件开发的构件模型尚不多见.针对对等应用软件的特点,首先在给出一个开发框架的前提下,对对等应用软件进行了... 详细信息

基于构件的软件开发,是软件工程领域一个重要的方法,其中构件模型是该方法的理论基础.目前,适用于基于对等结构的分布式应用软件开发的构件模型尚不多见.针对对等应用软件的特点,首先在给出一个开发框架的前提下,对对等应用软件进行了构件特征分析,并将基于该框架开发的对等应用软件系统所涉及到的构件形态,归结为可迁移构件、轻量级构件和耦合容器构件3类,然后在此基础上提出一个支持对等应用的构件模型,并对构件模型中语义和语法进行了表述,最后介绍了该构件模型的生成与部署、合成与组装、查找与匹配、通讯与协作、以及相关对比等方面的研究工作.

关键词：基于构件的软件开发构件模型对等计算对等应用软件

来源：评论

学校读者我要写书评

暂无评论

构件模型研究综述

引用

计算机工程与科学 2008年第1期30卷 105-109页

作者：陈波李舟军陈火旺国防科技大学计算机学院湖南长沙410073 北京航空航天大学计算机学院北京100083

基于构件的软件复用被认为是解决软件危机的重要手段,而描述构件本质特征及构件组合的构件模型是实现构件复用的关键技术。本文分析和研究了现有的构件模型,并根据构件接口和构件组合方式对各个构件模型进行了分类比较;结合已有的研究成... 详细信息

基于构件的软件复用被认为是解决软件危机的重要手段,而描述构件本质特征及构件组合的构件模型是实现构件复用的关键技术。本文分析和研究了现有的构件模型,并根据构件接口和构件组合方式对各个构件模型进行了分类比较;结合已有的研究成果,展望了构件模型未来研究方向。

关键词：构件模型软件体系结构连接子

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：