朱梅霞

作品数：11被引量：15H指数：2
导出分析报告
供职机构：天津工业大学计算机科学与软件学院更多>>
发文主题：顺序图MARTE实时系统形式化分析形式化方法更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《课程教育研究》《科技资讯》《计算机教育》《北京大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家重点实验室开放基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带权图的均衡k划分被引量：8
《计算机研究与发展》2015年第3期769-776,共8页郑丽丽 武继刚 陈勇 朱梅霞 
国家自然科学基金项目(61173032);中国科学院计算机系统结构国家重点实验室开放课题(CARCH201303)
带权图的均衡k划分是把一个图的顶点集分成k个不相交的子集,使得任意2个子集中顶点的权值之和的差异达到极小,并且连接不同子集的边权之和也达到极小.这种图的k划分问题已被应用在软硬件协同设计、大规模集成电路设计和数据划分等领域,...
关键词：带权图 k划分 启发式算法 禁忌搜索 算法设计 
贯彻职业道德培养的软件工程课程教学
《计算机教育》2014年第7期64-67,共4页朱梅霞 黄艳丽 李月龙 
天津工业大学校级教育教学改革项目"‘习而学’思想在软件工程课程中的应用研究"(0120042)
将大学职业道德教育贯穿到专业课的讲授过程中,是培养大学生良好职业道德行为的有效方式。文章针对软件工程专业大学生职业道德培养的现状,分析软件工程专业大学生应具备的良好职业道德,结合软件工程实践课程的授课体会和当前计算机本...
关键词：职业道德 本科教育 项目式教学 校企合作 
高校计算机专业英语创新教学探讨
《课程教育研究》2014年第19期124-125,共2页黄艳丽 朱梅霞 
国家自然科学基金天元青年基金(11326211);天津工业大学博士科研启动基金(124030274)
针对目前普通高校计算机专业英语课程的教学现状，结合当今时代的特点，从教学目的、教学内容、教学组织策略、教师自身素质等方面，对计算机专业英语课程进行一些创新教学方法及模式的探讨，以满足信息化、国际化及IT行业发展的需求。
关键词：计算机专业英语 创新教学 组织策略 教学改革 
MARTE顺序图到CCSL模型的转换
《计算机工程与科学》2013年第10期172-180,共9页朱梅霞 
国家自然科学基金资助项目(61173032);天津工业大学引进人才基金资助项目(20120042)
CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析。但与顺序图相比,CCSL模型不利于用户理解。利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系。这在一定程度上扩大了...
关键词：实时系统 模型转换 顺序图 CCSL 
无人驾驶车辆的路口防撞机制研究被引量：2
《计算机工程与科学》2013年第9期181-186,共6页朱梅霞 
防撞协议是提高无人驾驶车辆安全性的重要组成部分,大部分防撞协议已经为路口外的车辆提供了躲避机制。交叉路口因其流量大、方向多而成为事故易发地,但对已在路口内部的车辆的防撞协议的研究比较少。自治路口协议AIM作为目前较流行的...
关键词：无人驾驶车辆 自治路口管理协议 防撞协议 
基于模型转换的MARTE顺序图的形式化分析被引量：1
《小型微型计算机系统》2013年第1期100-106,共7页朱梅霞 王捍贫 刘西奎 韩晓琼 
国家自然科学基金项目(60873061)资助;国家"九七三"重点基础研究发展计划项目(2009CB320701;2010CB328103)资助
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行...
关键词：实时系统 形式化方法 MARTE 时间变迁系统 验证 
MARTE顺序图到TTS4SD的转换
《计算机科学》2013年第1期175-178,共4页朱梅霞 武继刚 
国家自然科学基金(61173032)资助
MARTE对UML的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段。对象管理组织提出用模型转换的方法将依照MARTE构造的顺序图(记为A)转换成具有完备的验证方法和工具的形式化模型(记为B)。用B表示A的语...
关键词：实时系统 顺序图 CCSL 形式化方法 模型转换 
基于时序可中断π演算的BPEL和BPEL4People建模被引量：1
《北京大学学报（自然科学版）》2012年第2期209-216,共8页金暐 王捍贫 朱梅霞 
国家自然科学基金(760873061;60821003;61033006);国家重点基础研究发展计划(2009CB320701;2010CB328103)资助
为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πi...
关键词：BPEL BPEL4People Π演算 时序 可中断 
时序π演算及其对MARTE顺序图的建模
《武汉大学学报（理学版）》2011年第6期506-510,共5页金暐 王捍贫 曹永知 朱梅霞 
国家重点基础研究发展计划(973)项目(82009CB320701;2010CB328103);国家自然科学基金资助项目(60873061;60821003;61033006)
MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了...
关键词：时序π演算 MARTE 顺序图 
死路删除语义下的WS-BPEL流程的建模
《北京大学学报（自然科学版）》2010年第2期162-170,共9页徐春香 屈婉玲 王捍贫 朱梅霞 
国家重点基础研究发展计划项目(2009CB320701);国家自然科学基金(60873061)资助
提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPE...
关键词：WEB服务 死路删除 建模 DPE网 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部