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

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

Smooth muscle of the bladder in the normal and the diseased state: pathophysiology, diagnosis and treatment

The smooth muscle of the normal bladder wall must have some specific properties. It must be very compliant and able to reorganise itself during filling and emptying to accommodate the change in volume without generating any intravesical pressure, but whilst maintaining the normal shape of the bladder. It must be capable of synchronous activation to generate intravesical pressure at any length to allow voiding. The cells achieve this through spontaneous electrical activity combined with poor electrical coupling between cells, and a dense excitatory innervation. In the diseased state, alterations of the smooth muscle may lead to failure to store or failure to empty properly. The diseased states discussed are bladder instability and diabetic neuropathy. Bladder instability is characterised urodynamically by uninhibitable rises in pressure during filling, and is seen idiopathically and in association with bladder outflow obstruction and neuropathy. In diabetic neuropathy, many of the smooth muscle changes are a consequence of diuresis, but there is evidence for alterations in the sensory arm of the micturition reflex. In the unstable bladder, additional alterations of the smooth muscle are seen, which are probably caused by the patchy denervation that occurs. The causes of this denervation are not fully established. Nonsurgical treatment of instability is not yet satisfactory; neuromodulation has some promise, but is expensive, and the mechanisms poorly understood. Pharmacological treatment is largely through muscarinic receptor blockade. Drugs to reduce the excitability of the smooth muscle are being sought, since they may represent a better pharmacological option.     

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 distributed adverse drug reaction detection system using intelligent agents with a fuzzy recognition‐primed decision model

Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is highly desirable. Nevertheless, current postmarketing surveillance methods largely rely on spontaneous reports that suffer from serious underreporting, latency, and inconsistent reporting. Thus these methods are not ideal for rapidly identifying rare ADRs. The multiagent systems paradigm is an emerging and effective approach to tackling distributed problems, especially when data sources and knowledge are geographically located in different places and coordination and collaboration are necessary for decision making. In this article, we propose an active, multiagent framework for early detection of ADRs by utilizing electronic patient data distributed across many different sources and locations. In this framework, intelligent agents assist a team of experts based on the well‐known human decision‐making model called Recognition‐Primed Decision (RPD). We generalize the RPD model to a fuzzy RPD model and utilize fuzzy logic technology to not only represent, interpret, and compute imprecise and subjective cues that are commonly encountered in the ADR problem but also to retrieve prior experiences by evaluating the extent of matching between the current situation and a past experience. We describe our preliminary multiagent system design and illustrate its potential benefits for assisting expert teams in early detection of previously unknown ADRs. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 827–845, 2007.     

Fast adders using enhanced multiple-output domino logic

Using an enhanced multiple output domino logic (EMODL) implementation of a carry lookahead adder (CLA), sums of several consecutive bits can be built in one nFET tree with a single carry-in. Based on this result, a new sparse carry chain architecture is proposed for the CLA adder. We demonstrate the design approach using a 32-b adder, and show that only four carries are sufficient for generating all sums, with a consequent reduction in the number of stage delays. Using a 1.2-μm CMOS technology, we verify our simulation procedures by fabrication and measurement of a 2.7 ns critical path