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

软件学报 2006年第1期17卷 48-58页

作者：胡军于笑丰张岩李宣东郑国梁计算机软件新技术国家重点实验室(南京大学)

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 详细信息

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.

关键词：实时软件构件式设计模型检验接口自动机顺序图统一建模语言

来源：评论

学校读者我要写书评

暂无评论

构件化嵌入式软件设计的能耗性质分析与验证

引用

南京理工大学学报 2009年第1期33卷 26-31页

作者：曹东胡军徐丙凤南京航空航天大学自动化学院江苏南京210016 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段... 详细信息

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法。

关键词：嵌入式软件构件式设计能耗分析软件验证接口自动机

来源：评论

学校读者我要写书评

暂无评论

构件式专题学习网站分析与设计

构件式专题学习网站分析与设计

引用

中国人工智能学会计算机辅助教育专业委员会(全国CBE学会)第十三届学术年会

作者：许锁张琢于静莹东北师范大学理想信息技术研究院吉林省教育软件重点实验室教育部数字化学习支撑技术工程研究中心长春 130024

随着我国信息技术的迅速发展,教育信息化的普及进程日益加快.教师在教学过程中不再满足于简单的文件传输和简单媒体课件资源的共享,专题学习网站作为实施教育信息化整合的有效途径,被越来越多的教师所接受,并得到了广大一线教师的广泛认... 详细信息

随着我国信息技术的迅速发展,教育信息化的普及进程日益加快.教师在教学过程中不再满足于简单的文件传输和简单媒体课件资源的共享,专题学习网站作为实施教育信息化整合的有效途径,被越来越多的教师所接受,并得到了广大一线教师的广泛认可.但是当前国内各中小学校应用的专题网站在功能性扩展方面都有很大限制,整体功能框架往往不能够满足内容的动态结构调整.通过分析国内外专题性学习网站的现状,提出基于Celts规范和LOM规范设计整体架构以及以学习者模型规范为中心的基本数据接口,设计出一种具有松散耦合特性构件式专题学习网站开发平台,并详细阐述了常用的基本构件.最后通过实例说用了本构件式专题学习网站的应用,并讨论了其深入研究的方向.

关键词：题学习网站教育信息化构件式设计学习者模型

来源：评论

学校读者我要写书评

暂无评论

构件式专题学习网站分析与设计

构件式专题学习网站分析与设计

引用

全国计算机辅助教育学会第十三届学术年会

作者：许锁张琢于静莹东北师范大学理想信息技术研究院吉林省教育软件重点实验室教育部数字化学习支撑技术工程研究中心

随着我国信息技术的迅速发展,教育信息化的普及进程日益加快。教师在教学过程中已不再满足于简单的文件传输和简单媒体课件资源的共享,专题学习网站作为实施教育信息化整合的有效途径,被越来越多的教师所接受,并得到了广大一线教师的广... 详细信息

随着我国信息技术的迅速发展,教育信息化的普及进程日益加快。教师在教学过程中已不再满足于简单的文件传输和简单媒体课件资源的共享,专题学习网站作为实施教育信息化整合的有效途径,被越来越多的教师所接受,并得到了广大一线教师的广泛认可。但是当前国内各中小学校应用的专题网站在功能性扩展方面都有很大限制,整体功能框架往往不能够满足内容的动态结构调整。通过分析国内外专题性学习网站的现状,提出基于Celts规范和LOM规范设计整体架构以及以学习者模型规范为中心的基本数据接口,设计出一种具有松散耦合特性构件式专题学习网站开发平台,并详细阐述了常用的基本构件。最后通过实例说用了本构件式专题学习网站的应用,并讨论了其深入研究的方向。

关键词：题学习网站构件式设计学习者模型

来源：评论

学校读者我要写书评

暂无评论

网构软件的资源自适应性的形式化分析与验证

引用

软件学报 2008年第5期19卷 1186-1200页

作者：胡军黄志球曹东徐丙凤南京航空航天大学信息科学与技术学院南京航空航天大学自动化学院江苏南京210016

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环... 详细信息

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的组合行为;使用基于场景的UML顺序图模型来描述具有多功能的组合系统规约;分别研究了检验组合系统的所有行为是否都满足给定的资源约束以及检验指定的系统行为是否满足资源约束这两个具体问题:通过对资源自动机网络状态空间的分析,构造其相应的可达图,在此基础上给出了相应的检验资源可满足性、最小资源需求量以及检验指定功能合法性等算法.

关键词：网构软件构件式设计资源自适应形式化验证统一建模语言

来源：评论

学校读者我要写书评

暂无评论

包含协议和语义的构件一致性验证方法

引用

计算机应用研究 2017年第7期34卷 2038-2044页

作者：黄可望李雪朱嘉钢无锡职业技术学院物联网技术学院江苏无锡214121 江南大学物联网工程学院江苏无锡214122

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为... 详细信息

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。

关键词：构件式设计方法语义语义扩展接口自动机一致性带语义约束的交互概观图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：