A computational intelligence-based forecasting system for telecommunications time series

In this work a computational intelligence-based approach is proposed for forecasting outgoing telephone calls in a University Campus. A modified Takagi-Sugeno-Kang fuzzy neural system is presented, where the consequent parts of the fuzzy rules are neural networks with an internal recurrence, thus introducing the dynamics to the overall system. The proposed model, entitled Locally Recurrent Neurofuzzy Forecasting System (LR-NFFS), is compared to well-established forecasting models, where its particular characteristics are highlighted.     

A computational situation assessment model for nuclear power plantoperations

This paper presents a computational situation assessment (SA) model and a model-based SA metric for nuclear power plant operations. The model and metric development starts with a definition of the plant operator's SA centered decision making behavior. A computational SA model and a model-based SA metric are then developed to quantify and measure operator SA. Using the SA model as a core, we further develop an integrated operator/plant model that provides for explicit representation of the operator's fundamental functions of information processing, situation assessment, and decision making in a closed-loop plant/operator simulation environment. We evaluate the model and metric in a model-based simulation of a selected emergency scenario, and a model-based analysis of a range of contemplated nuclear power plant automation/aiding options     

Special issue on computational intelligence-based modeling,control and estimation in modern mechatronic systems

Neural Computing and Applications -     

一种低复杂度非正交多址接入功率分配算法

功率分配是非正交多址系统(NOMA)资源分配中的一个重要研究问题。最优迭代注水功率分配算法能提高系统性能,但是算法复杂度较高。提出一种低复杂度的功率分配算法,首先对子载波采用注水原理得到总的复用功率,然后在单个子载波上叠加用户间采用分数阶功率分配方法进行功率再分配。通过仿真分析,与最优迭代注水功率分配算法相比,该算法在性能损失不超过3%的情况下,大幅减低了计算复杂度。     

A new tool for dynamic security assessment of power systems

This paper describes a new tool for dynamic security assessment of power systems, in which two technologies are combined: the EEAC method and time-domain simulations. Details of the structure and functionalities of the tool are discussed. The applications of the tool are illustrated with a realistic power-system model as an example. The results show that both fast computation speed and reliable performance are achieved.     

On the computational power of insertion-deletion systems

Gene insertion and deletion are basic phenomena found in DNA processing or RNA editing in molecular biology. The genetic mechanism and development based on these evolutionary transformations have been formulated as a formal system with two operations of insertion and deletion, called insertion-deletion systems (Kari and Thierrin, 1996; Kari et al., 1997).We investigate the generative power of insertion-deletion systems (InsDel systems), and show that the family INS ¹ ₁ DEL ¹ ₁ is equal to the family of recursively enumerable languages. This gives a positive answer to an open problem posed in Kari et al. (1997) where it was conjectured contrary. This revised version was published online in June 2006 with corrections to the Cover Date.     

安防系统弱点评估算法的可视化实现

对安全防范系统（SPS）而言,弱点评估是系统效能评估的重要组成部分。现有的弱点评估算法普遍使用的入侵序列图（ASD）模型,在准确性、可靠性和直观性上存在一定的缺陷。对现有的弱点评估算法进行改进。提出用二维地图替代入侵序列图进行系统建模;引入广义的启发式搜索算法,以满足动态效能评估的实时性要求;添加防护元件的灵敏度分析模块,使系统在进行定期维护与升级时能获得最高的成本-效益。提出的算法已经通过编程实现,并用得到的VVA-SPS（Visualized Effectiveness Assessment of Security and Protection Systems）程序针对不同防护对象进行了算法的有效性验证。     

Model-based, real-time control of electrical power systems

Automated control of a large electrical power distribution network through a single controller can provide advantages in efficiency and reliability as well as reduction in maintenance costs. For control to be most effective, it is necessary that a global view of the entire network be had by the controller, so that it can reason as to the cause of the readings of the various sensing devices located throughout the network, Traditional approaches to power system control have involved a set of local devices (i.e., protective relays) that base their decision on the instantaneous reading of a single sensor. These single-parameter decisions can sometimes be incorrect due to sensor failures. Furthermore, a special type of fault called a soft fault, where a fault impedance limits the current to a value below the relay operating point, are nearly impossible to detect with decisions based on a single local parameter. By reasoning over an entire suit of sensing devices spread throughout the entire network, protection decisions based on a global view can become more reliable as well as comprehensive. Some previous approaches have implemented global control with varying degrees of success through the use of rule-based knowledge-based systems. This paper describes an alternative knowledge-based approach that makes use of so-called models of structure-and-behavior, to which model-based diagnosis is applied. The objective of this approach is to develop a system that can reliably diagnose faults in power distribution networks (especially soft faults), identify sensor failures, and carry out appropriate corrective action automatically. An intelligent power controller (IPC) which has these capabilities is described. This IPC was rigorously tested in an DC electrical power distribution system testbed and found to successfully carry out the required functions. This paper also describes in detail the tests and the conclusions drawn from their results     

The computational power of membrane systems under tight uniformity conditions

We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined as uniform families of computational devices. To date, polynomial time uniformity has been the accepted uniformity notion for membrane systems. Here, we introduce the idea of using AC ⁰-uniformity and investigate the computational power of membrane systems under these tighter conditions. It turns out that the computational power of some systems is lowered from P to NL when using AC ⁰-semi-uniformity, so we argue that this is a more reasonable uniformity notion for these systems as well as others. Interestingly, other P-semi-uniform systems that are known to be lower-bounded by P are shown to retain their P lower-bound under the new tighter semi-uniformity condition. Similarly, a number of membrane systems that are known to solve PSPACE-complete problems retain their computational power under tighter uniformity conditions.     

A software environment for studying computational neural systems

UCLA-SFINX is a neural network simulation environment that enables users to simulate a wide variety of neural network models at various levels of abstraction. A network specification language enables users to construct arbitrary network structures. Small, structurally irregular networks can be modeled by explicitly defining each neuron and can be modeled by explicitly defining each neuron and corresponding connections. Very large networks with regular connectivity patterns can be implicitly specified using array constructs. Graphics support, based on X Windows System, is provided to visualize simulation results. Details of the simulation environment are described, and simulation examples are presented to demonstrate SFINX's capabilities     

A suite of objective biomechanical measurement tools for personal load carriage system assessment

For application to military and civilian needs, Defence Research and Development Canada—Toronto contracted Queen's University, Kingston to develop a suite of biomechanical assessment and analytical tools to supplement human-based load carriage system assessment methods. This suite of tools permitted efficient objective evaluation of biomechanical aspects of load-bearing webbing, vests, packs and their components, and therefore contributed to early system assessment and a rapid iterative design process. This paper is a summary of five assessment and analytical tools. A dynamic load carriage simulator was developed to simulate cadence of walking, jogging and running. The simulator comprised a computer-controlled pneumatic platform that oscillated anthropometrically weighted mannequins of varying dimensions from which measures of skin contact pressure, hip reaction forces and moments and relative pack-person displacements were taken. A stiffness tester for range of motion provided force-displacement data on pack suspension systems. A biomechanical model was used to determine forces and moments on the shoulders and hips, and validated using a static load distribution mannequin. Subjective perceptual rating systems were used gather soldier feedback during a standardized mobility circuit. Objective outcome measures were validated by means of other objective measures (e.g., Optotrak®, video, Instron®, etc.) and then compared to subjective ratings. This approach led to development of objective performance criteria for load carriage systems and to improvements in load carriage designs that could be used both in the military and in general.     

A suite of objective biomechanical measurement tools for personal load carriage system assessment

For application to military and civilian needs, Defence Research and Development Canada--Toronto contracted Queen's University, Kingston to develop a suite of biomechanical assessment and analytical tools to supplement human-based load carriage system assessment methods. This suite of tools permitted efficient objective evaluation of biomechanical aspects of load-bearing webbing, vests, packs and their components, and therefore contributed to early system assessment and a rapid iterative design process. This paper is a summary of five assessment and analytical tools. A dynamic load carriage simulator was developed to simulate cadence of walking, jogging and running. The simulator comprised a computer-controlled pneumatic platform that oscillated anthropometrically weighted mannequins of varying dimensions from which measures of skin contact pressure, hip reaction forces and moments and relative pack-person displacements were taken. A stiffness tester for range of motion provided force-displacement data on pack suspension systems. A biomechanical model was used to determine forces and moments on the shoulders and hips, and validated using a static load distribution mannequin. Subjective perceptual rating systems were used gather soldier feedback during a standardized mobility circuit. Objective outcome measures were validated by means of other objective measures (e.g., Optotrak, video, Instron, etc.) and then compared to subjective ratings. This approach led to development of objective performance criteria for load carriage systems and to improvements in load carriage designs that could be used both in the military and in general.     

A computational model for developing semantic web-based educational systems

Recently, some initiatives to start the so-called semantic web-based educational systems (SWBES) have emerged in the field of artificial intelligence in education (AIED). The main idea is to incorporate semantic web resources to the design of AIED systems aiming to update their architectures to provide more adaptability, robustness and richer learning environments. However, the construction of such systems is highly complex and faces several challenges in terms of software engineering and artificial intelligence aspects. This paper presents a computational model for developing SWBES focusing on the problem of how to make the development easier and more useful for both developers and authors. In order to illustrate the features of the proposed model, a case study is presented. Furthermore, a discussion about the results regarding the computational model construction is available.     

A computational algorithm for pole assignment of linear multiinput systems

An efficient computational algorithm for pole assignment of linear multiinput systems is proposed. A preliminary stage of the algorithm is a reduction of the system matrices into orthogonal canonical form. The gain matrix elements are then found by orthogonal transformation of the closed-loop system matrix into upper quasi-triangular form whose diagonal blocks correspond to the desired poles. The algorithm is numerically stable, the computed gain matrix being exact for a system with slightly perturbed matrices. It works equally well with real and complex, distinct, and multiple poles and is applicable to ill-conditioned and high-order problems.     

A computational framework for simulation of Underwater Robotic Vehicle systems

This paper presents a computational framework for efficiently simulating the dynamics and hydrodynamics of Underwater Robotic Vehicle (URV) systems. Through the use of object-oriented mechanisms, a very general yet efficient version of the Articulated-Body (AB) algorithm has been implemented. An efficient solution to branching within chains is developed in the paper so that the algorithm can be used to compute the dynamics for the entire class of open-chain, tree-structured mechanisms. By including compliant contacts with the environment, most closed-chain systems can also be modeled. URV systems with an extended set of topologies can be simulated including proposed underwater walking machines with intra-body powered articulations. Using the encapsulation inherent in C++, the hydrodynamics code has been confined to a single class, thereby explicitly defining this framework and providing an environment for readily implementing desired hydrodynamics algorithms. Resulting simulations are very efficient and can be used in a number of applications both in the development and use of URV systems.     

Modeling and simulation of chaotic phenomena in electrical power systems

Modeling and simulation of nonlinear systems under chaotic behavior is presented. Nonlinear systems and their relation to chaos as a result of nonlinear interaction of different elements in the system are presented. Application of chaotic theory for power systems is discussed through simulation results. Simulation of some mathematical equations, e.g. Vander Pol's equation, Lorenz's equation, Duffing's equation and double scroll equations are presented. Theoretical aspects of dynamical systems, the existence of chaos in power system and their dependency on system parameters and initial conditions using computer simulations are discussed. From the results one can easily understand the strange attractor and transient stages to voltage collapse, angle instability or voltage collapse and angle divergence simultaneously. Important simulation results of chaos for a model three bus system are presented and discussed.