Every somewhat complexcomputer system contains bugs. As it is nearly impossible to fix all bugs in the software stack, the only alternative remains is to make the system secure accepting the fact that software is vul...
详细信息
ISBN:
(纸本)9781479955848
Every somewhat complexcomputer system contains bugs. As it is nearly impossible to fix all bugs in the software stack, the only alternative remains is to make the system secure accepting the fact that software is vulnerable. In this work, a hardware monitor is proposed that checks the correctness of program execution using chained signatures.
international standards are designed to codify engineering practices for uniformity and consistency. The origin of systemsengineering, and software development standards comes out of the development of large systems ...
详细信息
ISBN:
(纸本)9781538636640
international standards are designed to codify engineering practices for uniformity and consistency. The origin of systemsengineering, and software development standards comes out of the development of large systems and targets their use for large enterprises. Many industries in our global economy recognize the contribution of very small organizations to the health and wealth of not only emerging country economies but, their essential contribution to mature countries. Very small entities (VSEs) consist of organizations of five (5) to twenty-five (25) persons and are considered a significant portion of the systems and software developers throughout the world. Large organizations using the systemsengineering Standard, OSO/IEC 15288, found a need to better qualify the small companies with which they were doing business. There was a strong desire to: 1. Improve or make product development efficient by using systemsengineering methodology 2. Elaborate tailored practical guidance to apply to VSEs in the context of prime or subcontractor, of commercial products 3. Contribute to standardization The ISO standards, for use by organizations of twenty-five (25) people or less, was perceived as overly complex. In 2005, the first meeting of ISO/IEC JTC1 SC7 Working Group (WG) 24 was held, and the work on ISO/IEC 29110 series began. At the 2009, international Council on systemsengineering (INCOSE) international Workshop (IW), the Association Francoise pour l'information Scientifique (AFIS) (French INCOSE Chapter) and INCOSE established the systemsengineering for Very Small and Micro Enterprises (VSMEs) WG. The ISO/IEC 29110 is considered a child of the ISO/IEC/ieee 15288, distilled to the perfect essence of systemsengineering with a complete set of DNA from its parent, ISO/IEC/ieee 15288. This paper will discuss the intended users, the importance of VSEs, a product development approach, opportunities for VSEs using the ISO/IEC 29110 as a business proposition, and the basic t
Artificial intelligence systems based on neural networks have had quite a string of recent successes: One beat human masters at the game of Go, another made up beer reviews, and another made psychedelic art. But takin...
详细信息
Artificial intelligence systems based on neural networks have had quite a string of recent successes: One beat human masters at the game of Go, another made up beer reviews, and another made psychedelic art. But taking these supremely complex and power-hungry systems out into the real world and installing them in portable devices is no easy feat. This February, however, at the ieeeinternational Solid-State Circuits conference in San Francisco, teams from MIT, Nvidia, and the Korea Advanced Institute of Science and Technology (KAIST) brought that goal closer. They showed off prototypes of lowpower chips that are designed to run artificial neural networks that could, among other things, give smartphones a bit of a clue about what they are seeing and allow self-driving cars to predict pedestrians? movements. [ABSTRACT FROM AUTHOR]
We present a new way of constructing sparse roadmaps using point clouds that approximates and measures the underlying topology of the Cfree space. The main advantage of the constructed roadmap is its homotopy equivale...
详细信息
Civilization has slipped into the twenty-first century with electronics touching nearly every part of our lives. Since inception, integrated circuit technology and software have advanced exponentially. complexsystems...
详细信息
ISBN:
(纸本)9780769527857
Civilization has slipped into the twenty-first century with electronics touching nearly every part of our lives. Since inception, integrated circuit technology and software have advanced exponentially. complexsystems such as cars, satellites and aircraft can have subsystems with lifespans that wildly differ. Many such products are truly a systems of systems where subsystem change-out is required to keep the unit up-to-date. Products that run mostly on electronics are often smaller like telephones and computers. When obsolete they are usually replaced rather than refurbished. But in larger systems like an aircraft or a submarine, subsystem change-out should be considering during planning. In the Department Of Defense as well as other organizations, managing such a process is complex. This paper examines such complexity, provides a visual framework for a system of systems and the relevance and importance Of change-out in general.
One potential tool of further improving the results in diabetes treatment consists in the application of computer-aided procedures to estimate individually optimal therapeutic regimes. To meet this goal the decision s...
详细信息
ISBN:
(纸本)0780307852
One potential tool of further improving the results in diabetes treatment consists in the application of computer-aided procedures to estimate individually optimal therapeutic regimes. To meet this goal the decision support system KADIS was developed and verified in management of type I diabetes. The system is based on a validated model of the glucoregulatory system, which parameters can be identified individually. To run the system on a micro-computer a software package was programmed which alloved both the retrospective analysis of data resulting form home blood glucose monitoring, and the prospective simulation of the outcome of alterations in the therapeutic regime in terms of daily profiles in glycaemia and insulinaemia.
Large sparse second order index-1 descriptor systems arise in various disciplines of science and engineering, such as constraint mechanics or multibody dynamics, mechatronics (where mechanical and electrical elements ...
详细信息
ISBN:
(纸本)9781509040902
Large sparse second order index-1 descriptor systems arise in various disciplines of science and engineering, such as constraint mechanics or multibody dynamics, mechatronics (where mechanical and electrical elements are coupled), but also RLC circuit design. Simulation, controller design and design optimization are only some applications of such models. Either of these tasks, just like any other many-query situation becomes unfeasible when the system is high dimensional. This paper discusses an algorithm to obtain a reduced state space model of a large sparse second order index-1 system using an interpolatory projection method based on the iterative rational Krylov algorithm (IRKA). In each iteration of this algorithm, we need to solve a number of linear systems. The main contribution of this paper is to solve these linear systems by exploiting the sparsity of the original model, which reduces the computational cost drastically. The algorithm is applied to a micro-mechanical piezo-actuated structural FEM model of a certain building block of a machine tool. Numerical experiments with a complex 3d model of an adaptive spindle support (a piezo-mechanical multiphysics system) show the effectivity and efficiency of the techniques.
This article presents an incipient case study of learning music using Scratch programming environment and the impact of the theoretical musical knowledge on understanding and learning computer programming. Due to the ...
详细信息
ISBN:
(纸本)9781665449953
This article presents an incipient case study of learning music using Scratch programming environment and the impact of the theoretical musical knowledge on understanding and learning computer programming. Due to the fact that computer programming takes part of all major domains including soft skills, artistic and musical ones, it allows children to develop not only their technical skills but also their artistic and creative skills. In the same time, musical knowledge can be used as an amplifier in understanding computer programming which facilitates learning. The purpose of this article is to emphasize the development of children's musical skills increased by their programming ones and the impact of theoretical musical knowledge on understanding and learning computer programming.
The Web services selection based on qualitative characteristics is a complex and relevant task, which is often solved using multi-criteria decision-making (MCDM) methods. Among the MCDM methods, the Logic Scoring of P...
详细信息
Owing to Big Data popularity, the metrics Variety, Volume and Velocity (V3), are gaining importance in large scale data intensive applications. complex Event Processing (CEP) is an efficient solution for identifying e...
详细信息
ISBN:
(纸本)9781479958290
Owing to Big Data popularity, the metrics Variety, Volume and Velocity (V3), are gaining importance in large scale data intensive applications. complex Event Processing (CEP) is an efficient solution for identifying events of interest on data streams arriving from geographically distributed heterogeneous sources in near-real time. CEP is capable of handling large variety of data with high computational velocity and delivers better solution compared to other existing techniques. However, handling large volume data streams still poses challenge in CEP systems. Hence, a middleware is required to manage huge streams of data on scalable distributed environment. This paper proposes Scalable complex Event Processing (SCALACEP) framework for managing voluminous data streams. This paper addresses challenges such as state management and efficient rule distribution for design of distributed framework for CEP using the proposed SCALACEP. This paper also proposes a novel way of indexing CEP rules based on Geometric series. The proposed indexing is used for CEP Rule allocation and CEP rule pruning in the SCALACEP system. SCALACEP is evaluated and compared with other existing systems in the constrained virtualized environment and found to give better results in terms of throughput and reduction in Latency and Multicast.
暂无评论