江苏省高校自然科学研究项目(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样条曲线簇为模板,根据人体各部位比例确定曲线空间位置,利用放样曲面重建算法生成人体躯干模型的三维可视化曲面。建立的人体躯干模型包含了真实的人体躯干围度形态和宽厚信息,且这些尺寸信息容易获取、计算量小、建模速度快;根据输入的人体尺寸信息,对围度曲线模板进行相应的线性缩放或者全向加权约束调整,生成符合用户体型的人体躯干模型。
- 卢晨王辉张广泉
- 分布式文件系统Hadoop HDFS与传统文件系统Linux FS的比较与分析被引量：26
- 2010年
- 对现有HDFS的设计架构进行分析,并借与LinuxFS架构的对比凸显HDFS的分布式特性。通过分析得出:现有的HDFS架构使用Java的Map界面,不利于任务的分解和并行处理,因此HDFS仅在数据的存储上实现分布式,数据处理依然是集中式的,这就形成了对NameNode的依赖,随着集群的扩大,NameNode的性能成为系统瓶颈,并提出了解决方向。
- 许春玲张广泉
- 关键词：HADOOPHDFSHDFSBOTTLENECK分布式文件系统
- 面向方面软件开发的形式化方法与编译器技术分析研究
- 2010年
- 主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。
- 张谷铭张广泉
- 关键词：面向对象编译器
- 基于有色Petri网的Web服务组合建模与分析被引量：3
- 2010年
- 形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。
- 张侃朱稷涵张广泉
- 关键词：有色PETRI网WEB服务组合可达性分析
- 基于XYZ/ADL的Web服务组合精化检验
- 2010年
- Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.
- 何亚丽张广泉王昇
- 关键词：WEB服务组合XYZ/ADL时间自动机
- 一种基于通知波动效应的面向方面系统依赖图构造方法
- 2010年
- 为更好地分析面向方面程序中的控制依赖关系和数据依赖关系,需要对面向方面程序构造系统依赖图。本文针对面向方面程序的结构和机制,考虑通知优先级对程序依赖关系的影响,提出通知波动效应图(AFG)及其生成算法,从而构造基于通知波动效应的面向方面系统依赖图(AOSDG)。此方法构造的系统依赖图能够更准确地表示面向方面程序中的依赖关系,且构造成本相对较小,可应用于面向方面程序切片。
- 黄静章晓芳张广泉
- 关键词：系统依赖图面向方面程序
- UML2．0顺序图的一种有穷自动机模型被引量：3
- 2008年
- 为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,设计了从UML2.0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础。
- 刘传会戎玫张广泉
- 关键词：UML2.0顺序图UPPAAL有穷自动机时间自动机
