作者: 鐵砧 時(shí)間: 2025-3-21 21:13 作者: Curmudgeon 時(shí)間: 2025-3-22 01:37
Antoni Olivéeme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: 洞穴 時(shí)間: 2025-3-22 06:54
Steve Vinoskieme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: 流浪者 時(shí)間: 2025-3-22 11:25
Peter T. Breuer,Marisol García Vallseme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: 合唱隊(duì) 時(shí)間: 2025-3-22 15:02 作者: inflate 時(shí)間: 2025-3-22 17:45
Bernd Burgstaller,Johann Blieberger,Bernhard Scholzeme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: CRACY 時(shí)間: 2025-3-23 00:26 作者: chuckle 時(shí)間: 2025-3-23 03:54
Thomas Vergnaud,Jér?me Hugues,Laurent Pautet,Fabrice Kordoneme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: fibula 時(shí)間: 2025-3-23 08:14
Stepan P. Nadrchaleme is to develop extensions of classical feedback theory from scalar to multivariable systems, and the obstacle is the fact that multivariable systems may possess properties having no scalar analogue. The monograph contains sections reviewing ideas from classical control theory that are extended to作者: 才能 時(shí)間: 2025-3-23 10:18 作者: badinage 時(shí)間: 2025-3-23 17:25 作者: Kidney-Failure 時(shí)間: 2025-3-23 19:53 作者: BRUNT 時(shí)間: 2025-3-23 23:55
Patrick Rogers,Andy J. Wellingstly in the last twenty years since the earliest Paul-trap-based units. Laser-cooled ion frequency standards reduce the second-order Doppler shift from ion micromotion and thermal secular motion achieving good signal-to-noise ratios via cycling transitions where as many as ≈ 10. photons per second pe作者: 發(fā)怨言 時(shí)間: 2025-3-24 03:15
Zdenko Vrande?i?,Daniel Simon a short term frequency stability in the range 10. to a few times 10.. The main application for these oscillators is as flywheel oscillators for the next generation of passive atomic frequency standards, and as local oscillators in space telemetry ground stations to clean up the transmitter close in作者: POINT 時(shí)間: 2025-3-24 08:49 作者: 全國性 時(shí)間: 2025-3-24 12:54
Kwok Ping Chan,Tsong Yueh Chen,Dave Toweyant parameter has been their period. However, nowadays, we are much more interested in their frequency, and the many reasons for this are discussed in this book. Throughout history, evaluations of time have been based on periodical phenomena such as the apparent motion of the Sun. Indeed, the oldest作者: CLAP 時(shí)間: 2025-3-24 15:12 作者: 欺騙手段 時(shí)間: 2025-3-24 22:58
Peter Amey,Neil Whiteerating in terms of multiplicators of equations in variations was formulated long ago. At the begining of the 60-s G.Borg, P.Hartman and C.Olech [73, 142, 143] suggested a new approach to the investigation of orbital stability which, firstly, is not restricted by closed trajectories and, secondly, i作者: ostracize 時(shí)間: 2025-3-25 02:12
Benefits and Problems of Formal Methodsds and languages in general and the Object Constraint Language?(OCL) in particular can be employed in a beneficial way. The success of using a formal approach is highly influenced by the expectations and pre-requisite knowledge of the developers, the role the formal support in the development proces作者: 和諧 時(shí)間: 2025-3-25 04:48
On the Role of Conceptual Schemas in Information Systems Developmente other hand, there is some confusion over the relationships between CSs and similar concepts such as domain model, domain knowledge, functional specifications and ontologies. This paper tries to shed light on these issues. We show that a CS is the knowledge needed by an IS to perform its functions.作者: 撫慰 時(shí)間: 2025-3-25 09:04 作者: 憤世嫉俗者 時(shí)間: 2025-3-25 12:40
Extracting Ada 95 Objects from Legacy Ada Programsvert from code designed using structured analysis and design techniques into code designed using the object-oriented analysis and design methodology. This paper describes one method, Parameter-Based Object Identification (PBOI) that uses information about parameters passed between sub-programs to ex作者: SHRIK 時(shí)間: 2025-3-25 16:25
On the Tree Width of Ada Programse can be solved efficiently if the underlying graph structure is restricted to one of fixed tree width..In this paper we prove that the tree width of goto-free Ada programs without labeled loops is?≤6. In addition we show that both the use of gotos and the use of labeled loops can result in unbounde作者: 腐敗 時(shí)間: 2025-3-25 22:01 作者: 淘氣 時(shí)間: 2025-3-26 03:56 作者: 母豬 時(shí)間: 2025-3-26 06:17 作者: ticlopidine 時(shí)間: 2025-3-26 10:27
Implementing Execution-Time Clocks for the Ada Ravenscar Profilerespect to worst case execution time estimations. Execution-time clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely to use the Ada tasking subset known as the Ravensca作者: emission 時(shí)間: 2025-3-26 14:02
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxles MaRTE OS to be executed as a regular Linux kernel module; this port enhances the MaRTE OS environment with all the Linux facilities while keeping the real-time performance of the original MaRTE kernel..The other development presented is the Linux user-mode MaRTE OS, which is a port of MaRTE to b作者: Fantasy 時(shí)間: 2025-3-26 20:41
Supporting Deadlines and EDF Scheduling in Adaching. In this paper we argue that the language should be extended to support another common paradigm, Earliest Deadline First (EDF). A proposal is described that uses standard priorities and the priority ceiling protocol for protected objects.作者: Mendacious 時(shí)間: 2025-3-27 00:06 作者: AMEND 時(shí)間: 2025-3-27 02:04
XML4Ada95 Accessing XML Using the DOM in Ada95l XML package in Ada95 with a complete access to XML the DOM Levels 1 and 2 Core. Xerces is written in C++, so patterns for interfacing Ada95 with C++ in a standardized fashion were developed in order to write XML4Ada95. Those patterns are described here, along with examples of how to use XML4Ada95 作者: cleaver 時(shí)間: 2025-3-27 06:53 作者: Evacuate 時(shí)間: 2025-3-27 12:28
Good Random Testingom the input domain, is a simple and efficient method of Software Testing. Previous research has indicated that, under certain circumstances, the performance of RT can be improved by enforcing a more even, well-spread distribution of test cases over the input domain. Test cases that contribute to th作者: dapper 時(shí)間: 2025-3-27 14:08
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Adarm and it allows the development of different control applications for educational purposes. Because of the platform is a limited resource and the students can not test their programs simultaneously, a railroad platform simulator has been developed. The programming language used to implement the sim作者: 調(diào)味品 時(shí)間: 2025-3-27 21:21
High Integrity Ada in a UML and C Worlde a client was just content to accept something that worked (actually, would be . to have something that worked) now they are concerned about the means by which it was constructed; not just in the sense of was it . constructed but in the more malign sense of .. This paper shows how the customer’s de作者: NIB 時(shí)間: 2025-3-27 22:05 作者: Hamper 時(shí)間: 2025-3-28 02:16 作者: Antarctic 時(shí)間: 2025-3-28 06:50 作者: Carbon-Monoxide 時(shí)間: 2025-3-28 13:26
High Integrity Ada in a UML and C Worldth other subsystems; for the perceived comfort of future portability; or for other, non-technical reasons—can be aligned with the professional engineer’s need to use those tools and languages which are truly appropriate for rigorous software development.作者: 推測 時(shí)間: 2025-3-28 16:18 作者: 放肆的你 時(shí)間: 2025-3-28 21:57 作者: bile648 時(shí)間: 2025-3-29 01:04
Good Random Testinghe test case is. This paper presents research in the area of improving on the failure finding efficiency of RT using Fuzzy Set Theory. An approach is proposed and evaluated according to simulation results and comparison with other testing methods.作者: Arthr- 時(shí)間: 2025-3-29 04:00
On the Role of Conceptual Schemas in Information Systems Development We then analyse the possible roles of CSs in the IS architecture, which range from specification to explicit software component. We also show the role of CSs in the context of the recent OMG’s MDA. The paper focuses on ISs, but most of the conclusions may apply to the general field of software.作者: 本能 時(shí)間: 2025-3-29 10:49 作者: 隱士 時(shí)間: 2025-3-29 13:01
Extracting Ada 95 Objects from Legacy Ada Programstract objects and classes from legacy code. The PBOI method is applied to legacy Ada code with examples showing how objects and classes are extracted and built using Ada 95 programming constructs. Transformations that preserve the functionality of the legacy code are used to extract the Ada 95 code.作者: 衍生 時(shí)間: 2025-3-29 17:44
Implementing Execution-Time Clocks for the Ada Ravenscar Profiler profile, it is important to check that the proposed execution-time clocks can be implemented on top of the simplified run-time systems that are used to support this profile. This paper describes a pilot implementation of execution-time clocks for the ORK kernel, and gives some examples of their possible usage in Ravenscar programs.作者: 職業(yè) 時(shí)間: 2025-3-29 22:22 作者: graphy 時(shí)間: 2025-3-30 02:29
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxthe real-time performance of the original MaRTE kernel..The other development presented is the Linux user-mode MaRTE OS, which is a port of MaRTE to be executed as a single standard Linux process..These two ports greatly improve and simplify the use of MaRTE.作者: CANE 時(shí)間: 2025-3-30 07:45
OpenAda: Compile-Time Reflection for Ada 95 to perform user-defined translations. We then describe the compiler’s support for introspection and intercession and provide a complete (though relatively simple) demonstration of use. This example illustrates certain limitations inherent to the implementation that we explain, along with the work-arounds provided.作者: emission 時(shí)間: 2025-3-30 08:57 作者: 犬儒主義者 時(shí)間: 2025-3-30 13:18 作者: Accrue 時(shí)間: 2025-3-30 16:46
Benefits and Problems of Formal Methodsds and languages in general and the Object Constraint Language?(OCL) in particular can be employed in a beneficial way. The success of using a formal approach is highly influenced by the expectations and pre-requisite knowledge of the developers, the role the formal support in the development process is given, and of course by the used tools.作者: 妨礙 時(shí)間: 2025-3-30 21:51
Supporting Deadlines and EDF Scheduling in Adaching. In this paper we argue that the language should be extended to support another common paradigm, Earliest Deadline First (EDF). A proposal is described that uses standard priorities and the priority ceiling protocol for protected objects.作者: jagged 時(shí)間: 2025-3-31 01:19 作者: Keratectomy 時(shí)間: 2025-3-31 05:03 作者: Anemia 時(shí)間: 2025-3-31 10:27
Ada Meets GiottoGiotto is a new language for embedded software. It is time-triggered, with temporally fixed communication events and computations occurring in between. We give some motivation and then describe a framework that supports the Giotto programming model in Ada.作者: judiciousness 時(shí)間: 2025-3-31 14:54 作者: 出沒 時(shí)間: 2025-3-31 20:54
978-3-540-22011-4Springer-Verlag Berlin Heidelberg 2004作者: 新星 時(shí)間: 2025-3-31 23:04 作者: 憤怒事實(shí) 時(shí)間: 2025-4-1 03:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826444.jpg作者: Employee 時(shí)間: 2025-4-1 07:34
https://doi.org/10.1007/b97913Linux; Middleware; UML; Unified Modeling Language (UML); ada programming; component-based systems; dependa作者: 刺激 時(shí)間: 2025-4-1 13:59
audience researchers in the field of linear multivariable control. Its contents should be accessible to a first year graduate student with a good knowledge of classical feedback theory.978-3-540-18869-8978-3-540-38839-5Series ISSN 0170-8643 Series E-ISSN 1610-7411 作者: thyroid-hormone 時(shí)間: 2025-4-1 15:51 作者: glomeruli 時(shí)間: 2025-4-1 18:58
Antoni Olivéaudience researchers in the field of linear multivariable control. Its contents should be accessible to a first year graduate student with a good knowledge of classical feedback theory.978-3-540-18869-8978-3-540-38839-5Series ISSN 0170-8643 Series E-ISSN 1610-7411 作者: Airtight 時(shí)間: 2025-4-1 23:27 作者: sphincter 時(shí)間: 2025-4-2 04:16 作者: 全等 時(shí)間: 2025-4-2 08:41
Ricky E. Swardaudience researchers in the field of linear multivariable control. Its contents should be accessible to a first year graduate student with a good knowledge of classical feedback theory.978-3-540-18869-8978-3-540-38839-5Series ISSN 0170-8643 Series E-ISSN 1610-7411
