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.     

RFRL30型剑杆织机用于丝织物织造的工艺调试探究

RFRL30型剑杆织机是一款高性能织造设备,已经广泛应用于各种复杂服装面料、装饰布、滤布、安全织物等领域。近年来,越来越多的客户也在使用RFRL30型剑杆织机织造丝织物,为了提高织机运转效率、提升面料质量,针对丝织物的纱线特点和面料要求,文章探究了RFRL30型剑杆织机生产丝织物过程中织机工艺参数的调节及注意事项;针对特殊品种的织造,通过反复试验织机的调试工艺参数,找到了最佳状态,满足了客户需求。     

A data‐centric framework for debugging highly parallel applications

Contemporary parallel debuggers allow users to control more than one processing thread while supporting the same examination and visualisation operations of that of sequential debuggers. This approach restricts the use of parallel debuggers when it comes to large scale scientific applications run across hundreds of thousands compute cores. First, manually observing the runtime data to detect error becomes impractical because the data is too big. Second, performing expensive but useful debugging operations becomes infeasible as the computational codes become more complex, involving larger data structures, and as the machines become larger. This study explores the idea of a data‐centric debugging approach, which could be used to make parallel debuggers more powerful. It discusses the use of ad hoc debug‐time assertions that allow a user to reason about the state of a parallel computation. These assertions support the verification and validation of program state at runtime as a whole rather than focusing on that of only a single process state. Furthermore, the debugger's performance can be improved by exploiting the underlying parallel platform because the available compute cores can execute parallel debugging functions, while a program is idling at a breakpoint. We demonstrate the system with several case studies and evaluate the performance of the tool on a 20 000 cores Cray XE6. Copyright © 2013 John Wiley & Sons, Ltd.     

An Advanced Analysis of Cloud Computing Concepts Based on the Computer Science Ontology

Our primary research hypothesis stands on a simple idea: The evolution of top-rated publications on a particular theme depends heavily on the progress and maturity of related topics. And this even when there are no clear relations or some concepts appear to cease to exist and leave place for newer ones starting many years ago. We implemented our model based on Computer Science Ontology (CSO) and analyzed 44 years of publications. Then we derived the most important concepts related to Cloud Computing (CC) from the scientific collection offered by Clarivate Analytics. Our methodology includes data extraction using advanced web crawling techniques, data preparation, statistical data analysis, and graphical representations. We obtained related concepts after aggregating the scores using the Jaccard coefficient and CSO Ontology. Our article reveals the contribution of Cloud Computing topics in research papers in leading scientific journals and the relationships between the field of Cloud Computing and the interdependent subdivisions identified in the broader framework of Computer Science.     

湿法脱硫废水的处理与调试

简述了湿法烟气脱硫废水的特性、处理原理及调试方法;对石灰石-石膏湿法脱硫废水的形成以及各种污染物做了详细分析,并就废水在各反应池的停留时间、投药量、污泥的排放控制等主要因素对处理效果的影响、及工艺控制过程和最终处理结果进行了讨论。经工艺调试后,脱硫废水处理系统目前已正常投入并运行稳定,各项排放指标均符合标准要求。     

异型材挤出模具的订购与调试

介绍了塑料型材挤出模具的订购及调试,着重叙述了模具订购时应注意的技术细节和模具调试及验收的注 意事项。     

简析中央空调调试中的若干问题及对策

首先简单介绍了中央空调的调试过程,之后列举了调试过程中常见的系统漏水、堵塞、噪声过大、结露等问题,并分析了这些现象的主要原因,针对性地提出了解决的对策,具有一定的参考价值。     

沥青混凝土拌合楼生产配合比调试技术

由拌合楼工作原理出发，通过对沥青混凝土拌和中常见问题的分析，详细说明了生产配合比拌合楼的调试技术，提出了预防措施，加快了生产配合比拌合楼的调试，提高了沥青混凝土的拌合质量，降低了工程成本。