切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式化方法Designware及其规约精化机理
形式化方法Designware及其规约精化机理
来源 :计算机应用研究 | 被引量 : 3次 | 上传用户:systemlu
【摘 要】
:
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
【作 者】
:
石海鹤
石海鹏
薛锦云
【机 构】
:
江西师范大学计算机信息工程学院,江西师范大学软件学院,中国科学院软件研究所计算机科学国家重点实验室
【出 处】
:
计算机应用研究
【发表日期】
:
2008年03期
【关键词】
:
形式化方法Designware
规约精化
算法设计
高可信
formal method Designware
specification refinement
【基金项目】
:
国家自然科学基金资助项目(60573080),江西师范大学2006年度青年成长基金资助项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
其他文献
翼尖附近流场研究及帆片减阻机理
在1米低速风洞中,对半展长直机翼翼尖周围空间流场进行了详细地研究,并分析了翼尖帆片的增升减阻机理。根据理论计算并结合试验结果设计的翼尖帆片,经大低速风洞全机模型试验证明
期刊
流场测量
翼尖帆片
风洞
翼尖
measurement of flow field sails of wing tip induced drag factor
激波穿过孔板系统的传播及其诱导的流场
基于Euler方程,采用高精度,分分辨率的GRP有限差分法及算子分裂技术,对激波通过孔板系统的传播,绕射和反射,以及诱导的流场进行了数值研究。计算结果清楚地给出了激波传播、绕射、反射、及
期刊
孔板系统
激波传播
绕射
反射
GRP scheme
baffle system
shock wave
propagationdiffraction
r
风洞试验过程参数语音化处理系统
介绍了一种利用控制系统的计算机,配备语音芯片实现风实验参数语音化处理的设计思想和工作原理。系统结构简单,经济实用。语音信息采用模拟量存储方式,修改方便,具有高保真效果。
期刊
控制参数
语音化处理
模拟量存储
风洞试验
control parameter
phonic realization
memorized in analogue
噪声对边界层转捩的影响
风洞流场的噪声和湍流度是影响层流边层转捩实验结果的两个重要因素。本文通过实验初步研究了噪声对转捩的影响,实验包括:输入声影响和风洞流场的噪声。结果表明,声频和声压在数
期刊
边界层
边界层
转捩
气流噪声
boundary layer
boundary layer transition
influence of environm
旋臂式模型旋翼机动飞行试验机转速控制系统研究
旋臂式模型旋翼机动飞行试验机转速控制系统采用了先进的集成电子技术,变频调速、单片机和计算机软硬件等技术,实现了对模型旋翼的转速、前飞速度进行精确控制。文中较为详细地
期刊
旋翼机
机动飞行
转速
变频调速
试验机
model rotor
manoeuvre flight
rotation speed
control
micro-
同时性问题研究(一)
本文对狭义相对论同时性的相对性观点进行了分析,并提出狭义相对论在同时性的相对性问题的分析上有逻辑上的错误,关于同时性问题,文中提出了一筱不同于相地论的观点,并与相对论的
期刊
狭义相对论
洛伦兹变换
同时性
相对性
Special Relativity
Lorents transformation
simultaneity
r
一种新的图像窜改检测与自恢复算法
提出一种新的图像窜改检测与自恢复算法,不但可以检测定位出图像中任何细微的窜改,而且可以恢复被较大面积窜改的图像数据。首先,在环面自同构映射的基础上采用列偏移方法优化块序列,随后将关联块的组合水印分别嵌入到各映射块内每个像素的三位最低有效比特,最后按照像素尺寸对图像窜改进行逐级检测,并以最小分块为单元来自恢复图像。经实验证明,该算法能有效地进行窜改检测与内容恢复,尤其窜改区域较大时具有显著的效果。
期刊
数字水印
窜改定位
自恢复
关联块
digital watermarking
tamper locating
self-recovery
correla
基于AOP与Elastos操作系统的平等计算模型实现
由于构件对象可以动态加载、动态聚合,同时也能动态卸载、动态拆离,使得软件可以运行在计算能力或存储能力较弱的设备上。通过基于AOP及Elastos操作系统的平等计算模型的实现,在很大程度上提高了应用的终端适应能力,从而为开发更大的移动应用提供了技术支持。
期刊
面向方面的编程
ELASTOS
CAR
构件
平等计算
动态聚合
AOP
Elastos
CAR
component
equal-calculat
三个Ramsey数R(3,q)的新下界
通过构造三个循环图,得到了三个经典Ramsey数R(3,q)的新下界:R(3,34)≥223,R(3,36)≥237,R(3,38)≥254。
期刊
RAMSEY数
下界
循环图
Ramsey number
lower bound
circulant graph
基于属性—链接的聚类算法综述
首先总结了链接挖掘中基于属性—链接聚类算法的研究现状;然后把它大体分为三类,对每一类中具有代表性的算法进行了详细介绍、分析和评价;最后指出了该领域进一步的研究方向。
期刊
属性—链接聚类
链接结构
聚类算法
attribute-link clustering
link structure
clustering arithmetic
与本文相关的学术论文