周颖
- 作品数：4 被引量：9H指数：2
- 供职机构：东南大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向用户的Web服务可靠性计算模型被引量：4
- 2008年
- 基于SOA,从用户的角度分析并计算Web服务及其应用的可靠性.首先采用一种扩展的UDDI模型收集可靠性相关数据,计算基本服务的可靠性、转移失效率和转移概率.然后基于BPEL文档构造组合服务的结构图,定义其结构属性,将转移失效率作为基本服务可靠性的加权系数,给出各种结构的组合服务的可靠性计算公式.最后在此基础上设计可靠性预测的递归算法用于计算Web应用的可靠性.实验结果表明:基于结构图的方法具有简便性和易处理性.
- 苏志勇周颖李必信
- 关键词：面向用户可靠性
- 基于DATL的信息物理融合系统安全性建模与验证
- 2017年
- 为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数动态时态逻辑(DATL).采用微分代数程序(DAP)作为操作模型,使DAL具有d TL的时序处理能力.定义了DATL操作模型的DAP和DATL语法,给出了DAP的迹语义和DATL语义,在继承d TL和DAL规则的基础上新增了6个规则.通过对飞机避撞系统安全性的规约和验证,检验了DATL的有效性.
- 周颖段鹏飞翟小祥李必信
- 关键词：信息物理融合系统
- 改良填充法实现和解决迷宫问题被引量：1
- 2007年
- 与传统的“回溯”法相比,用填充法解决迷宫问题具有节约空间、提高效率的优点。本文探讨了填充法实现过程中的若干操作层面的问题,例如：如何快速扫描所有死路,如何解决单一出口的环路问题,如何填充稀疏空地等,提出了改良填充法,最后给出了用改良填充法解决迷宫问题的C程序。
- 周蕾周颖
- 关键词：死路可行点
- 软件体系结构测试技术的现状与思考被引量：4
- 2008年
- 软件体系结构经过10年的研究和发展取得了一系列可喜的成就.目前,一些有代表性的软件测试策略被研究人员提议用于软件体系结构的测试.但是,传统的软件测试技术和方法不能直接用来解决软件体系结构的测试问题,需要改进传统的软件测试技术和方法,或者开发新的软件体系结构测试技术和方法,使之能够更好地解决软件体系结构测试中存在的问题.本文概述了软件体系结构测试策略的研究现状,剖析了影响软件软件体系结构测试的因素,并讨论了软件体系结构分析与测试的未来研究主题.
- 巩绪芳周颖李必信
- 关键词：软件体系结构
