堆栈在递归调用中的应用

本文以汉诺塔问题为例描述堆栈在递归的结构设计中的应用,表明堆栈是使得递归算法成为有效算法的重要基础.为减少递归过程(函数)空间的占用,本文还讨论实现递归调用时工作栈的存贮结构.     

线性函数方程的良展开式解

一、引言论证递归程序f=E(f)(1)特性的传统方法有结构归纳法(Bustall)和递归归纳法(McCarthy)等.1977年,Backus 在他的Turing 奖讲演中提出了函数式程序设计系统(即FP 系统),并指出可以发展一种程序代数来论证FP 程序(递归的或非递归的).这种代数方法的优点在于程序员可以直接使用程序设计语言本身陈述程序验证过程,并且不需要具有高深的数学知识.尤其重要的是这种代数方法的处理对象可以是一类程序而不是个别的程序,这就有可能导致许多关于     

几种排序算法在链式存储结构上的递归实现

排序是程序设计中常用的一种操作,递归是一种重要的程序设计方法.探析了几种常用的排序算法在链式存储结构上的递归实现,包括基本思想、C语言函数源代码及详细注释,并与顺序存储结构上的算法实现进行了性能比较,以便于学习者熟练掌握链式存储结构上的递归程序设计,并为排序算法选择合适的存储结构提供借鉴.     

初等函数的导函数计算机符号算法

本文应用结构化程序设计思想和递归算法;对初等函数的导函数符号求法,用PASCAL语言设计了一计算机算法。为了适应递归,对初等函数的结构作了规范处理,给出了三个互相递归调用的子过程。利用这三个过程,给出了示意性程序。     

母函数在递归关系求解中的应用

母函数在组合数学中有着重要的地位,是解决组合问题的强有力的工具.本文论述了母函数与递归数列的关系,并探讨了用母函数求解递归数列的方法.     

T型介观空腔结构电子输运性质的研究

利用格林函数方法计算了T型介观空腔结构的电子传输特性,分别运用递归格林函数和全格子格林函数技术给出体系的总格林函数,导出T型介现空腔结构的电导方程．计算结果表明：格林函数方法可以非常方便地应用到介观空腔结构电子传输性质的研究中．由于空腔的存在,使原来平台结构的传输系数出现了复杂的传输谱结构．     

纳米分子器件的递归格林函数方法的研究

利用递归格林函数方法,对4,4,吡啶分子的量子传导特性进行了理论研究,得出了入射电子通过纳米分子桥的电子传输谱.结果显示透射电子传输峰值的出现是传导电子与分子轨道能级谐振的结果.     

基于局部递归率分析的振动信号非平稳评价

针对土木工程结构环境振动信号非平稳程度评价的问题,提出一种新的基于递归量化分析的评价环境振动信号非平稳程度指标.首先,研究递归图中反映信号非平稳特征的模式,根据递归量化分析中已有的信号非平稳程度评价指标即递归趋势应用于土木工程结构环境振动信号时的不足,将质量损失函数理论引入递归量化分析,分析递归图中局部递归率的变化情况,并以最小局部递归率为基准,提出一个新的衡量信号非平稳程度的指标——递归损失量;然后,以几种典型的非平稳信号为例,分别计算2种非平稳评价指标并进行对比分析,讨论其差异及各自不同的适用条件;最后,将指标用于桥梁结构环境振动信号的非平稳程度评价.计算结果表明:提出的递归损失量比递归趋势更能适应环境振动信号的特点,能够对环境振动信号的非平稳程度进行更客观的评价.     

基于归一化RBFNN的执行器非线性模型及其特性补偿

执行器的动态非线性特性是影响控制系统控制效果的一个重要因素,采用归一化径向基函数神经网络NRBFNN,通过竞争学习算法RPCL确定RBF中心,用递归最小二乘法估计网络的输出权值,建立了执行器动态非线性特性模型及其逆模型,通过信号补偿方式来改善执行器的动态特性,仿真结果表明了该方法的有效性.     

磁性合金Kondo电导的精确解

利用推广的自洽迭代递归方法,精确求解了具有s-d交换相互作用系统的磁场顶角函数;计算了Kondo电导张量.发现,经过顶角函数的高级修正后,电导张量缩小到无高级修正值的1/(1+h~2).     

基2的流水式快速傅里叶变换处理机的形式化模型

快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用形式化方法验证FFT电路的正确性具有极强的实用价值。形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础。     

计算机病毒传播的数学描述

传播是计算机病毒最主要、最基本的特征，同时传播特性独立于病毒多样复杂的表现形式而普遍存在．本文通过抽取计算机病毒在传播方面上的公共性质而忽略它们在表现形式上的具体差异，建立正确反映病毒传播特性的数学模型，利用合理的数学工具进行理论分析，从而揭示病毒传播内在的、客观的规律．在这个模型的基础上，可以对一些病毒现象进行初步的数学解释；为进一步的研究，包括病毒不同参数传播对外界的影响，持续和瞬间检测清除对传播的影响以及病毒交叉传播的数学描述和表现特性等提供坚实的理论基础     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

论大数据代数（BDA）：大数据科学与工程的分析方法

 大数据科学和系统的基础研究推动了大数据数学理论的产生。本文引出大数据科学和工程的一种严格分析方法：大数据代数（BDA）从提取各种大数据系统的共同模式中形式地导出大数据科学的数学模型。BDA揭示了任何大数据系统是一种超越传统纯数字的新型递归类型化超结构（RTHS）。基于大数据的递归超结构，创建了一组严格的代数算子，用于对大数据系统的建模、分析、综合和认知学习。这一基础研究建立了一个大数据科学的理论架构，其为解释大数据的原理和性质及其在大数据工程中的形式推理提供了一个方法论基础。     

对计算机病毒及防范措施研究

随着信息时代的发展和计算机在社会生活中的广泛运用，计算机病毒也随之产生，给计算机系统带来了潜在的威胁和巨大破坏。本文将从计算机病毒产生的原因，分类，特点等方面阐述了计算机病毒的内涵和对计算机系统带来的危害，进一步探讨了对于计算机病毒带来威胁的防范措施．以保证在使用计算机过程中不被计算机病毒侵袭。     

基于VMware和Ghost技术的系统备份与还原的设计与实现

计算机操作系统经常会因为病毒、木马、误操作等原因造成系统崩溃与数据丢失. 对VMware 虚拟机和Ghost技术进行研究,实现了在VMware虚拟机环境下,利用Ghost技术,对虚拟机系统进行备份,在系统出现崩溃的情况下成功还原系统与数据,保证了系统的安全.     

心脏-肺循环-体循环系统建模初探

建立了心脏－肺循环－体循环（heart-systemic-pulmonary,HSP)人体心血管系统整体模型，采用MAT－LAB／SIMULINK系统在计算机上实现仿真。通过仿真实验模拟出符合人体心血管系统生理情况的结果。由于模型的灵活性和可扩充性，进一步的研究工作可以在此基础上展开。     

计算代数在不稳定酶动力系统分析中的应用

对最简单的不稳定酶动力系统进行动力学分析,并给出了酶动力系统的数学模型-常微分方程组。在初始酶浓度远远大于底物浓度的假设下,利用计算代数理论,求出了数学模型的符号解,最后通过例子来证明本文所用方法的准确性和有效性。     

一类混杂系统的可达性分析

提供了对一类混杂系统进行定性分析的方法.它着重于混杂模型极其分析在计算机科学和控制理论方面应用的研究.连续和离散的动态学加合而产生了一些基础性问题,本文着重讨论了这些问题.     

加强培养学生在数学建模中运用计算机的能力

数学建模竞赛涉及大量的数字计算,不掌握计算机操作和相应的数学软件的使用难以取得好成绩,而这正是赛前培训中的一个薄弱环节.文章讨论了培养学生在数学建模中运用计算机能力的重要性,阐述了培养这种能力所涉及的几个重要因素,并给出了利用数学软件解决问题的实例.