江苏省高校自然科学研究项目(08KJB520010)
- 作品数：37 被引量：79H指数：4
- 相关作者：张广泉戎玫章晓芳何亚丽王辉更多>>
- 相关机构：苏州大学中国科学院软件研究所暨南大学更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术环境科学与工程理学电子电信更多>>
- 基于构件的嵌入式实时软件组合时间分析研究被引量：1
- 2009年
- 在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。
- 林苗戎玫张广泉
- 关键词：嵌入式实时软件统一建模语言
- 基于加速度识别的姿态交互研究被引量：8
- 2009年
- 手势识别作为人机交互的一种重要实现技术一直是模式识别领域的研究热点之一。提出一种基于加速度的手势识别方法。首先为每个手势动作建立隐马尔可夫模型,通过采集到的手势动作的加速度值对模型进行优化,再利用优化的模型对加速度序列进行分类,根据加速度的不同对手势进行识别。该方法在手持移动设备上有良好的识别效果,对手持移动设备的交互研究具有重要意义。
- 孔俊其王辉张广泉
- 关键词：隐马尔可夫模型
- 一种基于体系结构的Web服务组合描述方法被引量：4
- 2008年
- Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ/ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。
- 魏慧戎玫张广泉
- 关键词：WEB服务体系结构描述语言XYZ/ADL
- 一种基于样本的人体躯干函数模型被引量：1
- 2011年
- 针对参数化静态人体躯干模型的参数量化比较困难、应用过程繁复的状况,建立了一种基于样本的人体躯干函数化模型。该模型使用身高、围度长度和围度宽厚信息等输入参数作为控制量,以获得的样本B样条曲线簇为模板,根据人体各部位比例确定曲线空间位置,利用放样曲面重建算法生成人体躯干模型的三维可视化曲面。建立的人体躯干模型包含了真实的人体躯干围度形态和宽厚信息,且这些尺寸信息容易获取、计算量小、建模速度快;根据输入的人体尺寸信息,对围度曲线模板进行相应的线性缩放或者全向加权约束调整,生成符合用户体型的人体躯干模型。
- 卢晨王辉张广泉
- 基于构件的嵌入式实时软件建模与分析被引量：4
- 2008年
- 嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。
- 张广泉林苗戎玫
- 关键词：嵌入式实时软件UML
- 基于Spin的SET协议模型检测研究
- 2009年
- 模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的关键性质认证性和保密性进行了分析与检测,发现了协议中的缺陷。
- 陈道喜戎玫张广泉
- 关键词：SPINSET协议
- SPS系统的一种精确语义描述
- 2008年
- 规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述。
- 戎玫
- 关键词：形式化方法SPIN
- 主动数据仓库规则模型及其相关语法的研究被引量：1
- 2009年
- 主动数据库的简单规则形式不符合主动数据仓库(ADW)的决策特点,而基于ADW的分析规则在交互性、精确性、表达能力和扩展性等方面存在不足。根据ADW规则渐进分析分布决策的特点,结合ECA规则形式,定义了一种主动多维分析规则模型及相应语法(AMAR)作为ADW规则的表述和执行方式。AMAR不仅可以应对ADW规则的诸多挑战,还提供了对立方体、事件、规则、结果之间复杂对应关系的支持,同时具备了更好的可维护性和可执行性。
- 陈凌王辉张广泉
- 关键词：主动数据仓库ECA
- 基于XYZ/ADL的异步Web服务组合描述与验证被引量：3
- 2011年
- 以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。
- 石慧娟戎玫张广泉朱稷涵
- 关键词：WEB服务组合XYZ/ADL异步通信
- 一种支持实时软件时间建模的形式化方法被引量：1
- 2010年
- 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。
- 祝义黄志球张广泉周航
