云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60233020)

国家自然科学基金(60233020): 作品数：18被引量：58H指数：4; 导出分析报告; 相关作者：王戟陈火旺王树林李宣东毛晓光更多>>; 相关机构：国防科学技术大学南京大学荆门职业技术学院北京航空航天大学更多>>; 相关期刊：《高校应用数学学报（A辑）》《计算机工程与应用》《电子学报》《计算机应用与软件》更多>>; 相关主题：元模型DNA序列分形统一建模语言MDA更多>>; 相关领域：自动化与计算机技术理学生物学交通运输工程更多>>

角色建模工具RModeler的设计与实现: 《计算机应用研究》2008年第4期1257-1260,共4页文斌毛晓光; 国家自然科学基金资助项目(60233020,60503032); 提倡在对象技术中基于角色识别对象及其协调关系,然后展开到类模型、接口模型、实体模型,同时对角色模型的形式化定义和表示方法进行了系统地研究,并在此基础上设计和实现了基于RML的可视化角色建模工具RModeler。RModeler目前完成了代...; 关键词：角色角色模型角色建模语言软件工具扩展元数据交换

基于主成份分析的肿瘤分类检测算法研究被引量：9: 《计算机工程与科学》2007年第9期84-90,共7页王树林王戟陈火旺张波云; 国家自然科学基金资助项目(60233020); 基于基因表达谱的肿瘤诊断方法有望成为临床医学上一种快速而有效的诊断方法,但由于基因表达数据存在维数过高、样本量很小以及噪音大等特点,使得提取与肿瘤有关的信息基因成为一件有挑战性的工作。因此,在分析了目前肿瘤分类检测所采...; 关键词：支持向量机基因表达谱肿瘤分类主成份分析

一种节能多属性目标监测的感知网络覆盖算法: 《计算机工程与应用》2007年第18期7-10,共4页张鼎兴徐明刘爱心; 国家自然科学基金(the National Natural Science Foundation of China under Grant No.60233020) ;国家教育部博士点基金(the National Research Foundation for the Doctoral Program of Higher Education of China under Grant No.20059998022)。; 研究了一种多属性目标的覆盖问题,这种覆盖问题与单一类型数据的目标不同,其待测区域中的每个目标同时包含多种类型的现场数据。如果布置一个无线感知网络去担任监测任务,其节点需要配置多种不同类型的传感器单元。针对这种需要采集多...; 关键词：无线感知网络覆盖集多属性目标传感器单元

k-长DNA子序列计数算法研究被引量：2: 《计算机工程》2007年第9期40-42,共3页王树林王戟陈火旺张鼎兴; 国家自然科学基金资助项目(60233020); 基因组的结构与功能存在密切联系,其功能主要通过DNA子序列来表达,因此研究DNA序列结构对于生物信息学来说具有重要的意义。该文研究了k-长DNA子序列在DNA全序列中出现频数的计数问题,设计并实现了k-长DNA子序列内部计数算法和外部计数...; 关键词：k-长DNA子序列 DNA序列 B树全基因组

基于LTL Tableau的自动机构造: 《吉林大学学报（工学版）》2007年第1期132-135,共4页刘万伟王戟陈火旺; '973'国家重点基础研究计划项目(2005CB321802);国家自然科学基金重点资助项目(60233020);'863'国家高技术研究发展计划项目(005AA113130);教育部新世纪优秀人才支持计划项目(NCET-04-0996); 基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi...; 关键词：计算机软件模型检验 LTL TABLEAU Co—Büchi自动机

Software Reliability Experimentation and Control被引量：1: 《Journal of Computer Science & Technology》2006年第5期697-707,共11页蔡开元; This work was supported by the National Natural Science Foundation of China （Grant Nos.60233020, 60474006 and 60473067）. Acknowledgment The experimental results presented in this paper were obtained with the help of many students of the author, including Bo Gu, Hal Hu, ChangHai Jiang, Xiao-Feng Lei, Yan Shi, and Bei-Bei Yin.; This paper classifies software researches as theoretical researches, experimental researches, and engineering researches, and is mainly concerned with the experimental researches with focus on software reliability exp...; 关键词：software reliability software experimentation software reliability control adaptive testing

基于LSC的模型检验研究被引量：1: 《计算机应用与软件》2006年第7期5-7,20,共4页吴宏齐治昌; 国家自然基金(编号:90104007和60233020)资助; LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成...; 关键词：LSC 顺序图模型检验 CTL

基于分形的DNA序列可视化表示研究被引量：1: 《计算机科学》2006年第7期158-163,共6页王树林王戟陈火旺张波云; 国家自然科学基金资助项目(60233020); DNA序列可视化表示对于研究其结构与功能具有至关重要的意义,它有助于重复子序列的识别、内含子与外显子的区分以及DNA序列进化研究等等。本文首先介绍了生成DNA序列分形图像的Hao方法和经典的混沌游戏方法,然后深入分析和比较了这两种...; 关键词：DNA序列迭代函数系统混沌自动机分形

基于UML的软件可靠性建模: 《湖北民族学院学报（自然科学版）》2006年第2期137-142,共6页文斌; 国家自然科学基金资助(60233020); 标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型...; 关键词：软件可靠性统一建模语言元模型构造型

k-长DNA子序列频数分布研究被引量：1: 《生物物理学报》2006年第3期177-196,共20页王树林王戟陈火旺张鼎兴; 国家自然科学基金项目(60233020)~~; 在详细阐述了生成DNA序列分形图像的Hao方法后,提出一种能够直观显示k-长DNA子序列频数分布差异性的三维频数分布图生成方法。把3D频数分布图转化为1D对数频谱图,突出显示了频数分布的局部特征,提出k-长DNA子序列频数区划分准则,并详细...; 关键词：DNA序列 k-长DNA子序列三维频数分布图非中心F分布分形 n阶零间隔

国家自然科学基金(60233020)