標(biāo)題: Titlebook: Reliability and Safety Engineering; Ajit Kumar Verma,Srividya Ajit,Durga Rao Karanki Book 2016Latest edition Springer-Verlag London 2016 E [打印本頁(yè)] 作者: HBA1C 時(shí)間: 2025-3-21 17:46
書(shū)目名稱(chēng)Reliability and Safety Engineering影響因子(影響力)
書(shū)目名稱(chēng)Reliability and Safety Engineering影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Reliability and Safety Engineering網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Reliability and Safety Engineering網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Reliability and Safety Engineering被引頻次
書(shū)目名稱(chēng)Reliability and Safety Engineering被引頻次學(xué)科排名
書(shū)目名稱(chēng)Reliability and Safety Engineering年度引用
書(shū)目名稱(chēng)Reliability and Safety Engineering年度引用學(xué)科排名
書(shū)目名稱(chēng)Reliability and Safety Engineering讀者反饋
書(shū)目名稱(chēng)Reliability and Safety Engineering讀者反饋學(xué)科排名
作者: 表狀態(tài) 時(shí)間: 2025-3-21 23:38 作者: 開(kāi)始沒(méi)有 時(shí)間: 2025-3-22 00:38 作者: lymphedema 時(shí)間: 2025-3-22 07:03 作者: 獸群 時(shí)間: 2025-3-22 08:57
Software Reliability,lures in safety critical systems. Software reliability is considerably different from hardware reliability, for instance, the former does not wear out but only obsolete. This chapter explains the concepts of software reliability engineering including software reliability models and its implementatio作者: gonioscopy 時(shí)間: 2025-3-22 13:42
Mechanical Reliability, the whole product life cycle, which include reliability techniques for design, test, manufacturing, and operation. Reliability prediction techniques for mechanical components are discussed along with a few examples, e.g. bearings and springs. Reliability testing approaches are also briefly covered 作者: ureter 時(shí)間: 2025-3-22 19:13 作者: Humble 時(shí)間: 2025-3-22 23:09
Maintenance of Large Engineering Systems,ources spent on maintenance and the benefits coming from the maintenance practices. This chapter focuses on the maintenance optimization issues faced in large industrial set-ups. Two different aspects of maintenance are considered, prioritizing the equipment individually as well as taking a group de作者: 圍裙 時(shí)間: 2025-3-23 04:25 作者: 證明無(wú)罪 時(shí)間: 2025-3-23 08:31
Dynamic PSA,he literature. Dynamic event tree method, one of main dynamic PSA approaches, is primarily focused in the chapter. The elements involved in dynamic event tree and a comparison among its implementations are presented. Application to a simple depleting tank problem explores the quantitative aspects of作者: 思考而得 時(shí)間: 2025-3-23 12:45 作者: 矛盾 時(shí)間: 2025-3-23 17:03 作者: 粗魯?shù)娜?nbsp; 時(shí)間: 2025-3-23 19:50 作者: GLUE 時(shí)間: 2025-3-24 01:04 作者: conservative 時(shí)間: 2025-3-24 06:22
Mechanical Reliability,in this chapter. The importance of manufacturing process control and operational reliability are discussed. Further, the chapter demonstrates a Weibull method to analyze warranty failure data of mechanical components.作者: 得罪人 時(shí)間: 2025-3-24 10:31
Maintenance of Large Engineering Systems,cision on maintenance actions. The multi objective and multi variable maintenance optimization is formulated and Genetic algorithm is attempted as the solution approach. The concepts are demonstrated with examples from a ship system.作者: Lacunar-Stroke 時(shí)間: 2025-3-24 11:58 作者: artifice 時(shí)間: 2025-3-24 18:01 作者: 冷漠 時(shí)間: 2025-3-24 19:53 作者: 直言不諱 時(shí)間: 2025-3-24 23:11
Dynamic PSA,ent tree and a comparison among its implementations are presented. Application to a simple depleting tank problem explores the quantitative aspects of the method. Finally, to quantify risk in the light of uncertainties and dynamics, the practical issues and possible solutions are briefly discussed.作者: 的事物 時(shí)間: 2025-3-25 04:21
Uncertainty Analysis in Reliability/Safety Assessment,ods of uncertainty propagation are discussed, which include analytical methods, Monte Carlo simulation, interval and fuzzy arithmetic based approaches. Two methods to build input parameter distributions are also explained in detail viz., Bayesian and expert elicitation techniques.作者: 陰險(xiǎn) 時(shí)間: 2025-3-25 10:32
ts in forests. In addition, the diversity of stakeholders has increased. Forestry is no longer solely the topic of forest associations and forest administration, but also of a multitude of governmental and non-governmental organisations dealing with activities which either affect forest management o作者: 招待 時(shí)間: 2025-3-25 13:31
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankits in forests. In addition, the diversity of stakeholders has increased. Forestry is no longer solely the topic of forest associations and forest administration, but also of a multitude of governmental and non-governmental organisations dealing with activities which either affect forest management o作者: opalescence 時(shí)間: 2025-3-25 15:56
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankits in forests. In addition, the diversity of stakeholders has increased. Forestry is no longer solely the topic of forest associations and forest administration, but also of a multitude of governmental and non-governmental organisations dealing with activities which either affect forest management o作者: Anthem 時(shí)間: 2025-3-25 20:30 作者: 你不公正 時(shí)間: 2025-3-26 02:47 作者: seroma 時(shí)間: 2025-3-26 07:16 作者: ticlopidine 時(shí)間: 2025-3-26 10:20
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankin the ATC model based on performance metrics and analyze combination of policies in different configurations of the model. We enriched our framework with runtime performance analysis such that for any unexpected change, subsequent behavior of the model is predicted and results are used for adaptatio作者: 取消 時(shí)間: 2025-3-26 14:09
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankictions, modal-irioco is compositional with respect to parallel composition of IR-MIA with multi-cast and hiding. Finally, the quotient operator on IR-MIA, as the inverse to parallel composition, facilitates decompositionality in conformance testing to solve the unknown-component problem.作者: ingestion 時(shí)間: 2025-3-26 18:59
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankiof comparison primitives supporting renaming, refinement, property- and context-awareness. Thanks to an implementation of our approach that can be used through a Web application, we put the checking of evolution within the reach of business process designers.作者: RAFF 時(shí)間: 2025-3-26 23:52 作者: fodlder 時(shí)間: 2025-3-27 02:23
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankioven if no initial state is reached. When a system is safe, Cubicle produces a certificate in WhyML, which contains an invariant synthesized by Cubicle. This certificate can be executed with Why3 to prove that the system indeed preserves this invariant. Students also learn how to directly specify re作者: Pillory 時(shí)間: 2025-3-27 08:18 作者: 不持續(xù)就爆 時(shí)間: 2025-3-27 11:40 作者: Fibroid 時(shí)間: 2025-3-27 15:32
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankinger solely the topic of forest associations and forest administration, but also of a multitude of governmental and non-governmental organisations dealing with activities which either affect forest management o978-90-481-6877-4978-1-4020-3485-5作者: intention 時(shí)間: 2025-3-27 21:37
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankinger solely the topic of forest associations and forest administration, but also of a multitude of governmental and non-governmental organisations dealing with activities which either affect forest management o978-90-481-6877-4978-1-4020-3485-5作者: oxidize 時(shí)間: 2025-3-27 21:55 作者: Definitive 時(shí)間: 2025-3-28 04:46
1614-7839 ertaintymanagement. Case studies from typical nuclear power plants as well as fromstructural, software and electronic systems are also discussed...Reliability and SafetyEngineering combines discussions of theex978-1-4471-6886-7978-1-4471-6269-8Series ISSN 1614-7839 Series E-ISSN 2196-999X 作者: 粗糙 時(shí)間: 2025-3-28 07:21 作者: 滔滔不絕地講 時(shí)間: 2025-3-28 14:14
content varies from country to country according to the position of the forest sector in the domestic economy and society. In some countries, forestry is the backbone of a strong wood-processing industry, in others, recreational uses and amenity values of forests dominate. Despite these differences,作者: 壯麗的去 時(shí)間: 2025-3-28 16:00
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankicontent varies from country to country according to the position of the forest sector in the domestic economy and society. In some countries, forestry is the backbone of a strong wood-processing industry, in others, recreational uses and amenity values of forests dominate. Despite these differences,作者: 反應(yīng) 時(shí)間: 2025-3-28 22:10
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankicontent varies from country to country according to the position of the forest sector in the domestic economy and society. In some countries, forestry is the backbone of a strong wood-processing industry, in others, recreational uses and amenity values of forests dominate. Despite these differences,作者: LEVER 時(shí)間: 2025-3-29 00:07
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankirmal processes indispensable in understanding practical poliAlthough forest policy is an established course in most European university forestry curricula, apart from a special predilection of the teacher, its content varies from country to country according to the position of the forest sector in t作者: Dorsal 時(shí)間: 2025-3-29 05:06 作者: appall 時(shí)間: 2025-3-29 08:06 作者: Aromatic 時(shí)間: 2025-3-29 13:48 作者: 沉默 時(shí)間: 2025-3-29 16:17 作者: 結(jié)果 時(shí)間: 2025-3-29 19:45
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankir both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and n作者: outset 時(shí)間: 2025-3-30 03:37
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karanki in resource availability. Such systems are often realized by a MAPE-K feedback loop, where Monitor, Analyze, Plan and Execute components have access to a runtime model of the system and environment which is kept in the Knowledge component. In order to provide guarantees on the correctness of a self作者: 羞辱 時(shí)間: 2025-3-30 08:06 作者: Grandstand 時(shí)間: 2025-3-30 08:20
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karanki and composition, evolution has become a central concern in software development. We advocate it should be taken into account as soon as the modeling of business processes, which can thereafter be made executable using process engines or model-to-code transformations. We show here that business proc作者: 撤退 時(shí)間: 2025-3-30 15:32
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankihis teaching is carried out remotely. It is built around the use of the Cubicle model-checker and the Why3 platform. It shows how to verify the safety of distributed reactive systems which are parameterized by the number of processes run in parallel, when this safety is expressed as non-reachability作者: dyspareunia 時(shí)間: 2025-3-30 19:29
Ajit Kumar Verma,Srividya Ajit,Durga Rao Karankihis teaching is carried out remotely. It is built around the use of the Cubicle model-checker and the Why3 platform. It shows how to verify the safety of distributed reactive systems which are parameterized by the number of processes run in parallel, when this safety is expressed as non-reachability作者: 勉強(qiáng) 時(shí)間: 2025-3-31 00:26
