LEADER 02289nam 2200445Ia 450 001 996395741203316 005 20200824121005.0 035 $a(CKB)4330000000326524 035 $a(EEBO)2248528175 035 $a(UnM)99896427e 035 $a(UnM)99896427 035 $a(EXLCZ)994330000000326524 100 $a19981104d1661 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA choice manuall, or rare and select secrets in physick and chyrurgery: collected, and practised by the Right Honourable, the Countesse of Kent, late deceased. Whereto are added several experiments of the virtue of Gascon pouder, and lapis contra yarvam, by a professor of physick. As also most exquisite waies of preserving, conserving, candying, &c$b[electronic resource] 205 $aThe thirteeu [sic] edition. 210 $aLondon $cprinted, by Gartrude Dawson, and are to be sold by William Shears at the sign of the Blew Bible in Bedford Street in Coven Garden$d1661 215 $a[18], 190, [2], 191-233, [7] p 300 $aAn edition of: A choice manuall. 300 $a"The epistle to the reader" is signed: W.J. 300 $aRunning title to first part reads: A choice manual, or, Rare secrets in physick. 300 $aText is continuous despite pagination. 300 $aReproduction of original in the Folger Shakespeare Library. 330 $aeebo-0055 606 $aMedicine, Popular$vEarly works to 1800 606 $aMedicine$xFormulae, receipts, prescriptions$vEarly works to 1800 606 $aCookery$vEarly works to 1800 615 0$aMedicine, Popular 615 0$aMedicine$xFormulae, receipts, prescriptions 615 0$aCookery 700 $aKent$b Elizabeth Grey$cCountess of,$f1581-1651.$01005971 701 $aW. J$01002865 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996395741203316 996 $aA choice manuall, or rare and select secrets in physick and chyrurgery: collected, and practised by the Right Honourable, the Countesse of Kent, late deceased. Whereto are added several experiments of the virtue of Gascon pouder, and lapis contra yarvam, by a professor of physick. As also most exquisite waies of preserving, conserving, candying, &c$92382666 997 $aUNISA LEADER 04881nam 2200445 450 001 9910820072403321 005 20230802001537.0 010 $a3-8325-9974-6 035 $a(CKB)4340000000242778 035 $a(MiAaPQ)EBC5219649 035 $a(Au-PeEL)EBL5219649 035 $a(CaPaEBR)ebr11539497 035 $a(OCoLC)1021805776 035 $a58a1c68a-ee20-41bc-8af1-3edeb0dd2d03 035 $a(EXLCZ)994340000000242778 100 $a20180519d2012 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal synthesis of safety controller code for distributed controllers /$fby Dirk Missal 210 1$aBerlin :$cLogos Verlag,$d[2012] 210 4$d©2012 215 $a1 online resource (156 pages) 225 0 $aHallenser Schriften zur Automatisierungstechnik 300 $aPublicationDate: 20120510 311 $a3-8325-3147-5 330 $aLong description: Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highly decentralized and constitute a network of physically and functionally distributed controllers collaborating to perform the control tasks. That goes along with a further growing demand on safety and reliability. A distributed control architecture supporting functional decomposition of large systems as well as accommodating flexibility of modular systems is defined. This work describes the formal synthesis of distributed control functions for the sub area of safety requirements. The formal synthesis is applied to avoid the potentially faulty influence of human work through the whole process from the formal specification to the executable control function. Starting points are a formal model of the uncontrolled plant behavior and a formal specification of forbidden behavior. The formulation of the specification and the modeling is exemplified on a manufacturing system in lab-scale. The introduced synthesis methods produce controller models describing the correct control actions to achieve the given specification. The methods use symbolic backward search from a forbidden state to determine the last admissible state before entering an uncontrollable trajectory to a forbidden state. Hence, the determination of the reachable state space is avoided to reduce the computational complexity. The use of partial markings leads to a further reduction. The complexity is an important obstacle for the use of formal methods on real-scale applications. The monolithic synthesis approach is proven to result in maximally permissive results. The modular approach is not maximally permissive but the more efficient way to distributed control functions. The implementation of the generated controller model as executable Function Blocks according to IEC61499 is addressed in the last part of this work. The distributed control predicates are embedded as structured text instruction into different interacting Function Block types according to the distributed control structure. This last step finalizes the sequence from a formal model and the specification to fully automatically-generated executable control code. Moderne Steuerungssysteme sind durch zunehmende Komplexität und Funktionalität gekennzeichnet. Sie sind stark dezentralisiert und formen ein Netzwerk von physisch und funktional verteilten Steuerungen, die eine gemeinsame Steuerungsaufgabe erfüllen. Diese geht einher mit einem weiter steigenden Anspruch an Sicherheit und Zuverlässigkeit. Es wird eine verteilte Steuerungsarchitektur definiert, welche die funktionale Zerlegung großer Systeme und die Flexibilität modularer Systeme unterstützt. Diese Arbeit beschreibt die formale Synthese verteilter Steuerungsfunktionen für das Teilgebiet der Sicherheitsanforderungen. Die Anwendung der formalen Synthese vermeidet den potenziell fehlerverursachenden Einfluss menschlicher Arbeit durch den gesamten Prozess von der formalen Spezifikation bis zu Erzeugung ausführbarer Steuerungsfunktionen in Form von Basic Function Blocks nach IEC61499. Die beschriebenen Methoden nutzen die symbolische Rückwärtssuche und die Abstraktion von Systemzuständen zu partiellen Markierungen um die Berechnungskomplexität zu verringern. Eine der Methoden liefert minimal einschränkenden Steuerungsfunktionen. Die einzelnen Schritte der Synthese sind an einem Produktionssystem in Labormaßstab beispielhaft erläutert. 606 $aAutomatic control$xStandards 615 0$aAutomatic control$xStandards. 676 $a670.4275 700 $aMissal$b Dirk$01659331 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910820072403321 996 $aFormal synthesis of safety controller code for distributed controllers$94013917 997 $aUNINA