Bibliographies thématiques / Safety logiciel / Articles de revues

Articles de revues sur le sujet « Safety logiciel »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Safety logiciel.
Auteur : Grafiati
Publié le 25 mai 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Safety logiciel ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

PENNEROUX, J. « Lancement d'un logiciel de formation à la radioprotection ». Radioprotection 29, no 3 (juillet 1994) : 405–6. http://dx.doi.org/10.1051/radiopro/1994012.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

PIPAUD, J. Y. « RADIOR, un logiciel d'initiation à l'optimisation de la radioprotection ». Radioprotection 30, no 1 (janvier 1995) : 103–4. http://dx.doi.org/10.1051/radiopro/1995019.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Renaud, Ph, H. Maubert, D. Robeau, I. Linge, O. Pavlovsky et I. Ossipiants. « PARIS : un logiciel de simulation d'états radioécologiques post-accidentels ». Radioprotection 32, no 4 (octobre 1997) : 521–32. http://dx.doi.org/10.1051/radiopro:1997116.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Bourgois, L., et H. Lelache. « TransporaD version 2.0 un logiciel sur la réglementation des transports de matières radioactives ». Radioprotection 33, no 2 (avril 1998) : 189–91. http://dx.doi.org/10.1051/radiopro:1998105.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Maubert, Henri, Philippe Renaud, Jean-Christophe Bernié, Guillaume de Drouas, Philippe Fache et Jean-Michel Métivier. « ASTRAL : un logiciel pour l'évaluation des conséquences d'un rejet accidentel de radionucléides dans l'environnement ». Radioprotection 32, no 3 (juillet 1997) : 357–69. http://dx.doi.org/10.1051/radiopro:1997112.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

JARVIS, N. S., et A. BIRCHALL. « LUDEP 1.0, un logiciel pour ordinateur personnel qui applique le nouveau modèle pulmonaire de la CIPR ». Radioprotection 29, no 1 (janvier 1994) : 81–86. http://dx.doi.org/10.1051/radiopro/1994023.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Egan, Rylan, Jessica Baumhour, Monica Mullin, Amelia Wilkinson, Sara Awad, Johanna Murphy, Nancy Dalgarno, Angela Coderre-Ball et Geneviève Digby. « Resident and Attending Physician Perceptions of a Quality and Safety Curriculum ». Canadian Journal of General Internal Medicine 16, no 3 (21 septembre 2021) : e62-e73. http://dx.doi.org/10.22374/cjgim.v16i3.495.

Texte intégral
Résumé :
This study sought to identify opportunities for improvement of an Internal Medicine (IM) resident quality improvement (QI)/patient safety (PS) program at an academic teaching hospital. The authors conducted semi-structured interviews with 15 residents and 6 attending physicians, which were analyzed from an inductive and thematic lens using NVivo software. Ethics was approved by the institution’s Research Ethics Board (File #: 6026140). Four themes emerged from this analysis. Residents and attending physicians agreed on (i) integrating QI/PS knowledge and skills into practice using active learning approaches. However, there was concern that requiring QI project completion through (ii) standardization of QI/PS education could create a barrier to clinical research required for sub-specialization. There was agreement that the (iii) QI/PS culture within the IM program was supportive and that a lack of safe reporting efficiency within the hospital, along with interprofessional discord, could cause (iv) external barriers to QI/PS training. By integrating these findings, evidence-informed and low-resource solutions could be incorporated into the QI/PS curriculum that uses minimal preparation requirements, and fulsome conversation-based exploration of QI/PS techniques within real-world clinical cases. RésuméCette étude visait à trouver des possibilités d’améliorer un programme d’amélioration de la qualité (AQ)/sécurité des patients (SP) pour les résidents en médecine interne (MI) à un hôpital universitaire. Les auteurs ont mené des entrevues semi-structurées auprès de 15 résidents et de 6 médecins traitants, lesquelles ont été analysées d’un point de vue inductif et thématique à l’aide du logiciel NVivo. Le comité d’éthique de la recherche de l’établissement a approuvé cette recherche (dossier no : 6026140). Quatre thèmes sont ressortis de cette analyse. Les résidents et les médecins traitants sont d’accord sur les éléments suivants : i) l’intégration dans la pratique des connaissances et des compétences en AQ/SP au moyen d’approches d’apprentissage actif. Toutefois, on craint que l’obligation de mener à bien le projet d’AQ par l’intermédiaire de ii) l’uniformisation de l’enseignement de l’AQ/SP ne crée un obstacle à la recherche clinique requise pour la sous-spécialisation. Les participants s’entendent pour dire iii) que la culture de l’AQ/SP au sein du programme de MI est fondée sur le soutien et que le manque d’efficacité lié aux déclarations relatives à la sécurité au sein de l’hôpital ainsi que les désaccords interprofessionnels pourraient causer iv) des obstacles externes à la formation sur l’AQ/SP. En intégrant ces constatations, des solutions fondées sur des données probantes et nécessitant peu de ressources pourraient être incorporées dans le programme d’AQ/SP qui utilise des exigences minimales en matière de préparation et une exploration approfondie des techniques d’AQ/SP sur le mode de la conversation dans le cadre de cas cliniques réels.
Styles APA, Harvard, Vancouver, ISO, etc.
8

GROUZELLE, C., F. LAYLAVOIX F., M. F. BAUDOT et R. DUCOUSSO. « Logiciel pour une évaluation rapide des conséquences d'une retombée radioactive sur la chaîne alimentaire : applications au milieu tropical ». Radioprotection 30, no 1 (janvier 1995) : 79–88. http://dx.doi.org/10.1051/radiopro/1995024.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Degrange, J. P., F. P. Levy et T. Schneider. « ECRS : Un logiciel pour l'évaluation du risque et des contre-mesures associés à l'exposition au radon dans les habitations ». Radioprotection 36, no 4 (octobre 2001) : 537–46. http://dx.doi.org/10.1051/radiopro:2001107.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Lamart, S., L. De Carlan, E. Blanchardon et D. Franck. « Développements apportés au logiciel OEDIPE de simulation de mesures anthroporadiamétriques pour la prise en compte des données biocinétiques dans la modélisation de la contamination interne ». Radioprotection 43, no 2 (avril 2008) : 213–23. http://dx.doi.org/10.1051/radiopro:2007055.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
11

Pichard, Romain, Alexandre Philippot, Ramla Saddem et Bernard Riera. « Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter ». IEEE Transactions on Control Systems Technology 27, no 4 (juillet 2019) : 1659–67. http://dx.doi.org/10.1109/tcst.2018.2827329.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
12

Cornelissen, Pieter A., Mark Van Vuuren et Joris J. Van Hoof. « How logical is safety ? An institutional logics perspective on safety at work ». Work 66, no 1 (4 juin 2020) : 135–47. http://dx.doi.org/10.3233/wor-203158.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
13

Rakotoarivelo, ZH, EE Batavisoaniatsy, FI Rakotonindrina, RS Rakotomalala, AT Rabenandrianina, AAO Rakoto et A. Rasamindrakotroka. « Knowledge, attitudes and practices regarding blood donation in a rural Malagasy population : Case of the Belobaka -Mahajanga II municipality ». Africa Sanguine 24, no 1 (22 décembre 2022) : 19–23. http://dx.doi.org/10.4314/asan.v24i1.3.

Texte intégral
Résumé :
Introduction: Blood availability is a daily challenge for blood transfusion centers in Madagascar. The knowledge, attitudes and practices of the population on donation remain poorly documented. Our objective is to determine them at the level of the rural population of Belobaka in order to improve the promotion of voluntary donation.Materials and Methods: A descriptive study was conducted for 4 months on residents over 18 years of age. Simple random sampling according to Lynch's formula was done. A questionnaire prepared beforehand and translated into Malagasy by the investigators in the field was used. Data were recorded and analyzed with Statistical Package for the Social Sciences (SPSS) version 22.0 software. The consent and anonymity of the respondents were respected.Results: We included 118 people including 85 men and 33 women. The average age was 32.48 years. More than half of respondents said they knew about blood donation (56.80%), while 18.60% had already made a donation. Ignorance about blood donation and fear of blood collection (45.83%) were the main obstacles among non-donors. Replacement family donation was the main motivation reported (54.40%), followed by donations during mobile collections (22.80%).Conclusion: Major blood donation awareness strategies should be put in place to ensure blood safety in Madagascar. An anthropological approach would be particularly favorable in rural areas. Introduction : La disponibilité du sang constitue un défi quotidien pour les centres de transfusion sanguine à Madagascar. Les connaissances, attitudes et pratiques de la population sur le don restent peu documentées. Notre objectif est de les déterminer au niveau de la population rurale de Belobaka afin d’améliorer la promotion du don volontaire.Matériels et Méthodes : Une étude descriptive a été menée pendant 4 mois concernant les habitants de plus de 18 ans. Un échantillonnage aléatoire simple selon la formule de Lynch a été fait. Un questionnaire élaboré au préalable et traduit en malgache par les enquêteurs sur le terrain a été utilisé. Les données ont été enregistrées et analysées avec le logiciel Statistical Package for the Social Sciences (SPSS) version 22.0. Le consentement et l’anonymat des enquêtés ont été respectés.Résultats : Nous avons inclus 118 personnes dont 85 hommes et 33 femmes. L’âge moyen a été de 32,48 ans. Plus de la moitié des enquêtés ont affirmé avoir connaissance du don de sang (56,80%), tandis que 18,60% ont déjà effectué un don. L’ignorance sur le don de sang ainsi que la peur du prélèvement (45,83%) ont été les principaux freins chez les non donneurs. Le don familial de remplacement a été la principale motivation rapportée (54,40%), suivi des dons lors des collectes mobiles (22,80%).Conclusion : De grandes stratégies de sensibilisation sur le don de sang devraient être mises en place pour assurer la sécurité transfusionnelle à Madagascar. Une approche anthropologique serait favorable notamment dans les zones rurales.
Styles APA, Harvard, Vancouver, ISO, etc.
14

FUTSUHARA, Koichi, et Noboru SUGIMOTO. « A logical consideration of the safety operation system of the safety confirmation type. » Transactions of the Japan Society of Mechanical Engineers Series C 56, no 529 (1990) : 2378–85. http://dx.doi.org/10.1299/kikaic.56.2378.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
15

Ranger, T., A. Philippot et B. Riera. « Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems ». IFAC-PapersOnLine 55, no 2 (2022) : 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.04.188.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
16

Ryabinin, Igor A., et Alexander V. Strukov. « Quantitative examples of safety assessment using logical-probabilistic methods ». International Journal of Risk Assessment and Management 21, no 1/2 (2018) : 4. http://dx.doi.org/10.1504/ijram.2018.090253.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
17

Ryabinin, Igor A., et Alexander V. Strukov. « Quantitative examples of safety assessment using logical-probabilistic methods ». International Journal of Risk Assessment and Management 21, no 1/2 (2018) : 4. http://dx.doi.org/10.1504/ijram.2018.10011305.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
18

Yang, Yang, Qing Xia et Yu Zhang. « Entropy Model For Safety Culture and Safety Performance ». Advances in Computer and Engineering Technology Research 1, no 1 (5 décembre 2023) : 96. http://dx.doi.org/10.61935/acetr.1.1.2023.p96.

Texte intégral
Résumé :
According to Maslow's Hierarchy of Needs, combined with the political attribute of safety management, the human's demand hierarchy and the development trend of our country's safety production management system in recent years, the realization path of security vision of port enterprises in China is proposed, including that (1) Taking safety vision as the objectives, the process of safety awareness is analyzed from the perspectives of safety perception, safety cognition, and safety decision-making, and the framework model for implementing safety awareness is established.(2) Based on the analytic hierarchy process and logical analysis, the factors with greater weight in safety performance are determined.(3) An entropy model for safety culture and safety performance are established.
Styles APA, Harvard, Vancouver, ISO, etc.
19

Ventrone, T. A. « A logical progression ». Process Safety Progress 12, no 1 (janvier 1993) : J3. http://dx.doi.org/10.1002/prs.680120102.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
20

Karasev, Vasily, et Eugene Solozhentsev. « Hybrid logical and probabilistic models for management of socioeconomic safety ». International Journal of Risk Assessment and Management 21, no 1/2 (2018) : 89. http://dx.doi.org/10.1504/ijram.2018.090258.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
21

Karasev, Vasily, et Eugene Solozhentsev. « Hybrid logical and probabilistic models for management of socioeconomic safety ». International Journal of Risk Assessment and Management 21, no 1/2 (2018) : 88. http://dx.doi.org/10.1504/ijram.2018.10011309.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
22

Lim, Ho-Gon, Dong-San Kim, Sang Hoon Han et Joon Eon Yang. « Development of logical structure for multi-unit probabilistic safety assessment ». Nuclear Engineering and Technology 50, no 8 (décembre 2018) : 1210–16. http://dx.doi.org/10.1016/j.net.2018.10.012.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
23

Tchórzewska-Cieślak, Barbara, Katarzyna Pietrucha-Urbanik, Janusz Rak, Dorota Papciak, Petr Hlavínek et Krzysztof Chmielowski. « A Safety Assessment for Consumers of Water Using Logical Trees ». Applied Sciences 12, no 21 (7 novembre 2022) : 11276. http://dx.doi.org/10.3390/app122111276.

Texte intégral
Résumé :
The lack of biochemical stability in drinking water increases the secondary contamination risk in water supply systems and hence represents a sanitary threat to consumers. The work presented here assesses the likelihood of such risk. The assessment is based on data obtained from one of the water treatment plants. The assessment of the bio-chemical instability risk combines both approaches: fault and event trees. Additional consideration was naturally given to the events that initiated the contamination at the outlet of the water treatment plant. It is concluded that if it is to protect the water-supply infrastructure representing a kind of critical infrastructure, a water-supply company needs to put more emphasis on the distribution of stable water in terms of its properties and composition, thus having no potentially corrosive properties. The assessment underlines the importance that water supply utilities should equally consider both the supplied water sanitary quality and the water supply service continuity.
Styles APA, Harvard, Vancouver, ISO, etc.
24

Плуготаренко, Н., N. Plutogarenko, А. Долгополова et A. Dolgopolova. « Method for Urban Environmental Safety’s Integral Assessment with the Usage of Logical-Probabilistic Approach ». Safety in Technosphere 6, no 4 (18 décembre 2017) : 75–82. http://dx.doi.org/10.12737/article_5a290a9c4d9b03.59307929.

Texte intégral
Résumé :
The work has been devoted to development of method for integral assessment of an industrial city’s level of ecological security using the logical-probabilistic approach. The basic methods for integral assessment of negative factors’ impact on industrial cities’ environment and such cities’ population health. Have been developed a logical-probabilistic model for an industrial city’s ecological safety evaluation to predict this city’s development, and method for integrated assessment of industrial city’s ecological safety using logical-probabilistic approach.
Styles APA, Harvard, Vancouver, ISO, etc.
25

Niu, Yue, Jonathan Sterling, Harrison Grodin et Robert Harper. « A cost-aware logical framework ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–31. http://dx.doi.org/10.1145/3498670.

Texte intégral
Résumé :
We present calf , a c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of phase distinctions , we argue that the cost structure of programs motivates a phase distinction between intension and extension . Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a full-spectrum dependent type theory, calf presents a unified language for programming and specification of both cost and behavior that can be integrated smoothly with existing mathematical libraries available in type theoretic proof assistants. We evaluate calf as a general framework for cost analysis by implementing two fundamental techniques for algorithm analysis: the method of recurrence relations and physicist’s method for amortized analysis . We deploy these techniques on a variety of case studies: we prove a tight, closed bound for Euclid’s algorithm, verify the amortized complexity of batched queues, and derive tight, closed bounds for the sequential and parallel complexity of merge sort, all fully mechanized in the Agda proof assistant. Lastly we substantiate the soundness of quantitative reasoning in calf by means of a model construction.
Styles APA, Harvard, Vancouver, ISO, etc.
26

Li, Huan, et You Shi Zheng. « Study on the logical relationship between system safety and PMMEL project ». Journal of Physics : Conference Series 2252, no 1 (1 avril 2022) : 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Texte intégral
Résumé :
Abstract The Master Minimum Equipment List (MMEL) is an important technical manual for civil aircraft to meet release conditions and achieve release with failures, and it is also a key reference manual for airlines to develop the minimum equipment list. This paper firstly elaborates the relationship between PMMEL, MMEL and MEL, initially studies the system safety assessment process, and focuses on the logical relationship between system safety and PMMEL project development by detailing the role of system safety assessment FHA, FMEA and FTA in the development and analysis process of PMMEL during the aircraft development phase, to ensure the PMMEL work and The logical relationship between system safety and PMMEL project development is discussed to ensure the close integration between PMMEL work and civil aircraft development, to provide theoretical basis for manufacturers to fully consider the design of PMMEL in the development phase, and then to improve the capability of the developed aircraft with failure release.
Styles APA, Harvard, Vancouver, ISO, etc.
27

Li, Huan, et You Shi Zheng. « Study on the logical relationship between system safety and PMMEL project ». Journal of Physics : Conference Series 2252, no 1 (1 avril 2022) : 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Texte intégral
Résumé :
Abstract The Master Minimum Equipment List (MMEL) is an important technical manual for civil aircraft to meet release conditions and achieve release with failures, and it is also a key reference manual for airlines to develop the minimum equipment list. This paper firstly elaborates the relationship between PMMEL, MMEL and MEL, initially studies the system safety assessment process, and focuses on the logical relationship between system safety and PMMEL project development by detailing the role of system safety assessment FHA, FMEA and FTA in the development and analysis process of PMMEL during the aircraft development phase, to ensure the PMMEL work and The logical relationship between system safety and PMMEL project development is discussed to ensure the close integration between PMMEL work and civil aircraft development, to provide theoretical basis for manufacturers to fully consider the design of PMMEL in the development phase, and then to improve the capability of the developed aircraft with failure release.
Styles APA, Harvard, Vancouver, ISO, etc.
28

Li Wei, Li Wei, et Bing-Wu Fang Li Wei. « Safety Analysis Method of Mixed Failure Model using Temporal Bayesian Network ». 網際網路技術學刊 23, no 4 (juillet 2022) : 727–34. http://dx.doi.org/10.53106/160792642022072304008.

Texte intégral
Résumé :
<p>Dynamic Fault Tree (DFT) is used widely in the community of reliability and safety analysis of a complex system. DFT is a high-level modeling language lacking formal semantics, so we need to convert it to a mathematical model to analyze. The conventional analysis method can only solve the DFT with discrete or exponential distribution, but not the DFT with mixed distributions. To this end, we first propose a TBN framework to represent the DFT with mixed failure distribution by extending the BN and introduce Dirac delta functions and unit-step functions into the framework to represent the logical relationship and temporal relationship between the nodes, respectively. To run the standard BN inference algorithm over TBN, we fit the failure distribution of the nodes by using k-piece and n-degree polynomials. We then propose a transformation method from DFT to TBN and prove the equivalence of the transformation. Finally, the analysis of the DFT model of the X2000 avionics system shows that our approach can effectively analyze the reliability of mixed distribution failure models. Moreover, the accuracy and efficiency of the analysis are significantly better than current mainstream methods.</p> <p>&nbsp;</p>
Styles APA, Harvard, Vancouver, ISO, etc.
29

Sugimoto, Noboru, Koichi Futsuhara et Masao Mukaidono. « The principle and logical structure of safety in man-machine system. » IEEJ Transactions on Industry Applications 107, no 9 (1987) : 1092–98. http://dx.doi.org/10.1541/ieejias.107.1092.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
30

Li, Zhao Hui, et Yan Chen. « Use Management System to Improve Highway Safety ». Advanced Materials Research 268-270 (juillet 2011) : 1524–27. http://dx.doi.org/10.4028/www.scientific.net/amr.268-270.1524.

Texte intégral
Résumé :
Based on discussed the characteristics of highway traffic accidents’ severity and distribution in detail, this paper puts forward a new approach that is use safety management system to improve highway safety, establishes it’s logical architecture, puts emphasis on the advantage of institution, standard, safeguard, supervision and implementation.
Styles APA, Harvard, Vancouver, ISO, etc.
31

Dźwiarek, Marek. « Design of logical devices that perform guard interlocking and locking function ». Mechanik 92, no 7 (8 juillet 2019) : 474–76. http://dx.doi.org/10.17814/mechanik.2019.7.61.

Texte intégral
Résumé :
Machine guards are commonly used safety measures. The aim of the research was to determine the possibilities and limitations in the application of logic circuits providing interlocking and locking safety functions associated with guards. Particular attention was paid to the prevention of the defeating of guards. In further works it is planned to develop a methodology for the selection and design of those devices.
Styles APA, Harvard, Vancouver, ISO, etc.
32

Sineshchuk, Yury Ivanovich, Alexandr Gennadyevich Philippov, Sergey Nikolaevich Terehin, Denis Valerjevich Nikolaev et Igor Borisovich Saenko. « Structural-logical method of the safety analysis of the potentially dangerous objects ». SPIIRAS Proceedings 2, no 17 (17 mars 2014) : 55. http://dx.doi.org/10.15622/sp.17.4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
33

Backhouse, Kevin, et Roland Backhouse. « Safety of abstract interpretations for free, via logical relations and Galois connections ». Science of Computer Programming 51, no 1-2 (mai 2004) : 153–96. http://dx.doi.org/10.1016/j.scico.2003.06.002.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
34

Neal, Jack A., et Mary Dawson. « Outbreak at Mulligan Oaks : A Logical Approach to Discovering Food Safety Attributes ». Journal of Hospitality & ; Tourism Cases 3, no 3 (novembre 2014) : 16–20. http://dx.doi.org/10.1177/216499871400300303.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
35

Or, Liran Bar, Shai Arogeti et Daniel Hartmann. « Challenges in Future Mathematical Modelling of Hierarchical Functional Safety Control Structures within STAMP Safety Model ». MATEC Web of Conferences 273 (2019) : 02011. http://dx.doi.org/10.1051/matecconf/201927302011.

Texte intégral
Résumé :
In the STAMP model, based on control theory, the control relationships between various system elements enforced by the closed Control Loops (CLs) are logical and functional. A literature survey emphasized the fact that for the moment STAMP and its main tools STPA and CAST are not associated with any numerical tools. The main rationale of our work is to understand whether STAMP matches to be a quantitative model. Furthermore, in a case that we find that numerical tools can be used in STAMP, we intend to bridge the gap between the logical-functional approach in STAMP and any of the suitable quantitative approaches applied in Engineering Control Theory (ECT). As a first step, a literature comparison was performed between the basic control parameters existing explicitly at the moment in the STAMP model, and those well known in the literature of ECT. The results reveal that there are many similar terms, especially related to conceptual and general definitions. However, we have observed that there are also basic quantitative parameters from ECT which are not yet referred to in STAMP as quantitative safety evaluation parameters. Another main finding is an inherent difference in various ECT related parameters and the CLs at the various hierarchical levels. ECT was originally developed to deal with physical systems. Thus, any machine related internal control loops within the lower-physical level of a Sociotechnical System (STS) can be directly addressed with quantitative methods from ECT. However, most of the human-machine interactions in the lower levels and the human and societal controls in the higher levels are at the moment not suitable for those methods. We assume these ECT parameters may have an important role in designing and examining systems safety and hence we suggest, should be integrated into STAMP model, in purpose to be able to enhance systems safety.
Styles APA, Harvard, Vancouver, ISO, etc.
36

Liu, Yiyun, et Stephanie Weirich. « Dependently-Typed Programming with Logical Equality Reflection ». Proceedings of the ACM on Programming Languages 7, ICFP (30 août 2023) : 649–85. http://dx.doi.org/10.1145/3607852.

Texte intégral
Résumé :
In dependently-typed functional programming languages that allow general recursion, programs used as proofs must be evaluated to retain type soundness. As a result, programmers must make a trade-off between performance and safety. To address this problem, we propose System DE, an explicitly-typed, moded core calculus that supports termination tracking and equality reflection. Programmers can write inductive proofs about potentially diverging programs in a logical sublanguage and reflect those proofs to the type checker, while knowing that such proofs will be erased by the compiler before execution. A key feature of System DE is its use of modes for both termination and relevance tracking, which not only simplifies the design but also leaves it open for future extension. System DE is suitable for use in the Glasgow Haskell Compiler, but could serve as the basis for any general purpose dependently-typed language.
Styles APA, Harvard, Vancouver, ISO, etc.
37

Chu, Jiayun, Xiaohong Bao, Tingdi Zhao et Fuchun Ren. « Safety analysis for integrated modular avionics based on blueprints ». MATEC Web of Conferences 169 (2018) : 01029. http://dx.doi.org/10.1051/matecconf/201816901029.

Texte intégral
Résumé :
The Integrated Modular Avionics System (IMA) has been a core technology for the new generation of aircrafts in recent years. It consists of a set of reusable and interoperable common functional modules. However, the highly coupled relationship of resources makes it difficult to identify and control dangers. As an effective and efficient way, the blueprints are used to describe and manage the IMA system. Owing to the system management functions provided by the blueprints, we can accurately determine the system resources configuration status, which is very crucial for safety analysis. In this paper, we explore the possibilities to conduct safety analysis based on blueprints. A safety analysis method based on blueprints is proposed, which applies mathematical logic to describe the logical relationship between targets and resources provided by the blueprints and uses semi-tensor product of matrix theory to simplify the logical expressions. Based on the mathematical model, we can conduct the fail safety analysis and identify resources failures that may undermine the IMA system safety.
Styles APA, Harvard, Vancouver, ISO, etc.
38

Faella, Marco, et Gennaro Parlato. « Reachability Games Modulo Theories with a Bounded Safety Player ». Proceedings of the AAAI Conference on Artificial Intelligence 37, no 5 (26 juin 2023) : 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.

Texte intégral
Résumé :
Solving reachability games is a fundamental problem for the analysis, verification, and synthesis of reactive systems. We consider logical reachability games modulo theories (in short, GMTs), i.e., infinite-state games whose rules are defined by logical formulas over a multi-sorted first-order theory. Our games have an asymmetric constraint: the safety player has at most k possible moves from each game configuration, whereas the reachability player has no such limitation. Even though determining the winner of such a GMT is undecidable, it can be reduced to the well-studied problem of checking the satisfiability of a system of constrained Horn clauses (CHCs), for which many off-the-shelf solvers have been developed. Winning strategies for GMTs can also be computed by resorting to suitable CHC queries. We demonstrate that GMTs can model various relevant real-world games, and that our approach can effectively solve several problems from different domains, using Z3 as the backend CHC solver.
Styles APA, Harvard, Vancouver, ISO, etc.
39

LOKE, SENG WAI, et ANDREW DAVISON. « Secure Prolog-based mobile code ». Theory and Practice of Logic Programming 1, no 3 (mai 2001) : 321–57. http://dx.doi.org/10.1017/s1471068401001211.

Texte intégral
Résumé :
LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from foreign hosts and executed locally, there is a need to protect the client from buggy or malicious code. A security model is crucial for making LogicWeb mobile code safe to execute. This paper presents such a model, which supports programs of varying trust levels by using different resource access policies. The implementation of the model derives from an extended operational semantics for the LogicWeb language, which provides a precise meaning of safety.
Styles APA, Harvard, Vancouver, ISO, etc.
40

Viatkina, Nataliia. « Memory in Terms of Logic and Semiotics ». Filosofska dumka (Philosophical Thought) -, no 4 (10 décembre 2021) : 142–52. http://dx.doi.org/10.15407/fd2021.04.142.

Texte intégral
Résumé :
The phenomenon of memory is considered as a component implicitly present in the process of information communication. A short typology of memory kinds that form a referential field around so-called semantic memory is given. Through the approaches of Yu. Lotman and R. Jacobson, the classical notion of time is considered through the relationship "Past-Present-Future", which is closely related to the problems of memory. The focus is on how could the memory be considered within logic and by means of logic? As one of the ways of solving the point, to apply the tools of tense logic to the problem through the analysis of the works of Anatoly Ishmuratov (1946–2017), a prominent Ukrainian logician, is proposed. The classifications of the tenses by O. Jespersen, H. Reichenbach, W. Bull are considered. The subjective and objective axes of orientation, which form the basis of calendars, charts and scales, as fragments of time, are analyzed. According to Ishmuratov, these instruments – schemes, diagrams, etc. can be considered languages. The possibility of language objectification of meaning determines the relationship of logical inference, and thus the structuring of semantic areas, which are memories, by means the language of logic and in accordance with its structures. Through the study of logical and cognitive conditions of action, A. Ishmuratov continued to develop ideas of tense logic and their application to explain the psychological perception of objective time. He construed a scheme of semantic connections of memory as a mental act that reproduces the life path of the individual; he distinguished between memories and "pseudo-memories", which together influence the reassessment of past events, shape the individual`s experience and his ability to construe alternatives to the future and reasoning about it. A special place in A. Ishmuratov's research is occupied by his explication of temporal three-valued logic and application of temporal modalities to the analysis of so-called transient states. Further study of such approaches could help to make sense of rational explication of memory, testimonies, reminiscences of past events and give interesting results.
Styles APA, Harvard, Vancouver, ISO, etc.
41

Lei, Shi, Zizheng Guo, Xi Tan, Xi Chen, Chengen Li, Jiaming Zou, Shi Cao et Guo Feng. « Cognitive Abilities Predict Safety Performance : A Study Examining High-Speed Railway Dispatchers ». Journal of Advanced Transportation 2021 (5 juin 2021) : 1–10. http://dx.doi.org/10.1155/2021/5538320.

Texte intégral
Résumé :
Cognitive abilities are good predictors of safety performance in many occupations. However, this correlation has not been studied from the perspective of high-speed railway (HSR) dispatchers who play a vital role in ensuring the safety and punctuality of HSR transportation system. Therefore, studying factors affecting HSR dispatchers’ safety performance is not only of great importance in filling the theoretical gap, but also conducive to the selection and training of dispatchers, contributing to the reduction of human errors and the prevention of railway accidents. In this study, a total of 118 HSR dispatchers from a branch of China Railway were recruited to complete the tests that examined their cognitive abilities related to the dispatching job, including logical reasoning, visual multiobject tracking, working memory, task switching, and cognitive flexibility. Safety performance, including both the safety evaluation score obtained from the dispatchers’ monthly safety performance record of the Railway Bureau and the emergency disposal performance indicated by train delay time, was evaluated with a dispatch simulator. The results suggested that better abilities in visual multiobject tracking, working memory, task switching, and cognitive flexibility were correlated with higher safety evaluation score (reflecting daily safety performance) and shorter train delay time (reflecting safety and efficiency in emergency disposal). No significant correlation was found in logical reasoning. These findings support the recommendation that cognitive abilities investigated as predictors of safety performance could be useful for the selection and training of HSR dispatchers.
Styles APA, Harvard, Vancouver, ISO, etc.
42

Timany, Amin, Armaël Guéneau et Lars Birkedal. « The Logical Essence of Well-Bracketed Control Flow ». Proceedings of the ACM on Programming Languages 8, POPL (5 janvier 2024) : 575–603. http://dx.doi.org/10.1145/3632862.

Texte intégral
Résumé :
A program is said to be well-bracketed if every called function must return before its caller can resume execution. This is often the case. Well-bracketedness has been captured semantically as a condition on strategies in fully abstract games models and multiple prior works have studied well-bracketedness by showing correctness/security properties of programs where such properties depend on the well-bracketed nature of control flow. The latter category of prior works have all used involved relational models with explicit state-transition systems capturing the relevant parts of the control flow of the program. In this paper we present the first Hoare-style program logic based on separation logic for reasoning about well-bracketedness and use it to show correctness of well-bracketed programs both directly and also through defining unary and binary logical relations models based on this program logic. All results presented in this paper are formalized on top of the Iris framework and mechanized in the Coq proof assistant.
Styles APA, Harvard, Vancouver, ISO, etc.
43

Grodin, Harrison, Yue Niu, Jonathan Sterling et Robert Harper. « Decalf : A Directed, Effectful Cost-Aware Logical Framework ». Proceedings of the ACM on Programming Languages 8, POPL (5 janvier 2024) : 273–301. http://dx.doi.org/10.1145/3632852.

Texte intégral
Résumé :
We present decalf , a d irected, e ffectful c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs with effects. Like calf , the language is based on a formal phase distinction between the extension and the intension of a program, its pure behavior as distinct from its cost measured by an effectful step-counting primitive. The type theory ensures that the behavior is unaffected by the cost accounting. Unlike calf , the present language takes account of effects , such as probabilistic choice and mutable state. This extension requires a reformulation of calf ’s approach to cost accounting: rather than rely on a ”separable” notion of cost, here a cost bound is simply another program . To make this formal, we equip every type with an intrinsic preorder, relaxing the precise cost accounting intrinsic to a program to a looser but nevertheless informative estimate. For example, the cost bound of a probabilistic program is itself a probabilistic program that specifies the distribution of costs. This approach serves as a streamlined alternative to the standard method of isolating a cost recurrence and readily extends to higher-order, effectful programs. The development proceeds by first introducing the decalf type system, which is based on an intrinsic ordering among terms that restricts in the extensional phase to extensional equality, but in the intensional phase reflects an approximation of the cost of a program of interest. This formulation is then applied to a number of illustrative examples, including pure and effectful sorting algorithms, simple probabilistic programs, and higher-order functions. Finally, we justify decalf via a model in the topos of augmented simplicial sets.
Styles APA, Harvard, Vancouver, ISO, etc.
44

Weber, Hendrik, Julian Bock, Jens Klimke, Christian Roesener, Johannes Hiller, Robert Krajewski, Adrian Zlocki et Lutz Eckstein. « A framework for definition of logical scenarios for safety assurance of automated driving ». Traffic Injury Prevention 20, sup1 (12 juin 2019) : S65—S70. http://dx.doi.org/10.1080/15389588.2019.1630827.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
45

Georges, Aïna Linn, Alix Trieu et Lars Birkedal. « Le temps des cerises : efficient temporal stack safety on capability machines using directed capabilities ». Proceedings of the ACM on Programming Languages 6, OOPSLA1 (8 décembre 2022) : 1–30. http://dx.doi.org/10.1145/3527318.

Texte intégral
Résumé :
Capability machines are a type of CPUs that support fine-grained privilege separation using capabilities , machine words that include forms of authority. Formal models of capability machines and associated calling conventions have so far focused on establishing two forms of stack safety properties, namely local state encapsulation and well-bracketed control flow. We introduce a novel kind of directed capabilities and show how to use them to make an earlier suggested calling convention more efficient. In contrast to earlier work on capability machine models we do not only consider integrity properties but also confidentiality properties; we provide a unary logical relation to reason about the former and a binary logical relation to reason about the latter, each expressive enough to reason about temporal stack safety. While the logical relations are useful for reasoning about concrete examples, they do not on their own demonstrate that stack safety holds for a large class of programs. Therefore, we also show full abstraction of a compiler from an overlay semantics that internalizes the calling convention as a single call step and explicitly keeps track of the call stack and frame lifetimes to a base capability machine. All results have been mechanized in Coq.
Styles APA, Harvard, Vancouver, ISO, etc.
46

Perez-Cruet, Mick J., Dino Samartzis et Richard G. Fessler. « Anterior Cervical Discectomy and Corpectomy ». Operative Neurosurgery 58, suppl_4 (1 avril 2006) : ONS—355—ONS—359. http://dx.doi.org/10.1227/01.neu.0000205285.20336.c2.

Texte intégral
Résumé :
Abstract Objective: The objective of this review article is to describe the authors' operative technique for performing anterior cervical corpectomy and fusion. Methods: The authors reviewed their operative technique and experience to clearly detail the general methods utilized to safely and effectively perform anterior cervical corpectomy and fusion. Specific nuances peculiar to the authors' technique were identified and highlighted. Results: The operative technique for anterior cervical corpectomy, including nuances for enhancing ease or outcome of surgery, is described in detail. Drawings and photographs are included where appropriate to highlight specific aspects of the procedural technique. Conclusion: Anterior cervical corpectomy and fusion is a well known technique that proceeds in a consistent and logical sequence of maneuvers. Specific technical nuances at various points enhance the ease and safety of the technique, as well as the completeness of the eventual result.
Styles APA, Harvard, Vancouver, ISO, etc.
47

Gopal, T. V. « Logical Foundations for Reasoning in Cyber - Physical Systems ». Oriental journal of computer science and technology 16, no 01 (30 mai 2023) : 01–11. http://dx.doi.org/10.13005/ojcst16.01.01.

Texte intégral
Résumé :
This paper aims at building the causal relations and event structures13 to study the complex and evolving cyber – physical systems with illustrations of the reasoning based on Robotics24 and Policy Analysis25 for Communication Systems. An empirical analysis points to the realism that network security is also a geometric theory with safety and authentication tending to geometric formulae that make the larger structures. Security is very much a matter of perception too. The proposed approach also factors the perceptual aspects of the human mind. This paper includes several interesting possibilities for using linear algebra, discrete mathematics, analysis, and topology in the domains such as economics, game theory, robotics and biology to mention a few.
Styles APA, Harvard, Vancouver, ISO, etc.
48

Grau, Bernardo Cuenca, et Egor V. Kostylev. « Logical Foundations of Linked Data Anonymisation ». Journal of Artificial Intelligence Research 64 (16 février 2019) : 253–314. http://dx.doi.org/10.1613/jair.1.11355.

Texte intégral
Résumé :
The widespread adoption of the Linked Data paradigm has been driven by the increasing demand for information exchange between organisations, as well as by regulations in domains such as health care and governance that require certain data to be published. In this setting, sensitive information is at high risk of disclosure since published data can be often seamlessly linkedwith arbitrary external data sources.In this paper we lay the logical foundations of anonymisation in the context of Linked Data. We consider anonymisations of RDF graphs (and, more generally, relational datasets with labelled nulls) and define notions of policy-compliant and linkage-safe anonymisations. Policy compliance ensures that an anonymised dataset does not reveal any sensitive information as specified by a policy query. Linkage safety ensures that an anonymised dataset remains compliant even if it is linked to (possibly unknown) external datasets available on the Web, thus providing provable protection guarantees against data linkage attacks. We establish the computational complexity of the underpinning decision problems both under the open-world semantics inherent to RDF and under the assumption that an attacker has complete, closed-world knowledge over some parts of the original data.
Styles APA, Harvard, Vancouver, ISO, etc.
49

Chumachenko, Serhii, Yevhen Morshch, Kostyantin Lysychenko, Andrii Pruskyi et Roman Shevchenko. « Structural and logical model of the mechanism for regulating technogenic safety in emergency situations of military-technogenic origin ». Legal, regulatory and metrological support of information security system in Ukraine, no 2(38) (21 juillet 2021) : 52–66. http://dx.doi.org/10.20535/2074-9481.2(38).2019.234200.

Texte intégral
Résumé :
To ensure stable management of technogenic safety and civil protection in these conditions, it is necessary to develop an information model for managing technogenic security under verious conditions of use of the Armed Forces of Ukraine with the provision of minimal risks and threats of emergencies of military technogenic origin. The information model provides for three components, namely: the first is a model for managing technogenic security safety in the zone of ​​the joint forces operation in a steady state; the second is a model for managing technogenic safety in the area of ​​the joint forces operation in an emergency of natural or technogenic origin; third is a model for managing technogenic security in the area of ​​the joint forces operation in an emergency of military-technogenic origin. The paper shows that the information model of the mechanism of man-made safety regulation during emergencies of military-man-made origin is a set of specific methods, forms, techniques, tools and levers of man-made safety regulation, through the improvement of which, in fact, the man-made safety system is improved. regional level. On the example of solving the practical problem of determining the depth and area of ​​distribution of the primary cloud of highly toxic substances and its impact on military facilities, shows the use of information model to provide the decision maker with necessary and sufficient information to make management decisions to ensure military-man-made security . To assess the effectiveness of mechanisms for state regulation of man-made safety at the regional level, it is proposed to use the method of hierarchy analysis. According to this model, the subject of management (management bodies in the field of technogenic safety) exerts a controlling influence (on the basis of laws, decrees, by-laws, standards, resolutions, orders, programs of ecological direction) on the object of management (social facilities, enterprises, natural objects), which in accordance with the received control impact, changes its state, activity, quantitative and qualitative parameters of the state or impact on the environment.
Styles APA, Harvard, Vancouver, ISO, etc.
50

El Koursi, E. « Évaluation des logiciels critiques : application à la méthode BAssessment of safety critical software : Application of method B ». Recherche - Transports - Sécurité 58 (mars 1998) : 21–36. http://dx.doi.org/10.1016/s0761-8980(98)80018-6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Safety logiciel » pour d’autres types de sources :
Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie