许东
- 作品数：21 被引量：29H指数：3
- 供职机构：上海大学更多>>
- 发文基金：上海市科学技术发展基金上海市高等学校青年科学基金更多>>
- 相关领域：自动化与计算机技术建筑科学经济管理文化科学更多>>
- 偶图及其应用研究综述被引量：1
- 2016年
- 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.
- 许东王晶晶李静
- 关键词：偶图范畴论
- 一个软件质量保障平台的研究与实现
- 本文阐述了一个自主研发的、基于CMM和ISO 9001标准,采用过程和度量技术的软件质量保障平台(SQAP).该平台分为过程支撑平台、多维模板库和应用平台三个层次,支持过程的定义、重组、剪裁和实例化,适用于企业级及项目级...
- 许东杨根兴沈备军宿为民刘宗田
- 文献传递
- 偶图范畴的规范描述
- 2013年
- 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、s-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用。
- 许东朱刚李静
- 关键词：偶图
- 基于TSP的软件质量控制平台设计与实现被引量：2
- 2006年
- 介绍了一个软件质量控制平台的设计与实现过程。该平台以CMM,TSP/PSP为核心理论依据,作为一个面向中小型软件企业的软件质量控制平台,它能够有效提高开发效率,帮助企业改进软件过程,并支持企业的软件能力最高达到CMM5级水平。内容包括TSP/PSP相关概念及特点,平台的系统架构、功能描述、实现技术以及项目的创新研究成果。为企业实施软件过程改进、构建基于TSP技术的大型复杂软件质量控制平台提供了很好的借鉴作用。
- 林炜李旭刘宗田许东
- 关键词：软件能力成熟度模型STRUTSJ2EE
- 钢筋混凝土叠合板拼接构造试验研究与数值模拟
- 格构钢筋混凝土叠合结构作为一种新型的楼板形式,在国外已广泛使用,它是使用一根钢筋上弦杆、两根钢筋下弦杆和两片钢筋斜撑焊接而成能够承受荷载的桁架结构,与混凝土结合成预制混凝土叠合底板。 在实际工程中为了扩大叠合楼盖的应用...
- 许东
- 关键词：钢筋混凝土叠合板静力加载承载能力数值模拟
- 文献传递
- 使用故障树技术分析面向对象的软件被引量：5
- 2000年
- 故障树技术已广泛应用于工业系统 ,然而在软件中的应用较少论及 ,在面向对象软件中的应用更不多见 .本文首先简要介绍了故障树的基本概念 ,原理和方法 ,然后将故障树技术引入面向对象软件分析 ,提出了一种由面向对象软件中消息发送关系图导出故障树的新方法 ,给出了相应的故障树构造算法 .文章还介绍了生成故障树割集的算法 ,从而产生顶部事件失效的基本原因组合 ,并给出了通过基本事件失效概率计算系统失效 (顶部事件 )的概率和分析面向对象软件系统的可靠性的方法 .
- 许东刘宗田强宇
- 关键词：故障树面向对象
- 信息物理系统的偶图动态建模与分析
- 2015年
- 通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性.
- 许东李静朱刚
- 关键词：信息物理系统普适计算智能家居
- 基于TSP的软件项目计划制定
- 小组软件过程(TeamSoftwareProcess,TSP)详细描述了软件项目计划制定过程的必要性和实施步骤.本文基于TSP的计划过程思想,提出一个自上而下和自下而上相结合,双循环反馈,三层次的计划制定过程模型.并应用...
- 燕锦华刘滢许东刘宗田
- 关键词：小组软件过程软件项目计划软件开发
- 文献传递
- 基于Coad和Yourdon方法的绘图程序的分析和设计被引量：1
- 2000年
- 简要介绍面向对象的方法，然后说明怎样用Ｃｏａｄ ＆ Ｙｏｕｒｄｏｎ 的面向对象方法来分析和设计一个绘图程序。
- 许东刘宗田
- 关键词：面向对象
- 基于UML活动图的测试研究进展被引量：10
- 2008年
- UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模。基于UML活动图的测试受到业界的普遍欢迎。然而从UML活动图自动生成完整的测试场景\用例成为一个难点。本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法。对这些方法进行了分析与比较,指出一些不足之处。最后对UML活动图测试的发展趋势做了一些展望。
- 高红梅许东刘宗田
- 关键词：UML活动图
