代数规格说明语言ASL及到PROLOGR的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法，在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。     

PADL—软件详细设计的工具

本文讨论了软件详细设计的一个有力工具ＰＡＤＬ（问题分析图语言）的设计，以及ＰＡＤＬ对问题分析图的处理．ＰＡＤＬ具有结构简单、使用方便等特点．     

用GAL器件实现四4：1分路转换器设计的步骤与方法

本文用述了ＧＡＬ器件的优点，给出了借助ＦＭ软件有ＧＡＬ２０Ｖ８实现４：１多路转换器设计的基本步骤与方法．     

重离子反应装置束运线自适应优化控制研究

束运线是ＨＩＲＦＬ（兰州重离子反应装置）的一个重要组成部分，实现ＨＩＲＦＬ束运线的优化控制非常必要。研究了优化控制理论在束运线控制系统的应用，控制过程包括束运线数学模型的建立、参数辨识、一些优化控制设计方法和自适应优化控制的实现技术。     

三值ECL触发器设计

本文考察了开关信号理论指导三值ＥＣＬ触发器设计的可能性，基于二选一数据选择器（ＭＵＸ）设计的触发器的分析，提出了用三值Ｔ门设计触发器的电路。结果表明，所设计的触发器有较简单的电路结构，较强的予置能力和较快的工作速度。     

面向对象逻辑语言中的常识知识表示

面向对象程序设计风格和逻辑程序设计风格有其各自的优点和局限性．本文利用ＳＣＫＥ范例的特性，在其中嵌入了常识知识表示模型ＬＸＺ，为大型软件（特别是基于知识的软件）系统的设计提供了一个较有效的环境．     

关于有界格的{0,1}—子格

首次讨论了有界格的（０，１）－子格的性质，考察了Ｓ（Ｌ）与Ｌ的某些内在联系，得到了Ｓ（Ｌ）具有某性质时Ｌ的特征，给出了格的某些影性质。     

电视信号的时基加扰去扰系统

为实现ＰＡＬ视频信号加扰的高保密性，采用了时基加扰技术，本文研究了电视信号的时基加扰去扰原理，提出了有关信息的处理方法，对该系统的电路进行了设计和实验，效果很好。     

“PASCAL程序设计”教学中执行计算机学科教学方案（91）的尝试

本文在分析计算机学科教学方案（９１）的基础上，介绍了作者在讲授“ＰＡＳＣＡＬ程序设计”课程中的一些做法和尝试。     

一类非线性Boussinesq方程的有界行波解

用微分方程定性理论结合数值模拟方法研究了一类非线性Boussinesq方程的有界行波.在r>0的条件下,首先把Boussinesq方程转换成一个常微平面系统.然后用定性理论讨论该平面系统的奇点性质,得到了该系统的相图分支,根据相图给出了有界行波的存在条件,并求出了有界行波的解.最后用数学软件Maple对行波方程进行数值模拟,得到了有界行波的平面模拟图.数值模拟和理论分析结果是一致的.     

单峰符号序列的一些性质及单峰函数中的周期轨道

本文给出了单峰函数符号序列即由字母R.L.C组成的一类序列的一些性质,推广了Collet和Eckmann的文章中的某些结论,证明了关于单峰函数的点的旅程的一些命题,并对作者的另一篇文章中的一个主要定理作了进一步的讨论。     

数字图象目标圆度的计算方法

在考查了常用的圆度求法的缺陷以后，对数字图象中面积和周长的多种定义进行了分类，对圆度的求法也进行了相应的分类并考查了它们可行性，给出了两种有效的计算目标圆度的方法，并指出了两种方法的特点和使用场合。     

公路桥桥面高程计算分析

公路桥桥面高程计算与下部墩台设计紧密相关,为精确计算桥面高程,利用数学方法,推演出高程计算公式,提出桥面高程计算的两种实用方法:投影法和直线内插法,对两种方法的优缺点及适用性进行论述,总结出两种方法的适用条件:①不受竖曲线影响时,无论正交还是斜交,两种计算方法通用;②受竖曲线影响,但正交时,两种方法也通用;③受竖曲线影响且斜交时,两种计算方法不再通用,但当竖曲线半径R足够大,即使坡度差Δi和斜交角度θ达到最大,两种方法的计算结果也非常接近,在工程应用领域可以认为两种方法是通用的.     

高校先进党组织成长规律探究

高校先进党组织建设是高校党建工作的重要任务。高校先进党组织的成长规律主要表现在：坚定的政治信仰与正确的价值取向是高校先进党组织成长的前提条件；有力的教育管理和良好的组织氛围是高校先进党组织成长的必备基础；团结的领导班子与奉献的支部书记是高校先进党组织成长的关键因素；不断积累的建设经验和发展优势是高校先进党组织成长的有力保障。     

Ba空间的一些性质

讨论由一列线性赋范空间生成的Ba空间的几个性质.首先证明Ba空间既是囿空间又是桶形空间,并指出若X是线性赋范空间,则X*是Ba空间,接着又给出Ba空间等度连续、可分、局部一致凸等的几个充要条件.     

东北蕨类植物配子体发育的研究 Ⅺ．鳞毛蕨科

本文研究了鳞毛蕨科、鳞毛蕨属的粗茎鳞毛蕨、华北鳞毛蕨和远东鳞毛蕨及耳蕨属的鞭叶耳蕨和棕鳞耳蕨的配子体发育过程，从而比较它们种、属之间的主要特点和区别。     

黄河兰州段浮游动物调查

在１９９４年～１９９５年，４月～５月，９月～１０月分别采样，调查了黄河兰州段的浮游动物，从５个采样点共发现了１０１种（属）。其中原生动物７３种（有８种为甘肃新纪录）轮虫１３种，枝角类７种，桡足类９种。     

有机物不饱和度的计算与应用

本文定义了饱和有机物与不饱和有机物的概念,评价了各种计算有机物不饱和度的计算公式,对其中两个最常用公式进行了推导,总结了不饱和度在有机化学中的应用.     

基于结构元理论的复Fuzzy数项级数收敛性

在文献[1-5]的基础上,研究了基于结构元理论的复Fuzzy数项级数,给出了基于结构元理论线性生成的复模糊数、复模糊数项数列及复模糊数项级数定义,并探讨了级数的收敛性,给出了级数收敛的充要条件及一些重要结论.