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.     

Optimization for limited angle tomography in medical image processing

This paper aims to reduce the problems of incomplete data in computed tomography, which happens frequently in medical image process and analysis, e.g., when the high-density region of objects can only be penetrated by X-rays at a limited angular range. As the projection data are available only in an angular range, the incomplete data problem can be attributed to the limited angle problem, which is an ill-posed inverse problem. Image reconstruction based on total variation (TV) reduces the problem and gives better performance on edge-preserving reconstruction; however, the artificial parameter can only be determined through considerable experimentation. In this paper, an effective TV objective function is proposed to reduce the inverse problem in the limited angle tomography. This novel objective function provides a robust and effective reconstruction without any artificial parameter in the iterative processes, using the TV as a multiplicative constraint. The results demonstrate that this reconstruction strategy outperforms some previous ones.     

Control theoretic smoothing splines

Some of the relationships between optimal control and statistics are examined. We produce generalized, smoothing splines by solving an optimal control problem for linear control systems, minimizing the L²-norm of the control signal, while driving the scalar output of the control system close to given, prespecified interpolation points. We then prove a convergence result for the smoothing splines, using results from the theory of numerical quadrature. Finally, we show, in simulations, that our approach works in practice as well as in theory     

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

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

智能仪表的可靠性设计与评估技术

本文主要探讨智能仪表设计中最常采用的几种可靠性设计技术及其具体应用,详细介绍了其中的可靠性预计与可靠性分配技术具体方法和步骤,比较了现有的几种可靠性评估技术.     

Output intersampling approach to direct closed-loop identification

A new direct closed-loop identification method, which uses the output intersampling technique, is proposed in this note. By using the intersampled plant input-output data, the proposed method removes the traditional restrictive identifiability condition, and does not require an external persistently exciting (PE) test signal     

无线传感器网络中基于树的动态多路径容错路由协议

多路径路由对无线传感器网络的负载均衡和容错能力等方面都有一定改善作用。在研究一些多路径路由算法的基础上,对分层的无线传感器网络路由进行探索,提出了一种基于树的动态多路径路由的生成方法,快速获得当前节点的主路径与备用路径。仿真结果表明,该方法可有效地均衡网络负载、减少时延、提高网络的可靠性。     

Approximate controllability of stochastic impulsive functional systems with infinite delay

This paper studies the approximate controllability of stochastic impulsive functional system with infinite delay in abstract space. By using the contraction mapping principle, some sufficient conditions are given with no compactness condition imposed on the semigroup generated by the linear part of the system. Then with the help of the Nussbaum fixed point theorem, the restriction of the combination of system parameters is dropped. Finally, an example is shown to illustrate our results.     

砂土的剪胀方程及其塑性势(Ⅰ):发展现状

以能量守恒原理为主线,在各向同性前提下,对Taylor剪胀方程、Cam-clay剪胀方程、修正Cam-clay剪胀方程、Rowe剪胀方程和扩展的Rowe剪胀方程等进行了较全面的综述.论证了剪胀方程和塑性势函数之间的相互转化关系.指出了Lade-Kim塑性势函数和Nova塑性势函数的缺陷之处,即这两个塑性势函数均没有合理耦合临界状态这一概念.