This paper aimed to solve the problems that traffic detector which was used in china,can't satisfies the multifunction and high-accuracy needs of the domestic traffic survey and traffic volume measurement.We designed a traffic detection system based on laser and piezoelectric technologies,which is made up of laser speed sensor,laser scanning sensor,piezoelectric axle shaft sensor,data acquisition unit,software system and server,and their application was discussed in detail.The working principles of laser speed sensor,laser scanning sensor,piezoelectric axle shaft sensor were presented,and the detection parameters of the system were put forward.The whole structure and data processing flow of software system were also pointed out.Through test verification,the multifunction and high-accuracy characteristics of the system were verified.This traffic detection system has great significance for enhancing the research level of the domestic traffic survey and traffic volume measurement.

关键词：交通检测；激光技术；压电技术；设计

查看摘要 索取原文[6页]

Services running in the cloud face threats from several parties, including malicious clients, administrators, and external attackers. CloudProxy is a recently-proposed framework for secure deployment of cloud applications. In this thesis, we present the rst formal model of CloudProxy, including a formal speci cation of desired security properties. We model CloudProxy as a transition system in the UCLID modeling language, using term-level abstraction. Our formal speci cation includes both safety and non-interference properties. We use induction to prove these properties, employing a back-end SMT-based veri cation engine. Further, we structure our proof as an \assurance case", showing how we decompose the proof into various lemmas, and listing all assumptions and axioms employed. We also perform some limited model validation to gain assurance that the formal model correctly captures behaviors of the implementation.

关键词：云代理;云应用;形式化模型;建模语言

查看摘要 索取原文[47页]

The Navy of tomorrow will require a robust and reconfigurable power system capable of supplying power not only to large high power propulsion loads but to growing combat system loads like high power radar and pulse loads such as rail guns and free-electron lasers. A critical component in such a system is the phase controlled rectifier. As such, the issues associated with the inclusion of a power electronics rectifier need to be addressed. These issues include input Alternating Current (AC) interface requirements, the output Direct Current (DC) load profile, and overall stability in the presence of non- linear loads. Understanding these issues and determining the means of assuring compatibility with a Navy all-electric ship is the focus of this thesis. By using a Simulink model of a variable parameter load, several multiple-pulse count, high power rectifiers were exercised. The Simulink results were compared to the linearized small signal transfer function analysis results. These experiments led to the conclusion that increasing the pulse count and output filtering reduces the input interface current distortion. However, there are tradeoffs in terms of complexity and size of the passive components, and optimization based on source and load specifications is required.

关键词：电力系统；整流器；滤波器；电源

查看摘要 索取原文[145页]

关键词：前列腺癌；血清；脱氧核糖核酸；前列腺

查看摘要 索取原文[32页]

A novel apparatus is introduced in this paper used to measure high voltage electric energy based on three-phase four-wire virtual-ground theory.The virtual-ground design,Faraday shielding technique and Warner DC (Direct Current) self-supply method are integrated in this apparatus based on new I/V.V/V techniques to realize high accuracy,reliability and wide-linear range measuring.The effectiveness of the apparatus has been proved by in-house calibration and on-site test.The test result shows that it can be used in high voltage grid on-site calibration.Its measurement uncertainty can be limited to 0.1％ under the condition of PF=1.0～0.8,and can reach 0.15％ as PF=0.5.In summary,the apparatus discussed in this paper can be applied as high voltage electric energy measurement instrument to meet the requirement of online metrological verification and calibration.Furthermore,it is very useful for building the system of Advanced Metering Infrastructure (AMI) in smart grid.

关键词：电力系统；高电压电能计量；地高压电能计量设备;在线校准

查看摘要 索取原文[5页]

Time synchronization plays a central role in the design of reliable distributed embedded systems. However, the clocks of nodes that are time-synchronized are only guaranteed to be equal within a certain tolerance. Thus, when modeling and verifying distributed protocols that involve or rely upon time synchronization, abstractions are needed that accurately capture the notion of systems being “almost synchronized.” In this paper, we present the concept of approximate synchrony, a modeling and verification abstraction for time-synchronized systems. Approximate synchrony is a sound and tunable abstraction. We have implemented approximate synchrony as a part of a model checker and used it to verify the Best Master Clock (BMC) algorithm, the core component of IEEE 1588 precision time protocol and the time-synchronized channel hopping protocol that is part of the IEEE 802.15.4e standard.

关键词：时间同步系统；分布式嵌入式系统；信道跳频协议

查看摘要 索取原文[13页]

Hemostasis is arguably the highest treatment priority for the polytraumatized patient. Best hemostasis practices cannot be developed if we lack a more full understanding of the cell-based clotting system during trauma. In order to address this fundamental knowledge gap, this study will provide a comprehensive characterization of the most important cellular component of the coagulation system, the platelet. The study proposes a comprehensive characterization of platelet function over time in civilian victims of polytrauma that may inform development of new diagnostic, therapeutic, and clinical guidelines for hemorrhage control and treatment of coagulopathy in trauma. We have successfully developed a comprehensive panel of tests to include: 1. Platelet aggregation by aggregometry under conditions of low and high shear stress and in response to collagen and ADP stimulation, 2. Platelet- associated thrombin generation using calibrated automated thrombography, 3. Platelet-induced clot contraction and using viscoelastic measures such as TEG with Platelet Mapping and, 4. Flow cytometry for platelet receptor and white cell activation as well as circulating platelet and platelet-monocyte aggregates. These panels are being coupled with a comprehensive data base of trauma victim demographics, diagnostics, and therapeutics to define the relationships between platelet function and injury pattern/severity, tissue hypoperfusion, transfusion, traumatic brain injury, inflammation, and clinical outcomes.

关键词：医药；血小板；血管内血栓；刺激（生理学）

查看摘要 索取原文[16页]

The mission of NPSI is to provide maximum database reuse across Type/Model/Series platforms to lower the life cycle cost of out-the-window visual terrain, 3-D models, and sensor databases, along with dataset archive capability, and short-notice distribution services. This document outlines the standards and requirements for data capture to meet the NPSI mission of data reuse.

关键词：数据库；数据管理；需求标准；数据采集；生命周期

查看摘要 索取原文[52页]

The purpose of this project is to help prevent psychological disorders in high-risk individuals with early symptoms of stress, depression, substance use, and other health problems. Military medicine is increasingly concerned with the incidence of psychological casualties and the treatment of post-traumatic stress disorder (PTSD) in returning personnel. This incidence increases the need for medical care and reduces operational readiness. Few preventive methods are available to mitigate subclinical psychological health issues upon the return of personnel from deployment. The PHIT for Duty system is a personal health intervention tool (PHIT) using mobile smartphone technology to integrate personal health assessment with targeted self-help intervention for the mitigation of psychological symptoms, modification of risky behaviors, and provision of cognitive support. The study will identify self-help interventions to assist individuals in dealing with combat and operational stress; develop smartphone applications for health assessment and self-help intervention; and evaluate the PHIT methodology for prevention of psychological disorders in post-deployed personnel. Improvements in patient- related outcomes are expected to be demonstrated in 2-3 years. The PHIT for Duty mobile health approach can be transitioned for chronic disease management, obesity prevention, substance use intervention, and other domains where better personal health management could improve wellness and clinical outcomes.

关键词：心理健康；创伤后应激障碍；肥胖；精神障碍

查看摘要 索取原文[22页]

In this chapter, based on the Lyapunov-Krasovskii functional method in delta domain and the LMI technique, the problem of robust stability for Marko-vian jump DOSs with mode-dependent time delays has been studied. This class jump DOSs come from NCSs which contain sensor-to-controller random network-induced delay and arbitrary packet loss. Moreover, we have used a class of linear fractional parameter uncertainties, which means that a less conservative result would be obtained than by using norm-bounded parameter uncertainties. Numerical example has been given to illustrate the feasibility and effectiveness of the developed technique.

关键词：系统网络；泛函方法；网络控制系统；线性分式

查看摘要 索取原文[16页]