scholarly journals Verification of Multi-Party Ping-Pong Protocols via Program Transformation

10.29007/1r2w ◽  
2018 ◽  
Author(s):  
Antonina Nepeivoda
Keyword(s):  
Program Transformation ◽  
Model Optimization ◽  
Ping Pong ◽  
Optimization And Complexity

The paper describes a verification technique based on program transformation with unfolding that allows to find short attacks on multi-party ping-pong protocols in the Dolev-Yao intruder model. Protocols are modelled by prefix grammars, and questions of model optimization and complexity are considered.

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

2019 ◽  
Author(s):  
Irina Bystrova ◽  
E. Danil'chuk ◽  
Boris Podkopaev
Keyword(s):  
Single Component ◽  
Diagnostic Model ◽  
State Machines ◽  
Model Optimization ◽  
Error Localization ◽  
Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

scholarly journals Design of a structure model set for inorganic compounds based on ping-pong balls linked with snap buttons

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Ryo Horikoshi ◽  
Hiroyuki Higashino ◽  
Yoji Kobayashi ◽  
Hiroshi Kageyama
Keyword(s):  
High School Students ◽  
Coordination Compounds ◽  
Periodic Structures ◽  
Inorganic Compounds ◽  
Structure Model ◽  
School Students ◽  
Model Sets ◽  
Ping Pong ◽  
Hands On ◽  
Model Set

Abstract Structure model sets for inorganic compounds are generally expensive; their distribution to all students in a class is therefore usually impractical. We have therefore developed a structure model set to illustrate inorganic compounds. The set is constructed with inexpensive materials: ping-pong balls, and snap buttons. The structure model set can be used to illustrate isomerism in coordination compounds and periodic structures of ceramic perovskites. A hands-on activity using the structure model set was developed for high school students and was well-received by them. Despite the concepts being slightly advanced for them, the students’ retention of the knowledge gained through the activity was tested a week after they completed the activity and was found to be relatively high, demonstrating the usefulness of the activity based on the structure model set.

scholarly journals Making legacy Fortran code type safe through automated program transformation

2021 ◽  
Author(s):  
Wim Vanderbauwhede
Keyword(s):  
Side Effect ◽  
Program Transformation ◽  
The Novel ◽  
Formal Approach ◽  
Type Checking ◽  
Type Safety ◽  
Fortran Code ◽  
Fortran 90 ◽  
Code Type ◽  
Fortran 77

AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90. We have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators.

scholarly journals Lipozyme 435-Mediated Synthesis of Xylose Oleate in Methyl Ethyl Ketone

Molecules ◽  
2021 ◽  
Vol 26 (11) ◽  
pp. 3317
Author(s):  
Maria Carolina Pereira Gonçalves ◽  
Jéssica Cristina Amaral ◽  
Roberto Fernandez-Lafuente ◽  
Ruy de Sousa Junior ◽  
Paulo Waldir Tardioli
Keyword(s):  
Oleic Acid ◽  
Methyl Ethyl Ketone ◽  
Molar Ratio ◽  
Methyl Ethyl ◽  
Sugar Ester ◽  
Molar Ratios ◽  
Emulsion Capacity ◽  
Ping Pong ◽  
Commercial Sugar ◽  
Repeated Use

In this paper, we have performed the Lipozyme 435-catalyzed synthesis of xylose oleate in methyl ethyl ketone (MEK) from xylose and oleic acid. The effects of substrates’ molar ratios, reaction temperature, reaction time on esterification rates, and Lipozyme 435 reuse were studied. Results showed that an excess of oleic acid (xylose: oleic acid molar ratio of 1:5) significantly favored the reaction, yielding 98% of xylose conversion and 31% oleic acid conversion after 24 h-reaction (mainly to xylose mono- and dioleate, as confirmed by mass spectrometry). The highest Lipozyme 435 activities occurred between 55 and 70 °C. The predicted Ping Pong Bi Bi kinetic model fitted very well to the experimental data and there was no evidence of inhibitions in the range assessed. The reaction product was purified and presented an emulsion capacity close to that of a commercial sugar ester detergent. Finally, the repeated use of Lipozyme 435 showed a reduction in the reaction yields (by 48 and 19% in the xylose and oleic acid conversions, respectively), after ten 12 h-cycles.

Sign in / Sign up

Export Citation Format

Share Document