广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。     

一种并行融合部分求值的别名分析方法

通过并行融合部分求值和别名分析技术, 提出一种新的别名分析方法, 并给出形式化描述. 实践表明, 该方法在具有部分输入的情形下不仅优于传统的别名分析方法, 而且优于串行融合部分求值的别名分析方法.     

过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

反正切函数的快速计算方法

给出了反正切函数的快速、高精度的计算方法，其基本策略是按照二进制定点表示的特点，将计算区间转换成易求值的区间，然后利用低次逼近法进行计算．该方法计算量小，其计算精度可达到１０－８．     

NURBS插补快速求值算法

当对非均匀有理B样条(NURBS)曲线进行高密度插值时,运用分段幂函数方法对基函数进行求值的效率远高于传统的de-Boor算法.为此,文中从NURBS插补计算的特点出发,结合de-Boor递推计算规律,设计了NURBS插补快速求值算法.首先采用该算法计算NURBS在各节点区间的基函数显式方程,再运用显式方程进行NURBS插补点求值,并设计相应的NURBS曲线插补器.复杂NURBS曲线的铣削加工实验结果表明,该算法能够有效地缩减NURBS曲线插补求值的计算耗时,提高插补计算的实时性.     

一类广义积分的计算

广义积分．除少数外一般是不易计算其值的。本文用递推方法给出一类广义积分求值的方法。     

运用拉普拉斯变换求广义积分的值

无穷限型广义积分值的确定，可以用原函数或留数等方法．但常出现不易求值或方法失效的情况．本文通过运用拉普拉斯变换提出了一种较简便的求广义积分值的方法．     

部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。     

一个数字通信计算机模拟程序的设计

本文主要描述一个数字通信中部分响应技术的计算机模拟程序。该程序用C语言编程,将时域一频域分析、绘图、打印结合为一体,可对各种类型的部分响应进行分析研究。文中给出了完整的C代码,并逐段叙述了各部份代码的主要思想或编程算法,程序经多次验证,可供教学演示使用。     

基于Excel-VBA的大型船舶纵向下水计算通用程序设计

对大型重载船舶进行下水计算及其安全性研究时,需要考虑船体局部结构强度问题.利用船舶下水的弹性计算方法计算了船体在下水过程中的局部受力,校核船体局部结构强度能否满足下水要求;并以Excel软件为基础,利用VBA设计开发了适合于大型船舶下水计算的通用程序.实例计算表明,该通用程序在大型船舶下水分析方面具有较强的通用性和实用性,同时在与其他软件进行数据交互方面,也具有很强的通用性.     

结构动态灵敏度分析的摄动有限元方法及程序设计

本文利用摄动有限元方法研究了局部结构多个参数单独或同时发生变化时的动特性灵敏度分析,并编制了计算程序,为结构的动力修改和优化设计提供了一种有效的计算方法。     

N+1通道动态合作广告

本文讨论了N 1个通道中成员的生产与销售问题,其中一个制造商和N个零售商,每个成员的广告率对零售商的销售都有长期和短期影响.制造商也可以通过一个合作广告方案支持零售商广告费用.四种情况被考虑,首先,制造商没有支持零售商的广告费用.其次,制造商支持零售商两种类型的广告.在其余两种情况,制造商仅支持两种广告类型中的一种.我们的分析表明:对于制造商和零售商,支持零售商两种类型的广告,比支持一种类型的广告能获取更多的利润,然而,后者比没有支持更好.     

一种采用增加动量项的改进BP算法实现

介绍了反向传播网络算法(BackPropagationnetworkalgorithm,简称BP算法)的基本思想和存在的问题,阐述了增加动量项改进算法的实现方案,用VC 6.0实现的三层网络结构可改进算法的部分程序,并对这两算法的学习速度进行了测试和比较。     

软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.     

A novel genome-wide fulllength kinesin prediction analysis reveals additional mammalian kinesins

Kinesins are microtubule-based motor proteins that perform diverse functions[1―6], including the transloca- tion of vesicles, organelles, chromosomes, proteincomplexes, RNA-binding proteins (RNPs), etc. They also help to orchestrate microtubule dynamics …     

曲面加工的手工编程方法设计

为解决复杂形面的手动编程难题,笔者通过对数控机床编程特点的系统研究,以宏程序为编程手段,利用空间解析几何和偏导数等知识,研究总结出一套手工编制曲面程序的方法,解决了灵活控制曲面精度等问题。