Results 241 to 250 of about 12,438,174 (289)

A Model-based RCM Analysis Method

2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2020
The reliability-centered maintenance (RCM) is one of the most advanced maintenance plan generating technologies for equipments. At present, the key technologies such as FMEA and FMECA supporting the RCM analysis remains in the manual stage in some enterprises. The disadvantages are time-consuming, labour-intensive and error-prone.
Zhibao Mian, Shuli Jia, Xiaodong Shi, Cairong Tang, Junjie Chen, Yaqing Gao   +5 more
openaire   +1 more source

A model based contour searching method

Proceedings IEEE International Symposium on Bio-Informatics and Biomedical Engineering, 2002
A two-step model based approach to a contour extraction problem is developed to provide a solution to more challenging contour extraction problems of biomedical images. A biomedical contour image is initially processed by a deformable contour method to obtain a first order approximation of the contour. The two-step model includes a linked contour model
Yingjie Tang, Lei He 0007, Xun Wang 0008, William G. Wee   +3 more
openaire   +1 more source

A Cost Modeling Method Based on AADL2

2019 4th International Conference on System Reliability and Safety (ICSRS), 2019
The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture optimization analysis of the AADL model.
Zhibao Mian, Cairong Tang, Yaqing Gao, Shuli Jia, Xiaodong Shi, Junjie Chen   +5 more
openaire   +1 more source

An object-based requirements modeling method

Journal of the American Society for Information Science, 1992
The process of system modeling and specification remains primarily a manual, labor-intensive task. The informality often present in initial requirements documents hinders the use of automated tools for system modeling. However, with the aid of a translator to convert the initial requirements document into a more structured representation, improved ...
David W. Cordes, Doris L. Carver
openaire   +1 more source

Towards Model-based Methods for Developing Model-based Systems

International Journal of General Systems, 2004
Model-based reasoning (MBR) is a means of reasoning about models of all kinds, as appropriate to the task at hand. This includes adaptation of models in response to changes in a problem-solving context or task goals. Thus, MBR exemplifies the characteristics of a smart adaptive system.
openaire   +1 more source

Model‐Based Methods for Linkage Analysis

2008
The logarithm of an odds ratio (LOD) score method originated in a seminal article by Newton Morton in 1955. The method is broadly concerned with issues of power and the posterior probability of linkage, ensuring that a reported linkage has a high probability of being a true linkage.
John P, Rice, Nancy L, Saccone, Jonathan, Corbett   +2 more
openaire   +2 more sources

A Formal Modeling Method based on CPN

2006 IEEE International Conference on Systems, Man and Cybernetics, 2006
As a method of system modeling, coloured Petri nets occupy an essential position in the fields of discrete events and dynamic systems. Traditional coloured Petri net is defined with multi-sets that made it difficult in the modeling formalization and difficult to understand in computing.
Shancang Li, Deyun Zhang, Zongbin Li, Fuhai Ma, Feng Wu   +4 more
openaire   +1 more source

A model-based method for object recognition

Proceedings., IEEE International Conference on Robotics and Automation, 2002
A method is presented for using the high-level descriptions of objects (i.e. their models) to recognize them in an image. A complex object is viewed as a congregation of a set of component parts with simple shapes. The model of an object, therefore, describes the shapes of its component parts and states the geometrical relationships among those parts ...
openaire   +1 more source

A modeling method based on CCS for workflow

Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, 2009
Workflow model is used to generate a computerized definition of a business process and help the designer to design, test and validate workflow process. Convenient for verification and optimization, formalized technologies on modeling receive large attentions for their strong theoretic bases.
Li Zhao, Qing Li 0001, Xiaoli Liu, Nanshan Du   +3 more
openaire   +1 more source

A Model Expansion Method in Schema-Based Model Evolution

2010 IEEE 34th Annual Computer Software and Applications Conference Workshops, 2010
In this research, we designed a model expansion method that is used in a new methodology of model composition and evolution for broad design domains. In the methodology, hierarchical model compositional relationships are captured in a model composition graph (MCG) as a schema of designs.
Tsung Lee, Jhih-Syan Hou
openaire   +1 more source