Modelling of mathematical programs: An analysis of strategy and an outline description of a computer assisted system

The salient components of the mathematical programming modeling activity are first analysed. Earlier generation systems such as program generators and procedural (modelling) languages are briefly discussed. A proposal for a computer assisted modelling scheme is then put forward. The proposed system contrasts with the earlier approaches in that no computer programming expertise is required on the part of the modeller. A mathematical programming model is usually constructed by progressive definition of dimensions, data tables, model variables, model constraints and the matrix coefficients which connect the last two entities. The philosophy and design of the experimental system supports this approach to model description. This aspect is illustrated by a few examples. The introduction of computer assistance in structuring of the data and the resulting model is novel and is in line with recent developments in friendly and flexible user interface

Computer assisted mathematical programming

A Computer Assisted Mathematical Programming (Modelling) System (CAMPS) is described in this paper. The system uses program generator techniques for model creation and contrasts with earlier approaches which use a special purpose language to construct models. Thus no programming skill is required to formulate a model. In designing the system we have first analysed the salient components of the mathematical programming activity. A mathematical programming model is usually constructed by progressive definition of dimensions, data tables, model variables, model constraints and the matrix coefficients which connect the last two entities. Computer assistance is provided to structure the data and the resulting model in the above sequence. In addition to this novel feature and the automatic documentation facility, the system is in line with recent developments, and incorporates a friendly and flexible user interface

Use of interactive graphics to analyze QUICK-geometry: Supplement

The advantages of using interactive computer graphics to display aircraft geometry to aid in detection and analysis of errors are described. The QUICK geometry system is reviewed and the Quick Interactive Graphics Analysis (QUIAGA) program is described. This QUIAGA program was developed to exercise the QUICK geometry subroutines to examine in several modes on a graphics terminal. Its use in the detection and analysis of errors in the QUICK geometry definition can be of great assistance in speedily arriving at a correct analytical geometry description for flow field computation. Experience with the program in developing a QUICK geometry model of the NASA Space Shuttle Orbiter is used to show some of its features. Appendixes giving details of program usage and an example session are included

Intelligent Computing for the Management of Changes in Industrial Engineering Modeling Processes

Advancements in engineering modeling have changed the work of engineers during the last two decades. Sophisticated descriptions store information about shape oriented engineering objects and their relationships. Boundary representations of form features constitute shape models. Rules and checks have replaced simple data form of shape model entity attributes. This change of modeling facilitates a next step towards application of computer intelligence at engineering object related decisions. The authors propose a method of intelligent attribute definition for integrated decision assistance environments of modelling systems. This method provides quick and comprehensive assessment of situations for decisions on modification of modeled objects in very complex information environments. The paper starts with an outline of the approach to intelligent decision assistance by the authors. Next, an Internet portal communicated scenario of the proposed modeling is discussed. Following this, multilevel solution for modeling, adding characteristics for engineering objects, and definitions and communications are detailed as essential methods in the proposed modeling. Finally, behaviors for essential classes of modeled objects and an example for the definition of situations and behaviors represent implementation issues

The Convention on Cybercrime: A Harmonized Implementation of International Penal Law: What Prospects for Procedural Due Process?, 23 J. Marshall J. Computer & Info. L. 329 (2005)

The CoE Convention on cybercrime provides a treaty-based framework that imposes on the participating nations the obligation to enact legislation criminalizing certain conduct related to computer systems, create investigative procedures and ensure their availability to domestic law enforcement authorities to investigate cybercrime offenses, including procedures to obtain electronic evidence in all of its forms and create a regime of broad international cooperation, including assistance in extradition of fugitives sought for crimes identified under the CoE Convention. Since there is no internationally recognized legal definition of computer crime, this article briefly presents the generally recognized categories of cybercrime and then proceeds in a presentation of the historical development of International Cybercrime Law as well as the practical impediments to international investigation, enforcement and prosecution including the absence of global consensus on the legal definition of criminal conduct, the transnational character of many cybercrimes and the lack of extradition and mutual legal assistance treaties. A presentation of the CoE Convention provisions follows where special emphasis is given to Procedural Safeguards under the CoE Convention, where it is being noted that while the complicated problem of guaranteeing civil rights protection to citizens living in different cultures and political systems is recognized, no specific minimal procedural guarantees of due process incident to treaty implementation are established, and the methods of collecting evidence under the Convention the CoE Convention which, similarly, do not require the enactment of certain minimal procedures by a party nor do they contain any minimal requirements concerning confidentiality of materials obtained through a production order. Notably, the CoE Convention contains significant restrictive language in the areas of transborder search and seizure and data interception, deferring authority to domestic laws and territorial considerations. The issues of Jurisdiction and Extradition and the relative problems are also being examined as well as the pre-existing mutual legal assistance treaties ( MLATs ) or other reciprocal agreements between parties. Finally the author examines the CoE Convention as a harmonization model and concludes that it does not adequately safeguard procedural due process. Although the decentralized nature of international penal law may explain such flexible harmonization to achieve law enforcement goals aimed at the timely eradication of cybercrime, cybercrime prosecutions will most certainly raise issues relating to concurrent jurisdiction and/or the application of domestic law to foreign nationals especially regarding the means of investigating and prosecuting the conduct. In view of the fact that in its present form, the CoE Convention allows state intrusions into the sphere of individual privacy rights to gather evidence for use in subsequent criminal prosecutions without adequate guarantees of procedural due process, an addition of a Protocol to the treaty is proposed, modeled after the proposed CoE Constitution providing minimal guidelines for procedural due process, extended to citizens of all participating nations

Learning robot policies using a high-level abstraction persona-behaviour simulator

2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting /republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other worksCollecting data in Human-Robot Interaction for training learning agents might be a hard task to accomplish. This is especially true when the target users are older adults with dementia since this usually requires hours of interactions and puts quite a lot of workload on the user. This paper addresses the problem of importing the Personas technique from HRI to create fictional patients’ profiles. We propose a Persona-Behaviour Simulator tool that provides, with high-level abstraction, user’s actions during an HRI task, and we apply it to cognitive training exercises for older adults with dementia. It consists of a Persona Definition that characterizes a patient along four dimensions and a Task Engine that provides information regarding the task complexity. We build a simulated environment where the high-level user’s actions are provided by the simulator and the robot initial policy is learned using a Q-learning algorithm. The results show that the current simulator provides a reasonable initial policy for a defined Persona profile. Moreover, the learned robot assistance has proved to be robust to potential changes in the user’s behaviour. In this way, we can speed up the fine-tuning of the rough policy during the real interactions to tailor the assistance to the given user. We believe the presented approach can be easily extended to account for other types of HRI tasks; for example, when input data is required to train a learning algorithm, but data collection is very expensive or unfeasible. We advocate that simulation is a convenient tool in these cases.Peer ReviewedPostprint (author's final draft

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Relational Approach to Knowledge Engineering for POMDP-based Assistance Systems as a Translation of a Psychological Model

Assistive systems for persons with cognitive disabilities (e.g. dementia) are difficult to build due to the wide range of different approaches people can take to accomplishing the same task, and the significant uncertainties that arise from both the unpredictability of client's behaviours and from noise in sensor readings. Partially observable Markov decision process (POMDP) models have been used successfully as the reasoning engine behind such assistive systems for small multi-step tasks such as hand washing. POMDP models are a powerful, yet flexible framework for modelling assistance that can deal with uncertainty and utility. Unfortunately, POMDPs usually require a very labour intensive, manual procedure for their definition and construction. Our previous work has described a knowledge driven method for automatically generating POMDP activity recognition and context sensitive prompting systems for complex tasks. We call the resulting POMDP a SNAP (SyNdetic Assistance Process). The spreadsheet-like result of the analysis does not correspond to the POMDP model directly and the translation to a formal POMDP representation is required. To date, this translation had to be performed manually by a trained POMDP expert. In this paper, we formalise and automate this translation process using a probabilistic relational model (PRM) encoded in a relational database. We demonstrate the method by eliciting three assistance tasks from non-experts. We validate the resulting POMDP models using case-based simulations to show that they are reasonable for the domains. We also show a complete case study of a designer specifying one database, including an evaluation in a real-life experiment with a human actor

Electronical Health Record's Systems. Interoperability

Understanding the importance that the electronic medical health records system has, with its various structural types and grades, has led to the elaboration of a series of standards and quality control methods, meant to control its functioning. In time, the electronic health records system has evolved along with the medical data's change of structure. Romania has not yet managed to fully clarify this concept, various definitions still being encountered, such as "Patient's electronic chart", "Electronic health file". A slow change from functional interoperability (OSI level 6) to semantic interoperability (level 7) is being aimed at the moment. This current article will try to present the main electronic files models, from a functional interoperability system's possibility to be created perspective. \ud \u