论文部分内容阅读
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
形式化方法Designware及其规约精化机理
【摘 要】
：
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
【机 构】
：
江西师范大学计算机信息工程学院,江西师范大学软件学院,中国科学院软件研究所计算机科学国家重点实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2008年03期
【基金项目】
：
国家自然科学基金资助项目（60573080）,江西师范大学2006年度青年成长基金资助项目
其他文献
在１米低速风洞中，对半展长直机翼翼尖周围空间流场进行了详细地研究，并分析了翼尖帆片的增升减阻机理。根据理论计算并结合试验结果设计的翼尖帆片，经大低速风洞全机模型试验证明
基于Ｅｕｌｅｒ方程，采用高精度，分分辨率的ＧＲＰ有限差分法及算子分裂技术，对激波通过孔板系统的传播，绕射和反射，以及诱导的流场进行了数值研究。计算结果清楚地给出了激波传播、绕射、反射、及
介绍了一种利用控制系统的计算机，配备语音芯片实现风实验参数语音化处理的设计思想和工作原理。系统结构简单，经济实用。语音信息采用模拟量存储方式，修改方便，具有高保真效果。
风洞流场的噪声和湍流度是影响层流边层转捩实验结果的两个重要因素。本文通过实验初步研究了噪声对转捩的影响，实验包括：输入声影响和风洞流场的噪声。结果表明，声频和声压在数
旋臂式模型旋翼机动飞行试验机转速控制系统采用了先进的集成电子技术，变频调速、单片机和计算机软硬件等技术，实现了对模型旋翼的转速、前飞速度进行精确控制。文中较为详细地
本文对狭义相对论同时性的相对性观点进行了分析，并提出狭义相对论在同时性的相对性问题的分析上有逻辑上的错误，关于同时性问题，文中提出了一筱不同于相地论的观点，并与相对论的
提出一种新的图像窜改检测与自恢复算法,不但可以检测定位出图像中任何细微的窜改,而且可以恢复被较大面积窜改的图像数据。首先,在环面自同构映射的基础上采用列偏移方法优化块序列,随后将关联块的组合水印分别嵌入到各映射块内每个像素的三位最低有效比特,最后按照像素尺寸对图像窜改进行逐级检测,并以最小分块为单元来自恢复图像。经实验证明,该算法能有效地进行窜改检测与内容恢复,尤其窜改区域较大时具有显著的效果。
由于构件对象可以动态加载、动态聚合,同时也能动态卸载、动态拆离,使得软件可以运行在计算能力或存储能力较弱的设备上。通过基于AOP及Elastos操作系统的平等计算模型的实现,在很大程度上提高了应用的终端适应能力,从而为开发更大的移动应用提供了技术支持。
通过构造三个循环图,得到了三个经典Ramsey数R(3,q)的新下界:R(3,34)≥223,R(3,36)≥237,R(3,38)≥254。
首先总结了链接挖掘中基于属性—链接聚类算法的研究现状;然后把它大体分为三类,对每一类中具有代表性的算法进行了详细介绍、分析和评价;最后指出了该领域进一步的研究方向。