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

计算机应用研究 2014年第2期31卷 448-453页

作者：纪政李慧勇陈仪香华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心上海200062

物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该... 详细信息

物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。

关键词：实时系统实时系统规范语言时空一致性系统仿真与验证 Stateflow Checkmate

来源：评论

学校读者我要写书评

暂无评论

构件近似匹配的度量研究

引用

计算机科学 2014年第5期41卷 190-195页

作者：吴新星胡国胜陈仪香上海电子信息职业技术学院计算机应用系上海201411 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构... 详细信息

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。

关键词：构件匹配度量

来源：评论

学校读者我要写书评

暂无评论

基于Event-B方法的多应用智能卡的建模与开发

引用

计算机工程与科学 2014年第10期36卷 1943-1951页

作者：章玥郭建朱晓冉王文君朱晶洋汤家华陈峻念华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 信息网络安全公安部重点实验室上海201204 上海市社会保障卡服务中心上海200233

Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面... 详细信息

Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面重写需求,明确精化策略;然后利用形式化方法建立抽象模型并验证该模型;最后,在正确的抽象模型上按照精化策略添加需求、逐层精化,并对每层模型进行验证,基于满足需求的最后一层模型,可进一步利用工具完成代码自动生成。该方法学采用精化理论,以逐层递增的方式明确被开发系统的需求及性质,并进行形式化建模与验证,确保了模型的正确性。为了说明该方法学的可行性,以真正工业界的多应用智能卡为实例,基于Event-B方法及其工具平台Rodin给出了该方法在实际建模及验证过程中的应用。

关键词：智能卡 Event-B 精化定理证明

来源：评论

学校读者我要写书评

暂无评论

基于STeC的高速列车运行模型与算法

引用

计算机时代 2014年第5期 14-18页

作者：赵文明李慧勇杭州职业技术学院信息电子系浙江杭州310018 华东师范大学教育部软硬件协同设计技术与应用工程研究中心

为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时... 详细信息

为了使高速列车正点运行到达目的车站,提出了基于STeC(时空一致性)语言的高速列车运行模型与算法。该模型具有位置触发自动调整高速列车运行的特点,实现动态确定高速列车制动点并保证列车正点到达目的车站,从而满足了高速列车运行实时系统对时间和空间的一致性要求。通过Matlab/Simulink的仿真测试,证明了该模型的正确性和有效性。

关键词： STeC语言高速列车列车运行模型时空一致性 Matlab Simulink

来源：评论

学校读者我要写书评

暂无评论

实时系统规范语言STeC的Maude重写系统

引用

计算机工程 2013年第10期39卷 57-62,67页

作者：栾天骄陈仪香王江涛华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062

信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将... 详细信息

信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将STeC语言转化为可执行的基于Maude的形式化描述,使用Maude自动推导功能,自动推导出系统的时间正确性。实例结果表明,该形式化描述语言Maude可有效对实时系统进行安全性验证。

关键词：实时系统实时系统的规范语言重写逻辑形式化分析时空一致性操作语义

来源：评论

学校读者我要写书评

暂无评论

单文档关键词自动提取方法述评

引用

信息工程期刊（中英文版） 2013年第1期3卷 1-7页

作者：张越龄华东师范大学软件学院教育部软硬件协同设计与应用工程研究中心上海200062 上海嵌入式系统研究所上海200062

关键词作为定义一篇文章主旨的重要元素，在文本处理、文档聚类、数据挖掘、新闻阅读、机器翻译、自动问答系统等多个方面都扮演着重要的角色。本文对单文档关键词提取方法进行了综述，分析了现有提取方法的技术特点、优势与不足，并指... 详细信息

关键词作为定义一篇文章主旨的重要元素，在文本处理、文档聚类、数据挖掘、新闻阅读、机器翻译、自动问答系统等多个方面都扮演着重要的角色。本文对单文档关键词提取方法进行了综述，分析了现有提取方法的技术特点、优势与不足，并指出提高关键词自动标注算法的实用性是未来的研究热点。

关键词：关键词提取算法语料库词共现词汇链 PageRank算法

来源：评论

学校读者我要写书评

暂无评论

基于模型的开发方法在多应用智能卡中的应用

引用

信息网络安全 2013年第12期 75-79页

作者：章玥郭建朱晓冉华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 信息网络安全公安部重点实验室上海201204

安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的,提出了一种基于模型的开发方法学,包括提炼需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面提取需求,同时明确层次... 详细信息

安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的,提出了一种基于模型的开发方法学,包括提炼需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面提取需求,同时明确层次化的精化策略;然后利用形式化方法建立抽象模型并对该模型进行形式化验证,在正确的抽象模型上逐层精化,并对每层模型进行验证;最后,基于满足需求的模型,进一步利用工具完成代码自动生成。该方法从抽象到具体,以逐层递增的方式明确被开发系统的需求及性质,进行形式化建模,通过反馈机制确保模型的正确性及可用性。为了证明该方法学的可行性,文章以多应用智能卡为开发实例,基于Event-B方法及Rodin平台给出了实际建模及证明的过程和结果。

关键词：智能卡 Event—B 形式化方法定理证明

来源：评论

学校读者我要写书评

暂无评论

信息技术当前的研究热点

信息技术当前的研究热点

引用

2010年模糊数学与模糊系统第十五届年会

作者：陈仪香华东师范大学软件学院上海高可信计算重点实验室上海200062 教育部软硬件协同设计与应用工程研究中心

告概要性地介绍信息技术当前的5个研究热点:可信计算、云计算、物联网、信息物理融合系统以及绿色计算.重点介绍它们的研究内涵、科学问题、应用领域以及技术关键.

关键词：信息技术可信计算云计算物联网信息物理融合

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：