We propose FastLane, a new in-network drop notification mechanism. FastLane enhances switches to send highpriority, per-flow drop notifications to sources, thus informing sources as quickly as possible. We demonstrate, through simulation and implementation, that FastLane reduces 99.9th percentile completion times of short flows by up to 75%.

关键词：快车道；网络丢包；通知机制；ICMP；源抑制；量化拥塞通知

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

The report presents a systematic framework for automatically deriving high-level structures from the gate-level netlist of a digitial circuit and techniques And the author crafted a library ,leveraging formal verification techniques to further address the problem of a large implementation space per function, and recover structure from an unstructured netlist.

关键词：逆向工程；门级网表；形式化方法

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

Virtualization software is increasingly a part of the infrastructure behind our online activities.In this work, we investigate the verification of isolation properties for virtualization software.We identify large data structures as one of the biggest challenges in applying traditional formal methods to the verification of isolation properties in virtualization software.

关键词：形式化方法；虚拟化安全；模型；虚拟化软件；信息安全

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

The study was designed to identify clinically accessible molecular biomarkers of traumatic brain injury (TBI) prior to definitive clinical diagnosis using high throughput microRNA technology. Specifically, these studies were meant to identify, characterize, and validate microRNA biomarker species whose content in peripheral blood mononuclear cells (PBMC) could help to distinguish TBI cases from the Operation Iraqi Freedom (OIF) and Operation Enduring Freedom (OEF) veteran population. During the past years, we conducted a Biomarker Discovery study using a high-throughput Array chip platform and identified 18 candidate TBI small RNA biomarkers. Using independent Q-PCR assays, we confirmed that 13 of these candidate small RNA biomarker species are, indeed, significantly down-regulated in PBMC of TBI compared to non-TBI control veteran cases. Additionally, we used unsupervised clustering analysis and demonstrated that the differential regulation of these small RNA biomarkers in clinically accessible blood cells is capable of distinguishing between TBI and non-TBI OEF/OIF veteran cases. Lastly, we identified a 3-biomarker panel capable of distinguishing TBI from non-TBI control veteran cases with 89accuracy 82selectivity and 78specificity. The majority of TBI cases in our biomarker study were co-morbid with PTSD, and our non-TBI control cases were selected to match for PTSD diagnosis. Thus, our identified panel of 13 small RNA biomarkers likely represents biological indices selective for TBI. During the past year, we recruited 13 new cases (6 TBI and 7 non-TBI cases). Together with the cases recruited in previous years, we currently have a total of 83 cases, comprised of 17 TBI and 66 non-TBI control cases, which are available for Biomarker Validation studies.

关键词：医药；个性化医疗；军事人员；创伤性脑损伤

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

This paper contributes new theory and new experiments. For the former, we provide a succinct derivation of the square-root model based on optimal control theory. We present data from two experimental user studies, one a controlled (in-lab) study and the second an uncontrolled (online) study with a total of 94,580 timing measurements. We consider three two-parameter models that relate motion duration to the ratio of target distance over target size: LOG (the classic logarithmic function), SQR (square-root), and LOG' (logarithmic plus 1.0). We find that: (1) the data from the controlled and uncontrolled studies are remarkably consistent; (2) for homogeneous targets, the SQR model yields a significantly better fit than LOG or LOG', except with the most difficult targets (i.e., the ratio of target distance over target size is large) where the models are not significantly different; (3) for heterogenous targets, SQR yields a significantly better fit than LOG for easier targets and LOG yields a significantly better fit than both LOG and SQR on more difficult targets.

关键词：费茨定律；人机交互界面；时间动作研究；人体运动时间

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

We study three electricity grids and develop a methodology to scale renewables penetration. Analyzing these grids yields key insights about rigid limits to renewables penetration and their implications in meeting long-term emissions targets.We argue that to achieve deep penetration of renewables, the operational model of the grid must be inverted, changing the paradigm from load-following supplies to supply-following loads.

关键词：现代电网；可再生能源；深层渗透；供给负载

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

In this thesis, we consider three seemingly simple but fundamental problems to understand explicit and implicit information ows for control, as initial building blocks for a theory that we hope will eventually lead to novel and efficient designs for modern control systems.

关键词：线性系统；信息流；控制系统

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

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 have made good progress in developing the training software and preparing the functional assessments, and have started recruitment. Specifically, we (1) obtained all necessary IRB approvals; (2) made excellent progress in developing and testing the training program and training task suite; (3) made excellent progress in preparing the functional assessments in the driving simulator and virtual mall that will be used to evaluate performance without and without the prism glasses before and after training; (4) evaluated mobile eye tracking technologies that will be used for an outdoor walking task; (5) began recruitment; (6) collected pre-pilot data from participants who did not meet the study criteria, and (7) enrolled 3 participants for the main pilot study. Results from the first participant who has completed the protocol are promising showing significantly improved detection rates and collision judgments with the EP-glasses after training.

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

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

关键词：医药；康复技术；儿童；自闭症谱系障碍；神经反馈

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

Vestibular pathology has been documented following barotrauma and/or head acceleration associated with exposure to explosions. The usual symptoms include dizziness and headache, with dizziness and associated imbalance contributing disproportionately to disability. Several agencies have noted the need for better vestibular evaluation and rehabilitation following exposure to improvised explosive devices (IEDs). The authors asked subject matter experts to assist in formulating recommendations for initial assessment and rehabilitation of balance problems following IED exposure, focusing on strategies that are either available or in development. This report summarizes feedback obtained from approximately 50 vestibular researchers, scientific advisors, clinicians, and biomedical engineers working for government agencies, universities, clinics/hospitals, and businesses. Tests appropriate for early (post-injury) functional assessment in the military setting are considered, along with the optimal application of novel tactile balance feedback technologies being developed to augment vestibular rehabilitation.

关键词：医药；康复技术；创伤性脑损伤；前庭器官

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