Deriving Distributed Design Models from Global State Machines Requirements

2019 ◽  
pp. 27-43
Author(s):  
Mohammad F. Al-hammouri ◽  
Gregor V. Bochmann
Keyword(s):  
Distributed Design ◽  
State Machines ◽  
Global State ◽  
Design Models

Development of a Web-Based Process Planning Optimization System

2004 ◽  
Author(s):  
W. D. Li ◽  
W. F. Lu
Keyword(s):  
Process Planning ◽  
Design System ◽  
Prototype System ◽  
Distributed Design ◽  
Web Based ◽  
Design Models ◽  
Planning Optimization ◽  
Design Activities ◽  
Feature Based Design ◽  
The Web

A Web-based prototype system has been setup for users to carry out visualization-based manipulations and process planning of design models to support distributed design and manufacturing analysis. The process planning module, which has been deployed as services in the Internet, includes four intelligent approaches, and a Tabu search-based approach is explained to illustrate the optimization process. The Web-based system has been integrated with a distributed feature-based design system, and the latter can generate design models and re-represent them in an XML representation based on VRML and attributes of features to provide the input of the former. Through effective utilization of the Web and Java technologies, this system is independent of the operating system, scalable and service-oriented, and can be used by a geographically distributed design team to organize concurrent engineering design activities effectively.

Design Models for Reusable and Reconfigurable State Machines

2005 ◽  
pp. 152-163 ◽  
Author(s):  
Christo Angelov ◽  
Krzysztof Sierszecki ◽  
Nicolae Marian
Keyword(s):  
State Machines ◽  
Design Models

Elements and Techniques to Develop a Distributed Design Framework

2003 ◽  
Author(s):  
Zhiqiang Chen ◽  
Zahed Siddique
Keyword(s):  
Mechanical Design ◽  
Distributed Design ◽  
Design Environment ◽  
Engineering Project ◽  
Design Problems ◽  
Design Models ◽  
Client Server ◽  
Function Block ◽  
Design Systems ◽  
Design Customization

The direction of mechanical design is now experiencing the trends of resource globalization, design customization and demand for cheap computing. Successful integration and collaboration are very important for design systems. Currently many researches focus on client-server structure to keep the data consistent and neutral. This paper discusses the issues and techniques to build a framework to support integration and collaboration in a distributed design environment. Overview of the system architecture and modules of the framework are presented to explain the method for CAD software wrapping and management of design models. The concept of a function block module to integrate different analysis tools and a search engine to find the analysis path for design problems are also presented. A reverse engineering project is used as an example to describe how design process works in a distributed manner.

DISTRIBUTED DEADLOCK DETECTION ALGORITHMS

1992 ◽  
Vol 02 (01) ◽  
pp. 21-30
Author(s):  
MITCHELL FLATEBO ◽  
AJOY KUMAR DATTA
Keyword(s):  
Distributed Systems ◽  
Distributed System ◽  
The State ◽  
Global Memory ◽  
State Machines ◽  
Deadlock Detection ◽  
Global State ◽  
Detection Algorithms ◽  
Deadlock Resolution ◽  
Global States

A distributed system consists of a set of loosely connected state machines which do not share a global memory. The global state of the system depends on the state of each process in the system. The set of global states can be split up into two categories, legal and illegal. This paper deals with methods of detecting deadlocks in distributed systems. One way that has been used to detect deadlocks is by sending probes around the system. If a process thinks that it may be deadlocked, it initiates a probe. If the probe is received by the initiator, the initiator declares deadlock. This paper uses the idea of states of processes In order to detect the deadlock. The algorithm runs continually and does not have to be initiated. This paper presents deadlock detection algorithms for single and multiple outstanding requests. A method for deadlock resolution is also discussed. The algorithms detect all deadlocks and do not detect false deadlocks.

Comparisons between design models for serviceability limit state of composite steel-concrete slabs

2015 ◽  
Vol 105 (36) ◽  
pp. 1-8
Author(s):  
Gianluca Ranzi ◽  
Graziano Leoni ◽  
Luigino Dezi
Keyword(s):  
Limit State ◽  
Concrete Slabs ◽  
Design Models ◽  
Serviceability Limit State ◽  
Composite Steel

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

2019 ◽  
Author(s):  
Irina Bystrova ◽  
E. Danil'chuk ◽  
Boris Podkopaev
Keyword(s):  
Single Component ◽  
Diagnostic Model ◽  
State Machines ◽  
Model Optimization ◽  
Error Localization ◽  
Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

PROPOSAL OF 3D ANNOTATED MODEL ON BRIDGE DESIGN MODELS INCLUDING GEOMETRIC TOLERANCE

2019 ◽  
Vol 75 (2) ◽  
pp. I_1-I_11
Author(s):  
Masanori JOKO ◽  
Akio MORIWAKI ◽  
Katsunori MIYAMOTO ◽  
Naoko FUKUSHI ◽  
Takashi ARUGA ◽  
...  
Keyword(s):  
Bridge Design ◽  
Design Models ◽  
Geometric Tolerance
Sign in / Sign up

Export Citation Format

Share Document