IC设计复杂化加剧：先进验证方式重要性倍增

虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.     

An empirical investigation of competency factors affecting e-business success in European SMEs

In the last decade there was growing interest in strategic management literature about factors that influence a company's ability to use IT. There is general consensus that knowledge and competency are necessary in developing an IT capability, but there is very little understanding of what the necessary competencies are, and how they influence IS usage in different contexts. The small and medium-sized enterprise context is particularly interesting for two reasons: it constitutes a major part of the economy and it has been relatively unsuccessful in exploiting e-business.     

Collective restraint in social dilemmas: Procedural justice and social identification effects on support for authorities.

This study examined people's willingness to restrain themselves during a naturally occurring social dilemma situation—the 1991 California water shortage. The findings suggest that people are more willing to support authorities who make water conservation decisions when these authorities use fair decision-making procedures. Procedural justice effects were not found to be influenced by the perceived severity of the resource scarcity or the favorability of the authorities' decisions. Rather, they were primarily based on concerns for having positive, relational bonds to the authorities. These relational effects were found to be stronger for those respondents who identify more with their community. The study suggests that the effectiveness of authorities is primarily linked to the nature of their social bonds with community members. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

From dust till drawn

We present a system for drawing pastel media in real-time as an effective alternative to most existing digital solutions that basically allow for drawing arbitrary strokes in a particular style. Our approach is focused on the simulation of the natural material itself and on its interaction with the drawing surface and the drawing tool. Upon free-form drawing, a bidirectional transfer of pigment takes place. In one direction, the paper surface is dusted with new pigment particles broken off the tip (i.e., the end of the drawing tool). A large part of these particles will be deposited or blended together with previously deposited ones whereas the remainder does not contribute to the drawing and is blown off. On the other hand, a certain amount of previously deposited pigment is scraped off and picked up again soiling the tip. This is noticeable in the next strokes to be drawn. Furthermore, both the tip and the paper surface are subject to weathering depending on the exerted pressure and friction of the drawing tool, and the bumpiness of the paper. As a result, the paper surface becomes slightly damaged, limiting the deposition of new pigment. The tip, on the other hand, becomes blunt making new strokes wider. From a stylistic point of view, similarly to traditional drawings our results convey the artists’ characteristics (e.g., the way of wielding the brush, skillfulness, feeling for the medium). Therefore, we believe that our system allows an artist to create realistically looking pastel images without losing his/her personal touch.     

Parenteral nutrition in oncologic patients]

A B16 melanoma-specific CD8+ T cell line (AB1) was established from the spleen cells of C57BL/6 mice cured of B16 melanoma with interleukin (IL)-12 treatment. The AB1 line exclusively used T cell receptor Vbeta11. The AB1 cells exhibited a cytolytic activity against both syngeneic B16 melanoma and allogeneic P815 mastocytoma, whereas a cold inhibition assay revealed specificity of the AB1 cells against B16 melanoma. Their lostability to kill a class I loss variant of B16 melanoma was restored by the transfection of H-2Kb gene. In addition, their interferon (IFN)-gamma production was significantly suppressed by the addition of anti-H-2Kb monoclonal antibody, and RT-PCR analysis showed that the AB1 line expressed the mRNA encoding IFN-gamma, but not IL-4 or IL-10. The experiment using synthetic peptides of tyrosinase-related protein-2 (TRP-2) revealed that the AB1 cells could recognize TRP-2(181-188) peptide. Moreover, the AB1 cells showed an in vivo antitumor effect against established pulmonary metastases of B16 melanoma. Overall, these results indicate that the Tc1-type Vbeta11+ AB1 cells exert an antitumor activity against syngeneic B16 melanoma through recognition of TRP-2(181-188) peptide in an H-2Kb-restricted manner.     

KNOWLEDGE-BASED FEATURE DISCOVERY FOR EVALUATION FUNCTIONS

Since Samuel's work on checkers over thirty years ago, much effort has been devoted to learning evaluation functions. However, all such methods are sensitive to the feature set chosen to represent the examples. If the features do not capture aspects of the examples significant for problem solving, the learned evaluation function may be inaccurate or inconsistent. Typically, good feature sets are carefully handcrafted and a great deal of time and effort goes into refining and tuning them. This paper presents an automatic knowledge-based method for generating features for evaluation functions. The feature set is developed iteratively: features are generated, then evaluated, and this information is used to develop new features in turn. Both the contribution of a feature and its computational expense are considered in determining whether and how to develop it further.
This method has been applied to two problem-solving domains: the Othello board game and the domain of telecommunications network management. Empirical results show that the method is able to generate many known features and several novel features and to improve concept accuracy in both domains.     

An ET-Based Two-Phase Method for the Calibration and Application of Distributed Hydrological Models

Water Resources Management - Parameter calibration is a core process for the application of distributed hydrological models, which depends strongly on river runoff records. However, the sparse...