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

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

ENHANCING THE CREATIVITY OF REENGINEERING Techniques for Making IS More Creative

Industries in the US continue to lose ground in international competition. If IS is to help change that trend, it will have to become more creative. Creativity improvement programs are being introduced in other areas of the company— now is the time for IS organizations to follow suit.     

BONSAI: 3D object recognition using constrained search

BONSAI, a model-based 3D object recognition system, is described. It identifies and localizes 3D objects in range images of one or more parts that have been designed on a computer-aided-design (CAD) system. Recognition is performed via constrained search of the interpretation tree, using unary and binary constraints (derived automatically from the CAD models) to prune the search space. Attention is focused on the recognition procedure, but the model-building, image acquisition, and segmentation procedures are also outlined. Experiments with over 200 images demonstrate that the constrained search approach to 3D object recognition has an accuracy comparable to that of previous systems     

A Region Ensemble for 3-D Face Recognition

In this paper, we introduce a new system for 3D face recognition based on the fusion of results from a committee of regions that have been independently matched. Experimental results demonstrate that using 28 small regions on the face allow for the highest level of 3D face recognition. Score-based fusion is performed on the individual region match scores and experimental results show that the Borda count and consensus voting methods yield higher performance than the standard sum, product, and min fusion rules. In addition, results are reported that demonstrate the robustness of our algorithm by simulating large holes and artifacts in images. To our knowledge, no other work has been published that uses a large number of 3D face regions for high-performance face matching. Rank one recognition rates of 97.2% and verification rates of 93.2% at a 0.1% false accept rate are reported and compared to other methods published on the face recognition grand challenge v2 data set.     

The Joint Evaluation Procedure for Active Substances contained in Plant Protection Products within the European Community – 10?Years of the ECCO-Project

Pflanzenschutzmittel müssen seit 1993 in den Mitgliedstaaten der Europ?ischen Gemeinschaft nach der Richtlinie 91/414/EWG des Rates bewertet und zugelassen werden. Das Programm zur Bewertung von alten Wirkstoffen (welche vor Juli 1993 auf dem Markt waren) beinhaltet mehrere Schritte und Stufen, die früher über einen Zeitraum von bis zu 10 Jahren zu bew?ltigen waren; heute sind dafür jedoch 15 Jahre vorgesehen. Das Programm wurde seit 1996 von der Europ?ischen Kommission mit Unterstützung des ECCO-Teams(European Community Co-Ordination) koordiniert. Das ECCO-Team bestand aus zwei Gruppen: eine im Pesticides Safety Directorate – PSD in York (Gro?britannien) und eine im Bundesamt für Verbraucherschutz und Lebensmittelsicherheit (BVL) bzw. vor November 2002 in der Biologischen Bundesanstalt für Land- und Forstwirtschaft in Braunschweig. Sie unterstüzten das Programm zur Bewertung von Wirkstoffen im Namen der Kommission in technischer und administrativer Hinsicht und zeichneten sich insbesondere für das ECCO Peer Review Programm (Expertenprüfungen) verantwortlich. Im November 2003 übernahm die Europ?ische Beh?rde für Lebensmittelsicherheit (EFSA) die Verantwortung für die wissenschaftliche überprüfung der von den Mitgliedstaaten erstellten Bewertungen durch Experten. Das ECCO-Team leistete jedoch weiterhin der Europ?ischen Kommission Unterstützung bei der Durchführung anderer Verfahrensaspekte, vor allem im Bereich der Managementaufgaben der Europ?ischen Kommission. Insgesamt war das Programm au?erordentlich erfolgreich. Es wurden für 162 Wirkstoffen zwischen 1996 und 2003 der Inhalt der von den Mitgliedstaaten erstellten Bewertungsberichte durch eine Expertengruppe diskutiert und füberprüft, was ma?geblich eine Entscheidungsfindung zur Akzeptabilitf?t dieser Wirkstoffe auf Gemeinschaftsebene erm?glicht hat.     

Schedule for Affective Disorders and Schizophrenia for School-Age Children-Present and Lifetime Version (K-SADS-PL): initial reliability and validity data

OBJECTIVE: To describe the psychometric properties of the Schedule for Affective Disorders and Schizophrenia for School-Age Children-Present and Lifetime version (K-SADS-PL) interview, which surveys additional disorders not assessed in prior K-SADS, contains improved probes and anchor points, includes diagnosis-specific impairment ratings, generates DSM-III-R and DSM-IV diagnoses, and divides symptoms surveyed into a screening interview and five diagnostic supplements. METHOD: Subjects were 55 psychiatric outpatients and 11 normal controls (aged 7 through 17 years). Both parents and children were used as informants. Concurrent validity of the screen criteria and the K-SADS-PL diagnoses was assessed against standard self-report scales. Interrater (n = 15) and test-retest (n = 20) reliability data were also collected (mean retest interval: 18 days; range: 2 to 36 days). RESULTS: Rating scale data support the concurrent validity of screens and K-SADS-PL diagnoses. Interrater agreement in scoring screens and diagnoses was high (range: 93% to 100%). Test-retest reliability kappa coefficients were in the excellent range for present and/or lifetime diagnoses of major depression, any bipolar, generalized anxiety, conduct, and oppositional defiant disorder (.77 to 1.00) and in the good range for present diagnoses of posttraumatic stress disorder and attention-deficit hyperactivity disorder (.63 to .67). CONCLUSION: Results suggest the K-SADS-PL generates reliable and valid child psychiatric diagnoses.