مشخصات کتاب

On the Construction of Engineering Handbooks

ویرایش:  
نویسندگان: Stefan Gruner,  Apurva Kumar,  Tom Maibaum,  Markus Roggenbach  
سری: SpringerBriefs in Computer Science 
ISBN (شابک) : 9783030446475, 9783030446482 
ناشر: Springer 
سال نشر: 2020 
تعداد صفحات: 89 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

در صورت تبدیل فایل کتاب On the Construction of Engineering Handbooks به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب در مورد ساخت کتاب های مهندسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب در مورد ساخت کتاب های مهندسی

این کتاب بر روشن کردن آنچه در واقع یک کتاب راهنما است، شناسایی سیستماتیک آنچه باید به عنوان «دانش مستقر» (استخراج شده از مخازن تاریخی) برای گنجاندن در چنین کتابچه ای در نظر گرفته شود، و «مجموعه» چنین دانش شناسایی شده در فرمی متناسب با هدف و مطابق با ویژگی های رسمی کتاب های راهنما به عنوان یک «ژانر ادبی». برای بسیاری از حوزه‌ها یا رشته‌های تازه در حال ظهور، که هنوز هیچ کتابچه راهنمای هنجاری برای آنها تعریف نشده است، این سؤال مطرح می‌شود که چگونه می‌توان این کار را به‌طور سیستماتیک و به شیوه‌ای غیر خودسرانه انجام داد. این کتاب اولین کتابی است که در مورد چگونگی ساخت کتابچه راهنمای رومیزی بحث می کند. نشان داده شده است که چگونه تجزیه و تحلیل مفهوم می تواند برای شناسایی دانش مستقر به عنوان عنصر اصلی با استفاده از داده های جمع آوری شده برای طبقه بندی استفاده شود. یک طرح ارائه برای مقالات کتاب راهنما ایجاد شده و مناسب بودن آن نشان داده شده است. سپس رویکرد ترسیم شده با مثالی از حوزه ایمنی راه آهن نشان داده می شود. در نهایت، محدودیت های روش های ارائه شده مورد بحث قرار می گیرد. سهم کلیدی این کتاب خود روش ساخت (به عنوان مثال مصور) است، نه کتاب راهنما، که از کاربرد بسیار دقیق و کاملاً جامع این روش حاصل می‌شود.

توضیحاتی درمورد کتاب به خارجی

This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic repositories) for inclusion into such a handbook, and the “assembly” of such identified knowledge into a form which is fit for the purpose and conforms to the formal characteristics of handbooks as a “literary genre”. For many newly emerging domains or disciplines, for which no handbook with normative authority has yet been defined, the question arises of how to do this systematically and in a non-arbitrary manner. This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept analysis can be used for identifying settled knowledge as the key ingredient by utilizing the assembled data for classification; a presentation scheme for handbook articles is developed and demonstrated to be suitable. The sketched approach is then illustrated by an example from the railway safety domain. Finally, the limitations of the presented methods are discussed. The key contribution of this book is the (example illustrated) construction method itself, not the handbook, which would result from a highly detailed and thoroughly comprehensive application of the method.

فهرست مطالب

Foreword
Preface
Acknowledgements
Contents
Part I Background
	Chapter 1: Introduction and Motivation
		1.1 What constitutes a HB?
		1.2 Settled Knowledge
		1.3 Formal Methods in Design and Validation of Railway Control Systems
		1.4 Structure of the Remainder of this Book
	Chapter 2: Related Work
		2.1 Organisation of Engineering Knowledge
		2.2 Other Approaches to HB Construction
		2.3 Other Classifications of Formal Methods
		2.4 Comparison with our Approach
Part II Analysis
	Chapter 3: A General Method for Composing an Engineering HB
		3.1 Step 1: Choice of Sources for Settled Knowledge
		3.2 Step 2: Data Collection and Choice of Domain
		3.3 Step 3: Application of FCA to the Data Collected
		3.4 Step 4: Choice of a Stability Threshold
		3.5 Step 5: Classification of Settled Knowledge
		3.6 Step 6: Presentation of Settled Knowledge
	Chapter 4: Application of the General Method to the Railway Domain
		4.1 Step 1: Choice of Sources for the Railway Domain
		4.2 Step 2: Data Collection and Choice of Domain Specific Attributes for FCA
		4.3 Step 3: Application of FCA to the Data Collected
		4.4 Step 4: Choice of a Stability Threshold
		4.5 Step 5: Interpretation and Discussion of the Detected Settled Knowledge
			4.5.1 Observations (and Peculiarities)
			4.5.2 Settledness
			4.5.3 Limitations of our Findings
			4.5.4 Guidance for a Handbook on FMs for the Railway Domain
		4.6 Possible Threats to Validity: Critical Evaluation of Steps 1–5 in the Context of our Railway Example
			4.6.1 Notion of ‘Settledness’
			4.6.2 Choice of Database
			4.6.3 Choice of Formal Concept Analysis
			4.6.4 Choice of Attributes for FCA
			4.6.5 Choice of Stability Threshold
			4.6.6 Classification of Settled Knowledge
Part III Synthesis
	Chapter 5: Example HB Entry of a Formal Method for the Railway Domain — Step 6
		5.1 Problem Class: Verification through Model Checking of Ladder Logic Programs for Safety
		5.2 Solution
		5.3 Academic Explanation
			5.3.1 A Short Bibliography
			5.3.2 Solid State Interlockings
			5.3.3 Explanation for (Step 1): Tseitin Transformation
			5.3.4 Explanation for (Step 2): Discrete Time, Temporal First Order Logics
			5.3.5 Explanation of Step (3): Verification Problem associated with Ladder Logic
		5.4 Experience Reports Concerning Step 6
	Chapter 6: Conclusions and Prospects for Future Work
References

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection: 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings

دانلود کتاب Religion after Kant: god and culture in the idealist era

دانلود کتاب Basic Chad Arabic: The Pre-Speech Phase

دانلود کتاب 分道而行：卡尔纳普、卡西尔和海德格尔

دانلود کتاب The Gettin' Place