Artigos de revistas: "Safety logiciel"

1

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Maubert, Henri, Philippe Renaud, Jean-Christophe Bernié, Guillaume de Drouas, Philippe Fache e 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, n.º 3 (julho de 1997): 357–69. http://dx.doi.org/10.1051/radiopro:1997112.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

GROUZELLE, C., F. LAYLAVOIX F., M. F. BAUDOT e 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, n.º 1 (janeiro de 1995): 79–88. http://dx.doi.org/10.1051/radiopro/1995024.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Degrange, J. P., F. P. Levy e 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, n.º 4 (outubro de 2001): 537–46. http://dx.doi.org/10.1051/radiopro:2001107.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Lamart, S., L. De Carlan, E. Blanchardon e 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, n.º 2 (abril de 2008): 213–23. http://dx.doi.org/10.1051/radiopro:2007055.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Pichard, Romain, Alexandre Philippot, Ramla Saddem e Bernard Riera. "Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter". IEEE Transactions on Control Systems Technology 27, n.º 4 (julho de 2019): 1659–67. http://dx.doi.org/10.1109/tcst.2018.2827329.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Cornelissen, Pieter A., Mark Van Vuuren e Joris J. Van Hoof. "How logical is safety? An institutional logics perspective on safety at work". Work 66, n.º 1 (4 de junho de 2020): 135–47. http://dx.doi.org/10.3233/wor-203158.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

FUTSUHARA, Koichi, e 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, n.º 529 (1990): 2378–85. http://dx.doi.org/10.1299/kikaic.56.2378.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Yang, Yang, Qing Xia e Yu Zhang. "Entropy Model For Safety Culture and Safety Performance". Advances in Computer and Engineering Technology Research 1, n.º 1 (5 de dezembro de 2023): 96. http://dx.doi.org/10.61935/acetr.1.1.2023.p96.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Ventrone, T. A. "A logical progression". Process Safety Progress 12, n.º 1 (janeiro de 1993): J3. http://dx.doi.org/10.1002/prs.680120102.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Lim, Ho-Gon, Dong-San Kim, Sang Hoon Han e Joon Eon Yang. "Development of logical structure for multi-unit probabilistic safety assessment". Nuclear Engineering and Technology 50, n.º 8 (dezembro de 2018): 1210–16. http://dx.doi.org/10.1016/j.net.2018.10.012.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Li, Huan, e You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project". Journal of Physics: Conference Series 2252, n.º 1 (1 de abril de 2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Li, Huan, e You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project". Journal of Physics: Conference Series 2252, n.º 1 (1 de abril de 2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Li Wei, Li Wei, e Bing-Wu Fang Li Wei. "Safety Analysis Method of Mixed Failure Model using Temporal Bayesian Network". 網際網路技術學刊 23, n.º 4 (julho de 2022): 727–34. http://dx.doi.org/10.53106/160792642022072304008.

Texto completo da fonte

Resumo:

<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> </p>

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Sineshchuk, Yury Ivanovich, Alexandr Gennadyevich Philippov, Sergey Nikolaevich Terehin, Denis Valerjevich Nikolaev e Igor Borisovich Saenko. "Structural-logical method of the safety analysis of the potentially dangerous objects". SPIIRAS Proceedings 2, n.º 17 (17 de março de 2014): 55. http://dx.doi.org/10.15622/sp.17.4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

Backhouse, Kevin, e Roland Backhouse. "Safety of abstract interpretations for free, via logical relations and Galois connections". Science of Computer Programming 51, n.º 1-2 (maio de 2004): 153–96. http://dx.doi.org/10.1016/j.scico.2003.06.002.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Neal, Jack A., e Mary Dawson. "Outbreak at Mulligan Oaks: A Logical Approach to Discovering Food Safety Attributes". Journal of Hospitality & Tourism Cases 3, n.º 3 (novembro de 2014): 16–20. http://dx.doi.org/10.1177/216499871400300303.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Or, Liran Bar, Shai Arogeti e 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.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Liu, Yiyun, e Stephanie Weirich. "Dependently-Typed Programming with Logical Equality Reflection". Proceedings of the ACM on Programming Languages 7, ICFP (30 de agosto de 2023): 649–85. http://dx.doi.org/10.1145/3607852.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Chu, Jiayun, Xiaohong Bao, Tingdi Zhao e 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.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Faella, Marco, e Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 5 (26 de junho de 2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

LOKE, SENG WAI, e ANDREW DAVISON. "Secure Prolog-based mobile code". Theory and Practice of Logic Programming 1, n.º 3 (maio de 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Viatkina, Nataliia. "Memory in Terms of Logic and Semiotics". Filosofska dumka (Philosophical Thought) -, n.º 4 (10 de dezembro de 2021): 142–52. http://dx.doi.org/10.15407/fd2021.04.142.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Georges, Aïna Linn, Alix Trieu e 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 de dezembro de 2022): 1–30. http://dx.doi.org/10.1145/3527318.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

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

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Grau, Bernardo Cuenca, e Egor V. Kostylev. "Logical Foundations of Linked Data Anonymisation". Journal of Artificial Intelligence Research 64 (16 de fevereiro de 2019): 253–314. http://dx.doi.org/10.1613/jair.1.11355.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Chumachenko, Serhii, Yevhen Morshch, Kostyantin Lysychenko, Andrii Pruskyi e 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, n.º 2(38) (21 de julho de 2021): 52–66. http://dx.doi.org/10.20535/2074-9481.2(38).2019.234200.

Texto completo da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, 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 (março de 1998): 21–36. http://dx.doi.org/10.1016/s0761-8980(98)80018-6.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Artigos de revistas sobre o tema "Safety logiciel"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos