Defining Dry Eye from a Clinical Perspective

Over the past decades, the number of patients with dry eye disease (DED) has increased dramatically. The incidence of DED is higher in Asia than in Europe and North America, suggesting the involvement of cultural or racial factors in DED etiology. Although many definitions of DED have been used, discrepancies exist between the various definitions of dry eye disease (DED) used across the globe. This article presents a clinical consensus on the definition of DED, as formulated in four meetings with global DED experts. The proposed new definition is as follows: “Dry eye is a multifactorial disease characterized by a persistently unstable and/or deficient tear film (TF) causing discomfort and/or visual impairment, accompanied by variable degrees of ocular surface epitheliopathy, inflammation and neurosensory abnormalities.” The key criteria for the diagnosis of DED are unstable TF, inflammation, ocular discomfort and visual impairment. This definition also recommends the assessment of ocular surface epitheliopathy and neurosensory abnormalities in each patient with suspected DED. It is easily applicable in clinical practice and should help practitioners diagnose DED consistently. This consensus definition of DED should also help to guide research and clinical trials that, to date, have been hampered by the lack of an established surrogate endpoint.     

对技术定义的思索

技术的定义不是唯一的 ,可以从技术的来源、技术与科学的对应性、技术与人的关系、系统论几个不同的角度给技术下定义 ,这些定义从不同侧面揭示了技术的本质 ,各有各的用途 ,各有各的适用范围。这种给技术下定义的方法也为给其他概念下定义提供了有益的借鉴与启迪。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

Stability of formal thought disorder and referential communication disturbances in schizophrenia.

This study examined the degree to which different types of communication disturbances in the speech of 48 schizophrenia patients and 28 controls were variable and state related versus stable and traitlike. Clinically rated formal thought disorder and 5 types of referential disturbance showed substantial stability within participants over time. The sixth type of referential disturbance, the vague reference, was not stable over time. Formal thought disorder was associated with the severity of core psychotic symptoms in patients, whereas referential disturbances showed little or no association with positive or negative symptom severity. Furthermore, changes in psychotic symptoms over time were accompanied by corresponding changes in formal thought disorder but not referential disturbances. These results support the idea that some types of referential disturbances are traitlike and may be reflective of vulnerability as well as manifest illness. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

关于创新学习的几点思考

介绍了创新学习的内涵,分析了创新学习中的误区,提出了创新学习的方法。     

Important features of Iris OSQL

OSQL is the object-oriented database language developed for the Iris object-oriented database management system at Hewlett-Packard Laboratories. Its three fundamental constructs are objects, types, and functions. This paper provides an overview of the underlying concepts and some important features of OSQL.     

How to make and defend a proposal in a deliberation dialogue

In this paper it is shown how tools developed in argumentation theory and artificial intelligence can be applied to the development of a new dialectical analysis of the speech act of making a proposal in a deliberation dialogue. These tools are developed, modified and used to formulate dialogue pre-conditions, defining conditions and post-conditions for the speech act of making a proposal in a deliberation dialogue. The defining conditions set out what is required for a move in a dialogue to count as the making of a proposal by one of the parties. What is required are the conditions that (1) the move fit the requirements of the argumentation scheme for practical reasoning, and (2) the premises are propositions describing common goals of both parties or propositions that they reasonably consider means to achieve these goals. The analysis goes beyond the standard speech act approach by specifying not only the normative requirements for making a well-formed proposal, but also the requirements for responding to it by questioning or criticizing it, and the requirements for defending it.