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

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

ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.     

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.     

可编程控制器调速器

本文以联合研制成功的水电站可编程控制调速器为对象，详细介绍其硬件与软件构成及工作原理。同时，对多种调节模式等方面也进行了一些探索。     

Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

Railway wheel fault diagnosis using a fuzzy-logic method

A simple method for diagnosis of railway wheel defects using fuzzy-logic is proposed. The method is based on vibration measurements at different train speeds on healthy wheels and wheels with defects known a priori. The measured vibrations are statistically analyzed and confidence intervals for healthy and defective wheels depending on train speed and frequency of analysis are established. To facilitate the implementation of the method a fuzzy-logic is adopted. The fuzzy-logic model stores the obtained experience in a database and performs the decision making on damage extent and consequently the need of preventive maintenance. In view of the obtained results, the advantages and the limitations of the proposed approach as well as suggestions for further improvements are presented and discussed.     

层析成像的模糊-神经网络重建方法

考虑投影数据不足时，射线层析成像的离散重建算法难以取得较好效果的情况，利用模糊理论建立了表示物体衰减系数的连续函数，用神经网络学习算法确定该连续函数中的待定参数．提出了一种适于投影数据或投影方向不够时的CT图像重建算法．计算机仿真结果显示了该方法在投影数据严重缺少时的良好效果。     

自动启闭窗帘控制器的设计

介绍了直流电源、555时基电路、电磁继电器和光敏电阻,论述了自动启闭窗帘控制器的电路设计。     

Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.