Logical Properties of Lattice Filter of Lattice Implication Algebra

Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis…     

格蕴涵代数的单性与周期性

讨论了格蕴涵代数的单性和周期性，并研究了这两种性质之间的关系，同时给出了格蕴涵代数具有单性的几个断定方法，得出了一个重要结论；如果有限的单格蕴涵代数中存在对偶原子，则一定唯一。     

蕴涵算子

文中给出了蕴涵算子的定义，讨论了蕴涵算子的一些基本性质及生成方法，建立了蕴涵算子之间的运算，并构造了一个蕴涵算子范畴。     

模糊格蕴涵代数

本文将模糊集合率应用于格蕴涵代数，给出了模糊格蕴涵代数的概念，并讨论了它们的一些基本性质。     

Fault Diagnosis and Reliability Analysis Using Fuzzy Logic Method

A new fuzzy logic fault diagnosis method is proposed. In this method, fuzzy equations are employed to estimate the component state of a system based on the measured system performance and the relationship between component state and system performance which is called as “performance-parameter” knowledge base and constructed by expert. Compared with the traditional fault diagnosis method, this fuzzy logic method can use human＇s intuitive knowledge and dose not need a precise mapping between system performance and component state. Simulation proves its effectiveness in fault diagnosis. Then, the reliability analysis is performed based on the fuzzy logic method.     

铁路货车技术管理信息系统平台的优化研究

针对铁路货车定检、施修、调度、技术管理等方面的工作特点,提出铁路货车技术管理信息系统(HMIS)平台。HMIS平台分为四个分平台,三个层次。根据平台网络体系、逻辑结构、数据结构进行归类分析。车间级分平台是货车技术数据的起始点,主要包括运用子系统、站修子系统、段修子系统、修配子系统、轮轴子系统。结合编码规范、系统特点及现场情况,提出故障略层快速定位算法。     

有转运运输问题的Hopfield神经网络优化方法

Hopfield神经网络是一种递归神经网络,可以用于联想记忆和优化,运输问题是一类特殊的线性规划问题,结合Hopfield神经网络优化功能和有转运运输问题的特点,并根据运输问题的实际情况,将约束边界模糊化,设计针对有转运运输问题的连续Hopfield神经网络电路。借用神经网络中能量函数的概念和含义确定网络电路的参数并证明系统的稳定性。将优化有转运运输问题转换成求解网络系统的平衡点,即吸引子。在优化过程中,为了防止网络收敛到局部极值,采用模拟退火算法,使网络能够达到全局最小值,不仅优化速度快、实时性强,也给其它线性、非线性规划问题的优化提供了一个新的途径。并通过计算机仿真研究验证了系统的有效性、可行性。     

基于并行分层式链路的分布式数据更新P2L2PC协议研究

针对分布式数据库系统发展过程中站点连接链路的多样性,研究了并行分层式连接结构,并在并行分层式连接结构基础上,提出了并行分层式链路2PC(P2L2PC)协议。结合分布式事务时效期要求,描述了并行分层式链路2PC协议及其正确性准则;给出了P2L2PC协议执行的基本处理过程并证明了其正确性;同时对并行分层式链路2PC协议进行了性能评价和比较。     

格值命题逻辑推理

本文给出了三类格值蕴涵算子公式，并以α→β=V｛x∈L|xa≤β｝作为a蕴涵β的公式给出了格值命题逻辑推理的一些良好结论。     

Intrinsic Value and Market Timing of Initial Public Offerings

To avoid debates on the interpretation problem of market-to-book, the residual income model is employed to calculate the intrinsic value and estimate the extent of mis-pricing by market. Using a sample of Chinese listed companies from 1998 to 2003, the empirical evidence supports that equity market mis-pricing plays a significant role in decision making on the initial public offering. Our evidence verifies that the market timing theory can be applied to the analysis of financing behavior of Chinese listed companies, but the long-lasting effect is insignificant.