切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
程序规约变换技术在程序设计中的应用
程序规约变换技术在程序设计中的应用
来源 :江西科学 | 被引量 : 0次 | 上传用户:hmglz
【摘 要】
:
算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径
【作 者】
:
黄海飞
杨庆红
薛锦云
【机 构】
:
江西师范大学计算机信息工程学院
【出 处】
:
江西科学
【发表日期】
:
2006年6期
【关键词】
:
程序规约
变换技术
算法程序
Program specification
Transformation techniques
Algorithm progr
【基金项目】
:
国家自然科学基金项目(N0:60273092)及江西省教育厅科技项目.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。
其他文献
锂电解过程中杂质元素的电化学行为
采用循环伏安法研究了锂电解过程中杂质元素的电化学行为。电解过程中杂质元素镁将优先于锂在阴极析出,然后是金属锂的欠电位沉积形成镁锂合金,最后才是金属锂的析出,Mg^(2+)
期刊
锂
电解
杂质
电化学
lithium
electrolysis
impurities
electrochemistry
TiC晶须对YG10F硬质合金材料硬度和韧性的影响
采用添加不同含量TiC晶须、不同制备工艺方法,研究了TiC晶须对YG10F硬质合金材料硬度和韧性的影响。结果表明:添加TiC晶须可以提高试验材料的显微硬度;采用适当的制备工艺、添加
期刊
TiC晶须
硬质合金
硬度
韧性
TiC whiskers
Cemented carbide
Hardness
Toughness
模拟传感器的抗干扰措施
本文分析了影响模拟传感器小信号处理精度的干扰根源、干扰种类以及干扰现象,给出了实际应用中的各种抗干扰措施.
期刊
模拟传感器
小信号处理
抗干扰措施
analog sensor
small signal process
anti-jamming measurement
锂辉石浸出液提锂除杂规律研究
碳酸锂是一种基础锂盐,不仅广泛应用于传统化工行业,也是生产锂电池的重要原料,近年来锂电产业蓬勃发展,极大推动了原料碳酸锂的提取与制备研究。为了提取锂辉石中的锂来制备
期刊
碳酸锂
锂辉石
除杂
lithium carbonate
spodumene
impurity
人工挖孔扩底桩沉降计算方法研究
以Geddes弹性应力解为基础,充分考虑土的空间应力分布,根据土的Duncan—Chang非线性应力一应变模型,通过弹性理论基本方法计算竖向荷载作用下人工挖孔桩的单桩沉降。计算方法简
期刊
单桩
沉降计算
GEDDES应力解
非线性弹性模型
Single pile
Settlement calculation
Geddes stress sol
基于DSP的空间机器人关节控制系统
选用方波无刷直流电机作为一体化关节的驱动电机。阐述了关节控制系统控制整体方案,设计完成了DSP控制电路和功率驱动电路,主要包括DSP芯片外围电路、IR2136三相逆变桥电路、PW
期刊
空间机器人
DSP
BLDCM
无刷直流电机
space robot
DSP
BLDCM
brushless DC motor
江西省降水中化学组分变化规律研究
通过对3年间江西省降水化学组分分析中主要离子的浓度及沉降量分析统计得出:江西省酸雨以硫酸型污染为主,但硫酸根离子在酸雨形成过程中的主导作用有下降趋势,降水中离子总浓度
期刊
江西省
酸雨
化学组分
分析
Jiangxi Province
Acid rain
Chemical composition
Analysis
Amomax-10/10H氨合成催化剂升温还原理论与实践
从Amomax-10/10H催化理论和生产实践两个维度提炼了Amomax-10/10H氨合成催化剂升温还原过程关键技术。理论方面,从还原反应的特点可以推导出还原过程的基本还原原则,从铁比[w
期刊
Amomax-10/10H
氨合成催化剂
升温还原
Amomax-10/10H
ammonia synthesis catalyst
heating reduc
与本文相关的学术论文