Soft Systems Methodology (SSM) was devised by Checkland (1981) and elaborated by Checkland & Scholes (1990) to provide a tool for investigating an unstructured problem situation. SSM is not a system design tool, but a tool for system requirements investigation. Unlike systems analysis tools, such as entity-relationship modelling or data-flow diagrams, which allow the designer to model how the s...

BACKGROUND Alterations of functional connectivity (FC) and spontaneous brain activity (SBA) during the resting state has been observed in subjects with major depressive disorder (MDD). Although there are many studies separately describing on the alterations of FC and SBA in major depressive disorder, their correlation are still have not been performed. METHODS A literature search based on Pub...

The development of new applications based on the existing design and code increases software quality. This work shows how design reuse increases software quality. It is important in the development of new software version from the existing applications. It enables the reuse of significant portion of the existing design. Software Reuse is one of the most beneficial aspects of Change Management. ...

Binary and multivalued decision diagrams are closely related to dynamic programming (DP) but differ in some important ways. This paper makes the relationship more precise by interpreting the DP state transition graph as a weighted decision diagram and incorporating the state-dependent costs of DP into the theory of decision diagrams. It generalizes a well-known uniqueness theorem by showing tha...

The subject of research is to determine the functional safety indicators a fault-tolerant safety-critical system, namely, minimal cut sets’ probability for given duration system’s operation, using state transition diagram (STD). aim create new method analyzing system. This based on methodology developing models operational reliability behavior in form STD. provides detailed representation inope...

Text can be partitioned and expressed by events and let events as the basic semantic unit to establish event ontology. Event network direct diagram constructed according to the relationship between events, which can better describe semantic information of the text and the importance degree of relationship between events. PAGERANK algorithm is employed to calculate and rank the event importance ...

In the present paper, we validate and assess a correlation functional based on the so-called meta generalized gradient approximation, whose form and parameters are entirely derived only from first-principles criteria. In particular, we have carried out a detailed comparison with the most common, parametrized correlation functionals. Next, we propose a new model in which the correlation function...

Conceptual graphs are similar to entity-relationship diagrams. They are however a visual, advanced knowledge-based representation formalism based upon much richer philosophical, psychological, linguistic, and object-oriented principles. Although there is much interesting and ongoing work in the conceptual graphs arena, there is little of an introductory nature for newcomers to conceptual graphs...

The goal of the ramified optimal transport is to find an optimal transport path between two given probability measures. One measure can be identified with a source while the other one with a target. The problem is well known to be NP–hard. We develop an algorithm for solving a ramified optimal transport problem within the framework of Bayesian networks. It is based on the decision strategy opti...