• Title/Summary/Keyword: system of computer mathematics

Search Result 331, Processing Time 0.022 seconds

Cost Implications of Imperfect Repair in Software Reliability

  • Chuiv, Nora-Ni;Philip J. Boland
    • International Journal of Reliability and Applications
    • /
    • v.2 no.3
    • /
    • pp.147-160
    • /
    • 2001
  • The reliability of computer software is of prime importance for all developers of software. The complicated nature of detecting and removing faults from software has led to a plethora of models for reliability growth. One of the most basic of these is the Jelinski Moranda model, where it is assumed that there are N faults in the software, and that in testing, bugs (or faults) are encountered (and removed when defected) according to a stochastic process at a rate which at a given point in time is proportional to the number of bugs remaining in the system. In this research, we consider the possibility that imperfect repair may occur in any attempt to remove a detected bug in the Jelinski Moranda model. We let p represent the probability that a fault which is discovered or detected is actually perfectly repaired. The possibility that the probability p may differ before and after release of the software is also considered. The distribution of both the number of bugs detected and perfectly repaired in a given time period is studied. Cost models for the development and release of software are investigated, and the impact of the parameter p on the optimal release time minimizing expected costs is assessed.

  • PDF

Distance Measurement Using a Single Camera with a Rotating Mirror

  • Kim Hyongsuk;Lin Chun-Shin;Song Jaehong;Chae Heesung
    • International Journal of Control, Automation, and Systems
    • /
    • v.3 no.4
    • /
    • pp.542-551
    • /
    • 2005
  • A new distance measurement method with the use of a single camera and a rotating mirror is presented. A camera in front of a rotating mirror acquires a sequence of reflected images, from which distance information is extracted. The distance measurement is based on the idea that the corresponding pixel of an object point at a longer distance moves at a higher speed in a sequence of images in this type of system setting. Distance measurement based on such pixel movement is investigated. Like many other image-based techniques, this presented technique requires matching corresponding points in two images. To alleviate such difficulty, two kinds of techniques of image tracking through the sequence of images and the utilization of multiple sets of image frames are described. Precision improvement is possible and is one attractive merit. The presented approach with a rotating mirror is especially suitable for such multiple measurements. The imprecision caused by the physical limit could be improved through making several measurements and taking an average. In this paper, mathematics necessary for implementing the technique is derived and presented. Also, the error sensitivities of related parameters are analyzed. Experimental results using the real camera-mirror setup are reported.

A study on operation efficacy and security improvement through structural modification of CCTV network for bansong water purification plant (반송정수장 CCTV망의 구조개선을 통한 운영효율화 및 보안성 개선사례에 관한 연구)

  • Park, Yeunchul;Choi, Hyunju
    • Journal of Korean Society of Water and Wastewater
    • /
    • v.32 no.2
    • /
    • pp.193-200
    • /
    • 2018
  • Owing to the development in information and communications technologies have improved the technology for high-speed transmission of massive data, which has changed closed-circuit television (CCTV) video transmission technology. In particular, digitization of the CCTV video format and streaming technology has made it possible to minimize transmission loss and integrate video transmission and camera control(pan/tilt). It has also become possible to provide additional services like remote emergency warning broadcasting with just Internet Protocol (IP). However, because of the structural problems of IP, these changes have also brought about the threat of hacking of CCTV monitoring systems. In this study, we propose a methode to optimize network management by examining cases of enhancement of operational efficiency and security by improving the structure of CCTV monitoring network.

An intelligent monitoring of greenhouse using wireless sensor networks

  • Touhami, Achouak;Benahmed, Khelifa;Parra, Lorena;Bounaama, Fateh;Lloret, Jaime
    • Smart Structures and Systems
    • /
    • v.26 no.1
    • /
    • pp.117-134
    • /
    • 2020
  • Over recent years, the interest for vegetables and fruits in all seasons and places has much increased, from where diverse countries have directed to the commercial production in greenhouse. In this article, we propose an algorithm based on wireless sensor network technologies that monitor the microclimate inside a greenhouse and linear equations model for optimization plant production and material cost. Moreover, we also suggest a novel design of an intelligent greenhouse. We validate our algorithms with simulations on a benchmark based on experimental data made at lNRA of Montfavet in France. Finally, we calculate the statistical estimators RMSE, TSSE, MAPE, EF and R2. The results obtained are promising, which shows the efficiency of our proposed system.

Multi-classifier Fusion Based Facial Expression Recognition Approach

  • Jia, Xibin;Zhang, Yanhua;Powers, David;Ali, Humayra Binte
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.8 no.1
    • /
    • pp.196-212
    • /
    • 2014
  • Facial expression recognition is an important part in emotional interaction between human and machine. This paper proposes a facial expression recognition approach based on multi-classifier fusion with stacking algorithm. The kappa-error diagram is employed in base-level classifiers selection, which gains insights about which individual classifier has the better recognition performance and how diverse among them to help improve the recognition accuracy rate by fusing the complementary functions. In order to avoid the influence of the chance factor caused by guessing in algorithm evaluation and get more reliable awareness of algorithm performance, kappa and informedness besides accuracy are utilized as measure criteria in the comparison experiments. To verify the effectiveness of our approach, two public databases are used in the experiments. The experiment results show that compared with individual classifier and two other typical ensemble methods, our proposed stacked ensemble system does recognize facial expression more accurately with less standard deviation. It overcomes the individual classifier's bias and achieves more reliable recognition results.

ADA: Advanced data analytics methods for abnormal frequent episodes in the baseline data of ISD

  • Biswajit Biswal;Andrew Duncan;Zaijing Sun
    • Nuclear Engineering and Technology
    • /
    • v.54 no.11
    • /
    • pp.3996-4004
    • /
    • 2022
  • The data collected by the In-Situ Decommissioning (ISD) sensors are time-specific, age-specific, and developmental stage-specific. Research has been done on the stream data collected by ISD testbed in the recent few years to seek both frequent episodes and abnormal frequent episodes. Frequent episodes in the data stream have confirmed the daily cycle of the sensor responses and established sequences of different types of sensors, which was verified by the experimental setup of the ISD Sensor Network Test Bed. However, the discovery of abnormal frequent episodes remained a challenge because these abnormal frequent episodes are very small signals and may be buried in the background noise of voltage and current changes. In this work, we proposed Advanced Data Analytics (ADA) methods that are applied to the baseline data to identify frequent episodes and extended our approach by adding more features extracted from the baseline data to discover abnormal frequent episodes, which may lead to the early indicators of ISD system failures. In the study, we have evaluated our approach using the baseline data, and the performance evaluation results show that our approach is able to discover frequent episodes as well as abnormal frequent episodes conveniently.

Effective Inverse Matrix Transformation Method for Haptic Volume Rendering (햅틱 볼륨 렌더링을 위한 효과적인 역행렬 계산법)

  • Kim, Nam-Oh;Min, Wan-Ki;Jung, Won-Tae;Kim, Young-Dong
    • Proceedings of the KIEE Conference
    • /
    • 2007.11c
    • /
    • pp.183-186
    • /
    • 2007
  • Realistic deformation of computer simulated anatomical structures is computationally intensive. As a result, simple methodologies not based in continuum mechanics have been employed for achieving real time deformation of virtual reality. Since the graphical interpolations and simple spring models commonly used in these simulations are not based on the biomechanical properties of tissue structures, these "quick and dirty"methods typically do not accurately represent the complex deformations and force-feedback interactions that can take place during surgery. Finite Element(FE) analysis is widely regarded as the most appropriate alternative to these methods. However, because of the highly computational nature of the FE method, its direct application to real time force feedback and visualization of tissue deformation has not been practical for most simulations. If the mathematics are optimized through pre-processing to yield only the information essential to the simulation task run-time computation requirements can be drastically reduced. To apply the FEM, We examined a various in verse matrix method and a deformed material model is produced and then the graphic deformation with this model is able to force. As our simulation program is reduced by the real-time calculation and simplification because the purpose of this system is to transact in the real time.

  • PDF

A hybrid conventional computer simulation via GDQEM and Newmark-beta techniques for dynamic modeling of a rotating micro nth-order system

  • Fan, Linyuan;Zhang, Xu;Zhao, Xiaoyang
    • Advances in nano research
    • /
    • v.12 no.2
    • /
    • pp.167-183
    • /
    • 2022
  • In this paper, the free and forced vibration analysis of rotating cantilever nanoscale cylindrical beams and tubes is investigated under the external dynamic load to examine the nonlocal effect. A couple of nonlocal strain gradient theories with different beams and tubes theories, involving the Euler-Bernoulli, Timoshenko, Reddy beam theory along with the higher-order tube theory, are assumed to the mathematic model of governing equations employing the Hamilton principle in order to derive the nonlocal governing equations related to the local and accurate nonlocal boundary conditions. The two-dimensional functional graded material (2D-FGM), made by the axially functionally graded (AFG) in conjunction with the porosity distribution in the radial direction, is considered material modeling. Finally, the derived Partial Differential Equations (PDE) are solved via a couple of the generalized differential quadrature element methods (GDQEM) with the Newmark-beta techniques for the time-dependent results. It is indicated that the boundary conditions equations play a crucial task in responding to nonlocal effects for the cantilever structures.

Robust Segmentation for Low Quality Cell Images from Blood and Bone Marrow

  • Pan Chen;Fang Yi;Yan Xiang-Guo;Zheng Chong-Xun
    • International Journal of Control, Automation, and Systems
    • /
    • v.4 no.5
    • /
    • pp.637-644
    • /
    • 2006
  • Biomedical image is often complex. An applied image analysis system should deal with the images which are of quite low quality and are challenging to segment. This paper presents a framework for color cell image segmentation by learning and classification online. It is a robust two-stage scheme using kernel method and watershed transform. In first stage, a two-class SVM is employed to discriminate the pixels of object from background; where the SVM is trained on the data which has been analyzed using the mean shift procedure. A real-time training strategy is also developed for SVM. In second stage, as the post-processing, local watershed transform is used to separate clustering cells. Comparison with the SSF (Scale space filter) and classical watershed-based algorithm (those are often employed for cell image segmentation) is given. Experimental results demonstrate that the new method is more accurate and robust than compared methods.

A FUNCTIONAL CENTRAL LIMIT THEOREM FOR MULTIVARIATE LINEAR PROCESS WITH POSITIVELY DEPENDENT RANDOM VECTORS

  • KO, MI-HWA;KIM, TAE-SUNG;KIM, HYUN-CHULL
    • Honam Mathematical Journal
    • /
    • v.27 no.2
    • /
    • pp.301-315
    • /
    • 2005
  • Let $\{A_u,\;u=0,\;1,\;2,\;{\cdots}\}$ be a sequence of coefficient matrices such that ${\sum}_{u=0}^{\infty}{\parallel}A_u{\parallel}<{\infty}$ and ${\sum}_{u=0}^{\infty}\;A_u{\neq}O_{m{\times}m}$, where for any $m{\times}m(m{\geq}1)$, matrix $A=(a_{ij})$, ${\parallel}A{\parallel}={\sum}_{i=1}^m{\sum}_{j=1}^m{\mid}a_{ij}{\mid}$ and $O_{m{\times}m}$ denotes the $m{\times}m$ zero matrix. In this paper, a functional central limit theorem is derived for a stationary m-dimensional linear process ${\mathbb{X}}_t$ of the form ${\mathbb{X}_t}={\sum}_{u=0}^{\infty}A_u{\mathbb{Z}_{t-u}}$, where $\{\mathbb{Z}_t,\;t=0,\;{\pm}1,\;{\pm}2,\;{\cdots}\}$ is a stationary sequence of linearly positive quadrant dependent m-dimensional random vectors with $E({\mathbb{Z}_t})={{\mathbb{O}}$ and $E{\parallel}{\mathbb{Z}_t}{\parallel}^2<{\infty}$.

  • PDF