This paper presents TypeDevil, a mostly dynamic analysis that warns developers about inconsistent types. The key idea is to assign a set of observed types to each variable, property, and function, to merge types based in their structure, and to warn developers about variables, properties, and functions that have inconsistent types. To deal with the pervasiveness of polymorphic behavior in real-world JavaScript programs, we present a set of techniques to remove spurious warnings and to merge related warnings.

关键词：Java；动态类；动态分析

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

Pursuant to circumventing electrical stiffness-based instability, this work introduces a more circuit design-friendly equivalent circuit model that uses negative capacitance to capture the influence of electrical stiffness on device and circuit behavior. This new circuit model reveals that capacitive-gap transduced micromechanical resonators can offer better stability against electrical-stiffness-based frequency instability when used in large mechanically-coupled arrays.

关键词：偏置电压；电压波动；微机械；磁盘阵列

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

The first question is: Can a 32-bit platform be constructed that provides advanced features but fits within the energy constraints of a wireless sensor network? The second question we answer is: Can this platform simultaneously meet the very different demands of both monitoring-type applications and cyber-physical systems? The final question explored by this paper is: If such a platform is possible, what new opportunities and challenges would it hold for embedded operating systems?

关键词：无线平台；无线传感网络；嵌入式系统；系统设计

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

We present an algorithm for synthesizing efficient document layout engines from relational specifications. These specifications are high level in that a single specification can produce engines for distinct layout situations. Specifically, our engines are functional attribute grammars, while the specifications are relational attribute grammars.

关键词：关系约束；布局引擎；合成算法

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

We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a product MDP that incorporates a deterministic Rabin automaton generated from the desired LTL property.We prove that our method is guaranteed to find a controller that satisfies the LTL property with probability one if such a policy exists, and we suggest empirically with a case study in traffic control that our method produces reasonable control strategies even when the LTL property cannot be satisfied with probability one.

关键词：线性时序逻辑；马尔可夫决策过程；控制合成

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

This dissertation is devoted to investigate the physical origins of the extraordinary features of HCG, and explore its applications in novel devices for integrated optoelectronics. An intuitive picture will be presented to explain the HCG physics. The essence of HCG lies in its superb manipulation of light, which can be coupled to applications in light generation and detection.This breadth of functionality of HCG suggests that HCG has reached beyond a single element in integrated optoelectronics; it has enabled a new platform for integrated optoelectronics.

关键词：集成光电子；光栅；HCG

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

In this dissertation, a novel growth mechanism that yields catalyst-free, self-assembled, single-crystalline nanoneedles and nanopillars on dissimilar substrates will be presented. At CMOS-compatible growth temperatures (400 ~ 455 oC), single-crystalline InGaAs and InP nanostructures are grown on silicon and poly-silicon substrates via metalorganic chemical vapor deposition.

关键词：光电子器件；纳米材料；III-V；InGaAs

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

Recombinant human lubricin (rhPRG4) was expressed by transfected CHO- S cells at a level of secretion that may be scalable and thus enable production of a GMP protein for clinical use. A purification bioprocess was created that achieved a purity level of approximately 95%. A total of 5 bands visualized on SDS-PAGE are all product related following excision and analysis by LC-MS. Full- length and truncated rhPRG4 constructs are being tested for chondroprotective ability. The full-length construct significantly lowers friction between pressurized discs of articular cartilage. The coefficient of friction in the presence of rhPRG4 was 0.03 whereas for a saline control 0.07. Study of the 5 other constructs and confirmation of reduction in levels of chondrocyte apoptosis attributable to lower friction is ongoing. The posttranslational glycosylations on rhPRG4 appear to be (1-3)GalNac-Gal (2,3) NeuAc judging by sequential enzymatic deglycosylation and molecular weight shift on SDS-PAGE. Western blotting of rhPRG4 with mAb 9G3, which reacts with the glycosylations in the lubricin mucin domain, also confirms that the glycosylations are consistent with lubricin secreted by human synovial fibroblasts. Analytical ultracentrifugation shows that there are 5 distinct species in rhPRG4, 3 of which are major forms: monomer, dimer and a higher order tetramer. This biophysical form of analysis may also prove useful in a quality assurance program in GMP protein production as the relative amounts of each major form can be monitored.

关键词：关节炎;软骨细胞;细胞凋亡;生物物理学;临床医学;系数;一致性;控制;切除;成纤维细胞;摩擦;接头;润滑;单体;预防;生产;蛋白质

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

Early identification of the specific proteins, which indicate delayed healing are critical to long-term success of the patient and the development of new treatments. It is the objective of this research to correlate changes in the proteome of wounds with clinical outcome and develop technology to sense these changes. Protein Imprinted Xerogels with Integrated Emission Sites (PIXIES) and porous polymer photonic bandgap (PBG) structures are being integrated to sense the wound bed in real time. Flexible bandgap structures and micro-concave shaped gratings have been developed to conform to the curved anatomy of the wound bed.

关键词：探测器;治疗;创伤和损伤;剖析;临床医学;曲率;排放;能源乐队;能源缺口;柔性结构;识别;集成系统;患者;光子学;聚合物;多孔材料;蛋白质

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

The overall aim of this proposal is to test the clinical effects of a Computer Assisted Decision Support (CADS) System for the management of Type 2 diabetes (T2D) by primary care providers (PCPs). Moreover, the aims are to compare longitudinal patterns of change within and between patients who are managed with the CADS system for differing durations. This comparison will help us to understand the clinical utility of using the CADS system continuously or up to a certain threshold of patient improvement. To achieve these aims, we requested a second year of funding (first year funded through United States Army Medical Research Acquisition Activity USAMRAA), contract number W81XWH-09- 2-0196, for a prospective, cluster, randomized controlled trial (RCT). The ongoing project is a multi-site study including the Walter Reed National military Medical Center, Fort Belvoir Community Hospital (FBCH), and the Kimbrough Ambulatory Care Center. The proposal herein is not duplicative of any current study but rather an extension of the already funded one. A detailed, technical explanation of the software and hardware elements of this study are included in reports for the original CADS study and available upon request.

关键词：计算机应用;决策支持系统;糖尿病;医疗服务;临床医学;聚类;社区;比较;计算机程序;连续性;合同;控制;医院;管理;患者;模式;随机变量;报告;网站

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