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

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

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

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

按定义判断无复铰运动链同构的通用程序

本文直接应用两图同构的定义．讨论了在微机上判断无复铰运动链同构的算法和步骤，并用ＰＲＯＬＯＧ程序设计语言实现了这种算法．     

有序二叉树中的插入,删除及其PDC—PROLOG实现

二叉树是一种重要的数据结构，而有序二叉树是一种重要的二叉树，本文讨论了在ＰＤＣ－ＰＲＯＬＯＧ中，用递归技术对有序二叉树进行插入与删除结点。     

二叉树同构的判定及其PDC—PROLOG实现

二叉树是一种重要的数据结构，它在计算机科学中有广泛的应用。当二叉树的两个子树没有区别时，就产生了二叉树同构的概念。本文讨论了在ＰＣＤ－ＰＲＯＬＯＧ中，用递归技术判定，二叉树同构的方法。     

KOLOGOROV生态系统稳定性判据

本文运用Ｌｉａｐｕｎｏｖ 方法,对ＫＯＬＯＧＯＲＯＶ 生态系统给出正平衡点稳定性判据     

C程序直接访问FOXPRO数据库的方法

用Ｃ语言编制应用程序时，经常需要读取ＦＯＸＰＲＯ数据库中的数据，本文在分析ＦＯＸＰＲＯ数据库文件结构的基础上，给出了Ｃ语言直接访问该数据库文件的一种方法，并附相应的Ｃ语言源程序，运行结果显示，方法是正确的，有效的。     

FOXPRO低级文件功能用户数据保密系统研究

介绍用ＦＯＸＰＲＯ数据库管理系统的低级文件功能对基于ＦＯＸＰＲＯ的应用系统的数据库文件进行加密和解密的原理及建立用户安全系统的方法，这种安全系统可以为用户提供可靠的安全保护。     

2,3—二氯异丁酸基,8—羟基喹啉与希土三元固体配合物合成及表征

该文报告了Ｎｄ、Ｇｂ、Ｙｂ与２，３－二氯异丁酸基、８－羟基喹啉三元配合物的合成及其化学组成的测定。元素分析确定化合物组成为六配位的ＲＥＬＬ＾１２（Ｌ：Ｃ４Ｈ５Ｏ２Ｃｌ２，Ｌ：Ｃ２Ｈ５ＮＯ）。对并其摩尔电导、红外光谱和热分析等性质进行了研究。     

锗（Ⅳ）－3，4－二羟基苯甲酸－VOSO_4－EDTA体系极谱吸附催化波的研究

在ｐＨ３．０的０．１ｍｏｌ／Ｌ氯乙酸盐缓冲溶液中，Ｇｅ（Ⅳ）－３，４－二羟基苯甲酸－ＶＯＳＯ４－ＥＤＴＡ体系产生一灵敏的吸附平行催化波，峰电位在－０．７０Ｖ（ｖｓ．ＳＣＥ）二次导数波高与锗浓度在１．４×１０－１０～４．３×１０－７ｍｏｌ／Ｌ范围内呈线性关系，检测限为８×１０－１１ｍｏｌ／Ｌ．详细研究了电极反应机理，用拟定的方法测定了矿泉水中的痕量锗，结果满意．     

框架结构不同刚度节点抗连续性倒塌性能分析

应用线性静力分析和非线性力分析的方法,对框架结构连续性倒塌性能进行分析计算,结果表明:线性静力分析时,全刚性节点的结构发生连续性倒塌需要的荷载是半刚性节点结构的1.167倍;非线性动力分析时,半刚性节点结构在3.0s时发生连续性倒塌,而全刚性节点结构未发生连续性倒塌.     

非比例阻尼隔震结构平扭耦联地震反应分析

根据非比例阻尼隔震结构的动力特性,提出了非比例阻尼隔震结构平扭耦联振动的运动方程.分析了地震作用下,非比例阻尼隔震结构平扭耦联振动反应,并讨论了隔震层和上部结构的偏心及质量偏心对结构动力响应的影响.     

单壁碳纳米管的电子结构及卷曲效应

考虑卷曲效应后，研究了单壁碳纳米管的电子结构及其电子结构与管径和螺旋度的关系。研究表明，卷曲效应对单壁碳纳米管的电子结构有重要的影响。     

高聚物多尺度结构模型

高聚物是由内部多尺度结构构筑而成,从链的单元结构、链结构到凝聚态结构.该文提出一种适合描述高聚物内部多尺度结构的模型,对结晶高聚物晶体和非晶区结构不均匀性引起结晶高聚物力学性质的不均匀性进行了分析研究,给出对具有随机分布晶体结构特征和具有周期性分布晶体结构特征的结晶高聚物进行材料性能研究的途径,并以尼龙6为例给出在具有周期性分布球晶结构特征的结晶高聚物进行材料性能计算的方法     

计及电子自旋与磁场耦合的超晶格共振劈裂

研究了零电场和正弦电场作用下的磁量子结构中自旋电子的隧穿输运特性，结果表明，自旋耦合使得共振劈裂区展宽或压缩，且沿能量轴移动，考虑自旋耦合和正弦电场作用后，不改变周期结构的n-1重劈裂和Fibonacci准周期结构的自相似的特性，磁量子结构的调制磁场方向改变也会引起弹道电导的改变。     

用杂化轨道理论解释芳香族化合物的结构

有机化合物的结构决定其性质,明确有机化合物的结构是理解和掌握有机化合物性质的关键,而杂化轨道理论是现代价键理论的组成部分,是理解有机化合物结构的一种重要方法.从原子杂化方式,如何形成离域体系,π电子的计算等方面,分析了苯、呋喃等芳香族化合物的结构,从而理解和掌握芳香族化合物的特性,即芳香性.     

基于可控度/鲁棒性的框架结构综合设计研究

在对框架结构进行振动主动控制时,为获得尽量大的系统可控度和良好的鲁棒性,把结构设计与控制器设计相结合进行综合设计,在保证框架结构基本性能的前提下重新修改原结构以达到较好的控制效果.此外在优化过程中,考虑到综合设计计算较复杂且计算量也较大,文中引入了改进的遗传算法,通过改进将其应用于综合设计.最后给出了计算实例,该算例表明这一方法是有效的.     

湖南活动性断裂构造初探

本文系统地讨论了湖南主要活动性断裂构造的展布方向,形成时代,断裂性质,分布特征和活动强度,同时还部分地涉及了温泉、地震和活动性断裂的关系。     

框架结构主动控制的综合设计研究

为减少框架结构振动主动控制所需控制能量,把结构设计与控制器设计相结合进行综合考虑,在保证框架结构基本性能和控制效果的前提下重新修改原结构以达到降低控制能量的目的.并把系统的稳定性、可控性等方面的因素作为约束条件,随机选择一组结构尺寸和材料常数通过系统降阶、控制率设计进而求得系统的控制能量,借助于改进的遗传算法进行随机寻优达到降低控制能量的目的.最后给出计算实例来表明此方法的有效性.     

基于结构的文本信息检索技术的设计与实现

设计了文本信息检索的一些数据结构,包括结构化倒排索引、结构索引和词典等,并在此结构的基础上设计实现了基于内容和结构的查询算法。这些算法以计算机机群并行环境为基础,并行数据查询提高了查询的速度。