Modeling unaccounted-for gas among residential natural gas consumers using a comprehensive fuzzy cognitive map

Residential natural gas consumption depends on several factors. Available tools and methods to identify, categorize, and validate effective factors have some limitations, making consumption modeling more complex. Once a comprehensive model of effective consumption factors is developed for residential gas consumers, it can predict consumption. In addition, such a model could be used to verify the accuracy of measuring devices in order to reduce unaccounted for gas (UFG). The key factors affecting residential gas consumption were identified based on previous studies and their mutual effects were analyzed using a fuzzy cognitive mapping (FCM) method. The most significant factors and their effects on natural gas consumption in the residential sector were determined. In this study, for the first time, the expected consumption for each consumer was estimated using a consumption index. Generally, if the estimated consumption is significantly different from the amount recorded by the meter, it could suggest a potential source of UFG. The proposed method was applied to the data collected from the residential gas consumers of a small region in Iran (Dasht-e Arjan region, Fars province), and the results demonstrate the effectiveness of the proposed method.     

A review of the existing performance verification infrastructure for micro-CMMs

The performance verification of micro-CMMs is now of intense interest because of their capability to perform length measurements in three dimensions to high accuracy with low uncertainties. Currently, verification of micro-CMMs is completed in the spirit of existing specification standards, because strict adherence to these standards is often difficult. This review aims to present and discuss verification techniques available for micro-CMMs: specification standards, existing calibrated test lengths and traceability routes that can be associated with micro-CMMs. Three specification standards used in the testing of CMMs will be considered. In addition, a wide range of calibrated test lengths are reported, and any advantages and disadvantages associated with their use are discussed. It is concluded that micro-CMMs cannot yet be verified in accordance with existing specification standards. Suggestions are made for future standardisation work required to rectify these issues.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

Kinetics of light-induced degradation in compensated boron-doped silicon investigated using photoluminescence and numerical simulation

We use photoluminescence to observe light-induced degradation in silicon in real time. Numerical simulations are used to match our results and lifetime decay data from the literature with theoretical models for the generation of the light-induced boron–oxygen defects. It is found that the existing model of the slowly generated defect SRC, where its saturated concentration is a function of the majority carrier concentration, does not explain certain results in both p- and n-type samples. A new model is proposed in which the saturated SRC concentration is controlled by the total hole concentration under illumination.     

Maneuverability modeling and trajectory tracking for fish robot

This study develops a 6-DOF mathematical model for a robotic fish that considers surge, sway, heave, roll, pitch, and yaw. The model considers the conditions of a fish swimming in ocean current perturbations similar to the ocean current perturbations of the slender-body autonomous underwater vehicles. For swimming and turning behaviors, a nonlinear, dynamic, carangiform locomotion model is derived by using a planar four-link model. A 2-DOF barycenter mechanism is proposed to provide body stabilization and to serve as an actuating device for active control design. A barycenter control scheme is developed to change the center of gravity of the robot fish body by moving balancing masses along two axes. The projected torque on x and y axes propel pitch and roll angles to the desired settings. A Stabilizing controller, fish-tail mechanism, rigid body dynamics, and kinematics are incorporated to enable the fish robot to move in three dimensional space. Simulation results have demonstrated maneuverability and control system performance of the developed controller which is proposed to conduct path tracking of the robot fish as it swims under current perturbations.     

A terrain risk assessment method for military surveillance applications for mobile assets

This study proposes an analytical and flexible terrain risk assessment method for military surveillance applications for mobile assets. Considering the risk as the degree of possibility of insurgent presence, the assessment method offers an efficient evaluation of risk in the surrounding terrain for military combat operating posts or observation posts. The method is designed for unmanned aerial vehicles as the surveillance assets of choice to improve the effectiveness of their use. Starting with the area map and geographical data, the target terrain is first digitized for space representation. Then the data of nine geographical parameters are used to formulate five contributing risk factors. These factors are incorporated in an analytical framework to generate a composite map with risk scores that reveal the potential high-risk spots in the terrain. The proposed method is also applied to a real-life case study of COP Kahler in Afghanistan, which was a target for insurgent attacks in 2008. The results confirm that when evaluated with the developed method, the region that the insurgents used to approach COP Kahler has high concentration of high-risk cells.     

Modeling and analysis of passive worm propagation in the P2P file-sharing network

A number of worms, named P2P (peer-to-peer) passive worms, have recently surfaced, which propagate in P2P file-sharing networks and have posed heavy threats to these networks. In contrast to the majority of Internet worms, it is by exploiting users’ legitimate activities instead of vulnerabilities of networks in which P2P passive worms propagate. This feature evidently slows down their propagation, which results in them not attracting an adequate amount of attention in literature. Meanwhile, this feature visibly increases the difficulty of detecting them, which makes it very possible for them to become epidemic. In this paper, we propose an analytical model for P2P passive worm propagation by adopting epidemiological approaches so as to identify their behaviors and predict the tendency of their propagation accurately. Compared with a few existing models, dynamic characteristics of P2P networks are taken into account. Based on this proposed model, the sufficient condition for the global stability of the worm free equilibrium is derived by applying epidemiological theories. Large scale simulation experiments have validated both the proposed model and the condition.     

Review of pulsed thermal NDT: Physical principles,theory and data processing

This paper summarizes the basics of pulsed thermal nondestructive testing (TNDT) including theoretical solutions, data processing algorithms and practical implementation. Typical defects are discussed along with 1D analytical and multi-dimensional numerical solutions. Special emphasis is focused on defect characterization by the use of inverse solutions. A list of TNDT terms is provided. Applications of active TNDT, mainly in the aerospace industry, are discussed briefly, and some trends in the further development of this technique are described.     

Bond graph modeling,design and experimental validation of a photovoltaic/fuel cell/ electrolyzer/battery hybrid power system

This work presents a complete bond graph modeling of a hybrid photovoltaic-fuel cell-electrolyzer-battery system. These are multi-physics models that will take into account the influence of temperature on the electrochemical parameters. A bond graph modeling of the electrical dynamics of each source will be introduced. The bond graph models were developed to highlight the multi-physics aspect describing the interaction between hydraulic, thermal, electrochemical, thermodynamic, and electrical fields. This will involve using the most generic modeling approach possible for managing the energy flows of the system while taking into account the viability of the system. Another point treated in this work is to propose. In this work, a new strategy for the power flow management of the studied system has been proposed. This strategy aims to improve the overall efficiency of the studied system by optimizing the decisions made when starting and stopping the fuel cell and the electrolyzer. It was verified that the simulation results of the proposed system, when compared to simulation results presented in the literature, that the hydrogen demand is increased by an average of 8%. The developed management algorithm allows reducing the fuel cell degradation by 87% and the electrolyzer degradation by 65%. As for the operating time of the electrolyzer, an increment of 65% was achieved, thus improving the quality of the produced hydrogen. The Fuel Cell's running time has been decreased by 59%. With the ambition to validate the models proposed and the associated commands, the development of this study gave rise to the creation of an experimental platform. Using this high-performance experimental platform, experimental tests were carried out and the results obtained are compared with those obtained by simulation under the same metrological conditions.