您的位置： 专家智库 > >

曹晓夏

作品数：8 被引量：15H指数：3
供职机构：上海第二工业大学计算机与信息学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术生物学更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇生物学

主题

  • 2篇遗传算法
  • 1篇映射
  • 1篇语义提取
  • 1篇软件工程
  • 1篇软件开发
  • 1篇软件自动化
  • 1篇生成器
  • 1篇自动化
  • 1篇自动生成
  • 1篇自动生成器
  • 1篇降维
  • 1篇降维方法
  • 1篇规则库
  • 1篇M转换
  • 1篇OBJECT...
  • 1篇OBJECT...
  • 1篇OWL-S
  • 1篇PIM
  • 1篇Z规格说明
  • 1篇CI

机构

  • 7篇上海大学
  • 3篇上海第二工业...
  • 1篇武汉大学

作者

  • 8篇曹晓夏
  • 5篇缪淮扣
  • 2篇许庆国
  • 1篇孙军梅
  • 1篇王毅俊
  • 1篇杨志珍
  • 1篇高晓雷
  • 1篇胡晓波
  • 1篇王彤

传媒

  • 2篇应用科学学报
  • 1篇软件学报
  • 1篇上海第二工业...
  • 1篇计算机科学

年份

  • 1篇2013
  • 1篇2011
  • 2篇2010
  • 1篇2009
  • 1篇2007
  • 2篇2003
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
面向服务的软件需求建模与求精研究
随着软件应用领域的不断扩展和深入,软件的规模和复杂性在逐渐扩大和提高。人们对软件的质量和生产效率也提出了更高的要求。软件复用是在软件开发中避免重复劳动的解决方案。通过软件复用,可以提高软件开发的效率和质量。模型驱动以及面...
曹晓夏
文献传递
基于线性降维方法的蛋白质四级结构类型预测被引量：2
2013年
提出一种新的能依据蛋白质序列自动地识别被查询蛋白质的四级结构类型的方法。首先采用伪特定位点记分矩阵方法(PsePSSM)提取蛋白质序列的特征。采用这种方法提取出的特征能尽可能多地反映蛋白质序列的原始信息如顺序和进化等信息。但随之产生的问题是特征维数很高,使得预测系统复杂化。因此,引入线性维数约简算法最大方差映射方法(MVP),它可以从高维的特征空间中提取出低维的关键特征。最后,在约简后的特征上再应用分类算法预测未知蛋白质的四级结构。试验结果表明,采用降维方法不但使得预测系统得到简化,同时还提高了分类性能。
王彤杨志珍曹晓夏
关键词：降维
OWL-S到Z规格说明的转换
2010年
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
王毅俊缪淮扣许庆国曹晓夏
关键词：OWL-SZ规格说明
一种运用解释映射进行服务模型求精的方法
提出了解释映射的求精方法,运用这一方法在保持语义一致的前提下进行不同抽象层次模型之间的转换。并将解释映射的结果描述为规则,用于模型演绎。解释映射是通过同构嵌入映射来进行求精,这就需要将模型表示为一个理论集合,将两个理论集...
曹晓夏缪淮扣
文献传递
一种运用模式将CIM转换到PIM的方法被引量：5
2007年
模型转换在MDA软件开发方法中扮演着非常重要的角色,尤其是从CIM到PIM的转换。本文给出了一种从CIM转换到PIM的方法。在CIM中,我们通过特征模型来组织需求,同时用软件体系结构来组织PIM中的各个要素。这个转换中的核心内容是模式的应用。在CIM的需求模型中,本文将特征分层,从而将需求分为不同的层次。同时模式也被分为不同的层级,其中包括体系结构模式和设计模式。针对不同层级的特征模型,应用不同层级的模式进行变换,从而得到分层的体系结构。当需求发生变化时,首先确定这种特征的变化是在哪个层级上的,然后在不同的体系结构层级上变换相应的功能,从而实现PIM的相应变化。本文最后以自行开发的Object-Z的支持工具为例来说明所给出的方法。
曹晓夏缪淮扣孙军梅
关键词：MDACIMPIM
SOZRSL规格说明的求精
该课题组将结构化方法、面向对象的方法以及形式方法的优点结合起来,提出了一种新的软件需求规格说明语言——SOZRSL(Structure Object Z Requirement Specification Languag...
曹晓夏
关键词：遗传算法
文献传递
Object-Z规格说明测试用例的自动生成器被引量：5
2011年
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.
许庆国缪淮扣曹晓夏胡晓波
关键词：OBJECT-Z语义提取
一种将遗传算法应用于谓词求精的方法被引量：3
2003年
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
曹晓夏缪淮扣高晓雷
关键词：软件工程软件开发软件自动化遗传算法规则库
全选 清除 导出
共1页<1>
聚类工具0