一种海量规则模式匹配方法

基于各种海量规则信息处理的需求,提出了一种海量规则模式匹配方法。设计了海量规则模式匹配方法的基本算法步骤,研究了各种规则节点的匹配处理方法。最后总结了海量规则模式匹配方法的特点。海量规则模式匹配算法部分拓展了现有规则匹配处理模式,提出了新的匹配处理方法。对比结果表明,该方法具有较好的效果。     

开放式计算环境中一个新的声誉建立方法

归纳了目前信任管理领域中声誉建立的方法,分析其不足之处并提出了一种新的声誉建立方法。该方法综合利用了拓扑信息和反馈信息,用于开放式计算环境中声誉的建立。将该方法与当前的方法进行了分析和对比。该方法可以有效地处理开放式计算环境中反馈信息少和动态性的问题,与当前方法相比,该方法更为有效。     

图像语义分割方法在高分辨率遥感影像解译中的研究综述

快速获取遥感信息对图像语义分割方法在遥感影像解译应用发展具有重要的研究意义。随着卫星遥感影像记录的数据种类越来越多,特征信息越来越复杂,精确有效地提取遥感影像中的信息,成为图像语义分割方法解译遥感图像的关键。为了探索快速高效解译遥感影像的图像语义分割方法,对大量关于遥感影像的图像语义分割方法进行了总结。首先,综述了传统的图像语义分割方法,并将其划分为基于边缘检测的分割方法、基于区域的分割方法、基于阈值的分割方法和结合特定理论的分割方法,同时分析了传统图像语义分割方法的局限性。其次,详细阐述了基于深度学习的语义分割方法,并以每种方法的基本思想和技术特点作为划分标准,将其分为基于FCN的方法、基于编解码器的方法、基于空洞卷积的方法和基于注意力机制的方法四类,概述了每类方法中包含的子方法,并对比分析了这些方法的优缺点。然后,简单介绍了遥感图像语义分割常用数据集和性能评价指标,给出了经典网络模型在不同数据集上的实验结果,同时对不同模型的性能进行了评估。最后,分析了图像语义分割方法在高分辨率遥感图像解译上面临的挑战,并对未来的发展趋势进行了展望。     

一种改进的可区分矩阵与求核方法

本文针对Hu方法存在的问题,提出了一种改进的可区分矩阵与求核方法,并证明了该方法的正确性。该方法不仅克服了Hu方法的不足,而且指出了Hu方法出错的根本原因。     

一种集成智能故障诊断方法研究

该文提出了一种新的故障诊断方法,该方法把基于观测器的诊断和基于知识的诊断方法相结合而成为一种集成智能故障诊断方法。在研究了基于多观测器故障诊断方法的基础上,对该集成诊断方法进行了较为详细的讨论。仿真例子表明了该方法的有效性和优越性。     

基于微型字体服务器的多语言HTML文本显示方法

介绍了一种实现多语言HTML文本显示的方法,该方法通过建立微型字体服务器,实现字符信息的非图像传输,节约了传输带宽,提高了传输速度。讨论了该方法的基本原理,实现的方法,与传统方法相比较,阐述了该方法的特点。     

一种混合的中文文本校对方法

本文以模式匹配的方法和3 元文法分析的方法为基础,结合语法属性标注和分 析的方法,提出了一种混合的中文文本校对方法,其结果优于任何一种方法的单独应用。 本文描述了这种方法并将它和其它两种方法进行了分析对比。     

传感网节点调度方法综述

节能是传感网的关键问题,而节点调度是延长传感网工作寿命的有效方法。本文建立了节点调度的抽象模型,分析了节点调度方法的设计空间和设计目标,给出了分类方法,并从这两个方面描述了当前典型的节点调度方法,比较了这些方法的特点,最后给出了节点调度方法未来的研究方向。     

一种基于PB的图像动态显示方法

介绍了PB常见的图像显示方法,研究了用Modify函数动态显示图像的方法,该方法具有速度快、动态性强、显示方法灵活等特点,分析了PB的图像显示原理,比较了各种图像显示方法的性能。     

一种基于互信息的复杂网络节点重要性评估方法

在复杂网络中,如何量化节点的重要性是一个基本问题。首先阐述了现有的计算方法,在此基础上提出了一种基于互信息的节点重要性评估方法。该方法揭示了网络拓扑结构特性,准确反映了节点的相对重要程度。对该方法进行了实验论证,并与现有方法进行了分析比较,结果表明基于互信息的评估方法简单有效,特别适用于大型复杂网络节点重要性的评估。     

State BL-algebras

The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna (An algebraic approach to states on MV-algebras. In: Novák V (ed) Fuzzy logic 2, proceedings of the 5th EUSFLAT conference, September 11–14, Ostrava, vol II, pp 201–206, 2007; Int J Approx Reason 50:138–152, 2009) as an MV-algebra with internal state as a unary operation. Di Nola and Dvurečenskij (Ann Pure Appl Logic 161:161–173, 2009a; Math Slovaca 59:517–534, 2009b) gave a stronger version of a state MV-algebra. In the present paper, we introduce the notion of a state BL-algebra, or more precisely, a BL-algebra with internal state. We present different types of state BL-algebras, like strong state BL-algebras and state-morphism BL-algebras, and we study some classes of state BL-algebras. In addition, we give a sample of important examples of state BL-algebras and present some open problems.     

房产地理信息系统时空数据组织研究

首先对时态GIS的近十几年来的研究进展进行了回顾.然后通过对房产特征的分析,进行房产特征的分类,使之满足实际应用环境的需要.接着,提出了一种时空数据概念模型——基于Petri网的时空数据模型,同等的处理特征的状态和引起状态变化的变迁,不同与以往基于事件或基于状态（如快照等）的时空数据模型,该模型认为状态由变迁的改变,变迁由状态描述,两者互相依赖.通过该模型,将离散的状态和变迁连续化,状态和变迁的因果关系显式表达.最后,对房产GIS中的时空数据进行有机的组织,用现势库、工作库和历史库进行数据存储管理,实现时空分析即历史回溯、未来预测、变化趋势显示等等需求.     

分布式状态空间生成的设计与实现

状态空间生成的并行化是针对状态空间爆炸问题而提出的一种重要手段。提出了一种基于MapReduce的分布式状态空间生成方案,与现有的同类研究相比,它无需用户关心生成算法的并行化,具有简单易用性;与常规的MapReduce的用法相比,它增加了输入文件的自动生成和作业运行的自动循环控制。该方案已在小规模分布式环境下实现,实验结果表明：（1）基于Map-Reduce的分布式状态空间生成算法可以扩大模型的可求解规模;（2）对于状态空间规模的增长主要由托肯（token）数增加引起的一类模型,该算法具有良好的适应性和可扩展性。     

MVL条件下k—out—of-n：S系统的研究

复杂网络环境下的系统组件往往处于多种不同状态,二值逻辑(BL)在描述多种组件状态时显得无能为力.本文提出了采用多值逻辑(MVL)分析组件状态,重点描述k-out-of-n:S系统模型,并采用Minkowski距离和定义可生存性函数描述系统状态和可生存性.实验表明,MVL条件下的k-out-of-n:S模型很好地描述了系统的状态扣可生存性.     

状态表驱动复用模型

在有关状态变迁的MIS开发中,由于状态变迁的特殊性,其管理流程及实现代码基本无法通用。提出一种可进行状态扩充且可复用的模型：状态表驱动复用模型,该模型使用扩充的Petri网S图进行需求分析,再用得到的状态表驱动状态关系管理引擎,实现系统开发。通过实际项目的应用,该模型提高了开发效率,并体现了良好的动态扩展性。     

Stabilization of Stochastic Coupled Systems With Time Delay Via Feedback Control Based on Discrete‐Time State Observations

In this paper, the stabilization of stochastic coupled systems (SCSs) with time delay via feedback control based on discrete‐time state observations is investigated. We use the discrete‐time state feedback control to stabilize stochastic coupled systems with time delay. Moreover, by employing Lyapunov method and graph theory, the upper bound of the duration between two consecutive state observations is obtained and some criteria are established to guarantee the stabilization in sense of ‐stability and mean‐square asymptotic stability of SCSs with time delay via feedback control based on discrete‐time state observations. In addition, to verify the theoretical results, stochastic coupled oscillators with time delay are performed. At last, a numerical example is given to illustrate the applicability and effectiveness of our analytical results.     

A theory of state covariance assignment for discrete systems

In many regulation control problems it is desired to design the controller so that various system states have acceptable root mean squared values. This is a multiple objective problem. One way to satisfy these objectives is to assign a specified state covariance to the system. This paper introduces and solves the following problem: 1) characterize the entire set of state covariances which may be assigned to a linear discrete-time system by state feedback; and 2) find the set of all state feedback gains which will assign an admissible state covariance to the system. Extensions are also presented for state estimate feedback.     

Quantum information splitting of an arbitrary three-qubit state by using two four-qubit cluster states

A new application of the four-qubit cluster state is investigated for quantum information splitting (QIS) of an arbitrary three-qubit state. Muralidharan and Panigrahi (Phys Rev A 78:062333, 2008) argued that a four-qubit cluster state is impossible for QIS of an arbitrary two-qubit state. In this paper, we demonstrate that two four-qubit cluster states can be used to realize the deterministic QIS of an arbitrary three-qubit state by performing only the Bell-state measurements. Our scheme considered here is secure against certain eavesdropping attacks.     

Entanglement revival can occur only when the system–environment state is not a Markov state

Markov states have been defined for tripartite quantum systems. In this paper, we generalize the definition of the Markov states to arbitrary multipartite case and find the general structure of an important subset of them, which we will call strong Markov states. In addition, we focus on an important property of the Markov states: If the initial state of the whole system–environment is a Markov state, then each localized dynamics of the whole system–environment reduces to a localized subdynamics of the system. This provides us a necessary condition for entanglement revival in an open quantum system: Entanglement revival can occur only when the system–environment state is not a Markov state. To illustrate (a part of) our results, we consider the case that the environment is modeled as classical. In this case, though the correlation between the system and the environment remains classical during the evolution, the change of the state of the system–environment, from its initial Markov state to a state which is not a Markov one, leads to the entanglement revival in the system. This shows that the non-Markovianity of a state is not equivalent to the existence of non-classical correlation in it, in general.     

传送任意三粒子纠缠态的三个方案

提出传送任意三粒子纠缠态的三个方案,分别是利用三对二粒子纠缠态、单个三粒子最大纠缠态和利用两个EPR态作为量子通道实现三粒子纠缠态的传送。通过发送者(Alice)对需传送的三粒子纠缠态与属于自己的纠缠对中的粒子分别进行适当的Bell基测量,然后把结果通过经典通道告诉接收者(Bob),接收者根据这些信息对自己拥有的三粒子进行相应的联合幺正变换,就可以实现一定概率的隐形传态。这些方案都可以推广至N个粒子纠缠态的传送。