基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

变压器保护方法的发展

介绍了用于电力变压器保护的数字继电器的发展及其应用技术和原理,简述了变压器保护的传统方法,重点介绍了人工神经网络(ANN)和模糊逻辑概念等最新技术及其涉及的技术成果.     

码头车鞍座升降定位逻辑电路的设计

介绍码头车鞍座升降定位部分的工作原理,以及相关逻辑电路的设计。     

J2EE架构下分层结构的研究和中间件的设计

J2EE是一种利用Java 2平台来简化多级企业解决方案的开发、部署和管理的体系结构.对实际应用的J2EE分层结构进行了详细分析,给出了一种J2EE架构下的多层应用模式,并详细介绍了该模式下的具体开发方案,重点论述了中间件的设计对于系统开发的意义.     

A fuzzy logic-genetic algorithm approach to modelling public transport users’ risk-taking behaviour

This paper seeks to determine the effects of uncertainty in out-of-vehicle times on route choice. Data were collected at two key interchanges in Auckland, New Zealand. Previous work modelled the data using a manual approach to fuzzy logic. This study extends that work by automating the process through defining a black-box function to match the survey data, then employing a genetic algorithm to fine-tune the fuzzy logic model. Results show that automation and the genetic algorithm improve the model’s capability to more accurately predict ridership. The tuning of the membership functions is conducted twice, first using initial fuzzy rules and again after the fuzzy rules have been adjusted to reduce disparity between the output and survey data. The calibrated membership functions provided for operational (transfer waiting and walking time and delay) and physical attributes (safety and seat availability) can be used by practitioners to determine an estimated ridership.     

论迟延交付的概念

通过法律逻辑的基本知识,分析我国《海商法》中未引进的“汉堡规则”中关于迟延交付的另一种情况——未在合理时间内交付,以减少理解上的分歧。     

可编程逻辑器件在机车逻辑控制系统中的应用

在分析了Lattice公司的在系统可编程逻辑器件isLSI1032E的结构和设计方法的基础之上，介绍了ISP技术及CPLD在机车逻辑控制系统中的应用，叙述了使用ispEXPERT进行设计的方法及流程，并对机车逻辑控制设计中的一些问题进行了讨论。     

内燃机车逻辑控制器

以东风４Ｂ型内燃机车控制电路为例，介绍了一种用８０９８单片机实现的逻辑控制单元──内燃机车逻辑控制器，用于取代传统的由继电器控制电路实现的布线逻辑控制方式，实现机车控制电路的各种控制功能．重点介绍了内燃机车逻辑控制器的硬件、软件设计．     

高分辨率等离子体显示屏的应用及其驱动系统原理分析

在机车的显示与诊断系统中，使用高分辨率平板显示器已成为一种趋势。本文详细介绍了等离子体显示屏及其驱动系统的工作原理。     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.