標(biāo)題: Titlebook: Achieving Safety and Reliability with Computer Systems; B. K. Daniels Book 1987 Elsevier Applied Science Publishers Ltd 1987 Ada.Software. [打印本頁] 作者: 警察在苦笑 時(shí)間: 2025-3-21 16:33
書目名稱Achieving Safety and Reliability with Computer Systems影響因子(影響力)
書目名稱Achieving Safety and Reliability with Computer Systems影響因子(影響力)學(xué)科排名
書目名稱Achieving Safety and Reliability with Computer Systems網(wǎng)絡(luò)公開度
書目名稱Achieving Safety and Reliability with Computer Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Achieving Safety and Reliability with Computer Systems被引頻次
書目名稱Achieving Safety and Reliability with Computer Systems被引頻次學(xué)科排名
書目名稱Achieving Safety and Reliability with Computer Systems年度引用
書目名稱Achieving Safety and Reliability with Computer Systems年度引用學(xué)科排名
書目名稱Achieving Safety and Reliability with Computer Systems讀者反饋
書目名稱Achieving Safety and Reliability with Computer Systems讀者反饋學(xué)科排名
作者: ARENA 時(shí)間: 2025-3-21 21:11
Designing for Safety Using Ada Packagesrmine the magnetic susceptibility at low temperatures — say, the temperature of boiling liquid .He (4.2 K). Yet, there are many magnetic measurements that do not extend to temperatures below that of boiling liquid nitrogen. Many measurements of interest to chemists have been reported over the temper作者: clarify 時(shí)間: 2025-3-22 04:22
Malpas — Verification of a Safety Critical System and hosted by the National Astronomical Observatory. This meeting was intended to be an interdisciplinary meeting between re- searchers of solar and stellar activity, in order for them to exchange the newest information in each field. While each of these areas has seen remarkable advances in recent作者: dithiolethione 時(shí)間: 2025-3-22 08:25
Acceptance Testingchanical Behavior of Electromagnetic Solid Continua”, pp. 415–420. Paris (1983); Bagdasaryan, G.Y., Mkrtchyan, P.A.: Stability of superconducting cylindrical shell in a magnetic field. Izv. AN Arm. SSR Mech. 34(6), 36–47 (1981); Bagdasaryan, G.Y., Mkrtchyan, P.A.: Stability of a superconducting sphe作者: VALID 時(shí)間: 2025-3-22 09:10 作者: nonradioactive 時(shí)間: 2025-3-22 14:32 作者: commensurate 時(shí)間: 2025-3-22 20:09
Verification — The Practical Problemsonal currents. In this tutorial chapter, we present the physics and mathematics needed to interpret such measurements. The frequencies present in neuronal activity are sufficiently low that Maxwell’s equations for electromagnetism can be approximated by omitting the terms involving time derivatives.作者: nitric-oxide 時(shí)間: 2025-3-22 23:35
Stem — A Project on Software Test and Evaluation Methodsonal currents. In this tutorial chapter we present the physics and mathematics needed to interpret such measurements. The frequencies present in neuronal activity are sufficiently low that Maxwell’s equations for electromagnetism can be approximated by omitting the terms involving time derivatives. 作者: 盡忠 時(shí)間: 2025-3-23 01:53
The Musa Data Revisited: Alternative Methods and Structure in Software Reliability Modelling and Anal University of Karlsruhe beginning in 1987. The book serves two purposes. It introduces students in their fourth year study of basic engineering and grad- uate students to the fundamentals of magnetohydrodynamics. Furthermore, it may be used by engineers and physicists in research establishments an作者: 樹木中 時(shí)間: 2025-3-23 09:22 作者: Gullible 時(shí)間: 2025-3-23 10:36
A Model to Support the Collection and Analysis of Software Engineering Dataaxially symmetric equilibria suggest that modes with high . and ., including interchange modes, may be equally critical in the search for stable high pressure configurations [34]. They can be assessed via the Mercier criterion, which is concerned with modes localized about some rational surface [39]作者: FLIP 時(shí)間: 2025-3-23 17:32
The Thorp Approach to Safe Controlty of equilibrium configurations and the Energy Principle 215 5 Alternative forms of the plasma potential energy 220 6 Minimization of the potential energy with respect to a parallel displacement . . . . . . . . . . . . . 222 7 Classification of ideal MHO instabilities . 224 8 The linearized non-ide作者: 簡(jiǎn)潔 時(shí)間: 2025-3-23 19:37 作者: 朋黨派系 時(shí)間: 2025-3-23 22:16 作者: 無可非議 時(shí)間: 2025-3-24 02:28 作者: chalice 時(shí)間: 2025-3-24 06:50 作者: flimsy 時(shí)間: 2025-3-24 12:44 作者: debouch 時(shí)間: 2025-3-24 18:18 作者: 比賽用背帶 時(shí)間: 2025-3-24 20:17
Lessons Learned from the Failure of a Computer System Controlling a Nylon Polymer Plant978-3-663-20483-1作者: Tidious 時(shí)間: 2025-3-24 23:38
Achieving Safety and Reliability with Computer Systems作者: FIR 時(shí)間: 2025-3-25 05:44 作者: chapel 時(shí)間: 2025-3-25 10:37 作者: Communicate 時(shí)間: 2025-3-25 14:40
h I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many i978-94-010-8050-7978-94-009-3461-0作者: Abrade 時(shí)間: 2025-3-25 18:58 作者: 傲慢物 時(shí)間: 2025-3-25 22:16
Designing for Safety Using Ada Packagesperature in both octahedral and tetrahedral stereochemistry, but is diamagnetic in four-coordinate square planar geometry. Though the color of nickel compounds often changes dramatically as its stereochemistry changes, this has long been known to be an unreliable guide. Magnetic measurements can be 作者: 食草 時(shí)間: 2025-3-26 00:52
Malpas — Verification of a Safety Critical Systemresolved, as observed on the Sun. Likewise we hoped to provide solar researchers with new results on gigantic ver- sions of their targets of research under the very different physical circumstances on other active stars. It was our greatest pleasure that we had wide attendance of experts and active researcher978-94-010-6627-3978-94-009-0315-9作者: 小丑 時(shí)間: 2025-3-26 06:27
Acceptance Testing6)) are devoted to studies of the interactions of superconducting thin-walled bodies and magnetic fields. In these publications, mathematical boundary value problems that characterize processes caused by the interaction of superconducting shells (plates) and magnetic fields, were obtained and formul作者: 終點(diǎn) 時(shí)間: 2025-3-26 09:10 作者: JOT 時(shí)間: 2025-3-26 12:55 作者: Morbid 時(shí)間: 2025-3-26 20:18 作者: 五行打油詩 時(shí)間: 2025-3-26 23:10
Stem — A Project on Software Test and Evaluation Methodsbly the cerebrospinal fluid. Analytical and numerical methods for doing this are discussed. In the “Inverse Problem” one tries to deduce the neuronal current distribution from EEG and/or MEG measurements on human subjects. The factors that contribute to the non-uniqueness of the solution are discuss作者: 成份 時(shí)間: 2025-3-27 01:43
The Musa Data Revisited: Alternative Methods and Structure in Software Reliability Modelling and Anahe frontiers of magnetohydrodynamic research. This is reflected in the book by references to several publications and reports performed at the Forschungszentrum Karlsruhe and other research establishments. However, we are convinced that the advancement of magnetohydrodynamic knowledge gained within 作者: cumulative 時(shí)間: 2025-3-27 08:26
The Development of Techniques for Safety and Reliability Assessment: Past, Present and Future because one of our main purposes of this book is to treat the flow problems of plasma which are essentially gasdynamical in nature. In this chapter we shall briefly discuss the properties of electromagnetic equations and the approximations which will be used in our analysis.作者: Extemporize 時(shí)間: 2025-3-27 12:39
A Model to Support the Collection and Analysis of Software Engineering Datanvolves integrals over the relevant closed line, but considerations about the ergodicity of magnetic lines on a surface with irrational rotational transform lead to a better version involving surface integrals that occur naturally in our model of magnetohydrodynamic equilibrium. For details we refer作者: ordain 時(shí)間: 2025-3-27 15:45 作者: SOBER 時(shí)間: 2025-3-27 18:28
The Work of the Technical Committee on Safety, Security and Reliability of Industrial Computer Systeted well-recognized (i.e. of known age, origin and sedimentological features) vertical profiles makes it possible to determine the relationship between the measured value of magnetic susceptibility and environmental changes that have taken place in the past. Knowledge of these relationships allows t作者: Polydipsia 時(shí)間: 2025-3-27 23:20 作者: Meditate 時(shí)間: 2025-3-28 02:17 作者: FUME 時(shí)間: 2025-3-28 08:19
Atrioventricular Septal Defectsnes. This concept can be realised by several means..The method has been tried with two examples. The paper descibes, how the instrumentation points have been selected and which overhead for computation time and memory was required. The overhead increases with the number of paths and easily reaches t作者: Fulminate 時(shí)間: 2025-3-28 13:22
Calcifying Epithelial Odontogenic Tumorthis framework, ENEA leads all the research activities that are conducted in Italy to improve the knowledge on microprocessor technologies to be used in nuclear power plant control systems..This paper presents the results of the testing strategies and the measurements used to test the IEEE 796 bus, 作者: GIST 時(shí)間: 2025-3-28 14:54
Ana Milena Del Valle,Juan Carlos Herrerathods and proportional hazards analysis are applied. The analysis indicates that systematic structure ignored by the conventional software reliability models can be identified in the Musa data sets, and employed for prediction.作者: 熱烈的歡迎 時(shí)間: 2025-3-28 19:08
Book 1987nvironment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the作者: oxidant 時(shí)間: 2025-3-29 01:13
Atlas of Toxicological Pathologyling errors. A more efficient implementation of part of the system was developed and shown to be correct. As a result of this work the authors propose a strategy in which VDM, Pascal and the SPADE tools are brought together to form a coherent and effective approach to the development of safety critical software.作者: Antarctic 時(shí)間: 2025-3-29 06:37 作者: 征兵 時(shí)間: 2025-3-29 10:05 作者: 燒烤 時(shí)間: 2025-3-29 12:50 作者: 我就不公正 時(shí)間: 2025-3-29 18:47 作者: Entrancing 時(shí)間: 2025-3-29 23:36
Vascular Exposures in the Lower Extremities,Eng. Sept 1986) which contained known faults. At the time this paper was written, the STEM project was still in progress, but some of the results obtained have been surprizing. For the particular programs used in this project it was found that:作者: 耕種 時(shí)間: 2025-3-30 01:54 作者: Hippocampus 時(shí)間: 2025-3-30 06:07 作者: 閃光東本 時(shí)間: 2025-3-30 09:41
Atrioventricular Septal Defects1C;good engineering practice#x201D; are discussed..Examples are presented of the application of these methods to a range of software projects including space satellite applications (high value) and rail transport (life critical).作者: arterioles 時(shí)間: 2025-3-30 14:05
Adriana Rakowska,Lidia Rudnickaimportance and this will be achieved by a combination of operator control via the DCS and separate safety systems. This paper describes the overall approach to safe control adopted for the plant. It concludes by discussing the way in which the control system is incorporated into the Probabilistic Risk Assessment (PRA) of the plant.作者: Flavouring 時(shí)間: 2025-3-30 20:06
Adriana Rakowska,Malgorzata Olszewskat to produce a new methodology with supporting documentation..The paper will summarise the lessons learned and comment on the management and technical needs regarding assurance on safety for computer installations on chemical plants.作者: ZEST 時(shí)間: 2025-3-30 22:07 作者: 引水渠 時(shí)間: 2025-3-31 04:28 作者: TSH582 時(shí)間: 2025-3-31 09:01 作者: CHIP 時(shí)間: 2025-3-31 11:46
https://doi.org/10.1007/978-94-009-3461-0Ada; Software; design; development; model; modeling; object oriented design; security作者: nutrients 時(shí)間: 2025-3-31 14:20 作者: 儲(chǔ)備 時(shí)間: 2025-3-31 19:57 作者: 粗糙 時(shí)間: 2025-4-1 01:31 作者: Conquest 時(shí)間: 2025-4-1 02:22
