Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of software-intensive systems. As they can reduce costs, and ease the certification process as we...
详细信息
ISBN:
(纸本)9783319278698;9783319278681
Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of software-intensive systems. As they can reduce costs, and ease the certification process as well, they are attractive also in safety-critical domains. We present an approach for Model-in-the-loop testing within an OMG-based model-driven process, aimed at supporting system V&V activities. The approach is based on the definition of a model of the system environment, named Computation Independent Test (CIT) model. The CIT enables various forms of system test, allowing early detection of design faults. We show the benefits of the approach with reference to a pilot project that is part of a railway interlocking system. The system, required to be CEN-ELEC SIL-4 compliant, has been provided by the Hungarian company Prolan Co. in the context of an industrial-academic partnership.
This work presents a testbed emulating the hybrid electric vehicles powertrain with both teaching and research purposes. The core of this testbed is a 3D printed epicycloidal gearset actuating as a power split device....
详细信息
This work presents a testbed emulating the hybrid electric vehicles powertrain with both teaching and research purposes. The core of this testbed is a 3D printed epicycloidal gearset actuating as a power split device. Its design and hardware equipment are explained as well as its working principle. From an educational point of view, this system states an interesting control problem and, at the same tune, exemplifies the operation of this kind of machines with the scope of a motivating application. Consequently, a teaching methodology comprising this testbed is proposed. In addition, the challenging nature of the system encourage the development of optimization techniques aimed at reducing the overall system energy consumption. Results of a preliminary experiment are satisfactory addressed. As a consequence, the presented testbed is proposed as a remote lab for teaching and benchmarking new control strategies. (C) 2015, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
With the continuous development of social economy, incessant progress of electronic information technology as well as the popularization of the Internet, We-chat has been widely applied in information service of unive...
详细信息
ISBN:
(纸本)9781510817449
With the continuous development of social economy, incessant progress of electronic information technology as well as the popularization of the Internet, We-chat has been widely applied in information service of university libraries gradually. Universities take advantage of Wechat to operate libraries. In this way, it can change the traditional publicity ways and has great publicity effects;in the meantime, utilizing We-chat can realize functions such as holding inquiry and renewal of books, thereby improving service quality of books;besides, utilizing We-chat can realize close communication with users and shorten the distance between the two parties;lastly, utilizing We-chat for prize quiz and other activities can strengthen communication and cooperation of both parties. This paper first introduces the concept and characteristics of We-chat as well as the current situation of university library official We-chat;then, it discusses the application of We-chat in libraries, hoping to provide some references for university libraries official We-chat. Process of advanced scientific technology and the endless emergence of various information spreading ways make users' using habits change gradually. Libraries have been paying attention to communication with users, so no matter it is Micro-blog or QQ online consultation, they are all communication ways that libraries use. From 2011 when Tencent Company issued We-chat, Wechat has become an inseparable part of people's daily life. People use We-chat to renew Circle of Friends and daily voice communication and so on. The continuous development of We-chat also make lots of libraries interested, so numerous libraries have established their own official We-chat. However, the operating conditions of current Chinese libraries are still in initial stage. To make the operation of We-chat satisfy users' various demands, it still needs endless exploration of university libraries. Firstly, let us have a look at the application condition
Based on the characteristics of HBase, data in the table is automatically sorted according to Rowkey, so in the organization of the massive data from community, add a timestamp to the storage structure in order to spe...
详细信息
ISBN:
(纸本)9781785610899
Based on the characteristics of HBase, data in the table is automatically sorted according to Rowkey, so in the organization of the massive data from community, add a timestamp to the storage structure in order to speed up queries, but HBase region split causes a defect that HBase load imbalance. In view of the above problems, this paper presents the design ideas of pre-partitioning and hash. in advance, according to the data characteristics, the cluster is divided into several regions, then through Rowkey hash mapping data is stored evenly to each partition. The data is stored equal probability to each region can not only solve the problem that a single node overload and some nodes waste of resources, but also avoid pressure on single-node query. Practice shows that the pre-partitioning and hash storage mechanisms can effectively optimize the problem that HBase load imbalance, caused by the storage of the massive data from community.
Resveratrol is a bioactive plant compound that has drawn scientific and media attention owing to its protective effects against a wide variety of illnesses, including cardiovascular diseases and cancer. In the last tw...
详细信息
Resveratrol is a bioactive plant compound that has drawn scientific and media attention owing to its protective effects against a wide variety of illnesses, including cardiovascular diseases and cancer. In the last two decades, a plethora of preclinical studies have shown these beneficial effects, and some of them have been supported by clinical trials. However, there are few epidemiological studies assessing these relationships, showing mostly inconsistent results among them. This could be partially due to the difficulty of accurately estimating dietary resveratrol exposure. The development of Phenol-Explorer, a database containing resveratrol food-composition data, will facilitate the estimation of resveratrol intake. Moreover, the discovery and validation of a nutritional biomarker of this exposure, urinary resveratrol metabolite profile, will allow a more accurate assessment of dietary resveratrol exposure. Few epidemiological studies have assessed the potential health effects of resveratrol. Resveratrol was not associated with total mortality, cancer, or cardiovascular events, but it was associated with an improvement of serum glucose and triglyceride levels and a decrease in heart rate. Together, these findings suggest a potential cardioprotective effect of resveratrol in epidemiological studies, although the evidence is still scarce.
These proceedings present the written contributions of the participants of the 3rdinternational Meeting for researchers in Materials and Plasma Technology (3rd IMRMPT) and the 1st Symposium on Nanoscience and Nanotec...
These proceedings present the written contributions of the participants of the 3rdinternational Meeting for researchers in Materials and Plasma Technology (3rd IMRMPT) and the 1st Symposium on Nanoscience and Nanotechnology which was held from 4 to May 9, 2015 at the Dann Carlton Hotel Bucaramanga, Colombia, organized by the faculty of science of the Universidad Industrial de Santander (UIS) and the basic science department of the Universidad Pontificia Bolivariana. This was the third version of biennial meetings that began in 2011. The five-day scientific program of the 3rd IMRMPT consisted of 24 Magisterial conferences, 70 Oral Presentations, 185 Poster Presentations, 3 Courses and 1 Discussion Panel with the participation of undergraduate and graduate students, professors, researchers and entrepreneurs from Colombia, Russia, Germany, France, Spain, England, United States, Mexico, Argentina, Uruguay, Brazil, Venezuela, among others. Moreover, the objective of IMRMPT was to bring together national and internationalresearchers in order to establish a network of scientific cooperation with a global impact in the area of the science and the technology of materials; to promote the exchange of creative ideas and the effective transfer of scientific knowledge, from fundamental research to innovation applied to industrial solutions and to advances in the development of new research allowing to increase the lifetime of the materials used in the industry by means of efficient transference of the knowledge between sectors academia and industry. The topics covered in the 3rd IMRMPT include New Materials, Surface Physics, Structural Integrity, Renewable Energy, Online Process Control, Non Destructive Evaluation, Characterization of Materials, Laser and Hybrid Processes, Thin Films and Nanomaterials, Surface Hardening Processes, Wear and Corrosion/Oxidation, Plasma Applications and Technologies, Modelling, Simulation and Diagnostics, Biomedical Coatings, Surface Treatments an
Cognitive impairments impose important limitations in the performance of activities of daily living. Although there is important evidence on cognitive rehabilitation benefits, its implementation is limited due to time...
详细信息
In order to make the University dance class-sport curriculum more in line with the requirements of modern education,taking into account the personality development of students,put forward and build a "new practic...
详细信息
In order to make the University dance class-sport curriculum more in line with the requirements of modern education,taking into account the personality development of students,put forward and build a "new practice" teaching mode,with a view to the three more closely together.
Mid-Autumn Day is a traditional festival in China, during which it is a Chinese conventional custom to send and eat moon cakes. It has become a kind of economic law that businesses sell moon cakes with the help of Mid...
详细信息
Mid-Autumn Day is a traditional festival in China, during which it is a Chinese conventional custom to send and eat moon cakes. It has become a kind of economic law that businesses sell moon cakes with the help of Mid-Autumn Day and the sales of moon cakes largely depend on the packaging. As an important component of culture of moon cakes, the design of moon cake packaging contains and is injected abundant spirits of Chinese culture. According to the characteristics and market positioning of products and related factors, the orientation of packaging design and the workmanship are determined, all the design procedures are introduced in details and present situation of moon packaging is stated and analyzed.
暂无评论