涉密文档违规处理系统在保密部门的应用

计算机网络技术的高速发展大幅提高了人们的工作效率和信息获取量,但是提供便利的同时也隐藏着安全隐患。各地保密部门始终高度重视涉密文件、机密数据及个人隐私的安全防护,以防患于未然。因此针对堵截涉密信息泄露扩散的最佳时机研制出监测涉密文档监控系统。系统可通过安装在外网客户端上的监控程序,对客户机上文档的编辑工作进行监控,将编辑的文档标题自动发送给监视控制台或保密局等主管单位,并对编辑的文档自动进行涉密分析,一旦发现该文档可能包含有涉密信息,即刻屏蔽该机的网络连接,并立即报警。     

Predictive models for emission of hydrogen powered car using various artificial intelligent tools

This paper investigates the use of artificial intelligent models as virtual sensors to predict relevant emissions such as carbon dioxide, carbon monoxide, unburnt hydrocarbons and oxides of nitrogen for a hydrogen powered car. The virtual sensors are developed by means of application of various Artificial Intelligent (AI) models namely; AI software built at the University of Tasmania, back-propagation neural networks with Levenberg–Marquardt algorithm, and adaptive neuro-fuzzy inference systems. These predictions are based on the study of qualitative and quantitative effects of engine process parameters such as mass airflow, engine speed, air-to-fuel ratio, exhaust gas temperature and engine power on the harmful exhaust gas emissions. All AI models show good predictive capability in estimating the emissions. However, excellent accuracy is achieved when using back-propagation neural networks with Levenberg–Marquardt algorithm in estimating emissions for various hydrogen engine operating conditions with the predicted values less than 6% of percentage average root mean square error.     

物联网技术在工业自动化中的应用与研究

物联网技术在现今实际应用中是极为普遍的,所谓物联网技术就是以互联网为载体来进行物与物之间信息交换的过程,以及通过互联网将任何物体与物体联系在一起的一种网络,也就是说,物联网实际上就是物物相连的互联网.     

基于H.264的视频编码标准的关键技术分析

H.261是ITU-T于1990年制定的一个视频编码标准,设计目的是能够在带宽为64kbps的倍数的综合业务数字网上传输质量可接受的视频信号,是最早的运动图像压缩标准,本文对H.261的视频编码标准关键技术研究。     

Group path covering and distance two labeling of graphs

For a positive integer d, an L(d,1)-labeling f of a graph G is an assignment of integers to the vertices of G such that |f(u)−f(v)|?d if uv∈E(G), and |f(u)−f(v)|?1 if u and u are at distance two. The span of an L(d,1)-labeling f of a graph is the absolute difference between the maximum and minimum integers used by f. The L(d,1)-labeling number of G, denoted by λd,1(G), is the minimum span over all L(d,1)-labelings of G. An L^′(d,1)-labeling of a graph G is an L(d,1)-labeling of G which assigns different labels to different vertices. Denote by the L^′(d,1)-labeling number of G. Georges et al. [Discrete Math. 135 (1994) 103-111] established relationship between the L(2,1)-labeling number of a graph G and the path covering number of Gc, the complement of G. In this paper we first generalize the concept of the path covering of a graph to the t-group path covering. Then we establish the relationship between the L^′(d,1)-labeling number of a graph G and the (d−1)-group path covering number of Gc. Using this result, we prove that and for bipartite graphs G can be computed in polynomial time.     

Necessary optimality conditions for fuzzy variational problems

The main aims of this study are to derive the fuzzy Euler-Lagrange conditions for both fuzzy unconstrained and constrained variational problems based on the concepts of differentiability and integrability of a fuzzy mapping that may be parameterized by the left and right-hand functions of its α-level sets.     

Strong stability of the mono-tubular heat exchanger equation with output feedback

We investigate asymptotic behavior of the C₀-semigroup T(t) associated with the mono-tubular heat exchanger equation with output feedback by a perturbation method. It is shown that T(t) is bounded if a constraint is satisfied by the parameters and the spatial distribution function. Further, applying the Arendt-Batty-Lyubich-Vu theorem, a criterion is established to judge strong stability of T(t).     

Stability radius of implicit dynamic equations with constant coefficients on time scales

This paper deals with the stability radii of implicit dynamic equations on time scales when the structured perturbations act on both the coefficient of derivative and the right-hand side. Formulas of the stability radii are derived as a unification and generalization of some previous results. A special case where the real stability radius and the complex stability radius are equal is studied. Examples are derived to illustrate results.     

基于差分蜂群算法的电力系统经济负荷分配

针对电力系统经济负荷分配问题,提出一种有效的差分蜂群算法．受差分进化算法的启发,该算法基于差分进化操作改进了雇佣蜂的搜索方式,提高了探索能力和收敛速度．此外,提出一种有效的修复机制以保证新个体的可行性．该算法在带有阀点效应和多燃料特征的典型电力系统经济负荷分配问题上进行了测试．仿真结果验证了所提算法的有效性．     

Distributed artificial intelligence for FMS scheduling, control and design support

The aim of this paper is to point out some of the abilities of Distributed Artificial Intelligence in the domain of scheduling, control and design support of Flexible Manufacturing Systems. A distributed management system is proposed, based on Distributed Problem Solving, sub-field of Distributed Artificial Intelligence. The basic concepts are the concept of Resource Management Entity to ensure local optimization of the management of resources and the concept of cooperation to provide ability for global and local consistency. The management of resources is associated to activities such as scheduling, control or simulation. It is shown that this system computes not only practicable schedulings, but also presents, on the one hand, some abilities in supporting the design and the robust optimization of Flexible Manufacturing Systems, and, on the other hand, some abilities in supporting real-time control of such systems. This enables, in future works, to design a Distributed Decision Support System for integrated scheduling, control and design support of production systems.