四值Searle运算及其网络设计

本文将Searle运算推广到四值系统中,定义了四值Searle运算,导出了一系列四值Seale运算的公式,最后讨论了四值Searle运算的逻辑网络设计。     

数字波束形成技术

介绍数字波束形成技术的基本原理、关键技术。着重讨论中频数字化及正交解调器、波束运算器和波束控制器。     

多水平正交试验用表的逻辑设计

本文在文献的基础上，进一步讨论了ｔ≥４的正交试验用表，提出用多值逻辑的方法来设计多水平正交用表和交互表，给出了相应的逻辑设计公式，使一个复杂的数学问题变成简单的多值组合逻辑的设计问题。文中讨论了多水平正交用表的逻辑变换及其逻辑设计及多水平交互表的逻辑设计，导出了系列通用公式。这些公式简单，易于计算机化，有助于正交试验优选法的进一步推广应用。     

模式识别与模糊三值逻辑推理探讨

本文介绍了模式识别的概念与基本方法,形象思维与模式识别的关系和模糊逻辑与模糊推理,提出模糊三值逻辑的推理方法,旨在进一步探讨模式识别的方法和模糊逻辑推理理论,并附应用实例。     

模式识别与模糊三值逻辑推理探讨

本文介绍了模式识别的概念与基本方法,形象思维与模式识别的关系和模糊逻辑与模糊推理,提出模糊三值逻辑的推理方法,旨在进一步探讨模式识别的方法和模糊逻辑推理理论,并附应用实例.     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

航天应急故障操作程序复杂度度量方法研究

通过对航天应急故障操作程序进行复杂度定量,可避免操作程序设计不当导致的工作负荷增加,为航天员训练时间分配、以及协同工作负荷分配提供量化依据.通过进行航天应急故障操作程序复杂度分析,提出四个复杂度度量子指标,这些指标分别为操作步骤规模复杂度、操作逻辑复杂度、操作仪器信息复杂度和任务信息复杂度,可以从不同角度为操作复杂度定量.然后采用软件领域用以评估软件程序复杂度的熵值法,分别对四个子指标进行度量,并汇总得到操作复杂度度量值.最后通过航天员训练数据对比,对所提出的复杂度度量方法进行验证.回归结果表明,航天应急故障操作复杂度度量方法是有效的,其度量值可以预测航天应急故障操作的操作时间.     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

基于熵-AHP融合的空袭目标威胁度量与排序

针对传统防空作战时对目标威胁评价主观性强、排序逻辑刻板的问题,提出基于熵值法与层次分析法(AHP)融合赋权的空袭目标威胁度量与排序方法。首先结合空战态势分析影响目标对我防空阵地威胁度的各属性因素,同时给出影响因素的威胁隶属度函数,然后利用熵值法和AHP赋权并相继采用加权求和、乘法合成、几何平均的方法进行二次融合,所获权重用于各目标威胁度的综合度量及排序。仿真结果表明,二次融合权重兼取熵值法与AHP的赋权特点,度量方法更为合理,排序结果更加贴合真实战场态势,可信度高。     

ξ-逻辑度量空间中理论的开放度

在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。     

独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

飞行训练弹设计方案探讨

论述了研制半主动雷达寻的空空导弹训练弹的必要性，提出了训练弹设计方案的基本要求及关键所在，在分析导弹工作过程的基础上，指出必须提供具有逻辑功能的模拟信号和故障设置。通过举例对准备程序和点火程序逻辑功能电路的探讨提出了训练弹电路设计方案的基本构想。     

The Psychological Validity of Qualitative Spatial Reasoning in One Dimension

One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual, spatial, or logical. We applied the dual task interference paradigm to spatial reasoning problems in one dimension, using Allen's interval calculus, in order to make progress towards resolving this argument. Our results indicate that spatial reasoning with interval relations is largely based on the construction and inspection of qualitative spatial representations, or mental models, while no evidence for logical proofs of derivations or the involvement of visual representations and processes was found.     

Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.     

BTT-90导弹比例导引规律研究

本文在给定七种不同初始条件、不同目标机动和选取快、慢两种时间常数,不同升力,不同导引比及制导逻辑设计的条件下,采用简化控制模型,研究了BTT-90导弹的比例导引规律,并对系统的性能进行了分析。结果表明,BTT-90导弹采用比例导引规律是完全可行的,设计的制导逻辑是正确的。模型简单,计算精度好,工程上容易接受。本文及其计算程序为BTT系统参数(导引比、控制器时间常数,弹体升力系数等)选择提供了依据。     

典型CMOS存储器电离辐照效应

对电离辐照环境中典型CMOS存储器的辐照效应进行了研究。分析了SRAM,EEPROM,FLASH ROM存储器在^60Coγ射线辐照及辐照后不同退火过程中,CMOS存储器的集成度、辐照偏置、退火时间和温度与电离辐照效应的关系。结果发现：不加电（冷备份）状态的^60Coγ射线辐照过程中,存储器的逻辑状态翻转出现较正常工作状态推迟1个量级以上;随着集成度的提高,SRAM,EEPROM存储器的辐照敏感度降低;试验器件经不同剂量的^60Coγ射线辐照后在不同温度下退火,所有试验器件均出现了逻辑状态翻转。     

Large-size message construction for ETI,Logical existence expressed in Lingua Cosmica

The concept of logical existence is embedded in Lingua Cosmica, a formal linguistic system intended for use in interstellar communication between intelligent species in the Galaxy.     

挠性航天器大角度机动的全系数自适应控制

本文研究全系数自适应控制方法在挠性航天器大角度机动控制中的应用，针对中心刚体带挠性板的航天器，设计了包括黄金分割控制、逻辑微分控制和逻辑积分控制的全系数自适应控制方案，并进行了挠性结构卫星单轴气浮台全物理仿真实验。实验结果表明，所设计的控制方案具有机动速度快、超调小，在机动过程中能抑制挠性板振动等优点。     

Typing logic contents using Lingua Cosmica

This paper informs how elements of constructive type theory can be used effectively for clarifying textual messages meant for communication with ETI. Within the setting of a suitable environment consisting of declared terms, it is shown how logical contents of texts can be modelled and codified.