多处理机系统中的宏任务并行

多处理机系统是巨型机的发展方向。宏任务是在多处理机系统上用来加快程序执行的一条主要途径。文中介绍了宏任务并行,描述了宏任务的实现,讨论了编译器和操作系统的支持。最后解释了宏任务的一个程序。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

逻辑无环流装置在可逆伺服跟踪系统中的应用

以某型号高精度电视自动跟踪系统为例,阐述了可逆系统中环流的危害,克服环流应采用的技术措施,较详细地介绍了一种实用的逻辑无环流装置的工作原理、电路组成、设计原则、并给出了实验结果。     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

面向21世纪消防学科定位的思考

为使面向２１世纪的消防学科有一个正确的定位,以适应２１世纪我国经济发展和消防发展的需要,文章从理论和实践的结合上对面向２１世纪的消防学科构建进行了探讨,提出以“消防科学技术”为名称的二级学科及其理论体系。     

一种高性能图形板的设计与实现

本文介绍了一种采用高性能嵌入式图形处理器、高性能查找表以及超大规模可编程逻辑器件设计的图形显示控制板的基本组成和工作原理。     

普通逻辑直言命题定义新说

本文剖析了以往普通逻辑中直言命题定义的困难与矛盾,从普通逻辑的体系性质的角度对直言命题给出了新的定义,使概念论与判断论顺畅地协调起来,利于普通逻辑的教学与研究。     

军品使用价值的特殊性及其在军事经济学研究中的地位

在军品使用价值中存在着两对内在的矛盾:即“有用”与“无用”的矛盾和武器装备的相对落后与战胜敌人需要之间的矛盾。军品使用价值的这种特殊性对军品价值量的决定,对军品生产和再生产的补偿以及对军品的生产管理均产生决定性的影响。军品使用价值的特殊性及其对军品生产全过程的制约,使军品特殊的使用价值成为军事经济学研究的逻辑起点。