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的表示方法的研究

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

UN2000集散控制系统Win95/NT平台控制组态软件开发

介绍了用Windows平台重新开发的集散控制系统控制组态软件 ,从软件工程的多个层面分析、探讨了软件重新开发的设计、实现方法。     

The Department of Defense Human factors standardization program

The Department of Defense (DoD) Human Factors Standardization Program is the most far-reaching standardization programme in the USA. It is an integrated component of the overall DoD Standardization Program. While only ten major documents are contained in the human factors standardization area, their effects on human factors engineering programmes are profound and wide-ranging. Preparation and updating of the human engineering standardisation documents have grown out of the efforts of several military agencies, contractors, consultants, universities and individuals. New documents, engineering practice studies and revision efforts are continuously planned by the Tri-Service (Army, Navy, Air Force) Human Factors Standardization Steering Committee in collaboration with industry groups and technical societies. The present five-year plan and other standardisation documents are readily available for review and input by anyone with relevant interests. Human factors specialists and other readers of this journal may therefore influence the direction of the human factors standardisation programme and the content of its military specifications, standards and handbooks.     

工程轮胎生产现状与发展前景

介绍了目前世界工程轮胎的生产现状，详细介绍了国外企业与国内企业的发展动向。分析了各类工程车辆和工程机械对工程轮胎系专用产品的需求及其走势，并预测未来发展前景，推动中国工程轮胎从大国走向强国。     

PBT工程塑料生产中MFR的控制

针对使用BUSS捏合机生产聚对苯二甲酸丁二酯(PBT)过程中出现的熔体流动速率(MFR)与产品配方体系中低分子量PBT树脂用量间的异常关系进行了研究和分析。结果表明，混炼加工PBT时，产品的MFR取决于两个因素的综合作用，一为产品配方中高、低粘度树脂的比例；二为低分子量树脂对主机功率的影响。综合二者影响，PBT的MFR与低分子量PBT用量关系近似为y=0．0471x^2-3．6347x 107．83。     

南京河西地区软土场地地震动参数研究

根据南京河西地区所处的地震地质环境、地震活动环境及基岩地震动衰减规律 ,对所选取的某个典型工程软土场地 ,进行了地震危险性分析 ,给出了基岩地震动参数 ;对场地的地震动效应进行了研究 ,给出了 5 0a及10 0a超越概率水平为 6 3%、10 %和 3%的场地地震动参数。该成果对河西地区的工程抗震设计有一定的参考价值     

Excel格式数据转换及在工程测量内业数据处理中的应用

工程测量内业数据处理中,经常要进行Excel数据格式转换。探讨了Excel数据格式转换在工程测量中的方法和应用,提高了工作效率,确保了内业整理的精度和准确性。