姜梦稚
- 作品数:16 被引量:13H指数:2
- 供职机构:上海电机学院更多>>
- 发文基金:上海市自然科学基金上海市高校选拔培养优秀青年教师科研专项基金更多>>
- 相关领域:自动化与计算机技术文化科学理学交通运输工程更多>>
- 列车自动监控软件的设计问题被引量:1
- 2011年
- 为适应城市轨道交通的发展,列车自动监控(ATS)软件需要具有在同一线路上设置多种运营线的能力,需要适应不同厂商和规格的硬件,需要适应多种拓扑结构的线路形式和线路网络化管理要求,需要集成实时客流信息。为此,结合客流信息、线路模型等问题,在模块设计中采用以数据为核心的分层方法,在元数据设计中增强系统模型的描述能力,从数据结构到监控画面深度集成实时客流数据,在数据操作方法中应用主动、实时和关系数据库技术。通过这些举措使ATS达到了设计要求。
- 赵风景赵阳曾祥绪姜梦稚王天琪
- 关键词:软件工程列车自动监控城市轨道交通
- 基于可计算函数的C模型互模拟性质
- 2012年
- 针对嵌入可计算函数的C模型语法中没有Summation操作符,定义了Prime Process概念,并给出进程范式化过程以及有限公理系统,研究在扩展C模型后的绝对表达能力.结果表明,在引入Localization和多元操作符后,该模型可以方便地定义出Prefix、Replication和Choice操作符.
- 姜梦稚赵风景
- 关键词:互模拟偏序
- 基于B语言与TPN集成的形式化方法
- 随着人们对软件系统的要求不断地提高,形式化技术得到了充分的发展。过去人们依赖于优秀的软件工程师来对软件系统可靠性和安全性提供保证,而如今,人们可以使用已有的形式化技术,按照一定的步骤逐步来开发出满足市场高要求的软件系统。...
- 姜梦稚
- 关键词:软件系统时间PETRI网
- 文献传递
- 一种图形化的Pi演算方法
- 一种图形化的Pi演算方法,包括如下步骤:定义Pi演算的静态语义;定义翻译后的动态规则;定义Pi演算的传输图形;通过传输图形建立进程图,所述进程图包含了进程所有可能作的动作的有向图,并通过进程图来研究进程等价性。本发明的优...
- 姜梦稚
- 文献传递
- 类型化Pi演算在Web服务组合中的应用
- 2009年
- 通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势,弥补了Pi演算在Web服务描述过程中的不足.
- 姜梦稚
- 关键词:PI演算Z语言WEB服务组合
- 软件测试课程的教学改革与研究被引量:2
- 2010年
- 技术型本科学校的软件工程专业在软件测试课程体系构建须从软件测试领域的理论研究与工程应用出发,本文以软件测试人才所应具备的职业化软件测试技能综合应用能力体系为背景,提出并设计构建软件测试课程的体系。在明确软件测试方向的目标,合理构建课程的教学目标,提出在教学全程引入经过教学化改造的企业真实项目和工作环境,注重学生综合应用能力体系培养,从而实现该课程体系的局部创新和整体优化。
- 姜梦稚
- 关键词:软件测试实践教学课程建设
- TPN与B方法集成的形式化技术
- 2007年
- 单一的形式化方法和技术在描述系统时总是有一定的不足,通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系,介绍了如何用TPN-B对系统进行一个初始的构造,并通过对滑动窗口协议进行描述来体现。
- 姜梦稚
- 关键词:TPNB方法滑动窗口协议
- 基于 Petri 网和 B 语言集成的形式化方法
- 2005年
- 本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网,Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法,它不仅具有了 Petri 网的特点,还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。
- 姜梦稚张桂戌
- 关键词:形式化方法PETRI网B语言
- 基于Java的多线程网络爬虫设计与实现被引量:8
- 2010年
- 网络爬虫是目前比较流行的一种网页检索工具,其设计和实现也需要不断优化和改进。通过描述网络爬虫设计与实现中所碰到的问题,提供解决这些问题的方法,并给出实现这些目标的网络爬虫设计方法,提供该设计的Java语言版实现。
- 姜梦稚
- 关键词:网络爬虫爬虫设计多线程
- TPN和B方法集成的形式化技术在Web Service中的应用
- 2009年
- 介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网。给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述。
- 姜梦稚
- 关键词:TPNB方法WEBSERVICEBPEL4WS