-
题名一种将遗传算法应用于谓词求精的方法
被引量：2
- 1
-
-
作者
曹晓夏
缪淮扣
高晓雷
-
机构
上海大学计算机工程与科学学院
-
出处
《应用科学学报》
CAS
CSCD
2003年第3期289-295,共7页
-
基金
国家自然科学基金资助项目(60173030)
-
文摘
提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
-
关键词
软件工程
软件求精
软件开发
软件自动化
谓词求精
遗传算法
程序综合
求精演算方法
规则库
-
Keywords
software automation
refinement
predication refinement
genetic algorithm
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于扩散波和双向波的感潮河段水位演算研究
被引量：5
- 2
-
-
作者
周维
王淑英
黄国如
-
机构
华南理工大学土木与交通学院
浙江省水文局
-
出处
《水电能源科学》
北大核心
2010年第7期1-5,共5页
-
基金
水利部公益性行业科研专项经费基金资助项目(200801033)
华南理工大学中央高校基本科研业务费专项基金资助项目(2009ZM0051,2009ZM0044)
-
文摘
针对感潮河段水流情势复杂、不易获得河道地形资料的问题,考虑充分应用已有水位实测资料,采用扩散波和双向波方法建立感潮河段水位演算模型,扩散波方法以水位为研究对象,求解线性扩散波方程定解问题的解析解,双向波方法将洪水过程分解为上游洪水波和下游潮水波,分别应用水位演算方法将这两种波独立演算至计算断面,再将其演算结果进行线性叠加得到计算断面的水位过程。将上述两类模型应用于新沂河和楠溪江感潮河段水位演算中,模拟精度良好。
-
关键词
扩散波方程
双向波
感潮河段
水位演算
Diffusion
Wave
Based
REACH
STAGE
波方法
演算模型
演算方法
研究对象
线性叠加
定解问题
水位过程
水波
实测资料
模型应用
模拟精度
计算
-
Keywords
diffusion wave
bi-directional wave
tidal reach
stage routing model
-
分类号
TK79
[动力工程及工程热物理—流体机械及工程]
TV7
[水利工程—水利水电工程]
-
-
题名一种新的运动波方程有限差分方法
被引量：2
- 3
-
-
作者
朱成涛
陈飞翔
段瞳
-
机构
雅砻江流域水电开发有限公司
-
出处
《人民长江》
北大核心
2014年第23期60-63,共4页
-
文摘
在对运动波方程、数值解法及马斯京根-康吉演算法进行介绍的基础上,提出了运动波三角差分演算法,并给出了该方法的具体差分格式及推导过程。以长江万县至宜昌河段和雅砻江泸宁至打罗河段实测流量数据为例,利用马斯京根-康吉演算法和三角差分法分别进行了演算,并对比和分析了计算结果。结果表明,三角差分法具有预见期、演算方程简单、参数率定容易、演算精度高的特点,适用于河底比降较大河道的流量演算。
-
关键词
运动波
三角差分
演算方法
马斯京根法
-
Keywords
kinematical wave
triangle differential
algorithm method
Maskingum method
-
分类号
TV13
[水利工程—水力学及河流动力学]
-
