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

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

多体系统动力学中的偏速度综合法

本文提出了用于解决一般树形多体结构动力学问题的偏速度综合法.该方法综合了Kane方法和多体动力学中的递归法的优点,它不仅使最终的运动微分方程维数最小,而且便于用计算机求解.文中给出了树形多体系统运动的一般描述方法,推导了多体系统动力学方程的综合原理及方程的一般形式,最后,举了一个例子.     

超立方体网络递归结构的性质及应用

讨论超立方体结构的递归分解结构及性质,运用这种分解可为并行算法分析和设计提供较好的框架和理论基础,特别适用于递归算法的设计和分析。     

生产型企业的采购计划制订算法

描述一个生产企业管理信息系统中的一个子系统--零部件采购计划的制订算法.在设计和实现采购计划的自动生成过程中,根据对问题的分析,得到了问题的BNF描述,并用递归下降算法予以实现.对于以销定产型的生产企业,该算法具有典型性,适用于类似企业.     

生产型企业的采购计划制订算法

描述一个生产企业管理信息系统中的一个子系统--零部件采购计划的制订算法.在设计和实现采购计划的自动生成过程中,根据对问题的分析,得到了问题的BNF描述,并用递归下降算法予以实现.对于以销定产型的生产企业,该算法具有典型性,适用于类似企业.     

PREM:并行求解非线性演化方程行波解的软件包（英文）

本文提出了一种新的构造非线性演化方程行波解的并行算法.我们在Maple 18上实现了该算法.通过设计并行算法并使用负载均衡技术,其中的软件PREM的计算效率明显高于已有的串行软件.且基于因式分解算法和运行时间限制,PREM可以自动推导出一些串行程序算不动的复杂方程的部分精确解.相比于已有的其他程序,PREM可自动推导出更多类型的精确行波解.此外,PREM具有灵活的接口和输出.     

基于节点递归方法的物料需求算法

描述了BOM在生产管理系统中的作用,提出了BOM的数据存储形式.并在此基础上,根据BOM的结构特点以及它在物料需求计算中的分解过程,阐述了BOM节点递归算法的原理及物料需求算法的计算步骤.使用了虚拟开工时间和结构数量的概念.算法及BOM的存储形式便于计算机处理,计算稳定可靠.     

变量间依赖关系的计算机自动推理机器证明方法及其应用

给出机器证明原理在微分情形和一些力学问题中的应用．引进保持性质的导数的形式记号,建立了微分方程变量间依赖关系的自动推理的机械化证明原理,从而方程间的变换（如Ｂａｃｋｌｕｎｄ变换等）均可机械地验证．并具体给出该方法在：弹性力学控制方程的自动推理;（ＰＫＰ）方程的Ｂａｃｋｌｕｎｄ变换的正确性的机械化验证及各向异性弹力中的不变量的自动推理中的应用并用计算机代数系统实现了其运算．给出了计算机判断和推导方程变量间内在关系的计算机代数方法．     

变系数mKdV方程的对称群分类

利用古典无穷小算法,等价性变换技巧和有限维抽象李代数的分类理论给出了变系数mKdV方程的对称群分类.证明了在一维和二维可解李代数情况下不变的方程分别为4个和6个.并进一步证明了不存在容许有三维及更高维李代数下不变的方程.     

浅析递归方程解法及其渐进阶表示

递归是算法设计中常用的方法之一,利用递归可以得到很多高效算法.递归算法由初始情况和递归部分组成,一般可以采用递归方程表示.分析了递归方程常用解法,比较了各个解法的区别及使用范围,并研究了如何表示递归方程对应的算法复杂度的渐进阶.     

终端时间可为无限的BSDE解的递归迭代序列的收敛性及解的存在唯一性

 在某个新的空间上利用压缩映像原理证明了终端时间可为无限的一类多维倒向随机微分方程在该空间上解的存在唯一性,作为推论得到了该类倒向随机微分方程解的递归迭代序列的收敛性.     

计算可积方程族非等谱Lax表示的新框架

建立计算可积方程族非等谱Ｌａｘ的新框架，适用于由一个递归算子在出的方程族与Ｈａｍｉｌｔｏｎ形式的方程族。作为应用，求出了ＫｄＶ型与ＡＫＮＳ型方程族的外等谱Ｌａｘ表示的统一显式。     

两端边值问题的通用精细积分法

提出了常微分方程组边值问题精细积分的一种通用方法。利用传递矩阵建立区段代数方程,并针对各种边界条件,导出了区段合并消元的递推公式。由于直接利用了传递矩阵的结果,其区段合并消元过程具有很高的计算效率。另外文章方法比黎卡提方法更容易处理复杂边界条件,具有广泛的适用性。数值算例证明了文章方法的有效性。     

基于递推动力学的汽车悬架实时仿真模型

针对车辆动力学实时仿真的要求,面向悬架具体结构,应用递推动力学方法,建立了悬架系统模型.模型由于铰链相对坐标的引入,减少了需求解的方程数目,提高了求解效率,使模型既能面向悬架具体结构,又能够满足车辆动力学实时仿真的需要.基于这种建模方法建立了国产某轿车的麦弗逊式悬架模型,并进行仿真,其结果与道路试验及ADAMS仿真结果有较好的一致性,验证了模型的精度.     

柔性多体机械臂动力学仿真

本文介绍基于Ｊｏｕｒｄａｉｎ变分原理的柔性多体机械臂动力学方程的单向递推组集方法，并根据该方法开发了柔性多体系统动力学仿真软件ＦＭＳ，文末对空间四连杆机械臂机器人操作手进行了动力学仿真．     

二阶循环数列方程的特征根解法

就应用常微分方程的常系数线性微分方程解法的理论解决递归数列中二阶循环数列方程问题进行了论述 ,由此可看到高等数学对初等数学的指导作用 .     

Semantic Relation Annotation for Biomedical Text Mining Based on Recursive Directed Graph

In this paper we propose a novel model "recursive directed graph" based on feature structure, and apply it to represent the semantic relations of postpositive attributive structures in biomedical texts. The usages of postpositive attributive are complex and variable, especially three categories: present participle phrase, past participle phrase, and preposition phrase as postpositive attributive, which always bring the difficulties of automatic parsing. We summarize these categories and annotate the semantic information. Compared with dependency structure, feature structure, being recursive directed graph, enhances semantic information extraction in biomedical field. The annotation results show that recursive directed graph is more suitable to extract complex semantic relations for biomedical text mining.     

形态算子的位串法实现

作者在灰度ＦＰ形态算子的最大最小表示的基础上给出了它们的位串实现结构。论文说明了灰度ＦＰ形态算子可以通过一个二进制处理电路的Ｋ次叠代使用而实现，此外Ｋ为输入信号二进制码的位数，其硬件复杂度为Ｏ（ｋ），该数字实现结构上简单且模块化，适合ＶＬＳＩ实现。     

过程噪声和量测噪声多步相关的卡尔曼型滤波

本文详细讨论了在随机离散时间动态系统 中过程噪声~$w_k$~和量测噪声~$v_k$~两步相关情况下的最优状态估计, 给出了两步相关情况下的卡尔曼型滤波. 然后把它推广到过程噪声~$w_k$~和量测噪声~$v_k$~多步相关的情况, 给出了n步相关情况下卡尔曼型滤波的一般表达式.