Model Of Problem Domain Research Articles

Methodology for designing the model of multidimensional estimation of tethered high-altitude multicopter-based platforms

Aim . To select, out of the currently available tethered high-altitude multicopter-based platforms, the most promising one in terms of the flying characteristics. The latter are estimated based on the combination of the affecting properties of the platform. Methods. In order to achieve the specified goal, it is suggested using the methodology for developing the model of multidimensional estimation of a platform. It uses methods of system and function analysis of a platform’s characteristics, methods and models of the theory of relations and measuring. Results. A problem domain model and decision-maker’s preference model are suggested t o be used as components of the multidimensional estimation model. The methodology is demonstrated using the case of quality estimation of five platforms. Conclusion. The approach proposed in the paper allows using the developed methodology for estimating the quality and engineering sophistication of items of any nature. The methodology can be used for comprehensive assessment of an item in terms of dependability and survivability.

Unformalized tasks and methodology of their solution

The article deals with the methodology of solving non-formalized problems. The first methodology represents the traditional approach to the description of the problem domain model (MPO) and it is characterized by a significant operational semantics. The second description methodology represents a new direction in computer science − artificial intelligence. Any problem for which the solution algorithm is unknown, a priori refers to artificial intelligence. An algorithm is understood as the entire sequence of specified actions that are well defined and can be performed on a computer. The knowledge model is a means of describing the logic and data of the problem being solved. Since the knowledge about the subject area may be inaccurate, incomplete, or unclear, and the subject areas are different, the logic used in the description may also be different. The problem to be solved is presented in the form of rules (statements) and a request, the validity of which should be established or refuted. The solution of the problem is reduced to finding out the logical sequence (derivability) of the target formula from a given set of rules. The most popular knowledge models for creating ES are production models. The frame model, or the model of knowledge representation, based on the frame theory, is a psychological model of human memory and consciousness systematized in the form of a single theory The semantic network model is a knowledge representation model based on the semantic network method. The described models are only a small part of the applied methods for solving unformalized problems.

Model-driven processes and tools to design robot-based generative learning objects for computer science education

In this paper, we introduce a methodology to design robot-oriented generative learning objects (GLOs) that are, in fact, heterogeneous meta-programs to teach computer science (CS) topics such as programming. The methodology includes CS learning variability modelling using the feature-based approaches borrowed from the SW engineering domain. Firstly, we define the CS learning domain using the known educational framework TPACK (Technology, Pedagogy And Content Knowledge). By learning variability we mean the attributes of the framework extracted and represented as feature models with multiple values. Therefore, the CS learning variability represents the problem domain. Meta-programming is considered as a solution domain. Both are represented by feature models. The GLO design task is formulated as mapping the problem domain model on the solution domain model. Next, we present the design framework to design GLOs manually or semi-automatically. The multi-level separation of concepts, model representation and transformation forms the conceptual background. Its theoretical background includes: (a) a formal definition of feature-based models; (b) a graph-based and set-based definition of meta-programming concepts; (c) transformation rules to support the model mapping; (d) a computational Abstract State Machine model to define the processes and design tool for developing GLOs. We present the architecture and some characteristics of the tool. The tool enables to improve the GLO design process significantly (in terms of time and quality) and to achieve a higher quality and functionality of GLOs themselves (in terms of the parameter space enlargement for reuse and adaptation). We demonstrate the appropriateness of the methodology in the real teaching setting. In this paper, we present the case study that analyses three robot-oriented GLOs as the higher-level specifications. Then, using the meta-language processor, we are able to produce, from the specifications, the concrete robot control programs on demand automatically and to demonstrate teaching algorithms visually by robot's actions. We evaluate the approach from technological and pedagogical perspectives using the known structural metrics. Also, we indicate the merits and demerits of the approach. The main contribution and originality of the paper is the seamless integration of two known technologies (feature modelling and meta-programming) in designing robot-oriented GLOs and their supporting tools.

THE CONTENT MODEL AND THE EQUATIONS OF MOTION OF ELECTRIC VEHICLE

Purpose. The calculation methods improvement of the electric vehicle curve movement and the cost of electricity with the aim of performance and accuracy of calculations improving are considered in the paper. Methodology. The method is based upon the general principles of mathematical simulation, when a conceptual model of problem domain is created and then a mathematic model is formulated according to the conceptual model. Development of an improved conceptual model of electric vehicles motion is proposed and a corresponding mathematical model is studied. Findings. The authors proposed model in which the vehicle considers as a system of interacting point-like particles with defined interactions under the influence of external forces. As a mathematical model the Euler-Lagrange equation of the second kind is used. Conservative and dissipative forces affecting the system dynamics are considered. Equations for calculating motion of electric vehicles with taking into account the energy consumption are proposed. Originality. In the paper the conceptual model of motion for electric vehicles with distributed masses has been developed as a system of interacting point-like particles. In the easiest case the system has only one degree of freedom. The mathematical model is based on Lagrange equations. The shown approach allows a detailed and physically based description of the electric vehicles dynamics. The derived motion equations for public electric transport are substantially more precise than the equations recommended in textbooks and the reference documentation. The motion equations and energy consumption calculations for transportation of one passenger with a trolleybus are developed. It is shown that the energy consumption depends on the data of vehicle and can increase when the manload is above the certain level. Practical value. The authors received the equations of motion and labour costs in the calculations focused on the use of computer methods of numerical integration. The calculation expenses are reduced. The accuracy is improved; provided possibility to consider different parameters influencing the motion. A certain environmental effect can be achieved by orientation calculation methods for the practical development of the process charts of the movement of electric vehicle funds in different operating conditions at a constant change of filling the interior of the vehicle.

Perancangan dan Implementasi Aplikasi Internet Radio Menggunakan Multimedia Database Melalui Penerapan Ontology dan Metadata

The study aims to analyze, design and implement the internet radio application used in managing the audio data on Heartline FM radio station. In this application, the audio data which has been managed can be used in a radio broadcast scheduling. The scheduled radio broadcast is then forwarded to the webcast server to be transmitted through the Internet. This research carries out analysis, design and implementation using Object Oriented Analysis and Design method and Lean Architecture for Agile Software Development. The program component design consists of: (1) software functional system, (2) user interface, (3) problem domain model, which in internet radio application is divided into five subcomponents, namely: audio-indexing-retrieval, scheduling, reporting, user and ontology. In the implementation of internet application of this radio, the audio data management uses multimedia database by applying metadata and ontology, so that the process of indexing and retrieval can be reused quickly on the broadcast. This application can also be used in carrying out the radio broadcast automatically during specified hours. This internet radio application has been able to meet the needs of radio Heartline.

A Transformation-oriented Methodology to Knowledge-based Conceptual Data Warehouse Design

Applications of artificial intelligence (AI) technology in the form of knowledge-based systems within the context of database design have been extensively researched particularly to provide support within the conceptual design phase. However, a similar approach to the task of data warehouse design has yet to be seriously initiated. In this paper, we proposed a design methodology for conceptual data warehouse design called the transformation-oriented methodology, which transforms an Entity-Relationship (ER) model into a multidimensional model based on a series of transformation and analysis rules. The transformation-oriented methodology translates the ER model into a specification language model and transformed it into an initial problem domain model. A set of synthesis and diagnosis rules will then gradually transform the problem domain model into the multidimensional model. A prototype KB tool called the DWDesigner has been developed to implement the aforementioned methodology. The multidimensional model produces by the DWDesigner as output is presented in a graphical form for better visualization. Testing has been conducted to a number of design problems, such as university, business and hospital domains and consistent results have been achieved.

Software Systems Requirements

This module describes course SWE 2623 on software systems requirements given at the School of Computing and Software Engineering Southern Polytechnic State University. The process of extracting, deriving, and validating software requirements from a customer are explored, including levels of user/customer involvement, effective means of documenting requirements, the dynamics of interviewing, and the development of requirements specifications interactively (via methods such as the Evolutionary Spiral Model, now required for all contractors by DoD Directive 5000.1). A large part of the course is devoted to problem domain modeling using current analysis methods and supporting tools, including rapid prototyping aids and UML. Requirements engineering methodologies, such as Consortium Requirements Engineering and Requirements-Based Testing, are examined. Formal methods employing languages such as Z and SPARK are discussed.

Formalizing space shuttle software requirements

This article describes four case studies in which requirements for new flight software subsystems on NASA's Space Shuttle were analyzed using mechanically supported formal methods. Three of the studies used standard formal specification and verification techniques, and the fourth used state exploration. These applications illustrate two thesis: (1) formal methods complement conventional requirements analysis processes effectively and (2) formal methods confer benefits even when only selectively adopted and applied. The studies also illustrate the interplay of application maturity level and formal methods strategy, especially in areas such as technology transfer, legacy applications, and rapid formalization, and they raise interesting issues in problem domain modeling and in tailoring formal techniques to applications.

Binding objects to scenarios of use

Scenarios are a natural and effective medium for thinking in general and for design in particular. Our work seeks to develop a potential unification between recent scenario-oriented work in object-oriented analysis/design methods and scenario-oriented work in the analysis/design of human-computer interaction. We illustrate this perspective by showing: (1) how scenario questioning can be used to systematically interrogate the knowledge and practices of potential users, and thereby to create object-oriented analysis models that are psychologically valid; (2) how depicting an individual object's point-of-view can serve as a pedagogical scaffold to help students of object-oriented analysis see how to identify and assign object responsibilities in creating a problem domain model; and (3) how usage scenarios can be employed to motivate and coordinate the design implementation, refactoring and reuse of object-oriented software.