OWL‐based acquisition and editing of computer‐interpretable guidelines with the CompGuide editor

Computer‐Interpretable Guidelines (CIGs) are the dominant medium for the delivery of clinical decision support, given the evidence‐based nature of their source material. Therefore, these machine‐readable versions have the ability to improve practitioner performance and conformance to standards, with availability at the point and time of care. The formalisation of Clinical Practice Guideline knowledge in a machine‐readable format is a crucial task to make it suitable for the integration in Clinical Decision Support Systems. However, the current tools for this purpose reveal shortcomings with respect to their ease of use and the support offered during CIG acquisition and editing. In this work, we characterise the current landscape of CIG acquisition tools based on the properties of guideline visualisation, organisation, simplicity, automation, manipulation of knowledge elements, and guideline storage and dissemination. Additionally, we describe the CompGuide Editor, a tool for the acquisition of CIGs in the CompGuide model for Clinical Practice Guidelines that also allows the editing of previously encoded guidelines. The Editor guides the users throughout the process of guideline encoding and does not require proficiency in any programming language. The features of the CIG encoding process are revealed through a comparison with already established tools for CIG acquisition.     

电荷耦合器件积分时间对微型成像系统成像质量的影响

在光圈固定的情况下，确定合适的积分时间对于提高微型电荷耦合器件(CCD)成像系统的成像质量，增强微型飞行器的侦察能力具有十分重要的意义。本文讨论了决定CCD积分时间的各种因素，重点研究了适用于微型飞行器的CCD成像系统的积分时间与像移的关系，并进一步推导了计算像移量的相关数学模型。利用该模型对不同积分时间内采集的运动图像进行了像质评价，结果表明，在保证曝光量的前提下，当像移量被限制在1个像素内时，可以获得相对理想的运动图像像质。     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

On the ontological expressiveness of information systems analysis and design grammars

Abstract. Information systems analysis and design (ISAD) methodologies provide facilities for describing existing or conceived real-world systems. These facilities are ontologically expressive if they are capable of describing all real-world phenomena completely and clearly. In this paper we formally examine the notion of the ontological expressiveness of a grammar and discuss some of its implications for the design and use of ISAD methodologies. We identify some generic ways in which ontological expressiveness may be undermined in a grammar and some potential consequences of these violations. We also examine ontological expressiveness within the context of some other desirable features that might be considered in the design of ISAD methodologies.     

应用型机械本科专业教学体系改革研究与实践

根据当前高等教育改革与发展的指导思想，紧紧围绕国家实施制造业信息化建设工程为背景，积极配合打造浙江先进制造业基地建设，结合现代机械专业结构调整，本着交叉、复合、应用型人才的培养目标，塑造具有宽口径、厚基础和强创新意识的人才培养理念，以数字化设计制造为核心，以机械技术、电子技术、信息技术和管理学科结合为主线，突出知识综合与创新能力，强调专业实践与专业知识的有效结合，有的放矢实施机械专业教学改革与实践。     

隔河岩水电厂220 kV线路保护配置及运行分析

介绍了隔河岩电厂220kV线路保护的原理设计及运行情况，以及采用了双重微机化继电保护装置后带来的优越性，简要描述了CSL-101A高频保护和RCS-931A光纤保护的应用特点。     

螺杆泵采油工艺技术在埕岛油田的应用研究

针对埕岛油田的储积层特征和螺杆泵采油工艺的技术特点,开展了一系列的理论与实际的配套研究,从优化泵的设计,杆、管的配套,到采用软启、缓停等技术,逐步完善了螺杆泵采油工艺技术。该技术在胜利浅海埕岛油田的应用中取得了良好的效果,使螺杆泵平均检泵周期达到1172d,是国外同类螺杆泵的3倍以上。