不编程顺序控制器（续）

介绍用移位寄存器实现不编程项序控制器的设计方案和一种时序控制的方法，两者结合后可制成一种简便实用的不编程顺序核制器。     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

多属性地震分析

引言 多属性地震分析是一个意义广泛的术语,它包含所有使用一种以上属性来预测某些地球物理性质的地质统计方法。很明显,二元地质统计是多元技术的最简单的子集。因此.标准的协同克里金法可以称为多元地质统计。然而,本文中这一术语指代二元以上的地质统计方法。即使如此,这一主题仍包含许多不同的方法。如下三个主要子类:     

塔式烘干中心干燥控制系统采样数据的实时性

传统的干燥控制系统思维方式是把干燥流程看成是一个大的惯性场，以惯性的形态看待与过程相关的数据，对输入参数的过程实时性很少研究，这样的结果就是控制准确性、精确度与实际过程的吻合程度较差。拟从干燥系统输入体系的结构入手，采用时序分析的手法对入粮到干燥的传输时序进行解析，推理出动态实时数据模型。     

办公自动化流程控制方法的探讨

本文介绍了一种办公自动化流程控制的通用方法，它克服了同为方法的一些缺点，真实反映了人们对办公事务处理的思维方法，实验证明，可做为办公自动化系统开发的工具方法。     

电视机CRT终端和汉字系统

本文较详细地介绍了家用电视机智能CRT 终端与汉字处理系统的设计方法,给出硬件电路及软件描述。     

确定SMT线路板的基材

用于指导线路板生产企业的规范文件常常缺乏重要信息，尽管通常也提供有关于印板成品的机械略图、层数、绝缘体厚度、可控的阻抗条件、焊料掩模涂层、表面镀层和标记的规格等详细信息，规范文件当然也注意到了基材，但却没有考虑其物理属性。对基材的最常见的描述就是被命名为FR-4的强化玻璃环氧合成物。     

Tag属性在菜单设计中的应用技巧

使菜单在不同应用方式下包含不同内容是VB程序设计的一个老问题。本文将给大家介绍一种解决此问题的新方法。我们以图1和图2所示的MenuTags程序作为例子,从这二个图中可以看到一个开发工具的起始屏幕,该开发工具开发者和用户都能使用。并可通过设置在Edit菜单中的一个开关来实现二种不同应用方式间的切换。为了能使菜单的选项随着应用方式不同而改变(执行时为用户方式或者设计时为开发方式),有二种方法可以实现。     

地震叠前储层预测方法

针对苏格里东部地区上古生界二叠系石盒子组盒8段主要为陆相冲积平原河道和三角洲平原分流河道沉积的复杂储层预测的难点,从测井岩石物理学分析入手,开展叠前地震储层预测机理研究,优选叠前地震属性对气层较敏感参数进行交会分析,从而利用地震叠前高品质的道集资料预测有效储层的分布,并为勘探提供了预探井位。实践证明多种地震叠前属性交会分析是苏里格地区进行含气储层预测的有效方法。