Subalgebra and LI-Ideal of Lattice Implication Algebras

First,We reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal.Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra.Finally,the relation between lattice implication subalgebra and LI-ideal is presented.It is proved that no LI-ideals are non-trivial lattice implication subalgebras.     

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

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

基于AIC技术的舰载天线共址耦合干扰抑制方法研究

天线间的共址耦合干扰是一种常见的舰船电磁干扰问题,严重影响了舰船总体作战性能的提高。本文提出了采用自适应干扰抵消技术解决此问题的方法,分析了其基本原理,给出了干扰抵消系统的实现方案以及实验室验证结果。该技术利用矢量合成的方法调整取样信号的幅度与相位,在接收端与干扰信号合成从而相互抵消。结果表明,自适应干扰抵消系统使干扰抵消比达到40 dB以上,可以很好地解决舰载天线间的共址耦合干扰问题。     

格蕴涵代数中滤子的若干性质

首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。     

基于动态神经网络的经典逻辑公式计算方法

对经典逻辑公式计算进行了深入的探讨，结合神经网络理论提出一种动态神经网络的计算方法，并分析了基于数据库串行实现的步骤．介绍了针对经典逻辑系统运算符的单元设计、动态神经网络的生成算法与存储方法和公式计算算法，分析了算法的正确性和计算复杂性，同时举例说明了这种方法的有效性，为逻辑公式的计算提供了一种可行思路．     

数量经济学与数据挖掘

从数量经济学和数据挖掘的概念出发，分析了这两个领域的联系与区别;结合数据挖掘及人工智能理论来研究数量经济学，提出了传统方法与新型方法相结合;数值计算与文字计算相结合;人工智能与经济研究相结合等研究思路，为数量经济学的研究提供了参考.     

基于电动变频空调的燃油车节油能力研究

以节能减排为目标,提出将电动变频空调应用于燃油车的方案及选择工况发电策略,分别通过电动变频空调系统的高效率特性及提高发电机发电综合效率,降低空调系统油耗。建立某国产车型原车和使用电动空调系统的整车仿真模型,通过试验数据对模型进行了标定。仿真结果表明,使用电动变频空调系统相对原车变排空调系统在WTLC、CLTC循环下空调油耗分别降低75.4%、76.3%,增加选择工况发电策略后空调油耗进一步降低4.3%和6.6%。对燃油车使用电动空调系统和选择工况发电策略具有较好的节油潜力。     

格蕴涵代数的模型论性质

讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论Ｔ保子模型,保模型链之并、保模型同态、理论Ｔ不是完备的,也不是模型完备的,因此不存在内在Ｓｋｏｌｅｍ函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。