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

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

Epilepsy, retarded growth and onchocerciasis, in two areas of different endemicity of onchocerciasis in Burundi

A high prevalence of epilepsy (up to 1.3%) was observed in an area hyperendemic for onchocerciasis in the province of Bururi, Burundi. Following this observation, epileptics and controls were examined in 2 communes (administrative units) with different endemicity for onchocerciasis. Altogether, onchocerciasis was more frequent in epileptics (81.8%) than in controls from the same households (68.3%; P < 0.05). This difference was more marked in the hyperendemic area. Other possible causes of epilepsy, including cysticercosis, were infrequent (18 possible cases among 110 epileptics). During this survey, 9 epileptics with growth retardation were seen. They showed most characteristics of Nakalanga syndrome, which was described from Uganda. All 9 such cases were suffering from onchocerciasis. These findings give more evidence of a possible association between onchocerciasis and epilepsy, and between onchocerciasis and Nakalanga syndrome.     

Homogeneity of fruits and vegetables comminuted in a vertical cutter mixer

The homogeneity of comminuted composites of 20 lb samples of apples, cabbage, and green beans containing field-incurred residues of p, p'-methoxychlor was studied to determine whether a 5 min comminution in a 40 qt vertical cutter mixer produces a homogeneous composite and whether the size of test portions used accurately represents the composite. Duplicate test portions of 100, 50, 25, 10, 5, and 2 g taken from each of 6 separate sections of the mixer were analyzed by standard pesticide residue methodology for p, p'-methoxychlor. Results of this study confirmed that comminution of fresh produce in a 40 qt vertical cutter mixer, according to instructions described in the U.S. Food and Drug Administration's Pesticide Analytical Manual, Volume I, Section 203B, produces a homogeneous composite. No significant differences were found in the data for the 3 crops taken from the 6 sections of the mixer. Test portion weights of 100, 50, and 25 g produced equivalent results for all 3 crops. Statistically significant differences were observed for cabbage at 2, 5, and 10 g and for green beans at 2 g.     

ACT3: a high-speed, high-precision electrical impedance tomograph

Presents the design, implementation, and performance of Rensselaer's third-generation adaptive current tomograph, ACT3. This system uses 32 current sources and 32 phase-sensitive voltmeters to make a 32-electrode system that is capable of applying arbitrary spatial patterns of current. The instrumentation provides 16 b precision on both the current values and the real and reactive voltage readings and can collect the data for a single image in 133 ms. Additionally, the instrument is able to automatically calibrate its voltmeters and current sources and adjust the current source output impedance under computer control. The major system components are discussed in detail and performance results are given. Images obtained using stationary agar targets and a moving pendulum in a phantom as well as in vivo resistivity profiles showing human respiration are shown     

Dangerous liaisons? Component-based development and organizational subcultures

This paper presents an exploratory case study of the investment banking arm of a multinational banking corporation (Invebank) and its attempt to introduce component-based development (CBD). Based on a logic of opposition and utilizing literature on organizational culture and metaphors as an analytical device, issues confronting Invebank in CBD adoption are identified. In particular, problems in CBD implementation were encountered because, while CBD requires extensive knowledge sharing and collaboration, subcultural differences in Invebank meant that this proved difficult to enact. Thus, the paper considers the complexities of subcultural differences in firms and provides a salutary reminder that the implementation of corporate-wide integrative "solutions" such as CBD, may be problematic. Further, there is more to the issue of organizational subcultural differences than the oft-cited business-information technology (IT) divide. Nevertheless, the case demonstrates that subcultural differences should not simply be viewed as a threat. Rather, the recognition and discussion of these differences can provide a stimulus for identifying limitations of the policies surrounding technology implementation and use that if changed could help to maximize the benefits of the technology. Simplistic entreaties to knowledge sharing and the nurture of collaboration and consensus are, thus, brought into question. Implications for further research into the implementation of integrative software solutions like CBD in multifunctional and multifarious organizations are also considered.     

Evaporation from Lake Superior: 1. Physical controls and processes

The surface energy balance of Lake Superior was measured using the eddy covariance method at a remote, offshore site at 0.5-h intervals from June 2008 through November 2010. Pronounced seasonal patterns in the surface energy balance were observed, with a five-month delay between maximum summer net radiation and maximum winter latent and sensible heat fluxes. Late season (winter) evaporation and sensible heat losses from the lake typically occurred in two- to three-day-long events, and were associated with significant release of stored heat from the lake. The majority of the evaporative heat loss (70-88%) and sensible heat loss (97-99%) occurred between October and March, with 464 mm (2008-2009) and 645 mm (2009-2010) of evaporative water loss occurring over the water year starting October 1. Evaporation was proportional to the horizontal wind speed, inversely proportional to the ambient vapor pressure, and was well described by the ratio of wind speed to vapor pressure. This ratio remained relatively constant between the two water years, so the differences in evaporative water loss between years were largely associated with differences in lake surface conditions (e.g. water temperature, ice cover, and ice duration). Since late-season water temperature decline is driven by evaporative and sensible heat loss, the potential for a negative feedback mechanism between evaporation and ice cover is discussed.     

User-Sensitive Inclusive Design

Although “User-Centred”, “Participatory”, and other similar design approaches have proved to be very valuable for mainstream design, their principles are more difficult to apply successfully when the user group contains, or is composed of, older and/or disabled users. In the field of design for older and disabled people, the “Universal Design”, “Inclusive Design” and “Design for All” movements have encouraged designers to extend their design briefs to include older and disabled people. The downside of these approaches is that they can tend to encourage designers to follow a traditional design path to produce a prototype design, and only then investigate how to modify their interfaces and systems to cope with older and/or disabled users. This can lead to an inefficient design process and sometimes an inappropriate design, which may be “accessible” to people with disabilities, but in practice unusable. This paper reviews the concept that the authors have called “User-Sensitive Inclusive Design”, which suggests a different approach to designing for marginalised groups of people. Rather than suggesting that designers rely on standards and guidelines, it is suggested that designers need to develop a real empathy with their user groups. A number of ways to achieve this are recommended, including the use of ethnography and techniques derived from professional theatre both for requirements gathering and for improving designers’ empathy for marginalised groups of users, such as older and disabled people.     

Developing a dynamic project learning and cross‐project learning capability: synthesizing two perspectives

Driven by the complexity of new products and services, project work has become increasingly common in all types of organizations. However, research on project learning suggests that often project teams do not meet their stated objectives and, moreover, there is limited organizational learning from the experiences of project work. We use the dynamic capabilities framework to argue that building a dynamic project learning capability is useful for organizations that make extensive use of projects. We use both survey and interview data to discuss the key ways in which such a dynamic capability can be built. Our survey data demonstrate the importance of documenting project learning, but our interview data show that teams are often remiss at documenting their learning. The results from the two different approaches are synthesized using Boland & Tenkasi’s notions of perspective‐making and perspective‐taking. Importantly, combining the results from the two sets of data suggests that organizations need to emphasize the benefits from project reviews and documentation and explore ways in which the documents produced can be made more useful as boundary objects to encourage the sharing of learning across projects.     

R1-soar: an experiment in knowledge-intensive programming in a problem-solving architecture

This paper presents an experiment in knowledge-intensive programming within a general problem-solving production-system architecture called Soar. In Soar, knowledge is encoded within a set of problem spaces, which yields a system capable of reasoning from first principles. Expertise consists of additional rules that guide complex problem-space searches and substitute for expensive problem-space operators. The resulting system uses both knowledge and search when relevant. Expertise knowledge is acquired either by having it programmed, or by a chunking mechanism that automatically learns new rules reflecting the results implicit in the knowledge of the problem spaces. The approach is demonstrated on the computer-system configuration task, the task performed by the expert system R1.