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

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

转移逻辑、乏晰逻辑与泛系逻辑(Ⅰ)

本文是文献[1—4,8,12—13]的发展,研究了与事物转移关系及动态过程有关的一些新型数理逻辑.有关的新概念有:转移逻辑的命题演算与谓词演算,激活因素与转移条件,星算法及其泛系分析模型,泛系逻辑空间,泛系逻辑延拓推理和动态阴阳逻辑.     

绝热逻辑的能耗模型及设计策略

从传统CMOS电路的能耗分析入手,在其面临难以降低功耗诸多困难的情况下,引出绝热逻辑的工作方式,建立了绝热逻辑的能耗分析模型,证明绝热逻辑是微功耗的．随后分析了目前诸多绝热逻辑设计中存在的一些问题,最后为今后的绝热逻辑设计提供了一些设计策略．     

智能规划的逻辑编码求解性能分析

将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.     

对《影响工业企业可比产品成本降低额的因素分析模型》的质疑

本文从数学、逻辑、经济学三个方面说明《影响工业企业可比产品成本降低额的因素分析模型》一文的错误。     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全的采购项目备案的协议。该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性。并通过一种形式分析模型BAN逻辑证明了该协议的安全性。实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求。     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

基于HNC和描述逻辑的问句语义块分析

针对汉语语句分析不能提供深层语义信息的问题,提出一个基于HNC和描述逻辑的问句语义块分析模型,利用HNC概念符号知识深入到词语的语义层面,从概念类别的内涵出发,对问句的逻辑结构进行了初步分析。采用描述逻辑推理机制得到了问句的语义视图,并实际验证了语义视图的有效性。     

基于行为建模的机器人混合模糊-神经控制方法

本文提出了一种设计机器人模糊－神经控制器的新方法。因为模糊逻辑控制器的控制信号是由系统的响应行为而不是由其分析模型决定的，所以机器人的开环响应可以用一系列二阶系统来描述。然后，用Ｎｅｌｄｅｒ－Ｍｅａｄ单纯形算法离线优化与该系统相关的模糊逻辑控制器的参数，并用人工神经网络来训练开环响应与这些优化了的参数之间的匹配关系。该方法的优点在于当它用于设计模糊－神经控制器时，在自适应过程中不必考虑收敛问题     

基于逻辑回归的商业银行客户信用评级研究

客户信用评级是衡量客户偿债能力和偿债意愿的重要标准,是指导商业银行及各金融机构信用风险管理的重要手段。各商业银行建立自己内部合适有效的信用评分模型对于管控风险、降低损失尤为重要。逻辑回归分析是一种广义的线性回归分析模型,在数据挖掘、经济预测等领域有着广泛的应用。该文采用统计学建模方法,将逻辑回归模型应用于农村商业银行客户信用评级,构建了基于逻辑回归的农村商业银行客户信用评级模型,对贷款客户的信用等级进行评价。该方法能够帮助银行有效区分违约客户,比较准确地量化客户违约风险,同时为商业银行及其他金融机构开展信用风险管理提供参考。     

脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

Searle(西尔)复合函数及两级组合逻辑网络设计

Searle逻辑是一种新型的布尔逻辑。本文深入探讨Searle基本函数x、y、z、w的M、N变换及不进位运算(即_i运算)的逻辑特征,设计相应的两级逻辑网络和 Searle元件。这些理论对 Searle逻辑的发展和应用将是很重要而有意义的。     

L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

高速铁路板式无砟轨道的结构分析模型对比

为了对比弹性地基叠合梁理论、弹性地基梁-板理论和梁-体有限元理论在分析无砟轨道结构受力时的差别,基于这3种无砟轨道结构力学理论建立了无砟轨道结构分析模型,分析2种不同线下基础上CRTSⅡ和CRTSⅢ型板式无砟轨道结构的受力情况.结果表明:由于弹性地基叠合梁理论分析模型考虑的因素较少,计算所得结果与其他2种分析模型的计算结果相差较大,且与轨道板实际受力情况存在一定差别;弹性地基梁-板理论分析模型可较好地模拟轨道板和底座弯曲变形,计算结果比其他2种分析模型偏大约30%,设计偏于安全;梁-体有限元理论分析模型可真实反映无砟轨道结构的受力和变形,但分析模型相对复杂,对工程设计人员要求较高,一般用于无砟轨道结构的研发和设计验证.     

一种模糊时空描述逻辑F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.     

FPGA与硬件描述语言(HDL)的设计

FPGA芯片是逻辑技术的硬件基础．而硬件描述语言(HDL)是具体逻辑实现的手段和工具，两者构成了逻辑技术的基本核心，文章针对两者特性进行介绍，结合应用提出了一种FPGA的设计流程．     

基于语义倾向性分析的不良文本检测模型研究

着眼于因特网的内容安全,在分析传统语义倾向性判别的类型及不足的基础上,本文提出一种改进的语义倾向性分析模型.该模型以词组为单元,同时引入几种常见的句式结构.通过对这些句式结构的判别,确定出每句话语义倾向的侧重点,再参照JRBPO准则予以定性.最后,利用各单句与上下文逻辑间的关联性,得出整个文本的语义倾向.随机抽取的测试样本表明,本方法对不良文本检测具有较高的处理速率和检测准确率.     

脉冲型时序逻辑网络设计(Ⅱ)

本文在文献[1]的基础上,利用逻辑函数的最小项展开法和矩阵运算,导出了脉冲型时序逻辑网络设计的一种解析方法,并且以实例说明了这种方法的设计过程。这种方法适用于计算机辅助设计。     

节水灌溉技术(V)

四、喷灌技术喷灌是一种比较先进的农田灌溉方法.它是依靠水泵或自然水头造成压力水流,经过管道、喷头等专用设备,把水喷射到空中,在空气的作用下,分散成小水滴,像降雨一样均匀地洒落到田间,对作物进行适时适量的灌溉,     

城市地理信息系统若干问题的理论与技术方法

分析了目前空间数据模型存在的问题和局限性,介绍了基于点、线、面的实体—类别—关系概念数据模型及其逻辑数据模型——一种扩展的网络数据模型和栅格矢量数据的集成式管理方法,及其在拓扑空间关系描述与表达方面的研究工作．分析了现有的商业化地理信息系统（ＧＩＳ）工具提供的基本空间分析功能的局限性,针对具体的城市问题,提出了城市ＧＩＳ空间分析模型的基本设计方法和空间数据的采集与更新．