首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 31 毫秒
1.
阎志欣 《软件学报》1996,7(Z1):239-248
本文提出了程序设计语言的一种新的计算模型,带迭代算子的函数式模型.文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明.该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解、证明及构造高技的执行系统.褶信该类语言是一种有坚实理论基础、高教的、实际有用的,高级确定性程序设计语言.  相似文献   

2.
阎志欣 《软件学报》1996,7(Z1):338-347
状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言.递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数.这就等于证明了,任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算.  相似文献   

3.
廖湖声 《软件学报》1995,6(Z1):258-265
文章分析了编译实现函数式程序设计语言的主要技术,总结出函数式语言实现方法的两条设计准则:(1)简化函数调用处理的同时,减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象.使其适应冯·偌依曼机的结构特征.文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统.  相似文献   

4.
宋凯  廖湖声 《软件学报》1996,7(Z1):436-440
本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法.集合的引入改善了函数式程序的表达能力,并且为提高程序执行效率创造了条件.  相似文献   

5.
迭代函数及其可计算性   总被引:1,自引:1,他引:0  
阎志欣  黄盛萍 《软件学报》1996,7(A00):232-238
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言,该语言既可描述递归,又可描述迭代,本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数,这就等于证明任何图灵可计算的部分函数,都可用有坚实数学基础的部分迭代函数高效地进行计算,文中定义了复合算子、原始迭代和最小化迭代子及部分迭代函数;证明了部分递归函数是部分迭代函数可计算的。  相似文献   

6.
MIDS P++语言*     
车敦仁  麦中凡 《软件学报》1995,6(Z1):104-111
P++是智能数据库系统MIDS提供给用户的一体化的语言,它在C++基础上扩充了8种重要的语言机制,即对象模式定义、持久性、迭代、查询、版本、约束、触发器和知识表示等.  相似文献   

7.
阎志欣  黄冬泉 《软件学报》1996,7(Z1):348-357
算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言.如何编绎该类语言是一个应该研究的重要问题.过程式语言到机器代码的编绎问题已被解决,因此编绎的关键是由算子程序向过程的转换.本文用模式匹配法,给出了算子式语言到while程序的变换语义.给出了基本变换规则集,证明了该变换规则集的完备性和一致性,为该类语言到过程语言的翻译提供了理论和技术基础.  相似文献   

8.
带迭代算子的函数式程序设计   总被引:2,自引:2,他引:0  
阎志欣 《软件学报》1996,7(A00):239-248
本文提出了程序设计语言的一种新的计算模型,带迭代处子的函数式模型,文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明,该类语言以表达式的复合描述顺序,以迭代表达式描述循环,以条件表达式描述分支,使得程序以数学语义为基础,易于理解,证明及构造高效的执行系统,相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。  相似文献   

9.
王小云  周大水 《软件学报》1996,7(Z1):279-283
单向Hash函数已成为密码学的一个重要组成部分.给定任一定长单向Hash函数f:∑m→∑t,m>t,本文给出了利用f构造一单向Hash函数F的一种新方法,该方法易于并行化.  相似文献   

10.
针对值迭代算法存在算法收敛不稳定及收敛速度慢的问题,文中提出改进的基于函数逼近的冗余值迭代算法.结合值迭代算法与贝尔曼冗余值迭代算法,引入权重因子,构建值函数参数更新向量.同时从理论上证明,利用此更新向量更新值函数参数可以保证算法收敛,解决值迭代算法收敛不稳定的问题.此外,算法引入遗忘因子,加快权重向量的更新速率和算法收敛速度.在Grid World问题上的实验表明,文中算法收敛性能较好,具有较好的鲁棒性.  相似文献   

11.
自组织映射网络中数种拓扑函数的建立与应用   总被引:2,自引:0,他引:2  
在人工神经网络中,拓扑函数用于生成神经元的空间拓扑结构。不同的拓扑函数可能导致神经网络形成不同的学习结果。以Matlab的拓扑函数模板为基础,建立了四种拓扑函数:cossintopf、sincostopf、acossintopf及expsintopf。同时,以这些拓扑函数生成神经元拓扑结构,用于自组织特征映射网络对田间无脊椎动物目的无监督自组织聚类。结果显示,聚类各有差异,可根据与实际情形的比较来选择拓扑函数与聚类结果,或进行综合分析。  相似文献   

12.
典型人工神经网络的结构、功能及其在智能系统中的应用   总被引:14,自引:1,他引:13  
丛爽 《信息与控制》2001,30(2):97-103
人工神经网络已在各个领域得到广泛的应用, 尤其是在智能系统中的非线性建模及其控制器的设计、模式分类与模式识别、联想记忆和优 化计算等方面更是得到人们的极大关注.本文从网络在智能系统中建模及控制器设计的具体 训练结构入手,详细介绍了BP网络在系统控制中的典型应用方式,并根据不同网络所具有的 功能,从性能对比的角度对人工神经网络在上述各方面的应用给予综述.  相似文献   

13.
Abstract

Zadeh's extension principle is applicable to functions defined upon elements of a set. A new extension principle is developed for functions defined upon power sets. Another extension is proposed for relations between sets, such as subsethood. A formal relation connects the two new extension principles. The new extension principles are not a consequences of Zadeh's original.  相似文献   

14.
A number of encryption systems work by combining each plaintext bit with a hash function of the last n ciphertext bits. Such systems are self-synchronising in that they recover from ciphertext errors with an error extension of n. We show firstly that if the hash function is a tree function, then the system is vulnerable to a chosen ciphertext attack and, under certain circumstances, to a chosen plaintext attack; secondly, that all hash functions are equivalent to some tree function; thirdly, that whether or not this gives a computable attack on a given algorithm depends on the connectivity of a graph associated with the hash function; and, fourthly, the implications for DES, for RSA key selection, and for algorithm design in general.  相似文献   

15.
样本有限关联值递归Q学习算法及其收敛性证明   总被引:5,自引:0,他引:5  
一个激励学习Agent通过学习一个从状态到动作映射的最优策略来解决问题,求解最优决策一般有两种途径:一种是求最大奖赏方法,另一种最求最优费用方法,利用求解最优费用函数的方法给出了一种新的Q学习算法,Q学习算法是求解信息不完全Markov决策问题的一种有效激励学习方法。Watkins提出了Q学习的基本算法,尽管他证明了在满足一定条件下Q值学习的迭代公式的收敛性,但是在他给出的算法中,没有考虑到在迭代过程中初始状态与初始动作的选取对后继学习的影响,因此提出的关联值递归Q学习算法改进了原来的Q学习算法,并且这种算法有比较好的收敛性质,从求解最优费用函数的方法出发,给出了Q学习的关联值递归算法,这种方法的建立可以使得动态规划(DP)算法中的许多结论直接应用到Q学习的研究中来。  相似文献   

16.
以乙烯装置的离线模型和合成氨装置在线模型为例,分析探讨了离线模型在线模型的功能特点差异,数据校正、基础模型的开发技术及应用效果。  相似文献   

17.
参数化设计中的动态约束迭代及静态因果分析技术   总被引:6,自引:1,他引:6  
葛建新  杨莉 《计算机学报》1997,20(4):305-314
参数化设计以其强有力的草图设计和图纸尺寸驱动功能成为实现产品的初步设计、系列设计以及变异式设计的核心技术。这两种参化设计算法克服了现有参数化方法在功能、效率以及可靠性等方面存在的 问题,历而能够地应用到实际系统中去。  相似文献   

18.
§1.引言 非线性互补问题在科学与工程中有着广泛的应用,因此研究求解非线性互补问题的高效数值算法是非常必要的。迄今为止,人们已给出了许多各种各样的Schwarz迭代算法用来求解变分不等式和互补问题。这些方法都适合并行计算,而且计算效果也不错。  相似文献   

19.
Abstract

The purpose of this paper is to describe a modeling methodology called multilevel flow modeling (MFM), which the author has developed for the representation of goals and functions of complex industrial plants. The idea of the methodology is to apply functional concepts to represent a plant at multiple interrelated levels of abstraction. MFM is currently used in supervisory control applications for aiding the operator in diagnosis and planning. It is also used in the conceptual analysis and synthesis of control systems. The paper provides an introduction to the basic concepts of MFM, details two modeling examples, and describes the object-oriented tool Abstractions used for the implementation of MFM models and for diagnosis and planning applications. Finally, the paper presents a review of the use of MFM in previous and ongoing international projects.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号