Reachability determination in acyclic Petri nets by cell enumeration approach

Reachability is one of the most important behavioral properties of Petri nets. We propose in this paper a novel approach for solving the fundamental equation in the reachability analysis of acyclic Petri nets, which has been known to be NP-complete. More specifically, by adopting a revised version of the cell enumeration method for an arrangement of hyperplanes in discrete geometry, we develop an efficient solution scheme to identify firing count vector solution(s) to the fundamental equation on a bounded integer set, with a complexity bound of O((nu)^n−m), where n is the number of transitions, m is the number of places and u is the upper bound of the number of firings for all individual transitions.     

基于DDC楼宇智能控制系统的设计

将楼宇中的电力、照明、空调、给排水、保安、通信和广播等多方面的设备通过现场总线联接进行控制与管理是楼宇智能化的一个主要的发展方向,本设计利用对上位机和下位机的软硬件系统的设计来实现楼宇智能化控制,达到预期的效果。

Abstract：

Building the power, lighting, air conditioning, plumbing, security, communications and broadcasting, and many other devices via field bus connection for intelligent building control and management is a key to the development of the main, this design is th     

共享数据工程(SHADE)体系结构及实现描述

文章在深入研究DIICOE的基础上,描述了DIICOE中共享数据工程(SHADE)的体系结构及实现方式。     

计算机犯罪侦查途径的探讨

近年来计算机犯罪案件呈迅速增长趋势,为有效控制和侦破此类案件,急需寻找一套行之有效的侦查办案途径.归纳各种犯罪手段,分别针对单机犯罪、专用网络犯罪和互联网犯罪,提出三种解决方案.     

A new criterion of delay-dependent asymptotic stability for Hopfield neural networks with time delay.

In this brief, the problem of global asymptotic stability for delayed Hopfield neural networks (HNNs) is investigated. A new criterion of asymptotic stability is derived by introducing a new kind of Lyapunov-Krasovskii functional and is formulated in terms of a linear matrix inequality (LMI), which can be readily solved via standard software. This new criterion based on a delay fractioning approach proves to be much less conservative and the conservatism could be notably reduced by thinning the delay fractioning. An example is provided to show the effectiveness and the advantage of the proposed result.     

Equilibria and their bifurcations in a recurrent neural network involving iterates of a transcendental function.

Some practical models contain so complicated mathematical expressions that it is hard to determine the number and distribution of all equilibria, not mentioning the qualitative properties and bifurcations of those equilibria. The three-node recurrent neural network system with two free weight parameters, originally introduced by Ruiz, Owens, and Townley in 1997, is such a system, for which the equation of equilibria involves transcendental function tanh(x) and its iterates. Not computing coordinates of its equilibria, in this paper, we display an effective technique to determine the number and distribution of its equilibria. Without full information about equilibria, our method enables to further study qualitative properties of those equilibria and discuss their saddle node, pitchfork, and Hopf bifurcations by approximating center manifolds.     

A new crossover operator in genetic programming for object classification.

The crossover operator has been considered "the centre of the storm" in genetic programming (GP). However, many existing GP approaches to object recognition suggest that the standard GP crossover is not sufficiently powerful in producing good child programs due to the totally random choice of the crossover points. To deal with this problem, this paper introduces an approach with a new crossover operator in GP for object recognition, particularly object classification. In this approach, a local hill-climbing search is used in constructing good building blocks, a weight called looseness is introduced to identify the good building blocks in individual programs, and the looseness values are used as heuristics in choosing appropriate crossover points to preserve good building blocks. This approach is examined and compared with the standard crossover operator and the headless chicken crossover (HCC) method on a sequence of object classification problems. The results suggest that this approach outperforms the HCC, the standard crossover, and the standard crossover operator with hill climbing on all of these problems in terms of the classification accuracy. Although this approach spends a bit longer time than the standard crossover operator, it significantly improves the system efficiency over the HCC method.     

3D finite element mesh generation of complicated tooth model based on CT slices

An interactive three-dimensional finite element generation method is presented for modelling a multi-connected teeth and mandible structure. The tetrahedron is chosen as the basic element type due to its rigorous adaptability to structures with geometric complexities. The mesh generation is implemented by allocating two quadrangles in adjacent CT image slices to form a set of tetrahedrons. By examining all the possible allocations and their degradations, an algorithm is developed for interactive mesh generation, resulting in a series of tetrahedrons consistent with all the others without overlapping and spacing. The developed system was applied to a tooth-mandibular structure, generating a complicated 3D FEM model consisting of 4762 nodes and 18,534 tetrahedral elements with nine different materials. This 3D model was successfully used to evaluate different tooth restoration strategies, which proved the viability and effectiveness of the proposed method.