The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Using wireless networks in medical Cyber-Physical Systems could be challenging. Because the medical system not only assists the medical personnel to deliver medical services to the patient but also needs to deal with accidental situations such as communication failures without compromising the patient's safety. Previous research work tackled the communication failure problems in medical CPS from architecture...
Medical devices are essential for the practice of modern medicine, and the standard open-source integrated clinical environment (OpenICE) has been well designed and widely adopted to improve their interoperability. With OpenICE, it is easy to connect individual devices into the integrated clinical system to provide a coherent patient care. In this paper, we present ICERV, the first online verification...
3D architectures are considered the most promising approach to continuously increasing memory density and reducing cost/bit for NAND flash memory by stacking more layers. However, 3D MLC flash memory brings two serious problems, referred to as cell-to-cell program disturbance and big block problem. To solve the disturbance problem for better reliability, we proposed a Disturbance Compensation Programming...
In the design of ultrasonic ranging system, MCS51 singleship is used as the core component of the hardware system and the control software is used. The software is designed with advanced microcontroller programming language. Closed loop control is used to adjust the amplitude of received signal and to extract the ultrasonic propagation time. The double closed loop control technique of amplitude and...
The paper proposes an alternative method to design two-phase exciter based on the existing single-phase exciter to solve the excitation problem for the main generator when the aircraft starter/generator starts up. Compared with distributed winding, concentrated winding has been adopted for the exciter's field winding for the advantages of shorter end-windings and available space for air duct in the...
To reduce the false positives of static analysis, many tools collect path constraints and integrate SMT solvers to filter unreachable execution paths. However, the accumulated calling and computing of SMT solvers are time and resource consuming. This paper presents TsmartLW, an alternate static analysis tool in which we implement a path constraint solving engine to speed up reachability determination...
Building language models for source code enables a large set of improvements on traditional software engineering tasks. One promising application is automatic code completion. State-of-the-art techniques capture code regularities at token level with lexical information. Such language models are more suitable for predicting short token sequences, but become less effective with respect to long statement...
In this paper, Ti-doped GaZnO (GTZO) quaternary alloys were used as the transparent conductive oxides (TCOs) for Cu(In, Ga)SeSe2 (CIGS) solar cell application. These thin films are highly favorable for solar power systems. Photoluminescence measurement and X-ray diffraction were employed to investigate the GTZO thin films. Advantageous crystal quality was produced by radio-frequency magnetron sputtering...
In this study, two transparent thin-film transistors (TFTs) with distinct channel designs were fabricated. The first was a single channel TFT (SC-TFT) with a typical 50-nm-thick amorphous indium-gallium-zinc oxide (a-IGZO) layer, and the second was a sandwich composite-channel TFT (CC-TFT) comprising three layers of 10-/30-/10-nm-thick Ti-doped GaZnO (GTZO)/a-IGZO/GTZO. In the CC-TFT, the bottom GTZO...
Formal program verification is a powerful technique to ensure the correctness of programs. To perform this technique, one oftentimes needs to manually specify assertions, which is a time-consuming and error-prone task. Generating assertions automatically can significantly improve the usability of formal program verification. To decide where an assertion is needed heavily and which value range of the...
Improving safety of patient care is an ultimate objective for medical systems. Though many medical best practice guidelines exist and are in hospital handbooks, they are often lengthy and difficult for medical professionals to remember and apply clinically. Hence, developing safe and correct medical best practice guideline systems is an urgent need. Many efforts have been made in modeling, clinical...
It has been always a difficult problem about how to predict and evaluate the fatigue life of composite material structure in the academia and engineering. Besides, the vibration fatigue of it has not been deeply developed so far. A typical carbon fibre-reinforced plastic (CFRP) cantilevered laminate specimen was designed in this paper. The vibration fatigue of it under non-Gaussian vibration load...
For emergency medical cyber-physical systems, enhancing the safety and effectiveness of patient care, especially in rural ambulance transport, is essential. Use of telecommunication technologies can enhance effectiveness and safety of remote monitoring of patients by the physicians at the center hospital during ambulance transport and provides vital assistance to the emergency medical technicians...
Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist in the format of hospital handbooks which are often lengthy and difficult for medical staff to remember and apply clinically. Statechart is an effective tool to model medical guidelines and enables clinical validation with medical staffs. However,...
This paper proposes an efficient method for accelerating Transform Unit (TU) depth decisions based on the rough mode cost (RMC), which is the simplified rate-distortion (RD) cost during the rough mode decision (RMD), in HEVC intra coding. The TU partition of the mode with the minimal RMC is used to determine the TU partitions of remaining intra modes. The proposed TU partitioning method improves RD...
Functional Reactive Programming (FRP) provides an elegant way to express computation in domains such as interactive animations, robotics, computer vision, user interfaces, and simulation. Priority-based (preemptive) FRP (P-FRP), a variant of FRP with more real-time characteristics, demands research in its scheduling and timing analysis. Different from the classic preemptive model, in a P-FRP system,...
Minimal schedulability interval is one of the important considerations of both research motivation and practice stage. In this paper, we investigate the problem of finding a starting time point of the minimal schedulability interval for fixed priority independent periodic real-time preemptive tasks with arbitrary given release offsets (phasing). A linked list-based method is proposed for solving the...
Program obfuscation is a common practice in software development to obscure source code or binary code, in order to prevent humans from understanding the purpose or logic of software. It protects intellectual property and deters malicious attacks. While tremendous efforts have been devoted to the development of various obfuscation techniques, we have relatively little knowledge on how to most effectively...
Clinical guidelines and decision support systems (DSS) play an important role in daily practices of medicine. Many textbased guidelines have been encoded for work- ow simulation of DSS to automate health care. During the collaboration with Carle hospital to develop a DSS, we identify that, for some complex and life-critical diseases, it is highly desirable to automatically rigorously verify some complex...
Dynamic timing errors (DTEs), that are caused by the timing violations of sensitized critical timing paths, have emerged as an important threat to the reliability of digital circuits. Existing approaches model the DTEs without considering the impact of input operands on dynamic path sensitization, resulting in loss of accuracy. The diversity of input operands leads to complex path sensitization behaviors,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.