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.     

Homogenization-based multiscale crack modelling: From micro-diffusive damage to macro-cracks

The existence of a representative volume element (RVE) for a class of quasi-brittle materials having a random heterogeneous microstructure in tensile, shear and mixed mode loading is demonstrated by deriving traction–separation relations, which are objective with respect to RVE size. A computational homogenization based multiscale crack modelling framework, implemented in an FE² setting, for quasi-brittle solids with complex random microstructure is presented. The objectivity of the macroscopic response to the micro-sample size is shown by numerical simulations. Therefore, a homogenization scheme, which is objective with respect to macroscopic discretization and microscopic sample size, is devised. Numerical examples including a comparison with direct numerical simulation are given to demonstrate the performance of the proposed method.     

有线数字广播中高阶QAM信号的载波同步与均衡器设计

针对ITU-T J.83标准,结合有线数字广播的信道特征,提出一种适用于高阶QAM信号的载波同步与自适应均衡的联合设计方案。该方案在均衡部分采用常模数算法(CMA)和最小均方误差算法(LMS)的双模均衡算法。通过算法的切换达到快速收敛和降低均方误差(MSE)的目的;针对高阶QAM信号,载波同步环路首先选用极性判决算法,并采用带宽较大的环路滤波器系数,使环路能在短时间内进行大范围频偏捕获。然后调低环路滤波器系数,减小环路带宽,进而降低稳态抖动。环路最后切换到判决指示算法,使相位均方差降至最低。整个方案通过算法验证并在Altera Stratix Ⅱ系列EP2S130F1020C5型现场可编程门阵列(FPGA)上完成了布局布线。最高工作频率为90.47MHz。     

办公自动化系统中的数据加密传输

本文讨论了采用端到端的加密传输技术在局域网办公自动化系统中应用,在系统中增加加密模块实现文件的加密传输．传输采用C／S模型。该加密传输技术已在实际应用中得到了验证,取得了良好效果。     

快速移植的微型呼叫中心设计

介绍了如何构建微型呼叫中心的系统设计及组成,给出了相应的系统结构,并对微型呼叫中心核心部分的设计进行了描述。该设计方案的优点是投资少,软件开发和扩展均较容易,实施快速,特别适合接入线路不多的微型呼叫中心。     

ASP平台上基于Web Service的插件技术的实现

以国家“863”项目面向网络化制造的AsP(Application Service Provider)平台开发及应用为背景,针对在ASP平台提供应用服务需使用平台提供的插件来实现集成从而达到无缝连接这一要求。着重探讨了基于Web Service的插件技术的实现原理,并给出在ASP平台上实现的一个实例。     

Enhancing genetic algorithms for dependent job scheduling in grid computing environments

Genetic Algorithms (GAs) are stochastic search techniques based on principles of natural selection and recombination that attempt to find optimal solutions in polynomial time by manipulating a population of candidate solutions. GAs have been widely used for job scheduling optimisation in both homogeneous and heterogeneous computing environments. When compared with list scheduling heuristics, GAs can potentially provide better solutions but require much longer processing time and significant experimentation to determine GA parameters. This paper presents a GA for scheduling dependent jobs in grid computing environments. A?number of selection and pre-selection criteria for the GA are evaluated with an aim to improve GA performance in job scheduling optimization. A?Task Matching with Data scheme is proposed as a GA mutation operator. Furthermore, the effect of the choice of heuristics for seeding the GA is investigated.     

Multiobjective hierarchical control architecture for greenhouse crop growth

The problem of determining the trajectories to control greenhouse crop growth has traditionally been solved by using constrained optimization or applying artificial intelligence techniques. The economic profit has been used as the main criterion in most research on optimization to obtain adequate climatic control setpoints for the crop growth. This paper addresses the problem of greenhouse crop growth through a hierarchical control architecture governed by a high-level multiobjective optimization approach, where the solution to this problem is to find reference trajectories for diurnal and nocturnal temperatures (climate-related setpoints) and electrical conductivity (fertirrigation-related setpoints). The objectives are to maximize profit, fruit quality, and water-use efficiency, these being currently fostered by international rules. Illustrative results selected from those obtained in an industrial greenhouse during the last eight years are shown and described.     

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.     

Deformation effect of lateral roof roadway in close coal seams after repeated mining

This paper analyzed the deformation mechanism in lateral roof roadway of the Ding Wu-3 roadway which was disturbed by repeated mining of close coal seams Wu-8 and Wu-10 in Pingdingshan No. 1 Mine. To determine the strata disturbance scope, the strata displacement angle was used to calculate the protection pillar width. A numerical model was built considering the field geological conditions. In simulation, the mining stress borderline was defined as the contour where the induced stress is 1.5 times of the original stress. Simulation results show the mining stress borderline of the lateral roadway extended 91.7 m outward after repeated mining. Then the original stress increased, deforming the roadway of interest. This deformation agreed with the in situ observations. Moreover, the strata displacement angle changed due to repeated mining. Therefore, reselection of the displacement angle was required to design the protective pillar width. Since a constant strata displacement angle was used in traditional design, the proposed method was beneficial in field cases.