切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种将遗传算法应用于谓词求精的方法
一种将遗传算法应用于谓词求精的方法
来源 :应用科学学报 | 被引量 : 0次 | 上传用户:blueskyjandy
【摘 要】
:
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规
【作 者】
:
曹晓夏
缪淮扣
高晓雷
【机 构】
:
上海大学
【出 处】
:
应用科学学报
【发表日期】
:
2003年3期
【关键词】
:
软件工程
软件求精
软件开发
软件自动化
谓词求精
遗传算法
程序综合
求精演算方法
规则库
software automation
refinement
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
其他文献
代谢综合征痰湿证血清胰岛素、血尿酸、脂联素代谢特征研究
目的进行代谢综合征痰湿证与正常对照组血清胰岛素、血尿酸(UA)、脂联素水平比较。方法在临床流行病学调查的基础上,按代谢综合征痰湿证和正常对照组的诊断标准筛选代谢综合
期刊
代谢综合征
痰湿证
胰岛素
血尿酸
脂联素
光纤SPW传感器用于温度测试的研究
光纤SPW传感器通过表面等离子体波共振来工作.在SPW传感器表层存在一层电子气,当环境温度升高,电子气的浓度将会增加,且其本身的动能加大,这将导致电子气团的共振频率发生变
期刊
光纤SPW传感器
温度测试
电子气
温度
浓度
动能
光纤表面等离子体波传感器
optic fiber SPW sensor
temperature
ele
自拟济心汤治疗慢性收缩性心力衰竭的疗效观察
目的观察自拟济心汤治疗慢性收缩性心力衰竭(CHF)的临床治疗效果。方法将120例CHF患者随机分为两组,每组60例,对照组运用常规基础治疗及抗心衰药物治疗,治疗组在此基础上联合自
期刊
慢性收缩性心力衰竭
洋地黄
Β-受体阻滞剂
血管紧张素转换酶抑制剂
济心汤
Chronic Systolic Heart Failure
Digitalis
基于雪花模型的面向对象数据仓库:在宝钢电力系统中的应用研究
以宝钢电力系统为研究背景,介绍了数据仓库的概念和特征,提出了建立面向对象的电力数据仓库设计方法及一种基于雪花模型的面向对象数据仓库的数据模型,给出了数据采集和数据
期刊
雪花模型
宝钢
电力系统
数据仓库
面向对象技术
数据采集
数据呈现
电力管理
data warehouse
objectoriented programmi
参松养心胶囊治疗缺血性心力衰竭的临床研究
目的:探讨参松养心胶囊治疗缺血性心力衰竭患者的临床疗效。方法将86例缺血性心力衰竭患者随机分为治疗组与对照组,各43例。对照组采用常规西医治疗;治疗组在对照组治疗基础上加
期刊
参松养心胶囊
缺血性心脏病
慢性心力衰竭
心率变异性
ShensongYangxinCapsules
IschemicHeartDisease
ChronicH
嵌入式系统中音频模块的实现
介绍了一种低功耗、低成本、高性能的嵌入式系统音频模块设计方法,以此说明嵌入式系统开发的具体过程和实现方法.实现实例为JingWei板(基于intel strongARM SA-1110的嵌入式
期刊
嵌入式系统
音频模块
SA-1110
音频数字接口
音频测试程序
SA-1110
embedded system
audio module
丹参川芎嗪与低分子肝素预防下肢骨折术后深静脉血栓形成疗效观察
目的 观察下肢骨折术后应用丹参川芎嗪与低分子肝素预防深静脉血栓形成的安全性及临床疗效.方法 45例下肢骨折患者随机分为观察组(22例)与对照组(23例),对照组患者术后8h给予低分
期刊
丹参川芎嗪
低分子肝素
下肢骨折
深静脉血栓
Salvia Miltiorrhizae Ligustrazine
Low Molecular Weight He
在消化系急腹症鉴别诊断中应用超声诊断的效果评价
目的分析在消化系急腹症诊断过程中超声检查的诊断符合率,对其价值进行有效的评价。方法 100例消化系急腹症患者,均进行超声诊断,分析超声诊断结果与病理诊断的一致性。结果
期刊
消化系
急腹症
鉴别诊断
超声诊断
探析丙型病毒性肝炎临床诊治疗效
目的探讨分析临床应用干扰素α-2b联合苦参素治疗丙型病毒性肝炎的效果。方法 57例丙型病毒性肝炎患者,给予干扰素α-2b联合苦参素治疗,观察治疗效果。结果 57例患者治疗后完
期刊
丙型病毒性肝炎
干扰素Α-2B
苦参素
临床疗效
小而密低密度脂蛋白胆固醇与冠心病的关系及调血脂治疗对其影响探究
目的观察小而密低密度脂蛋白胆固醇与冠心病的关系,以及调血脂治疗对其影响。方法 93例高脂血症患者,根据其是否合并有冠心病分为观察组(合并有冠心病的高脂血症)45例与对照
期刊
高脂血症
低密度脂蛋白胆固醇
冠心病
调血脂治疗
其他学术论文