许东
- 作品数：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
- 工科生《编译原理》课程教学的探析和实践
- 2013年
- 针对工科生的特点及其培养目标,将《编译原理》课程的教学目标定位于"能灵活应用形式语言和自动机的基础理论来解决计算机工程领域中的相关问题",并分析和总结了相应的教学手段和实验教学方案及其实践效果。
- 袁世忠邵伟民沈俊许东
- 关键词：教学目标教学方法实验教学
- CMMI V1.2版本的新特征被引量：4
- 2007年
- 最新发布的CMMI V1.2模型做了很多的改进。将原先的模型CMMI-SE/SW/IPPD进行了整合,更改了模型的名称:CMMI-SE/SW/改为用于开发的CMMI模型CMMI-DEV v1.2。CMMI v1.2产品集支持开发、服务和获取过程,CMMI-DEV是其中的一种并首先发布,其它的CMMI套件在2007年陆续发布。"附加"是用来扩展模型的,如CMMI-DEV+IPPD,表示某些过程域是和IPPD中的目标和实践结合起来使用。新版本还将CMMI的两种表示方式(连续和阶段式)合并在一个文档中表述。在CMMI V1.2版本中,模型的表述、术语、过程城都有相应的改进。
- 许东刘宗田
- 关键词：CMMI
- 钢筋混凝土叠合板拼接构造试验研究与数值模拟
- 格构钢筋混凝土叠合结构作为一种新型的楼板形式,在国外已广泛使用,它是使用一根钢筋上弦杆、两根钢筋下弦杆和两片钢筋斜撑焊接而成能够承受荷载的桁架结构,与混凝土结合成预制混凝土叠合底板。 在实际工程中为了扩大叠合楼盖的应用...
- 许东
- 关键词：钢筋混凝土叠合板静力加载承载能力数值模拟
- 文献传递
- 使用故障树技术分析面向对象的软件被引量：5
- 2000年
- 故障树技术已广泛应用于工业系统 ,然而在软件中的应用较少论及 ,在面向对象软件中的应用更不多见 .本文首先简要介绍了故障树的基本概念 ,原理和方法 ,然后将故障树技术引入面向对象软件分析 ,提出了一种由面向对象软件中消息发送关系图导出故障树的新方法 ,给出了相应的故障树构造算法 .文章还介绍了生成故障树割集的算法 ,从而产生顶部事件失效的基本原因组合 ,并给出了通过基本事件失效概率计算系统失效 (顶部事件 )的概率和分析面向对象软件系统的可靠性的方法 .
- 许东刘宗田强宇
- 关键词：故障树面向对象
- 信息物理系统的偶图动态建模与分析
- 2015年
- 通过分析随机信息物理系统,利用随机偶图为建模工具,建立了随机信息物理系统模型,并给出该模型量化分析的方法.偶图是由Milner提出的一种用于普适系统的图形化的形式化建模工具,它结合了π演算和移动环境演算的优点,为普适计算应用提供了一种良好的建模语言.随机偶图是偶图的一种拓展,随机偶图的反应规则中赋有反应概率,这就增强了偶图的表示能力和分析能力,弥补了普通偶图不能表示随机模型的缺陷.最后以智能家居为例,探索随机偶图在信息物理系统领域的建模方法,阐述了所建立的随机信息物理系统模型的有效性.
- 许东李静朱刚
- 关键词：信息物理系统普适计算智能家居
- 基于TSP的软件项目计划制定
- 小组软件过程(TeamSoftwareProcess,TSP)详细描述了软件项目计划制定过程的必要性和实施步骤.本文基于TSP的计划过程思想,提出一个自上而下和自下而上相结合,双循环反馈,三层次的计划制定过程模型.并应用...
- 燕锦华刘滢许东刘宗田
- 关键词：小组软件过程软件项目计划软件开发
- 文献传递
