具有(F(V×V),R,→,■)模糊逻辑模型的稳定性结构

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有两种因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

中国科学思想探源

本文拟以现代科学思想的核心要素为参考系察考萌芽状态的中国科学思想,主要分五个部分:科学诞生的前提———自然客体化,科学实现的途径———观察和实验,科学活动的灵魂———抽象及科学的两种表达方式———逻辑和数学.     

你更擅长什么

有人擅长写作，有人精通数学，有人肢体灵活，也有人感情丰富。我们每个人的智力都是由多种不同技能组成的混合物，浑然天成却也各有侧重。那么，你所拥有的智力更倾向于哪种类型呢?多元智力理论的提出者向本刊讲述了他的八种智力类型，并告诉我们该如何发掘自己的强项。     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

LOGISTICS SCHEDULING： ANALYSIS OFTWO-STAGE PROBLEMS

This paper studies the coordination effects between stages for scheduling problems where decision-making is a two-stage process. Two stages are considered as one system. The system can be a supply chain that links two stages, one stage representing a manufacturer; and the other, a distributor It also can represent a single manufacturer, while each stage represents a different department responsible for a part of operations. A problem that jointly considers both stages in order to achieve ideal overall system performance is defined as a system problem. In practice, at times, it might not be feasible for the two stages to make coordinated decisions due to (i) the lack of channels that allow decision makers at the two stages to cooperate, and/or (ii) the optimal solution to the system problem is too difficult (or costly) to achieve.Two practical approaches are applied to solve a variant of two-stage logistic scheduling problems. The Forward Approach is defined as a solution procedure by which the first sta     

乙烯装置脱乙烷塔操作特性的分析

采用ＳＨＢＷＲ方程对某乙烯装置的脱乙烷塔进行了逐板计算，计算结果表明，在工业操作条件下，在该塔的某些段上出现了明显的逆行精馏现象，这不仅大大降低了该塔的分离效率，而且造成操作紊乱，研究结果表明，通过活当地调整该塔的进料位置或增大塔顶回流量可以有效地减小塔内的逆行精馏变化幅度，改善全脱的分离效果，提高操作稳定性。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.