SBAS DSVP: An SBAS DFMC Service Volume Software Prototype

Shipboard Readiness Report System (SRRS) Software Prototype

10.21236/ada255890 ◽

1992 ◽

Author(s):

Maniel Vineberg ◽

Stan Connors ◽

Tony Sterrett ◽

Dave Shore

Keyword(s):

Report System ◽

Software Prototype

Download Full-text

Software prototype of an intelligent method for automatic distribution of air objects between controlled facilities in a complex organizational and technical system

10.12731/ofernio.2021.24805 ◽

2021 ◽

Author(s):

D.O. Blinov ◽

A.I. Fomin ◽

A.A. Chibin ◽

I.A. Fedorov ◽

I.A. Denisova ◽

...

Keyword(s):

Technical System ◽

Software Prototype

Download Full-text

Gender-specific reference values for intracardiac 4DFlow flow patterns in healthy volunteers using a software prototype with particle tracing and valve-tracking

10.26226/morressier.5f1190be6aad87543c854f91 ◽

2020 ◽

Author(s):

Amir Ese ◽

Anton Kilburg ◽

Moritz Halfmann ◽

Akos Varga-Szemes ◽

Karl-Friedrich Kreitner ◽

...

Keyword(s):

Healthy Volunteers ◽

Reference Values ◽

Flow Patterns ◽

Specific Reference ◽

Particle Tracing ◽

Gender Specific ◽

Software Prototype

Download Full-text

A graph-based computerized optimal conceptual design synthesis within the distributed multi-disciplinary resource environment

Journal of Engineering Research ◽

10.36909/jer.7839 ◽

2021 ◽

Vol 9 (4B) ◽

Author(s):

Bin Chen ◽

◽

Jie Hu ◽

Weixing Chen ◽

◽

...

Keyword(s):

Conceptual Design ◽

Computer Applications ◽

Design System ◽

Design Synthesis ◽

Design Goal ◽

Design Resources ◽

Novel Design ◽

Resource Environment ◽

Software Prototype ◽

Related Design

The trend of inter-disciplinary conceptual design synthesis requires designers to involve more and more distributed multi-disciplinary design resources. Therefore, this paper proposes a graph-based computerized optimal conceptual design synthesis to help designers explore novel design schemes within the distributed multi-disciplinary resource environment. The design resources tightly related to the design goal can be extracted from the huge resource environment by a proposed searching engine. The optimal design scheme can be generated from these related design resources by a proposed graph-based algorithm. A set of computer applications called Automatic Conceptual Design System (ACDS) is established to verify the feasibility of this proposed conceptual design synthesis, and a garbage power system’s conceptual design is completed by this software prototype.

Download Full-text

CobWeb Multidimensional Model and Tag-Cloud Operators for OLAP of Documents

International Journal of Green Computing ◽

10.4018/ijgc.2018070104 ◽

2018 ◽

Vol 9 (2) ◽

pp. 46-68

Author(s):

Omar Khrouf ◽

Kais Khrouf ◽

Jamel Feki

Keyword(s):

Decision Makers ◽

Effective Management ◽

Multidimensional Model ◽

A Methodology for Automatic Formal Verification of Enterprise Architecture

International Journal of Information System Modeling and Design ◽

10.4018/ijismd.2019010101 ◽

2019 ◽

Vol 10 (1) ◽

pp. 1-19

Author(s):

Eduard Babkin ◽

Pavel Malyzhenkov ◽

Marina Ivanova ◽

Nikita Ponomarev

Keyword(s):

Model Checking ◽

Formal Verification ◽

Iterative Process ◽

Enterprise Architecture ◽

Description Language ◽

Architecture Description Language ◽

Business Modeling ◽

Business Alignment ◽

Architecture Description ◽

Software Prototype

For over a decade, IT-business alignment has been ranked as a top-priority management concern, but there is little research on practical ways to achieve the alignment. EA development is a continuous iterative process, which implicitly ensures the achievement of a specific IT-business alignment level. Therefore, it is necessary to formalize the requirements for architecture and be able to automatically verify them. The authors propose a new methodology for detecting logical contradictions in enterprise architecture models based on a model checking approach adopted in the context of business modeling. In such a methodology, they use ArchiMate standard for a conceptual enterprise architecture description language which is fully aligned with TOGAF. The authors also offer several important verification queries and demonstrate practical applicability of their approach using a software prototype of the modeling tool which exploits MIT Alloy Analyzer model checking framework integrated with AchiMate Archi workbench.

Download Full-text