Perfluorocarbons in Chemical Biology

Perfluorocarbons, saturated carbon chains in which all the hydrogen atoms are replaced with fluorine, form a separate phase from both organic and aqueous solutions. Though perfluorinated compounds are not found in living systems, they can be used to modify biomolecules to confer orthogonal behavior within natural systems, such as improved stability, engineered assembly, and cell-permeability. Perfluorinated groups also provide handles for purification, mass spectrometry, and ¹⁹F NMR studies in complex environments. Herein, we describe how the unique properties of perfluorocarbons have been employed to understand and manipulate biological systems.     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

CT of appendicitis in children

PURPOSE: Our goal was to review the CT findings and to help define the role of CT in the evaluation of appendicitis in children. METHOD: Of 730 children with surgically proven appendicitis, 22 underwent preoperative CT evaluation. Their CT scans and operative and pathology records were retrospectively reviewed. The CT scans were evaluated for appendiceal wall thickness, diameter, and location, appendicoliths, pericecal inflammation, phlegmon, abscess, free fluid, small bowel dilatation, and bowel wall thickening. Criteria for diagnosing appendicitis were (a) appendiceal wall thickening (> 1 mm) or (b) presence of abscess, phlegmon, or pericecal inflammation associated with appendicolith(s). Prospective reports of ultrasound examinations performed within 2 days of the CT scans were available in 14 children and were correlated with the CT findings. RESULTS: An abnormally thickened appendix, with a diameter ranging from 9 to 18 mm, was seen in four children. Three appendices were retrocecal and one was near the cecal tip, anterior to the iliac vessels. Appendicoliths were present in 10 children, multiple in 1. Abscesses were seen in 13 of 22 children, multiple in 5. Phlegmon was seen in five children and pericecal inflammation in two. Bowel wall thickening was present in seven children and small bowel dilatation was noted in six. Other findings included free fluid, hydronephrosis, thickening of urinary bladder wall, air in the uterus and vagina, adenopathy, and thickening of the abdominal wall musculature. CT was diagnostic of appendicitis in 11 of 22 children (50%). In 14 children with both ultrasound and CT studies, CT was slightly better in diagnosing appendicitis and visualizing the abnormal appendix and was superior in defining the presence and extent of abscess and inflammation in 9 of 14 children. CONCLUSION: CT is a useful adjunct in diagnosing appendicitis in children, with a major role in cases of complicated appendicitis.     

Multi-input,multi-output flight control system design for the YF-16 using nonlinear QFT and pilot compensation

Nonlinear quantitative feedback theory (QFT) and pilot compensation techniques are used to design a 2 × 2 flight control system for the YF-16 aircraft over a large range of plant uncertainty. The design is based on numerical input-output time histories generated with a FORTRAN implemented nonlinear simulation of the YF-16. The first step of the design process is the generation of a set of equivalent linear time-invariant (LTI) plant models to represent the actual nonlinear plant. It has been proven that the solution to the equivalent plant problem is guaranteed to solve the original nonlinear problem. Standard QFT techniques are then used in the design synthesis based on the equivalent plant models. A detailed mathematical development of the method used to develop these equivalent LTI plant models is provided. After this inner-loop design, pilot compensation is developed to reduce the pilot's workload. This outer-loop design is also based on a set of equivalent LTI plant models. This is accomplished by modelling the pilot with parameters that result in good handling qualities ratings, and developing the necessary compensation to force the desired system responses.     

International Working Group on Assurance Cases (for Security)

Critical systems are aptly named - from electric power to water and gas to the telephone system and the Internet, they're all critical to some aspect of our daily lives. We're a networked society and as such, it's important to both know whether critical systems are trustworthy and be able to communicate, review, and debate the level of trust achieved in them. In the safety domain, explicit safety cases are increasingly required by law, regulations, and standards. In this article, we outline what a small, international group of experts, spanning various disciplines in safety, security, reliability, and critical infrastructure, been doing with the International Working Group on Assurance Cases (for Security), what we hope to achieve, and where we go next.     

The Effect of Moisture Content in Epoxy Film Adhesives on their Performance. II. T-Peel and 105°C Lap Shear Strength

The benefits of adhesively bonded structures are well known. However, the most significant factor limiting the extensive application of metal bonding in primary aerospace structures is the prevailing lack of confidence in its long term durability under hostile environmental conditions.^1,2     

Single-Phase Permanent-Magnet Motor Analysis

A unified theoretical approach is presented for the calculation of the performance of the single-phase capacitor-start permanent-magnet (PM) ac line-start motor. The earlier work of Chang and of Finch and Lawrenson on capacitor reluctance motors is extended. As far as possible, a common set of reference frame transformations for steady-state, transient, and asynchronous performance is also provided, permitting the use of all the theory developed for the analysis of the balanced polyphase PM motor. A new approximate technique is given for estimating the average asynchronous torque/speed curve from computed acceleration curves.     

A new approach to model reference adaptive control

In classical model reference adaptive control, the goal is to design a controller to make the closed-loop system act like a prespecified reference model in the face of significant plant uncertainty. Typically, the controller consists of an identifier (or tuner) which is used to adjust the parameters of a linear time-invariant (LTI) compensator, and under suitable assumptions on the plant model uncertainty it is proven that asymptotic matching is achieved. However, the controller is typically highly nonlinear, and the closed loop system can exhibit undesirable behavior, such as large transients or a large control signal, especially if the initial parameter estimates are poor. Furthermore, its ability to tolerate time-varying parameters is typically limited. Here, we propose an alternative approach. Rather than estimating the plant or compensator parameters, instead we estimate what the control signal would be if the plant parameters and plant state were known and the "ideal LTI compensator" were applied. We end up with a linear periodic controller. Our assumptions are reasonably natural extensions of the classical ones to the time-varying setting; we allow rapid parameter variations, although we add a compactness requirement. We prove that we can obtain arbitrarily good tracking, explore the benefits and limitations of the approach, and provide a simulation study.