scholarly journals High Level Model Checker Based Testing of Electronic Contracts

2016 ◽  
pp. 193-215 ◽  
Author(s):  
Ellis Solaiman ◽  
Ioannis Sfyrakis ◽  
Carlos Molina-Jimenez
Keyword(s):  
Model Checker ◽  
Electronic Contracts ◽  
Level Model ◽  
High Level

Modeling and design of role engineering in development of access control for dynamic information systems

2013 ◽  
Vol 61 (3) ◽  
pp. 569-579 ◽  
Author(s):  
A. Poniszewska-Marańda
Keyword(s):  
Information Systems ◽  
Dynamic Information ◽  
Minimal Set ◽  
Distributed Information ◽  
Heterogeneous Information ◽  
System Protection ◽  
Level Model ◽  
Model Independent ◽  
Role Concept ◽  
High Level

Abstract Nowadays, the growth and complexity of functionalities of current information systems, especially dynamic, distributed and heterogeneous information systems, makes the design and creation of such systems a difficult task and at the same time, strategic for businesses. A very important stage of data protection in an information system is the creation of a high level model, independent of the software, satisfying the needs of system protection and security. The process of role engineering, i.e. the identification of roles and setting up in an organization is a complex task. The paper presents the modeling and design stages in the process of role engineering in the aspect of security schema development for information systems, in particular for dynamic, distributed information systems, based on the role concept and the usage concept. Such a schema is created first of all during the design phase of a system. Two actors should cooperate with each other in this creation process, the application developer and the security administrator, to determine the minimal set of user’s roles in agreement with the security constraints that guarantee the global security coherence of the system.

scholarly journals Dynamic modelling of a servo self-pierce riveting (SPR) process

2021 ◽  
pp. 095440542110374
Author(s):  
Daniel Tang ◽  
Mike Evans ◽  
Paul Briskham ◽  
Luca Susmel ◽  
Neil Sims
Keyword(s):  
Dynamic Modelling ◽  
System Level ◽  
Optimum Process ◽  
Current Limit ◽  
Level Model ◽  
System Level Model ◽  
Head Height ◽  
Extensive Experimental Data ◽  
High Level

Self-pierce riveting (SPR) is a complex joining process where multiple layers of material are joined by creating a mechanical interlock via the simultaneous deformation of the inserted rivet and surrounding material. Due to the large number of variables which influence the resulting joint, finding the optimum process parameters has traditionally posed a challenge in the design of the process. Furthermore, there is a gap in knowledge regarding how changes made to the system may affect the produced joint. In this paper, a new system-level model of an inertia-based SPR system is proposed, consisting of a physics-based model of the riveting machine and an empirically-derived model of the joint. Model predictions are validated against extensive experimental data for multiple sets of input conditions, defined by the setting velocity, motor current limit and support frame type. The dynamics of the system and resulting head height of the joint are predicted to a high level of accuracy. Via a model-based case study, changes to the system are identified, which enable either the cycle time or energy consumption to be substantially reduced without compromising the overall quality of the produced joint. The predictive capabilities of the model may be leveraged to reduce the costs involved in the design and validation of SPR systems and processes.

scholarly journals High Level Model of Time Predictable Multitask Control Unit

2015 ◽  
Vol 48 (4) ◽  
pp. 348-353 ◽  
Author(s):  
Łukasz Golly ◽  
Adam Milik ◽  
Andrzej Pulka
Keyword(s):  
Control Unit ◽  
Level Model ◽  
High Level

Current Trends in Software as a Service (SaaS)

2018 ◽  
Vol 6 (2) ◽  
pp. 221-234
Author(s):  
T.C. Sandanayake ◽  
P.G.C. Jayangani
Keyword(s):  
Service Oriented Architecture ◽  
Software As A Service ◽  
Application Service Provider ◽  
Current Trends ◽  
Application Service ◽  
Emerging Trends ◽  
Data Application ◽  
Service Oriented ◽  
Level Model ◽  
High Level

Software as a service (SaaS) is one type of the cloud computing that has gained more popularity in the world. It is a way of delivering the software through the internet to its end users. Then users can use it through subscriptions from vendors.  Users have to pay only for what they use. SaaS architecture is a very high level model which is based on Application Service Provider (ASP) concept and Service Oriented Architecture. Currently many organizations are using SaaS as it is a service centric model and it uses technologies like multi-tenant architecture which in turn provides the users with many desired set of features. SaaS also have some security challenges which can be classified under data, application and deployment of SaaS architecture. Furthermore there are many emerging trends in SaaSwhich are focused on full filling advanced customer demands. This research study is evaluating the current trends, approaches and applications of SAAS.

Cross-layer Approach to Assess FMEA on Critical Systems and Evaluate High-Level Model Realism

2021 ◽  
Author(s):  
Julie Roux ◽  
Katell Morin-Allory ◽  
Vincent Beroulle ◽  
Regis Leveugle ◽  
Lilian Bossuet ◽  
...  
Keyword(s):  
Cross Layer ◽  
Critical Systems ◽  
Level Model ◽  
Model Realism ◽  
High Level

scholarly journals Solving Probability Problems in Natural Language

2017 ◽  
Author(s):  
Anton Dries ◽  
Angelika Kimmig ◽  
Jesse Davis ◽  
Vaishak Belle ◽  
Luc de Raedt
Keyword(s):  
Natural Language ◽  
Discrete Mathematics ◽  
Second Step ◽  
Programming System ◽  
Mathematics Textbooks ◽  
Intellectual Skill ◽  
Correct Model ◽  
Level Model ◽  
End To End ◽  
High Level

The ability to solve probability word problems such as those found in introductory discrete mathematics textbooks, is an important cognitive and intellectual skill. In this paper, we develop a two-step end-to-end fully automated approach for solving such questions that is able to automatically provide answers to exercises about probability formulated in natural language.In the first step, a question formulated in natural language is analysed and transformed into a high-level model specified in a declarative language. In the second step, a solution to the high-level model is computed using a probabilistic programming system. On a dataset of 2160 probability problems, our solver is able to correctly answer 97.5% of the questions given a correct model. On the end-to-end evaluation, we are able to answer 12.5% of the questions (or 31.1% if we exclude examples not supported by design).

scholarly journals A Methodology for Generation of Performance Models for the Sizing of Analog High-Level Topologies

VLSI Design ◽  
2011 ◽  
Vol 2011 ◽  
pp. 1-17
Author(s):  
Soumya Pandit ◽  
Chittaranjan Mandal ◽  
Amit Patra
Keyword(s):  
Regression Function ◽  
Support Vector ◽  
Detailed Knowledge ◽  
Performance Models ◽  
Construction Time ◽  
Level Model ◽  
The Individual ◽  
High Level ◽  
Sequence Generator ◽  
Level Performance

This paper presents a systematic methodology for the generation of high-level performance models for analog component blocks. The transistor sizes of the circuit-level implementations of the component blocks along with a set of geometry constraints applied over them define the sample space. A Halton sequence generator is used as a sampling algorithm. Performance data are generated by simulating each sampled circuit configuration through SPICE. Least squares support vector machine (LS-SVM) is used as a regression function. Optimal values of the model hyper parameters are determined through a grid search-based technique and a genetic algorithm- (GA-) based technique. The high-level models of the individual component blocks are combined analytically to construct the high-level model of a complete system. The constructed performance models have been used to implement a GA-based high-level topology sizing process. The advantages of the present methodology are that the constructed models are accurate with respect to real circuit-level simulation results, fast to evaluate, and have a good generalization ability. In addition, the model construction time is low and the construction process does not require any detailed knowledge of circuit design. The entire methodology has been demonstrated with a set of numerical results.

scholarly journals Qualitative and Quantitative Integrated Modeling for Stochastic Simulation and Optimization

2013 ◽  
Vol 2013 ◽  
pp. 1-12 ◽  
Author(s):  
Xuefeng Yan ◽  
Yong Zhou ◽  
Yan Wen ◽  
Xudong Chai
Keyword(s):  
Hierarchical Model ◽  
Description Logic ◽  
Expert Knowledge ◽  
Uncertain Reasoning ◽  
Model Structure ◽  
Meta Model ◽  
Simulation And Optimization ◽  
Qualitative And Quantitative ◽  
Level Model ◽  
High Level

The simulation and optimization of an actual physics system are usually constructed based on the stochastic models, which have both qualitative and quantitative characteristics inherently. Most modeling specifications and frameworks find it difficult to describe the qualitative model directly. In order to deal with the expert knowledge, uncertain reasoning, and other qualitative information, a qualitative and quantitative combined modeling specification was proposed based on a hierarchical model structure framework. The new modeling approach is based on a hierarchical model structure which includes the meta-meta model, the meta-model and the high-level model. A description logic system is defined for formal definition and verification of the new modeling specification. A stochastic defense simulation was developed to illustrate how to model the system and optimize the result. The result shows that the proposed method can describe the complex system more comprehensively, and the survival probability of the target is higher by introducing qualitative models into quantitative simulation.

Sign in / Sign up

Export Citation Format

Share Document