Proposal a tool flow that enables a programmer to describe key applications kernels from a high-level description and then generate highly efficient software and hardware solutions from that description. Demonstrate of the effectiveness of our approach to hardware and software code-design by an in-depth case study in large vocabulary continuous speech recognition. Specifically, our results show an energy savings of 3.6×over that of a conventional mobile processor and 2.4×over that of a highly-optimized vector processor.

关键词：Python；循环依赖；实施平台；应用程序；硬件；软件

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

In this dissertation, we explore the potential of using PDR for program verification and - as product of this endeavor - present a sound and complete algorithm for intraprocedural verification of programs with static memory allocation that is based on Property Directed Reachability.

关键词：程序验证；算法设计；属性指示可达性

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

The hallmarks of the recent conflicts in Iraq (20032011) and Afghanistan (2001-present) are blast injuries and the psychiatric consequences of combat, particularly posttraumatic stress disorder (PTSD), the subject of this report. According to the American Psychiatric Associations Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition, Text Revision (DSM-IV-TR), PTSD symptoms must be manifested in three clusters: 1. Persistent re-experiencing, such as recurrent thoughts, nightmares, and flashbacks; 2. Persistent avoidance of trauma-associated stimuli (for example, avoiding related thoughts, feelings, conversations, or places) and emotional numbing that was not present before the trauma; and 3. Persistent hyperarousal that may be manifested as hypervigilance, an exaggerated startle response, or difficulty in concentrating. Those symptoms must persist for at least a month and cause clinically significant distress or functional impairment. PTSD is unique among psychiatric disorders in that it is linked to a specific trigger--a traumatic event--such as combat, natural and accidental disasters, and victimization and abuse.

关键词：医药；军事人员；创伤后应激障碍；精神障碍

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

This work is a step towards the practical demonstration of a wireless system that exploits cooperation between terminals. Chapter 2 introduces basics of cooperation between terminals;present fast and effcient square-root algorithm for MMSE-SIC MIMO detection is presented in Chapter 3; Hardware design of the implemented MMSE-SIC detector is explained in Chapter 4. We argued that MMSE-SIC is the MIMO detector architecture that represents a very good t for the given design requirements. The algorithm for MMSE-SIC lter calculation that promises an effcient hardware implementation has been presented.

关键词：多输入多输出；MIMO探测器；软输出；协作式MIMO

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

The U.S. military is providing amputees with state-of-the-art prosthetic devices. In addition to walking and changing direction, amputees must be able to manage uneven terrain, crowded environments, stairs, ramps, and hills. The largest problem for a lower extremity amputee is falls. Falling history and balance confidence are associated with reduced mobility capability and social activity. The goal of this research effort is to rehabilitate individuals with lower extremity amputations to reduce falls using a novel training method. The training program utilizes a microprocessor-controlled treadmill designed to deliver task-specific training perturbations. The training consists of six, 30 minute sessions delivered over a 2-week period. Trunk motion and velocity was assessed using a perturbation test in an immersive virtual environment, since trunk kinematics has been shown to determine fall likelihood. We have enrolled 14 research subjects at the Naval Medical Center San Diego. Mean trunk flexion angle and velocity significantly improved after participating in the training program. The improved performance was maintained up to 6 months. Subjects reported decreased uncontrolled and semi-controlled falls in their free-living environment outside of the research laboratory. These results indicate that task-specific training is an effective rehabilitation method to reduce falls in persons with lower limb amputations.

关键词：医药；康复技术；截肢；复健；军事人员

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

We present FlexPRET, a processor designed specifically for mixed-criticality systems by allowing each task to make a trade-off between hardware-based isolation and efficient processor utilization. FlexPRET uses fine-grained multithreading with flexible scheduling and timing instructions to provide this functionality.

关键词：混合临界系统；处理平台；FlexPRET；分级存储器；时间指令

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

In this report, I present NbQ-CLOCK, a novel, lock-free variant of the Generalized CLOCK algorithm particularly suited for web-object caching. My solution benefits from Generalized CLOCK’s low-latency updates and high hit rates, and its non-blocking implementation makes it scalable with only 10 bytes per-object space overhead. I compare the solution to existing algorithms, including Intel’s Bag-LRU, and demonstrate that NbQ-CLOCK’s fast update operation scales well with the number of threads and in a in-memory key-value store prototype, NbQ-CLOCK offers an overall throughput improvement of as much as 9.20% over the best of the other algorithms. In addition, NbQ-CLOCK’s hit rate exceeds the next best algorithm’s hit rate by as much as 1.40%.

关键词：web缓存；非阻塞；时钟算法；LRU；队列

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

The overall aim is to conduct preliminary evaluations of new rehabilitation strategies and new functional assessment methods for homonymous hemianopia (HH) and spatial neglect (SN), disabling visual and cognitive perception conditions that commonly occur as a result of severe traumatic brain injury (TBI) and stroke. Both HH and SN prevent detection of objects on the affected side, resulting in unsafe walking and driving. Using realistic tasks in virtual environments representative of everyday mobility challenges we are evaluating a novel optical device expansion prism (EP) glasses - combined with a new computerized perceptual-motor training regimen in helping people with HH and SN detect and avoid obstacles on the affected side. In the first year we developed the training software and prepared the functional assessments. In the second year we have made excellent progress in recruiting and running participants in the main pilot study, with a total of 25 participants screened and 14 enrolled. There are about 15 visits for each participant, including about 6 visits for intensive computerized perceptual-motor training. Preliminary results are encouraging. After training there were significant improvements in the ability to accurately touch targets presented in areas of prism-expanded vision in the blind hemifield. Before training, the error in touching was 17 , which reduced significantly (p = 0.001) to only 1.0 after training (equivalent to seeing side accuracy). Blindside detection performance improved significantly when using the prism glasses both in a collision judgment task in a virtual walking simulator and a pedestrian detection task in a driving simulator. Recruitment and data collection are ongoing.

关键词：医药；康复技术；创伤性脑损伤；功能恢复训练；损伤评估

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

关键词：医药；针灸；创伤后应激障碍；军事人员

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

Mild traumatic brain injury (mTBI) and post-traumatic stress disorder (PTSD) co-occur at a high rate in Soldiers and Veterans. Despite this, there is a paucity of evidence-based treatments for those dealing with mTBI/PTSD symptoms and their exacerbation by stress. Using a placebo-controlled, randomized, blinded design, the current study is testing the following hypothesis: active acupressure (more than Placebo) will reduce the adverse effects of stress in Veterans with co-occurring mTBI/PTSD, which will be evident in measures of anxiety, perceived stress, distress, psychiatric health, memory and in a laboratory stress task. Veterans have been recruited since regulatory approval was obtained (August 2012) and enrolled in the study in an ongoing manner, with several having already completed the study protocol or being in process. Because the study is ongoing, there are no data to report as of yet. The findings of the present study hold significant military significance: a safe, portable, low-cost, efficacious and accessible treatment strategy would benefit Veterans, family members and the military/VA health care systems. Results of the ongoing study will determine if acupressure is such a treatment strategy.

关键词：医药；创伤后应激障碍；精神病学；军事人员

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