基于算法框架的可重用部件设计与实现

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。     

Computing Permutation Encodings

A permutation can be encoded in several different ways. This paper discusses some relations among some encodings and how one can be computed from others. The paper shows a short proof of an existing efficient algorithm for encoding a permutation and presents two new efficient algorithms. One of the new algorithms is constructed as the inverse of an existing algorithm for decoding, making it the first efficient permutation encoding algorithm obtained in that way. Received June 1994 / Accepted in revised form December 1998     

植物病害I—S关系——logistic衍生模型的研究

以logistic模型为基础 ,以时间因子为媒介 ,推导出一个能准确描述植物病害I-S的logistic衍生模型。通过对油松落针病、花生锈病、烟草黄瓜花叶病和小麦赤霉病等多组I-S关系数据的实例验证与比较分析 ,显示出这一模型具有较强的数据拟合能力和广泛的适用性。Logistic衍生模型尚可应用于林木胸径与材积(D -V)关系、径与树高(D -H)关系以及生物量预估等项研究。此外 ,还提出一个具有普遍指导意义的通用模型     

算法形式化推导及其在软件重用中的应用

将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地特有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。     

基于局部标准差和方向微分的模糊方向识别

针对最小方向微分算法在运动模糊方向识别中误差大和实时性差的缺点,提出利用局部标准差和方向微分相结合的方法鉴定模糊方向。该方法首先对模糊图像进行局部标准差滤波以增强模糊方向上的纹理细节,然后利用双线性插值求最小方向微分和,其对应的方向即为模糊方向;在对方向微分和曲线归纳分析后找到了其内在规律,基于此规律提出范围对半递减搜索最小值的方法,减少了搜索次数。实验结果表明该算法识别精度高,抗干扰性强,实时性好。     

荷兰国旗问题的形式化推导及其多态性实现

讨论了程序功能规约变换和算法程序的形式化技术，通过功能规约变换，可以较自然地获得问题求解的递推关系，对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后，给出了问题求解的多态性实现。     

二元推导随机性检测的优化实现

随机性检测在密码学中发挥着关键的作用。二元推导是一种重要的随机性检测算法。根据二元推导原始定义实现的算法所耗时间随参数的增大线性增长。当参数逐渐增大时,算法的实用性降低。该文从二元推导的原理出发,分析二元推导的检测过程,得出由参数确定的推导流比特与原始流相关比特的关系。利用这种关系优化了算法的实现,改进后的算法所耗时间与具体的参数有关,速度上有很大的提高。     

Disjunctive partial deduction of a right-to-left string-matching algorithm

In spite of its practical importance, the Boyer-Moore string-matching algorithm has hardly been studied in the context of partial evaluation. We show how to derive the search stage of a variant of this algorithm using “disjunctive” partial deduction.     

基于ANN求导的DSFT中故障概率变化趋势研究

为了在遇到不利工作环境之前,提前采取措施控制元件故障发生,提出基于ANN求导的元件故障概率变化趋势的确定方法。该方法可在不了解系统或元件构成和性质的情况下,仅利用实际故障监测数据分析不同工作环境下元件故障概率变化的趋势和程度。同时该方法也充实了空间故障树(SFT)下的离散型空间故障树(DSFT)理论。论文给出了ANN求导法处理问题的理论基础和公式推导。结合了一个元件进行了方法的应用,并最终得到了该元件的故障概率变化趋势。为实际生产中“先知先觉”的故障预防控制措施提供参考。     

套代数上的[(m,n)]-导子

设[m]和[n]是任意固定的非零整数且[(m+n)(m-n)≠0],[AlgΝ]是一个套代数,[δ]是[AlgΝ]上的一个自映射。证明了如果对任意的算子[A,][B∈AlgΝ]有[mδ(AB)+nδ(BA)=mδ(A)B+mAδ(B)+nδ(B)A+nBδ(A)],则[δ]是一个导子。