Human-factors engineering for smart transport: design support for car drivers and train traffic controllers

The theme Smart Transport can be described as adequate human-system symbiosis to realize effective, efficient and human-friendly transport of goods and information. This paper addresses how to attune automation to human (cognitive) capacities (e.g. to take care of information uncertainty, operator trust and mutual man-machine adaptations). An introduction to smart transport is presented, including examples of best practice for engineering human factors in the vehicle ergonomics and train traffic control domain. The examples are representative of an ongoing trend in automation and they show how the human role changes from controller to supervisor. Section 2 focuses on the car driver and systems that support, or sometimes even take over, critical parts of the driving task. Due to the diversity of driver ability, driving context and dependence between driver and context factors, there is a need for personalised, adaptive and integrated support. Systematic research is needed to establish sound systems. Section 3 focuses on the train dispatcher support systems that predict train movements, detect potential conflicts and show the dispatcher the possibilities available to solve the detected problems. Via thorough analysis of both the process to be controlled and the dispatcher's tasks and cognitive needs, support functions were developed as part of an already very complex supervision and control system. The two examples, although from a different field, both show the need for further development in cognitive modelling as well as for the value of sound ergonomics task analysis in design practice.     

Beyond Knowledge Engineering

Knowledge engineering stems from E. A. Figenbaum＇s proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to show possibility of separating knowledge development from intelligent software development. We call it the ICAX mode of intelligent application software generation. The key of this mode is to generate knowledge base, which is the source of intelligence of ICAX software, independently and parallel to intelligent software development. That gives birth to a new and more general concept ＂knowware＂. Knowware is a commercialized knowledge module with documentation and intellectual property, which is computer operable, but free of any built-in control mechanism, meeting some industrial standards and embeddable in software/hardware. The process of development, application and management of knowware is called knowware engineering. Two different knowware life cycle models are discussed： the furnace model and the crystallization model. Knowledge middleware is a class of software functioning in all aspects of knowware life cycle models. Finally, this paper also presents some examples of building knowware in the domain of information system engineering.     

《化学反应工程》多媒体课件的开发及应用

本文介绍用VB语言开发《化学反应工程》多媒体课件的性能特点,讨论实现中的一些主要技术及课件的使用情况。     

基于MATLAB的化工课程设计软件开发

在MATLAB平台上开发化工原理课程设计软件。本文以冷却塔设计为例介绍了该软件的主要内容结构和功能 ,它具有操作简单、使用方便、效率高、数值稳定性好等特点 ,使计算结果可视化     

Motif analysis for automatic segmentation of CT surface contours into individual surface features

This paper presents a new layer-based technique for automatic high-level segmentation of 3-D surface contours into individual surface features through motif analysis. The procedure starts from a contour-based surface model representing a composite surface area of an object. For each of the surface contours, a relative turning angle (RTA) map is derived. The RTA map usually contains noise and minor features. Algorithms based on motif analysis are applied for extracting a main profile of the RTA map free from background noise and other minor features. All feature points on the extracted profile are further identified from the extracted main profile through further motif analysis. The original contour is thus partitioned into individual segments with the identified feature points. A collection of consecutive contour segments among different layers form an individual 3-D surface feature of the original composite surface. The developed approach using motif analysis is particularly useful for the identification of smooth joins between individual surface features and for the elimination of superposed noise and unwanted minor features.     

Verification and validation of Bayesian knowledge-bases

Knowledge-base V&V primarily addresses the question: “Does my knowledge-base contain the right answer and can I arrive at it?” One of the main goals of our work is to properly encapsulate the knowledge representation and allow the expert to work with manageable-sized chunks of the knowledge-base. This work develops a new methodology for the verification and validation of Bayesian knowledge-bases that assists in constructing and testing such knowledge-bases. Assistance takes the form of ensuring that the knowledge is syntactically correct, correcting “imperfect” knowledge, and also identifying when the current knowledge-base is insufficient as well as suggesting ways to resolve this insufficiency. The basis of our approach is the use of probabilistic network models of knowledge. This provides a framework for formally defining and working on the problems of uncertainty in the knowledge-base.

In this paper, we examine the project which is concerned with assisting a human expert to build knowledge-based systems under uncertainty. We focus on how verification and validation are currently achieved in .     

Parameterization for reconstruction of 3D freeform objects from laser-scanned data based on a PDE method

Published online: 19 July 2001     

一种并行工程约束分解方法

在并行工程产品开发过程中,往往按照问题的结构特点将较大规模的问题分解成一些子问题,并希望通过求解子问题来获得原问题的解。实际中,分解得到的子问题之间往往不是完全独立的,一般的简单分解方法只能有限地降低求解难度和简化问题规模。如何进一步分解各个子问题间的关系,使各个子问题的设计结果不但满足原问题的总体要求而且还能由此获得优化的总体设计结果是一个重要问题。该文给出了分解的意义,提出了基于约束的优化分解方法。     

UIMS的表示方法的研究

用户接口是任何交互式系统中至关重要的关键部件之一。它的开发已成为系统设计和实现中最为困难费时的“瓶颈“。用户接口管理系统ＵＩＭＳ接受了这一新的挑战,已成为人机交互和软件工程学科中的重要研究方向。本文将试图较全面地介绍和总结ＵＩＭＳ结构模型和表示方法等。