Unified Modeling Language extensions for modeling user-oriented, multi-channel access CRM systems

In the advances of Internet technologies in recent years, Electronic Commerce CRM systems have gained much attention as a major theme for companies to maintain their competitiveness. The research shows that the effective customer relationship management is the major source for customer retention and gaining over new ones. On the other hand, modern technology allows to receive information through different channels (Internet, phone, WAP). Therefore analysts are forced to use faster, more reliable methods for system modeling. The author proposes a new method for modeling Customer Relationship Management systems. The UML new extensions are introduced. The customer-oriented and multichannel access patterns aim at improvement of system modeling with the high level of abstraction. This paper identifies and analyses the main advantages of language additions and compare them to object-oriented modeling with the pure UML patterns

INCREASING UTILITY AND FIDELITY OF A UXV NETWORKED CONTROL SYSTEM SIMULATION VIA PYTHON ADAPTATION

While the use of unmanned vehicles (UxVs) within the Department of Defense (DOD) is prevalent, the ability of the DOD to operate these vehicles as a cooperative networked control system (NCS) is not fully developed. A MATLAB simulation modeling a UxV NCS that jointly optimizes sensing and data communications utilities currently exists. However, this implementation is of low fidelity and is not readily extensible. This thesis advances the NCS model by converting the MATLAB simulation into Python with an object-oriented design. We further extend the Python NCS simulation into a truly distributed system, where each node executes in an independent Docker container and communicates with other nodes via reliable message communications. Our implementation results demonstrated that the object-oriented Python simulation incurs a performance penalty with respect to execution times but provides for greater extensibility without changes to existing functionality. Furthermore, Docker containers offer a lightweight solution for modeling a more realistic version of UxV simulations, thus increasing the NCS simulation's fidelity.Outstanding ThesisLieutenant Commander, United States NavyLieutenant, United States NavyApproved for public release. Distribution is unlimited

Application of the Artificial Intelligence Algorithms with a Cognitive Graphic as a Tool for a System Analysis of Electrophysiological Processes

Summarizing the accumulated experience for a long time in the polyparametric cognitive modeling of different physiological processes (electrocardiogram, electroencephalogram, electroreovasogram and others) and the development on this basis some diagnostics methods give ground for formulating a new methodology of the system analysis in biology. The gist of the methodology consists of parametrization of fractals of electrophysiological processes, matrix description of functional state of an object with a unified set of parameters, construction of the polyparametric cognitive geometric model with artificial intelligence algorithms. The geometry model enables to display the parameter relationships are adequate to requirements of the system approach. The objective character of the elements of the models and high degree of formalization which facilitate the use of the mathematical methods are advantages of these models. At the same time the geometric images are easily interpreted in physiological and clinical terms. The polyparametric modeling is an object oriented tool possessed advances functional facilities and some principal features

Development of an object-oriented finite element program: application to metal-forming and impact simulations

During the last 50 years, the development of better numerical methods and more powerful computers has been a major enterprise for the scientific community. In the same time, the finite element method has become a widely used tool for researchers and engineers. Recent advances in computational software have made possible to solve more physical and complex problems such as coupled problems, nonlinearities, high strain and high-strain rate problems. In this field, an accurate analysis of large deformation inelastic problems occurring in metal-forming or impact simulations is extremely important as a consequence of high amount of plastic flow. In this presentation, the object-oriented implementation, using the C++ language, of an explicit finite element code called DynELA is presented. The object-oriented programming (OOP) leads to better-structured codes for the finite element method and facilitates the development, the maintainability and the expandability of such codes. The most significant advantage of OOP is in the modeling of complex physical systems such as deformation processing where the overall complex problem is partitioned in individual sub-problems based on physical, mathematical or geometric reasoning. We first focus on the advantages of OOP for the development of scientific programs. Specific aspects of OOP, such as the inheritance mechanism, the operators overload procedure or the use of template classes are detailed. Then we present the approach used for the development of our finite element code through the presentation of the kinematics, conservative and constitutive laws and their respective implementation in C++. Finally, the efficiency and accuracy of our finite element program are investigated using a number of benchmark tests relative to metal forming and impact simulations

Review of research in feature-based design

Research in feature-based design is reviewed. Feature-based design is regarded as a key factor towards CAD/CAPP integration from a process planning point of view. From a design point of view, feature-based design offers possibilities for supporting the design process better than current CAD systems do. The evolution of feature definitions is briefly discussed. Features and their role in the design process and as representatives of design-objects and design-object knowledge are discussed. The main research issues related to feature-based design are outlined. These are: feature representation, features and tolerances, feature validation, multiple viewpoints towards features, features and standardization, and features and languages. An overview of some academic feature-based design systems is provided. Future research issues in feature-based design are outlined. The conclusion is that feature-based design is still in its infancy, and that more research is needed for a better support of the design process and better integration with manufacturing, although major advances have already been made

The Distributed User Modeling Shell System (DUMSS): A Conceptual Framework for Eliciting User Models

With the advances in communication technology, large volumes of information can transfer across continents within a fraction of a second. Nevertheless, computer users still suffer from unpleasant situations when they interact with systems and are required to adapt to systems rather than the other way round. User modeling aims to overcome this problem by enabling computer systems to interact with users according to the users’ models, i.e., goals, knowledge, and preferences of users. Although, user modeling has shown invaluable benefits, methods of capturing user information to build precise and useful user models are still in their early states. This paper proposes a new approach for gathering user information by pooling the information from different systems. This concept, entitled Distributed User Modeling (DUM) is based on a method in which sensors built into each system contribute specific user information to the pooling. Having multiple sources of user information increases the possibility that a system can generate reliable user models. A general model of DUM is presented in this paper. The conceptual framework of the Distributed Fuzzy Object-Oriented User Modeling System (DFOOUMS) that uses DUM as its basis structure is also presented

Model Based Development of Quality-Aware Software Services

Modelling languages and development frameworks give support for functional and structural description of software architectures. But quality-aware applications require languages which allow expressing QoS as a first-class concept during architecture design and service composition, and to extend existing tools and infrastructures adding support for modelling, evaluating, managing and monitoring QoS aspects. In addition to its functional behaviour and internal structure, the developer of each service must consider the fulfilment of its quality requirements. If the service is flexible, the output quality depends both on input quality and available resources (e.g., amounts of CPU execution time and memory). From the software engineering point of view, modelling of quality-aware requirements and architectures require modelling support for the description of quality concepts, support for the analysis of quality properties (e.g. model checking and consistencies of quality constraints, assembly of quality), tool support for the transition from quality requirements to quality-aware architectures, and from quality-aware architecture to service run-time infrastructures. Quality management in run-time service infrastructures must give support for handling quality concepts dynamically. QoS-aware modeling frameworks and QoS-aware runtime management infrastructures require a common evolution to get their integration

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer problems in thermal systems can be modeled in Real-Time Maude; (iii) giving the implementation in Real-Time Maude of a basic numerical technique for executing continuous behaviors in object-oriented hybrid systems; and (iv) illustrating these techniques with a set of incremental case studies using realistic physical parameters, with examples of simulation and model checking analyses.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude specifications. We prove the correctness of our model checking algorithms, which terminate under reasonable non-Zeno-ness assumptions when the reachable state space is finite. These new model checking features have been integrated into Real-Time Maude, and are used to analyze a network of medical devices and a 4-way traffic intersection system.Comment: In Proceedings RTRTS 2010, arXiv:1009.398