三太子智能页面描述语言文本（1.0版）

本文给出一种全新的页面描述语言文本，它是一种真正的程序设计语言，而且是一种面向对象的智能语言。本语言已具有绿色软件的品格。     

Real-World Robotics: Learning to Plan for Robust Execution

In executing classical plans in the real world, small discrepancies between a planner's internal representations and the real world are unavoidable. These can conspire to cause real-world failures even though the planner is sound and, therefore, proves that a sequence of actions achieves the goal. Permissive planning, a machine learning extension to classical planning, is one response to this difficulty. This paper describes the permissive planning approach and presents GRASPER, a permissive planning robotic system that learns to robustly pick up novel objects.     

A systematic approach to preliminary polymer process development: modeling and design

A general and complete methodology is presented to facilitate systematic modeling and design of polymer processes during the early development period. To capture and handle the subjective type of uncertainty, embedded in the preliminary process development, fuzzy theories are used as a basis to model and design the process in the presence of ambiguity and vagueness. Physical membership functions are developed for mapping the relation between process variables and the associated fuzzy uncertainties. Based on the qualitative results generated using our previously proposed “linguistic based preliminary design method,” the process modeling can be followed even in the absence of any process governing equations. The modeling is carried out by establishing an appropriate fuzzy reasoning system which provides a specific functional mapping that relates input process variables to one (or more than one) output performance parameter(s). A reduced yet feasible domain is generated by our qualitative design scheme to constrain the process variables. Now, any optimization routine can then be employed to search for a proper process design. We demonstrate the effectiveness of the proposed methodology by its application to a typical compression molding process.     

非线性系统鲁棒吸引的动态补偿方法

考虑非线性不确定系统的鲁棒吸引问题,借助于动态输出反馈,构造了两类控制律。这两类控制律分别可使相应的闭环系统被一任意小的区域鲁棒吸引,或被一预先设置的区域有限吸引。     

单刻线样板检定装置测量不确定度分析

分析了单刻线样板检定装置的测量不确定度，并分析了用该检定装置检定的单刻线样板的不确定度。     

100 mm一等量块自动测量仪测量不确定度评定

分析了100mm一等量块自动测量仪的误差来源，确定了测量量块的合成标准不确定度和扩展不确定度。     

测量输入光窗台阶指标的指示表的选择

阐述了对近贴聚焦型微通道板像增强管中输入光窗台阶高度和平整度指标进行测量时，所用指示仪表的选择依据，并详细分析了指示表在检定过程中的误差来源，进一步计算出其合成标准不确定度和扩展不确定度，从而选定可用于测试的指标表。     

基于模糊事件概率理论的水质风险率计算方法

针对水环境系统的随机不确定性和模糊不确定性，分析了影响水环境中水质风险的不完善性和模糊性因素，将水环境中水质风险作为一个模糊事件，利用模糊事件概率理论，提出了水环境水质超标的模糊随机风险率计算模型。通过引入模糊事件信息熵来评价隶属函数特征值取值的可靠程度，定量描述了隶属函数特征值与风险率的关系，进而计算出风险率。实例计算结果证明了方法的有效性。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

炼钢工序的变化与挑战——柳钢"十五"期间炼钢的进步与工艺特点

简述了炼钢工序在柳钢"十五"期间工艺和装备的变化及其特点.对工序变化进行了初步分析.