一种模糊时态描述逻辑

针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。     

基于图数据库的数据逻辑解析及检索

使用传统关键字检索方法存在主观性,导致检索效率较低,为此提出基于图数据库的数据逻辑解析及检索.通过抽象语法树,确定结点引用路径.根据抽象语法树的描述模式,建立了抽象语法树到图形结构的转换规则,由此解析数据逻辑.计算多维矢量欧式距离,减少输入-输出操作步骤,引入New-NB-Tree索引结构,剔除候选数据里的重复数据,过...     

RFID信息服务中发布/订阅系统若干关键技术问题研究

 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.     

基于逻辑输入样本的神经网络算法

本文对确定多层前向神经网络权提出了一种基于逻辑输入样本的直接算法。对于逻辑输入样本,该算法只需一个三层网络实现;否则,需在输入层和隐层间引入一个预处理层以完成输入样本向逻辑向量的转化。由于不引入误差能量函数,该算法避免了BP算法训练过程出现的收敛速度慢和误差陷入局部极小问题。本文还对该算法的正确性作了详细论证并以XOR问题解释其计算过程。     

64位超前进位对数加法器的设计与优化

设计一个应用于高性能微处理器的快速64位超前进位对数加法器.通过分析超前进位对数加法器原理,提出了改进四进制Kogge-Stone树算法的64位超前进位对数加法器结构,并结合使用多米诺动态逻辑、时钟延迟多米诺逻辑和传输门逻辑等技术来设计和优化电路.该加法器采用SMIC 0.18 μm CMOS工艺实现,在最坏情况下完成一次加法运算时间为486.1 ps,与相同工艺和相同电路结构采用静态CMOS实现相比,大大减少了加法器各级门的延迟时间,取得良好的电路性能.     

基于阈值逻辑的逻辑函数综合算法研究

阈值逻辑门由于具有强大的逻辑功能且独自构成完备集而备受关注。为了设计以阈值逻辑门为单元结构的电路,该文首先分析了谱技术与阈值函数的关系,并通过零次、一次谱系数计算阈值函数的权值和阈值。对于非阈值函数,该文提出了新的逻辑函数综合算法,可以将任意非阈值函数转化为几个阈值函数和的形式。因此,使用一个或多个阈值逻辑门组成的网络可以实现任意布尔逻辑函数。该算法为共振隧穿二极管的电路设计提供一种新方法。     

一种新的分布式QoS控制动态资源调配算法

该文提出了一种新的分布式环境下用于QoS控制的基于模糊逻辑的动态资源调配(Fuzzy logic based Dynamic Resource Allocation,FDRA)算法。分布式环境采用集中式带宽代理(Bandwidth Brokers, BB))与分布式BB相结合的控制模式。分布式BB基于滑动窗口和滑动指针机制,在分配资源不足时向集中式BB请求追加资源,在占用资源高于需求一定阈值时滞后释放部分追加资源。追加资源块和释放资源块的大小分别由集中式BB和分布式BB根据当前网络负荷状态,采用模糊逻辑确定。模糊逻辑算法引入新的基于数据源特性的隶属度函数生成方法,提高决策的有效性。仿真结果证明,该文提出的算法性能优于已有文献的算法。     

基于UKF的自组织直觉模糊神经网络

模糊集在语义描述上存在不足,因此,如何对模糊神经网络进行扩展是当前模糊神经网络研究的热点,针对这一问题,本文提出了基于UKF的自组织直觉模糊神经网络。首先,给出了直觉模糊神经网络的结构和各层的含义;其次,推导了直觉模糊神经网络的学习算法,用LLS和UKF分别学习线性和非线性参数;然后,给出了模糊规则生成的准则,并用误差下降率方法作为规则修剪的策略,删除作用不大的规则;最后,通过典型的函数逼近、系统辨识和时间序列预测实例,表明本文算法得到的直觉模糊神经网络的结构更为紧凑,泛化性能也更佳。     

基于模糊逻辑的降水粒子相态识别技术

为提高双偏振雷达在水凝物相态识别方面的能力,利用双偏振气象雷达目标回波中的反射率因子Z_H、差分反射率因子Z_DR、差分相位常数K_DP、共偏相关系数ρ_HV,构造反射率标准差SD (Z_H)和差分相位标准差SD(?_DP)。将这6个极化参数作为输入量,通过统计美国国家海洋和大气管理局(NOAA)提供的大量水凝物样本数据,根据样本数随雷达回波参量分布,提出了以β型函数为隶属函数的模糊逻辑分类算法。该算法能够有效识别小到中雨(RA)、大雨(HR)、大滴(BD)、干雪(DS)、湿雪(WS)、冰晶(IC)、霰(GR)、雨雹(RH)、大雹(LH)9类气象回波和1类地物回波(GC)。选取美国S波段的科罗拉多州丹佛地区的气象雷达KFTG在不同时间点的观测资料进行测试,识别结果与NOAA提供的LevelⅢ数据中的水凝物分类结果基本一致,验证了本文提出的模糊逻辑算法具有良好的分类效果。     

具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL（Generalized Possibilistic Fuzzy Linear Tempora Logic）的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL（Generalized Possibilistic Linear Tempora Logic）进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.     

Adaptive neuro-fuzzy control of a flexible manipulator

This paper describes an adaptive neuro-fuzzy control system for controlling a flexible manipulator with variable payload. The controller proposed in this paper is comprised of a fuzzy logic controller (FLC) in the feedback configuration and two dynamic recurrent neural networks in the forward path. A dynamic recurrent identification network (RIN) is used to identify the output of the manipulator system, and a dynamic recurrent learning network (RLN) is employed to learn the weighting factor of the fuzzy logic. It is envisaged that the integration of fuzzy logic and neural network based-controller will encompass the merits of both technologies, and thus provide a robust controller for the flexible manipulator system. The fuzzy logic controller, based on fuzzy set theory, provides a means for converting a linguistic control strategy into control action and offering a high level of computation. On the other hand, the ability of a dynamic recurrent network structure to model an arbitrary dynamic nonlinear system is incorporated to approximate the unknown nonlinear input–output relationship using a dynamic back propagation learning algorithm. Simulations for determining the number of modes to describe the dynamics of the system and investigating the robustness of the control system are carried out. Results demonstrate the good performance of the proposed control system.     

基于函数调用的路径覆盖生成技术研究

 针对目前路径覆盖方法所存在的缺陷,提出了一种新的基于函数调用的路径覆盖生成方法.根据控制结构与函数调用语法,获取全部的静态函数调用路径,依据程序执行后的动态路径信息,判断测试用例是否覆盖了程序变更部分及受影响部分.该方法既能避免路径数目的急剧增长,又可以保证测试完全.     

Intelligent Molecular Searcher from Logic Computing Network Based on Eu(III) Functionalized UMOFs for Environmental Monitoring

By taking advantage of facile preparation and sensitive recognition capacity, the first example of a fluorescence system based on Eu(III) functionalized UiO(bpdc) (UMOFs) has been constructed for effective combination of ions recognition and logic computing. All the ions, including Hg²⁺, Ag⁺, and S^2? in the system are water harmful, which can be recognized through affecting energy transfer or framework structure. By the self‐assembling, competing and connecting with each other, Eu(III)@UMOFs and the ions have achieved the implementation of Boolean logic network system connecting the elementary logic operations (NOR, INH, and IMP) and integrative logic operation (OR + INH), also obtaining computing keypad‐lock security system by sequential logic operation. To deal with uncertain information in the analog region of nonlinear response (fluorescence and concentration), soft computation through the formulation of fuzzy logic operation has been constructed. On the basis of Boolean logic and fuzzy logic, one intelligent molecular searcher can be realized by taking chemical events (Hg²⁺, Ag⁺, and S^2?) as programmable words and chemical interactions as syntax. Considering the particularity of all the input ions, the approach is helpful in developing the advanced logic program based on Eu(III)@UMOFs for application in environmental monitoring.     

A high-speed multiplexer-based fine-grain pipelined architecture for digital fuzzy logic controllers

Design and implementation of a high-speed multiplexer-based fine-grain pipelined architecture for a general digital fuzzy logic controller has been presented. All the operators have been designed at gate level. For the multiplication, a multiplexer-based modified Wallace tree multiplier has been designed, and for the division and addition multiplexer-based non-restoring parallel divider and multiplexer-based Manchester adder have been used, respectively. To further increase the processing speed, fine-grain pipelining technique has been employed. By using this technique, the critical path of the circuit is broken into finer pieces. Based on the proposed architecture, and by using Quartus II 9.1, a sample two-input, one-output digital fuzzy logic controller with eight rules has been successfully synthesised and implemented on Stratix II field programmable gate array. Simulations were carried out using DSP Builder in the MATLAB/Simulink tool at a maximum clock rate of 301.84 MHz.     

Mobile Location Estimation in CDMA Cellular Networks by Using Fuzzy Logic

An adaptive fuzzy logic estimator for locating mobiles in a direct sequencecode division multiple access (DS/CDMA) cellular system is proposed. Thelocation estimation is based on the measured pilot signal strengths by themobile station (MS) from a number of nearby base stations (BSs). A smoother,which uses past and current output data from the fuzzy estimator to producea more accurate estimate, is used to improve the accuracy of the locationestimation. Numerical performance results under various path loss and channelshadowing conditions are presented to demonstrate the viability of theproposed fuzzy estimator.     

Critical Path Analysis With Fuzzy Activity Times

Fuzzy logic has been proposed as an alternate approach for quantifying uncertainty relating to project activity duration. The fuzzy logic approach may be suitable in the situations where past data are either unavailable or not relevant, the definition of the activity itself is somewhat unclear, or the notion of the activity's completion is vague. The purpose of this paper is to present a new methodology for fuzzy critical path analysis that is consistent with the extension principle of fuzzy logic. It is the direct generalization of critical path analysis to the fuzzy domains, and resolves some of the problems expressed in the fuzzy critical path literature, especially in computing the fuzzy backward pass of the project network and fuzzy activity criticality. Here the uncertainty is represented by three possible time estimates in a way that is similar to the well-known program evaluation and review technique (PERT) approach. Another important advantage of the proposed approach is that one integrated procedure determines both the fuzzy set of critical path lengths and fuzzy activity criticality. The proposed approach constructs the membership function for the fuzzy set of critical path lengths and the fuzzy activity criticality by solving a series of mathematical programming problems. The proposed method is successfully tested on well-known problem sets, and is shown to offer computation times that should allow it to help project managers better understand and manage project schedule uncertainty.     

基于多值逻辑电路和二值PLA的硬件模糊控制器

本文基于多值逻辑电路和二值可编程逻辑阵列，提出一种模糊控制器硬件设计方案。     

模糊控制和模糊控制芯片

本文对模糊逻辑及模糊控制的基本概念、发展过程、应用领域进行了论述，探讨了模糊算法各个部分（模糊化、规则的选取与调整、各种算子、去模糊等）的功能和作用，介绍了目前受到广泛关注的模糊逻辑与人工神经元网络及专家系统相结合的一些方法，最后讨论了各种模糊控制的实现方法以及各种模糊控制芯片，特别是电流型多值模糊控制芯片的发展．     

单片机模糊控制技术

本文介绍了模糊逻辑的基本概念和模糊控制的方法，并介绍了一种实用的单片机模糊控制系统。