Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Publication
Articles 1 - 5 of 5
Full-Text Articles in Engineering
Safety-Critical Medical Device Development Using The Upp2sf Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Safety-Critical Medical Device Development Using The Upp2sf Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Oleg Sokolsky
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to …
Design, Modeling And Control Strategy Of Pv/Fc Hybrid Power System, Dr. Adel A. Elbaset
Design, Modeling And Control Strategy Of Pv/Fc Hybrid Power System, Dr. Adel A. Elbaset
Dr. Adel A. Elbaset
This paper describes development of a general methodology of an autonomous PV/FC system composed of photovoltaic (PV), electrolyzer, hydrogen storage tank and fuel cell (FC). The aim of this paper is to determine optimum design, control strategy, economic and performance of a PV/FC hybrid power generation system without battery storage taking into account all losses in the system. The paper also presents a computer program based on Matlab software to determine optimum design, control strategy, economic and performance of an autonomous PV/FC hybrid power generation system. The computer program develops to size system components in order to match the load …
An Interaction Initiative Model For Documentation, David G. Novick, Karen Ward
An Interaction Initiative Model For Documentation, David G. Novick, Karen Ward
David G. Novick
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction is characterized by grounding of contributions, and successful mixed-initiative interaction is characterized by both grounding and agreement. Just as in spoken conversation, achievement of actual agreement depends on the intentions of both parties; agreement is achieved when the reader follows the documentation’s instructions. In fact, readers are not obligated to—and often do not—act according to the author’s intentions. By making these dynamics explicit, the model can aid authors in developing effective documentation. The paper …
Web Mining For Web Personalization, Magdalini Eirinaki, Michalis Vazirgiannis
Web Mining For Web Personalization, Magdalini Eirinaki, Michalis Vazirgiannis
Magdalini Eirinaki
Web personalization is the process of customizing a Web site to the needs of specific users, taking advantage of the knowledge acquired from the analysis of the user's navigational behavior (usage data) in correlation with other information collected in the Web context, namely, structure, content, and user profile data. Due to the explosive growth of the Web, the domain of Web personalization has gained great momentum both in the research and commercial areas. In this article we present a survey of the use of Web mining for Web personalization. More specifically, we introduce the modules that comprise a Web personalization …
A New Autonomous Underwater Vehicle For Imaging Research, C. Roman, O. Pizarro, R. Eustice, H. Singh
A New Autonomous Underwater Vehicle For Imaging Research, C. Roman, O. Pizarro, R. Eustice, H. Singh
Christopher N. Roman
Currently, unmanned underwater vehicles either tend to be cumbersome and complex to run, or operationally simple, but not quite suitable platforms for deep water imaging. This paper presents an alternative design in the form of a new low cost and easier to use autonomous underwater vehicle (AUV) for imaging research. The objective of the vehicle is to serve as a readily available and operationally simple tool that allows rapid testing of imaging algorithms in areas such as photomosaicking, 3D image reconstruction from a single camera, image based navigation, and multi-sensor fusion of bathymetry and optical data. These are all current …