基于Internet的物联网系统中设备互联和实时在线技术

针对物联网系统中信息交互的实时性和系统自治特性,提出一种基于Internet和嵌入式设备构建物联网的技术;通过基于客户/服务器的体系结构和面向连接的设备实时在线技术实现信息交互的实时性,进一步通过一种服务器地址自动迁移技术实现基于Inter-net的嵌入式设备物联网的系统自治特性;通过多台嵌入式设备组网进行实际测试验证,系统满足良好的扩展性和设备即插即用特性,设备间数据通信相应时间低于1s,具有良好的实时性,可广泛应用于嵌入式设备的互联互通。     

一种多功能网络监控与防御平台设计与实现

本文提出了一种多功能网络监控与防御系统。文中根据网络自身的结构,从骨干层、汇聚层、接入层三个层次分析,采用三层设计模式,它们相互独立又相互协作,共同构成高性能、多层次、多功能综合解决方案。形成深度防御体系,最大限度地保护企业和组织的网络安全。     

GIS技术在应急资源保障系统中的应用

结合资源保障系统的特点,讨论了GIS技术在应急资源保障系统中的应用,包括系统的体系结构、功能模块划分以及采用的关键技术,并设计了基于GIS技术的应急资源保障系统,提高了最近资源查找的准确性和效率.当突发事件发生后,能够快速分析应急物资的分布、数量,并且能够实时监控应急资源的生产,调度状态,提高政府部门及其他专业部门处理应急突发事件的能力,为应急领域的指挥调度工作提供了决策的依据.     

Mesh Decomposition with Cross‐Boundary Brushes

We present a new intuitive UI, which we call cross‐boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our system automatically returns a best cut running through all the strokes. By the different natures of part components (i.e., semantic parts) and patch components (i.e., flatter surface patches) in general models, we design two corresponding brushes: part‐brush and patch‐brush. These two types of brushes share a common user interface, enabling easy switch between them. The part‐brush executes a cut along an isoline of a harmonic field driven by the user‐specified strokes. We show that the inherent smoothness of the harmonic field together with a carefully designed isoline selection scheme lead to segmentation results that are insensitive to noise, pose, tessellation and variation in user's strokes. Our patch‐brush uses a novel facet‐based surface metric that alleviates sensitivity to noise and fine details common in region‐growing algorithms. Extensive experimental results demonstrate that our cutting tools can produce user‐desired segmentations for a wide variety of models even with single strokes. We also show that our tools outperform the state‐of‐art interactive segmentation tools in terms of ease of use and segmentation quality.     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

Analytical modelling of networks in multicomputer systems under bursty and batch arrival traffic

The hypercube and torus are two important message-passing network architectures of high-performance multicomputers. Analytical models of multicomputer networks under the non-bursty Poisson traffic have been widely reported. Motivated by the convincing evidence of bursty and batch arrival nature of traffic generated by many real-world parallel applications in high-performance computing environments, we develop a new and concise analytical model in this paper for hypercube and torus networks in the presence of batch message arrivals modelled by the compound Poisson process with geometrically distributed batch sizes. The average degree of virtual channel multiplexing is derived by employing a Markov chain which can capture the batch arrival nature. An attractive advantage of the model is its constant computation complexity independent of the network size. The accuracy of the analytical performance results is validated against those obtained from simulation experiments of an actual system.     

基于复杂网络的 Internet 流量分析

基于复杂网络理论对 Internet 网络结构进行分析,模拟 Internet 网络中选择服务器的过程,建立一个基于距离和流量的 Internet 自组织网络结构模型(FDM).通过仿真Internet 网络数据传输过程,分析比较 FDM 与 BBV 模型的丢包率,研究 Interact 网络中心连接节点的缓存器容量、...     

一种基于可信度矩阵的多传感器目标识别方法

为了解决多传感器目标识别中不同等级信息源数据的融合问题,在研究DSmT证据理论的基础上,引入证据可信度矩阵.依据可信度矩阵对证据进行转化,使之可以用传统的方法进行证据融合.将这种方法应用到等级不同的多传感器目标识别中,可以解决传统证据理论只能进行相同等级传感器目标识别的难题.仿真实验表明,该方法提高了目标识别的准确性和有效性.     

安全事件模糊等量约束的因果关联算法研究

通过对异构网络的安全事件特点的深入分析,指出在大量不完整、模糊的安全事件中准确地定位潜在的安全威胁,对态势和威胁及其重要程度进行全面及时的评估,是当前安全管理的一个技术难题.提出一种基于时间关联窗口的安全事件模糊关联算法,在一定程度上解决安全事件的漏报与领域知识的不完备性问题,对当前的安全态势、安全威胁及其重要程度进行全面及时评估提供有力的支持.     

Fuzzy two-stage material procurement planning problem

Material procurement planning (MPP) deals with the problem that purchasing the right quantity of material from the right supplier at the right time, a purchaser can reduce the material procurement costs via a reasonable MPP model. In order to handle the MPP problem in a fuzzy environment, this paper presents a new class of two-stage fuzzy MPP models, in which the material demand, the spot market material unit price and the spot market material supply quantity are assumed to be fuzzy variables with known possibility distributions. In addition, the procurement decisions are divided into two groups. Some procurement decisions, called first-stage decisions, must be taken before knowing the the particular values taken by the fuzzy variables; while some other decisions, called second-stage decisions, can be taken after the realizations of the fuzzy variables are known. The objective of the proposed fuzzy MPP model is to minimize the expected material procurement costs over the two stages. On other hand, since the fuzzy material demand, the fuzzy spot market material unit price and the fuzzy spot market material supply quantity are usually continuous fuzzy variables with infinite supports, the proposed MPP model belongs to an infinite-dimensional optimization problem whose objective function cannot be computed exactly. To avoid this difficulty, we suggest an approximation approach (AA) to evaluating the objective function, and turn the original MPP model into an approximating finite-dimensional one. To show the credibility of the AA, the convergence about the objective function of the approximating MPP model to that of the original MPP one is discussed. Since the exact analytical expression for the objective function in the approximating fuzzy MPP model is unavailable, and the approximating MPP model is a mixed-integer program that is neither linear nor convex, the traditional optimization algorithms cannot be used to solve it. Therefore, we design an AA-based particle swarm optimization to solve the approximating two-stage fuzzy MPP model. Finally, we apply the two-stage MPP model to an actual fuel procurement problem, and demonstrate the effectiveness of the designed algorithm via numerical experiments.