基于共轭几何变换程序的国债市场利率期限结构波动建模

本文变革已有的利率期限结构模型估计依赖于定价误差平方和最小化原则,引入几何双重变换程序解决非线性约束的误差绝对距离最小化问题,丰富国债市场利率波动和定价研究的理论体系和研究方法;运用负指数平滑立方L1样条优化模型,克服B样条函数对节点数目与定位的过度敏感和放宽对贴现函数的二阶导数平滑要求,协同拟合误差绝对距离与贴现函数波动率最小化,保留B样条函数刻画中长期利率波动趋势的优势,增强对短期利率波动结构突变的估计、定价和预测能力,缓解B样条和NSS模型在利率期限结构拟合存在的过度波动问题。

空间群符号的变换及其变换程序

为满足计算机检索的需要,新的晶胞选取原则对低级晶族矿物额外增加了限制条件,斜方晶系要求满足不等式 c<a<b;单斜晶系要求c>a,β角在90°—120°之间;三斜晶系要求 c<a<b,α,β角在90°—120°之间,γ角在60°—120°之间。斜方晶系同一空间群类型不同晶体取向最多可有六种不同的空间群符号,晶体从一种取向转化为另一种取向,其空间群符号和等效点系坐标都要发生相应的变化,本文用 C 语言编写了不同晶体取向之间空间群符号相互自动转换的计算机程序。

汉字变换程序的设计

本文介绍了IBM PC/5550与IBM PC/XT/AT之间汉字变换程序的设计方法。文中分析了两类机型汉字不兼容的原因——机内码的差异;找出了相互变换的映像公式:介绍了汇编语言的转换程序和设计方法。

算法程序变换研究与进展

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。

关于横向程序变换的若干研究

本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。

基于时序逻辑证明编译优化程序变换的保义性

基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。

C子集程序到C语言程序的变换

本文介绍由C子集程序变换为C语言程序的方法和技术,该变换已在68000C 反编译系统的设计与实现中应用,且可用于程序结构化。

递归程序变换在特殊函数公式推导中的应用

本文针对一类多步递归模式,设计了相应的等价尾递归(迭代)模式,并结合计算机代数语言REDUCE,把所得到的迭代模式应用于特殊函数(如勒让德多项式等)的公式推导中,从而大大提高了计算机公式推导的效率。

程序变换过程的分析与设计

程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ...

程序变换中的Cooper变换与函数反演变换之比较

本文介绍了Cooper变换与函数反演变换的不同特点，并通过一系列的示例来加深对这些特点的认识。

关于递归程序变换的注记

关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言，递归算法的设计由于符合人的思维习惯（把“复杂情形”逐次归结为“较简单”情形），且结构清晰，因而易理解、易验...

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。

关于递归程序变换模式的设计方法

本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。

FORTRAN语言到C语言程序变换系统的设计与实现

本文介绍了由FORTRAN语言变换为C语言程序的方法和技术,并在IBM/PCAT机上实现了一个实用的转换系统.同时,应用大量实例对系统进行了测试。

递归程序变换及其实验

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。

一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。

关于并行递归程序变换的探讨

有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法已在我们研制的递归程序变换实验系统 XDPTS中得到应用。

数据库自动编程——程序变换法

本文结合一个具体实例,较为全面地论述了利用程序变换法来实现数据库程序自动生成的若干技术细节,给出样板程序和生成器设计的方法。