991 resultados para Paju, Petri
Resumo:
Mazarinaeus
Resumo:
This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented
Resumo:
Colbertinus
Resumo:
Acquis le 8-12 floréal an VIII (28 avril-2 mai 1804), envoyé de la ville de Sens et remis au département des Manuscrits par le conservateur Millin, et placé dans le grenier du Levant à la suite des mss. venus de Compiègne; cf. B.n.F., département des Manuscrits, Archives Modernes 492, registre des acquisitions du département des Manuscrits an II-an XIV (1793-1805), f. 107 "Biblia sacra metrica a Petro de Riga, cod. memb. s. XIV exaratus in fol."; Delisle, Cab. des mss., II, 15; — ne provient pas de l'abbaye d'Orval (dioc. de Trèves), contrairement à l'avis de Delisle qui a confondu ce ms. et le latin 9749, cf. Cab. des mss., II, 389; A.-C. Fraeijs de Veubeke, Scriptorium, 31, 1977, 348 et 27, 1973, 106 (catalogue des mss. subsistants d'Orval) mais de l'abbaye de Vaux-Luisant, cf. latin 9562
Resumo:
[Bible. N.T. (latin). 1523. Érasme]
Resumo:
Comprend : Explicationes suarum in Ciceronem castigationum