Special issue on cyber physical systems

This special issue is devoted to recent research findings in the field of Cyber Physical Systems. The special issue follows “The IEEE 26th International Conference on Advanced Information Networking and Applications (AINA-2012)”, held at the Fukuoka Institute of Technology, Fukuoka, Japan, March 26–29, 2012.     

Fuzzy harmony search based optimal control strategy for wireless cyber physical system with industry 4.0

Journal of Intelligent Manufacturing - Recently, Industry 4.0 facilitates implementing several modular smart factories particularly the Cyber-Physical System. Due to enhanced growth in the...     

基于Markov模型的系统安全性和可靠性分析

建立了二乘二取二系统状态转换的Markov模型,研究了失效率、维修系数、故障检测覆盖率等参数对二乘二取二系统的安全性、可靠性和可用性的影响,证明分布式二乘二取二系统具有更高的可靠性、安全性。     

Structural reliability assessment based on directional vector approximation method

A new numerical integration method for calculating structural failure probabilities based on a directional vector approximation is proposed. The approach is based on a division method of the surface of the unit hypersphere, in which the directional vectors are determined by relating to the finite element meshes allocated on the surface of the unit hypersphere. The failure probability is calculated by using the values of area of the finite element meshes and the upper probabilities of the chi square distribution. Numerical examples are provided to show the validity of the proposed method, which gives efficiently good approximate values of structural failure probabilities.     

基于LabVIEW的虚拟仪器技术在结构健康监测中的应用

基于虚拟仪器技术构建新的结构健康监测系统,介绍了利用LabVIEW图形化编程语言开发设计结构健康监测系统的设计思想、结构组成、实现方法和功能.与传统结构健康监测系统相比,基于虚拟仪器的结构健康监测系统,具有可操作性强、通用性好、性价比高、功能强大、快捷方便等特点.并且能够实现数据的自动采集和在线实时监测,可以对数据进行多种方式的分析和处理,在工程实际中具有广阔的应用前景.     

A survey on run-time supporting platforms for cyber physical systems

Cyber physical systems (CPSs) incorporate computation, communication, and physical processes. The deep coupling and continuous interaction between such processes lead to a significant increase in complexity in the design and implementation of CPSs. Consequently, whereas developing CPSs from scratch is inefficient, developing them with the aid of CPS run-time sup-porting platforms can be efficient. In recent years, much research has been actively conducted on CPS run-time supporting plat-forms. However, few surveys have been conducted on these platforms. In this paper, we analyze and evaluate existing CPS run-time supporting platforms by first classifying them into three categories from the viewpoint of software architecture: com-ponent-based platforms, service-based platforms, and agent-based platforms. Then, for each type, we detail its design philosophy, key technical problems, and corresponding solutions with specific use cases. Subsequently, we compare existing platforms from two aspects: construction approaches for CPS tasks and support for non-functional properties. Finally, we outline several im-portant future research issues.     

The AXIOM platform for next-generation cyber physical systems

Cyber-Physical Systems (CPSs) are widely used in many applications that require interactions between humans and their physical environment. These systems usually integrate a set of hardware-software components for optimal application execution in terms of performance and energy consumption. The AXIOM project (Agile, eXtensible, fast I/O Module), presented in this paper, proposes a hardware-software platform for CPS coupled with an easy parallel programming model and sufficient connectivity so that the performance can scale-up by adding multiple boards. AXIOM supports a task-based programming model based on OmpSs and leverages a high-speed, inexpensive communication interface called AXIOM-Link. The board also tightly couples the CPU with reconfigurable resources to accelerate portions of the applications. As case studies, AXIOM uses smart video surveillance, and smart home living applications.     

供应链系统的可靠性分析

对研究和提高供应链系统可靠性的重要性与供应链系统可靠性研究的特点进行了分析,在考虑供应链结构与节点企业可靠度基础上提出了供应链系统可靠性分析框架.在供应链系统中导入结构函数表达供应链的结构可靠性,对供应链结构可靠性的性质进行了分析.供应链系统是1个复杂的动态系统,许多影响因素的存在使得企业可靠性具有强烈的随机性,导入供...     

Structural reliability assessment based on probability and convex set mixed model

This paper investigates the reliability assessment of structures exhibiting both stochastic and bounded uncertainties by using a probability and convex set mixed model. The safety measure of a structure is quantified by a reliability index defined by a nested minimization problem. An iterative procedure is developed for seeking the worst-case point and the most probable failure point in the standard uncertainty space. Numerical examples are given to demonstrate the applicability of the probability and convex set mixed model representation in the structural reliability assessment, as well as to illustrate the validity and effectiveness of the proposed numerical method.     

基于遗传算法的信息系统可靠性优化设计

设备冗余是信息系统进行可靠性优化设计的常用策略之一,其主要问题在于冗余设备的选择和配置,以达到满足一定可靠性要求下实现成本最小化的目的。这是一类结构复杂的规划问题,很难采用传统的数值算法进行求解,遗传算法提供了有效的解决方法。首先运用信息系统Petri网模型的层次结构分析结果,给出区分结点重要度的系统可靠性度量公式。在此基础上提出优化模型,给出遗传算法求解优化问题的步骤,并通过实例证明了方法的有效性及实用性。     

Fuzzy Bayesian system reliability assessment based on Pascal distribution

The main purpose of this paper is to provide a methodology for discussing the fuzzy. Bayesian system reliability from the fuzzy component reliabilities, actually we discuss on the Fuzzy Bayesian system reliability assessment based on Pascal distribution, because the data sometimes cannot be measured and recorded precisely. In order to apply the Bayesian approach, the fuzzy parameters are assumed as fuzzy random variables with fuzzy prior distributions. The (conventional) Bayes estimation method will be used to create the fuzzy Bayes point estimator of system reliability by invoking the well-known theorem called ‘Resolution Identity’ in fuzzy sets theory. On the other hand, we also provide the computational procedures to evaluate the membership degree of any given Bayes point estimate of system reliability. In order to achieve this purpose, we transform the original problem into a nonlinear programming problem. This nonlinear programming problem is then divided into four sub-problems for the purpose of simplifying computation. Finally, the sub problems can be solved by using any commercial optimizers, e.g. GAMS or LINGO.     

基于审计证据推理的信息系统运行可靠性预测

为了准确了解信息系统运行可靠程度,并通过事先维护提升系统运行性能,构建了融合信息系统审计和证据推理方法的系统运行可靠性预测模型.通过系统组成要素和运行过程的信息系统审计获得审计证据,在证据推理方法框架下,对这些包含不确定信息的定性和定量证据进行转化与处理,在若干时刻系统可靠性进行评估的基础上,实现对未来某一时刻系统运行可靠程度的预测.最后通过案例详细说明了模型的用法和功能.     

Immuno-inspired autonomic system for cyber defense

The biological immune system is an autonomic system for self-protection, which has evolved over millions of years probably through extensive redesigning, testing, tuning and optimization process. The powerful information processing capabilities of the immune system, such as feature extraction, pattern recognition, learning, memory, and its distributive nature provide rich metaphors for its artificial counterpart. Our study focuses on building an autonomic defense system, using some immunological metaphors for information gathering, analyzing, decision making and launching threat and attack responses. This on-going research effort is not to mimic the nature but to explore and learn valuable lessons useful for self-adaptive cyber defense systems.     

Structural dynamic topology optimization based on dynamic reliability using equivalent static loads

An approach for reliability-based topology optimization of interval parameters structures under dynamic loads is proposed. We modify the equivalent static loads method for non linear static response structural optimization (ESLSO) to solve the dynamic reliability optimization problem. In our modified ESLSO, the equivalent static loads (ESLs) are redefined to consider the uncertainties. The new ESLs including all the uncertainties from geometric dimensions, material properties and loading conditions generate the same interval response field as dynamic loads. Based on the definition of the interval non-probabilistic reliability index, we construct the static reliability topology optimization model using ESLs. The method of moving asymptotes (MMA) is employed as the optimization problem solver. The applicability and validity of the proposed model and numerical techniques are demonstrated with three numerical examples.     

基于随机Petri网的软件可靠性分析方法

软件可靠性模型对于软件可靠性估测起着核心作用.目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求.针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性评估的思想.使用该方法建立起的模型可以很好的描述软件系统的动态变化过程,尽可能多的考虑了影响软件可靠性的因素,有利于降低软件可靠性描述与分析的复杂度,并可以得到软件系统处于各个状态的瞬时及稳态概率.     

基于全信号取点率的结构健康监测

在结构健康监测中,由于软件和仪器信息存储容量限制,如果对接收到的信号做全信号的分析,对数据的处理和仪器的运算都带来比较大的困难,本文提出基于采点率的信号处理方法,既能反应整个信号的缺陷特征,又能有效减少运算量,同时又可以保证健康监测的精度.为确保选取的信号包含缺陷反射回波信息,分别采用不同取点率对这种方法进行验证.试验结果表明,在实际的监测过程中选择合适的取点率,可以大幅度降低对检测仪器和软件的要求,同时还能保证效果.     

基于退化建模的可靠性分析研究现状

基于退化数据具有比失效时间数据更多的可靠性信息,为高可靠、长寿命产品提供了一种有效的可靠性分析方法,为此对退化建模领域的相关理论研究与工程实践作了阶段性的总结．首先介绍了退化建模的概念和发展现状;接着给出了退化模型与失效时间分布之间的关系;然后按无应力因子和有应力因子两种情形对退化建模的相关研究进行了概述;最后简要分析了退化建模领域中的热点问题,并对下一步的研究进行了展望．     

基于逆向思维的系统可靠性精确分配模型

为了实现系统可靠性设计后期可靠度的精确分配,提出一种采用逆向思维,利用神经网络能够通过学习逼近任意非线性映射的能力,对系统可靠度进行精确分配的方法.以前期可靠性试验数据为基础,分析各子系统可靠度及自身约束条件变化过程中,系统可靠度的变化程度,从而获得子系统可靠度变化对系统整体可靠性影响的程度,作为可靠性分配的依据.将系统可靠度及两两对应子系统自身约束条件作为输入,同时以相对的子系统可靠度比值作为输出,对误差反向传播(BP)神经网络和径向基函数(RBF)神经网络进行训练,并对比较了测试结果,得出了系统可靠度精确分配的神经网络模型.