中国民航信息系统现状及发展展望

介绍了中国民航信息系统的现状和与实际业务需求的差距,接着从系统设计理念、核心系统、新系统新功能和信息系统整合等多个方面详细阐述了民航信息系统的发展思路,最后强调了建立新一代民航信息系统的紧迫性,具备很强的指导意义。     

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

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

智能化系统在新火车站的应用——福州火车站智能化系统设计总结

福州火车站智能化系统包括到发通告、旅客引导显示、客运广播、建筑设备自动控制等7个子系统和系统总集成。     

可追溯的绿色安全猪肉生产系统研究

现在，养猪生产者滥用激素、微量元素和违禁药物饲养生猪，而消费者却无法识别这种猪肉，严重地威胁着消费者的食品卫生安全。为此，应用射频识别技术，采用综合软件管理，以一维条形码实行三网合一查验的方式来建立猪肉生产卫生安全跟踪系统，是保障消费者食品卫生安全的理想方法。     

Merging uncertain information with semantic heterogeneity in XML

Semistructured information can be merged in a logic-based framework [6, 7]. This framework has been extended to deal with uncertainty, in the form of probability values, degrees of beliefs, or necessity measures, associated with leaves (i.e. textentries) in the XML documents [3]. In this paper we further extend this approach to modelling and merging uncertain information that is defined at different levels of granularity of XML textentries, and to modelling and reasoning with XML documents that contain semantically heterogeneous uncertain information on more complex elements in XML subtrees. We present the formal definitions for modelling, propagating and merging semantically heterogeneous uncertain information and explain how they can be handled using logic-based fusion techniques. Anthony Hunter received a B.Sc. (1984) from the University of Bristol and an M.Sc. (1987) and Ph.D. (1992) from Imperial College, London. He is currently a reader in the Department of Computer Science at University College London. His main research interests are: Knowledge representation and reasoning, Analysing inconsistency, Argumentation, Default reasoning and Knowledge Fusion. Weiru Liu is a senior lecturer at the School of Computer Science, Queen's University Belfast. She received her B.Sc. and M.Sc. degrees in Computer Science from Jilin University, P.R China, and her Ph.D. degree in Artificial Intelligence from the University of Edinburgh. Her main research interests include reasoning under uncertainty, knowledge representation and reasoning, uncertain knowledge and information fusion, and knowledge discovery in databases. She has published over 50 journal and conference papers in these areas.     

大黑汀大坝安全监测应用分析软件的开发与应用

在大坝安全监测工作中,结合实际工程情况和工作需要,利用Visual Basic 6.0编程语言,开发出一套实用的安全监测应用分析软件,解决了数据共享、监测成果检查、自动化与人工测值比较、各种数据报表输出、历史数据提取、过程线分布图绘制等许多实际应用问题,极大地提高了工作效率,实现了大坝安全监测自动化。     

Empirical Evaluations of Usage-Based Reading and Fault Content Estimation for Software Inspections

This thesis describes six empirical investigations of two techniques applied to software inspections, namely reading techniques and fault content estimation techniques. The first part of the thesis presents a series of experiments of a novel reading technique called usage-based reading. The second part investigates fault content estimation applied to the software inspection process. The estimation methods used are capture-recapture and curve fitting.     

包钢热电厂综合管理信息系统

本文论述了包钢热电厂综合管理信息系统的设计思想、功能模块、数据库和实现方法。该系统实现了生产数据及相关信息的数据采集与各类指标的管理统计、设备及材料的管理等各项业务处理，使得生产信息准确、唯一地传递，为生产经营者提供全面查询、分析、预测的依据，基本达到“无纸办公”的水平。     

移动式数据挖掘平台模型

本文提出了一种移动式网络海量数据挖掘平台，给出了数据挖掘任务的形式化描述，详细讨论了平台的体系结构、工作原理与流程。该平台克服了传统网络计算模式的缺陷，支持对异质、分散数据源和知识源的挖掘和检索，具有开放性、可伸缩性、灵活性、可扩展性、健壮性。     

Targeting optimum resource allocation using reverse problem formulations and property clustering techniques

Decoupling the constitutive equations from the balance and constraint equations allows for reformulating a conventional forward problem into two reverse problems. The first reverse problem is the reverse of a simulation problem, where the process model is solved in terms of the constitutive (synthesis/design) variables instead of the process variables, thus providing the synthesis/design targets. The second reverse problem (reverse property prediction) solves the constitutive equations to identify unit operations, operating conditions and/or products by matching the synthesis/design targets. Visualization of the problem is achieved by employing recently developed property clustering techniques, which allows a high-dimensional problem to be visualized in two or three dimensions. The clusters by definition satisfy intra-stream and inter-stream conservation through linear “mixing” rules, which allows for the development of consistent additive rules along with their ternary representation.