Modular Consistency Analysis of Component-Based Designs
نویسندگان
چکیده
Devices – Models of Computation) Manuscript received: 2 July 2003 Communicating Editor: Sidney A. Morris Copyright© 2004, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges were granted by permission of the Australian Computer Society Inc.
منابع مشابه
Intor: Critical Analysis of Intor-like Designs
INTOR: CRITICAL ANALYSIS OF INTOR-LIRE DESIGNS. A critical and comparative analysis of existing INTOR-like designs has been made. The national designs of the four MOOR Partners and the physical and technical constraints on which they are based have been evaluated. The modelling methods used in reactor design have been further developed and compared to test their consistency. Deep insight into t...
متن کاملAn Improved Modular Modeling for Analysis of Closed-Cycle Absorption Cooling Systems
A detailed modular modeling of an absorbent cooling system is presented in this paper. The model including the key components is described in terms of design parameters, inputs, control variables, and outputs. The model is used to simulate the operating conditions for estimating the behavior of individual components and system performance, and to conduct a sensitivity analysis based on the give...
متن کاملThe Assessment of Reliability and Validity of Persian Version of the Endometriosis Health Profile (EHP-30)
Background: The Endometriosis Health Profile-30 (EHP-30) is a disease-specific questionnaire to measure the health-related quality of life in patients with endometriosis. The aim of this study was to evaluate the validity and reliability of the Persian version of Endometriosis Health Pro-file (EHP-30) in women with endometriosis referring to three Gynecology Clinics in Tehran, Iran. Met...
متن کاملFactor Analysis of the Retirement Decision Inventory for Iranian Elite Athletes
The aim of the study was to evaluate the factor analysis and internal consistency of a Persian version of the Athletes’ Retirement Decision Inventory (P-ARDI). Fernandez et al. (2006) developed this instrument based on the push, pull, antipush, and anti-pull point of view. We required 243 Iranian elite competitive athletes (mean age = 25.19 years; 81% male) to complete the questionnaire. Th...
متن کاملA Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004