国家自然科学基金(60233020)
- 作品数：18 被引量：81H指数：5
- 相关作者：王戟陈火旺王树林李宣东毛晓光更多>>
- 相关机构：国防科学技术大学南京大学荆门职业技术学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学生物学交通运输工程更多>>
- 基于LTL Tableau的自动机构造被引量：1
- 2007年
- 基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。
- 刘万伟王戟陈火旺
- 关键词：计算机软件LTLTABLEAU
- 基于主成份分析的肿瘤分类检测算法研究被引量：9
- 2007年
- 基于基因表达谱的肿瘤诊断方法有望成为临床医学上一种快速而有效的诊断方法,但由于基因表达数据存在维数过高、样本量很小以及噪音大等特点,使得提取与肿瘤有关的信息基因成为一件有挑战性的工作。因此,在分析了目前肿瘤分类检测所采用方法的基础上,本文提出了一种结合基因特征记分和主成份分析的混合特征抽取方法。实验表明,这种方法能够有效地提取分类特征信息,并在保持较高的肿瘤识别准确率的前提下大幅度地降低基因表达数据的维数,使得分类器性能得到很大提高。实验采用了两种与肿瘤有关的基因表达数据集来验证这种混合特征抽取方法的有效性,采用支持向量机的分类实验结果表明,所提出的混合方法不仅交叉验证识别准确率高而且分类结果能够可视化。对于结肠癌组织样本集,其交叉验证识别准确率高达95.16%;而对于急性白血病组织样本集,其交叉验证识别准确率高达100%。
- 王树林王戟陈火旺张波云
- 关键词：支持向量机基因表达谱肿瘤分类主成份分析
- 基于LSC的模型检验研究被引量：1
- 2006年
- LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。
- 吴宏齐治昌
- 关键词：LSC顺序图CTL
- 模型层次与自省思想研究被引量：2
- 2005年
- 具备自省能力的系统能够随着环境改变自觉地改变自身的结构和行为,以适应环境变化后的需求。本文试图从模型层次和语言角度探讨实现自省思想的新思路,并给出一个体现自省思想的系统运行框架结构。系统的自省可以通过能够随不同条件改变模型元素结构和行为的建模语言获取,现有元模型侧重于结构上的规定,对元素的行为则几乎没有涉及。本文在元模型中显式地引入操作,以控制模型元素的结构和行为。
- 周颖郑国梁李宣东
- 关键词：元模型建模语言
- 基于构件软件的可靠性通用模型及系统实现被引量：6
- 2005年
- 本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现。通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控。
- 邓勇进毛晓光
- 关键词：软件开发软件体系结构
- 一个面向路径的软件测试辅助工具被引量：11
- 2004年
- 软件测试作为保证软件质量、提高软件可靠性的重要手段 .路径覆盖准则就是考察软件测试充分性的一种重要准则 .由于严格的路径覆盖测试不可实现 ,选择一些对软件整体质量影响较大的重点路径进行测试 ,以提高软件测试工作的效率和效益 .主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具 ,通过对程序代码的静态分析和插装 ,以及由大量随机测试用例驱动所得到的统计分析结果 ,为软件的功能测试和可靠性测试中的重点路径选择提供参考依据 .对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述 .
- 邱晓康李宣东
- 关键词：面向对象测试插装
- 角色建模工具RModeler的设计与实现
- 2008年
- 提倡在对象技术中基于角色识别对象及其协调关系,然后展开到类模型、接口模型、实体模型,同时对角色模型的形式化定义和表示方法进行了系统地研究,并在此基础上设计和实现了基于RML的可视化角色建模工具RModeler。RModeler目前完成了代码实现和测试工作,并在实际开发中使用,运行良好。RModeler支持业务过程中采用RML语言的建模,具备将RML模型转换为UML模型的功能,采用业界标准数据描述格式XMI来传递和共享建模信息。
- 文斌毛晓光
- 关键词：角色角色模型
- 分布式协作工作流技术研究
- 2005年
- 工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广泛应用的严重障碍．本文研究了工作流系统的协作方式和负载平衡技术，定义了工作流系统的负载因子，给出了一个分布式协作工作流系统模型，并结合业务流程逻辑，提出了分布式协作工作流系统负载平衡调度算法．实验表明该分布式协作工作流系统有效地扩展了单个工作流系统的吞吐能力。
- 黄秀国王戟
- 关键词：工作流负载平衡负载因子
- 基于MDA的UML模型转换:从功能模型到实现模型被引量：23
- 2005年
- MDA(Model Drive Architecture)是OMG(Object Management Group)提出的解决系统集成问题的新途径,它以UML、MOF、CWM为核心,定义软件开发过程中的模型组织管理框架。本文探讨了MDA框架下在元模型层定义模型转换的方法。引入模型转换规则描述语言,给出模型转换规则应遵循的部分原则。以CORBA平台为例说明在元模型层用既定语言定义模型转换规则,从功能模型到实现模型的模型转换方法。基于以上方法构建相应的工具原型。
- 周颖郑国梁李宣东
- 关键词：MDA元模型UML系统集成软件模型
- k-长DNA子序列计数算法研究被引量：2
- 2007年
- 基因组的结构与功能存在密切联系,其功能主要通过DNA子序列来表达,因此研究DNA序列结构对于生物信息学来说具有重要的意义。该文研究了k-长DNA子序列在DNA全序列中出现频数的计数问题,设计并实现了k-长DNA子序列内部计数算法和外部计数算法。该算法通过一个哈希函数把k-长DNA子序列映射为整数关键字从而把k-长DNA子序列出现频数的计数问题转化为整数关键字的重复计数问题,使得能够利用经典B树算法来解决k-长DNA子序列的出现频数计数问题。针对所要解决的问题提出3种改进措施以进一步提高算法的性能。
- 王树林王戟陈火旺张鼎兴
- 关键词：DNA序列B树全基因组
