scholarly journals Mode Analysis Domains for Typed Logic Programs

2000 ◽  
pp. 82-101 ◽  
Author(s):  
Jan-Georg Smaus ◽  
Patricia M. Hill ◽  
Andy King
Keyword(s):  
Mode Analysis ◽  
Logic Programs

Mode Analysis During Program Development

2016 ◽  
Vol 25 (02) ◽  
pp. 1650001
Author(s):  
Emmanouil Marakakis ◽  
Haridimos Kondylakis
Keyword(s):  
Program Development ◽  
Logic Program ◽  
Denotational Semantics ◽  
Data Type ◽  
Mode Analysis ◽  
Code Optimization ◽  
Construction Process ◽  
Logic Programs ◽  
Refinement Process ◽  
Program Construction

Mode analysis in logic programs has been used mainly for code optimization. The mode analysis in this paper supports the program construction process. It is applied to partially complete logic programs. The program construction process is based on schema refinements and refinements by data type operations. Refinements by data type operations are at the end of the refinement process. This mode analysis supports the proper application of refinements by data type operations. In addition, it checks that the declared modes as defined by the Data Type (DT) operations are consistent with the inferred runtime modes. We have implemented an algorithm for mode analysis based on minimal function graphs. An overview of our logic program development method and the denotational semantics of the analysis framework are presented in this paper.

VERIFYING REQUIREMENTS THROUGH MATHEMATICAL MODELLING AND ANIMATION

2000 ◽  
Vol 10 (02) ◽  
pp. 251-273 ◽  
Author(s):  
EDMUND KAZMIERCZAK ◽  
PHILIP DART ◽  
LEON STERLING ◽  
MICHAEL WINIKOFF
Keyword(s):  
Mathematical Modelling ◽  
Operational Semantics ◽  
General Purpose ◽  
Automated Deduction ◽  
Mode Analysis ◽  
System Specification ◽  
Logic Programs ◽  
Requirements Specifications ◽  
Dependency Management ◽  
Semantics Of Logic Programs

Achieving confidence in the correctness, completeness and consistency of requirements specifications can be problematic and the consequences of incorrect requirements can be costly. In this paper we argue that specification and animation can provide reasonably high levels of assurance in the requirements without the overheads of using general purpose theorem proving tools. We propose a framework based on mode analysis and the operational semantics of logic programs for animating specifications. The framework allows us to combine prototyping and limited forms of automated deduction to increase our levels of confidence in specifications. Finally, we show how such a framework can be used to increase the level of confidence in the correctness of a simple dependency management system specification written in Z.

Analisa Pola Kegagalan Balok Beton Menggunakan GFRP Bar Tanpa Selimut Beton

2020 ◽  
Vol 24 (1) ◽  
pp. 11-16
Author(s):  
Saddam - Husein ◽  
Rudy Djamaluddin ◽  
Rita Irmawaty ◽  
Kusnadi Kusnadi
Keyword(s):  
Reinforced Concrete ◽  
Concrete Beams ◽  
Concrete Cover ◽  
Steel Reinforcement ◽  
Fiber Reinforced Polymer ◽  
Mode Analysis ◽  
Flexural Capacity ◽  
Reinforced Polymer ◽  
Glass Fiber Reinforced ◽  
Gfrp Bar

SADDAM HUSEIN. Analisa Pola Kegagalan Balok Beton Menggunakan GFRP Bar Tanpa Selimut Beton (dibimbing oleh Rudi Djamaluddin dan Rita Irmawaty) Struktur beton bertulang yang menggunakan tulangan baja pada daerah korosif, menjadi rawan terhadap kerusakan atau penurunan kekuatannya akibat korosi.Korosi pada tulangan baja merupakan salah satu faktor penyebab menurunnya kekuatan struktur beton bertulang. Salah satu material yang dikembangkan mengatasi korosi adalah penggunaan material tulangan GFRP (Glass Fiber Reinforced Polymer). Penelitian ini bertujuan untuk menganalisa kapasitas lentur dan pola kegagalan balok beton tanpa selimut dengan menggunakan material tulangan GFRP bar.   Desain penelitian merupakan eksperimental laboratorium dengan rekapitulasi sebanyak 6 sampel yang terdiri dari 2 Balok beton menggunakan tulangan baja dengan selimut beton, 2 balok beton menggunakan tulangan GFRP bar dengan selimut beton, 2 balok beton menggunakan GFRP bar tanpa selimut beton. Metode pengujian dilakukan dengan dengan pengujian lentur statik monotonik dan Analisis data menggunakan uji kondisi retak awal dan kondisi ultimit.   Hasil penelitian ini menunjukkan bahwa kapasitas lentur pada balok dengan tulangan GFRP bar lebih besar dibandingkan dengan balok tulangan baja dan mampu meningkatkan kapasitas lentur balok dalam menahan beban sebesar 39.76 %, pola kegagalan beton yang terjadi pada balok tulangan baja mengalami kegagalan lentur tekan ditandai dengan retakan yang terjadi pada sisi tertekan dan membentuk retakan tegak dengan sumbu netral beton yang tertekan, sedangkan pada balok beton tulangan GFRP tanpa selimut mengalami kegagalan keruntuhan tekan geser dengan kondisi tulangan berdeformasi (bi-linear) dengan retak miring dan secara tiba-tiba menjalar menuju sumbu netral beton yang tertekan sehingga terjadilah keruntuhan secara tiba-tiba.     SADDAM HUSEIN.Failure mode analysis of concrete Beams Using GFRP rebar Without concrete cover (supervised by Rudi Djamaluddin and Rita Irmawaty)   Reinforced concrete that uses rebar steel in corrosive areas, are prone to damage or decreased strength due to corrosion. Corrosion in the steel reinforcement is one of the factors that decreasing strength of reinforced concrete. One of the materials developed to overcome corrosion is the use of GFRP (Glass Fiber Reinforced Polymer) reinforcement material. This study aims to analyze the flexural capacity and failure mode of concrete beams without concrete cover using material GFRP bar as reinforcement.   The research design was an experimental laboratory with a recapitulation of 6 samples consisting of 2 beams using steel reinforcement with concrete cover.2 concrete beams using reinforcement GFRP bar with concrete cover, 2 beams using GFRP bars without concrete cover. The  research method uses the monotonic static flexure and analyzing the data using the initial crack condition and ultimate conditions test.   The results of the research indicate the flexural capacity of the beams with GFRP bar reinforcement is higher than steel reinforcement beams and can increase 39.76% of the flexural capacity of the beams in holding loads , the failure mode analysis occurs in steel reinforcing beam experiences compressive failure. Failure was characterized  by cracks that occur on the depressing side and form an upright crack with the neutral axis of the compressed concrete, whereas in GFRP reinforced concrete beams without concrete cover, failure of shear compression with conditions of deformed reinforcement (bi-linear) with sloping cracks and suddenly spread towards the neutral axis of the compressed concrete so that there was a sudden collapse.

Application of the ESMACS Binding Free Energy Protocol to a Highly Varied Ligand Dataset: Lactate Dehydogenase A

2019 ◽  
Author(s):  
David Wright ◽  
Fouad Husseini ◽  
Shunzhou Wan ◽  
Christophe Meyer ◽  
Herman Van Vlijmen ◽  
...  
Keyword(s):  
Free Energy ◽  
Surface Area ◽  
Binding Free Energy ◽  
Normal Mode Analysis ◽  
Binding Mode ◽  
Accessible Surface Area ◽  
Solvent Accessible Surface Area ◽  
Mode Analysis ◽  
Energy Calculation ◽  
Accessible Surface

<div>Here, we evaluate the performance of our range of ensemble simulation based binding free energy calculation protocols, called ESMACS (enhanced sampling of molecular dynamics with approximation of continuum solvent) for use in fragment based drug design scenarios. ESMACS is designed to generate reproducible binding affinity predictions from the widely used molecular mechanics Poisson-Boltzmann surface area (MMPBSA) approach. We study ligands designed to target two binding pockets in the lactate dehydogenase A target protein, which vary in size, charge and binding mode. When comparing to experimental results, we obtain excellent statistical rankings across this highly diverse set of ligands. In addition, we investigate three approaches to account for entropic contributions not captured by standard MMPBSA calculations: (1) normal mode analysis, (2) weighted solvent accessible surface area (WSAS) and (3) variational entropy. </div>

Case Study and Fault Modeling for Wrong Redundancy Evaluation on DRAM Devices

2007 ◽  
Author(s):  
Martin Versen ◽  
Dorina Diaconescu ◽  
Jerome Touzel
Keyword(s):  
Failure Mode ◽  
Failure Modes ◽  
Fault Modeling ◽  
Mode Analysis ◽  
Root Cause ◽  
Failure Mode Analysis

Abstract The characterization of failure modes of DRAM is often straight forward if array related hard failures with specific addresses for localization are concerned. The paper presents a case study of a bitline oriented failure mode connected to a redundancy evaluation in the DRAM periphery. The failure mode analysis and fault modeling focus both on the root-cause and on the test aspects of the problem.

Sign in / Sign up

Export Citation Format

Share Document