改进评标办法 推行“合理低价中标”

分析了现行评标办法存在的弊端 ,提出推行“合理低价中标”评标法应做的工作及商务标评审的主要内容     

交通检测器在高速公路中的应用及评价

交通检测器是高速公路管理系统必不可少的组成部分，通过对各种交通检测器的检测原理，特点的分析，对其在高速公路上的应用效果进行了评价。     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

一种基于时间分层决策矩阵的综合评价算法

综合评价系统用四元总体（A，Z，X^(k)，D）表示，其中决策矩阵X^(k)是具有对象维i,指标维j,时间维k的三维矩阵，将三维矩阵X（k)按时间划分形成m个二维矩阵，每个二维矩阵分别代表每个年度n个评价对象对应于p个指标的属性集，讨论了按时间分层决策矩阵的多指标综合评价问题，描述了按时间分层的决策矩阵的求解算法，并采用Visual Foxpro数据库语言编程实现。     

螺杆泵举升性能模糊综合评价

对螺杆泵举升性能的影响因素进行了综合分析，建立了螺杆泵举升性能综合评价的指标体系，并利用模糊数学方法确立了该系统的综合评价模型，将该模型应用于2台GLB500—12型螺杆泵，其评价结果与在实际工作中的产液量和寿命的综合指标基本吻合，从而验证了该方法的正确性，为螺杆泵举升性能的综合评价提供了一种有效方法。     

Advanced on-board processing for user oriented communication systems

The continuing improvement of RF components, particularly in the field of spot-beam antennas, combined with the steady progress in digital technology, leads us to consider the advantages of a satellite system able to provide full connectivity to ground stations operating at different data rates. For low data rates, two different access methods: continuous TDM and Multi-carrier TDMA, are compared for earth-stations operating at 2Mb/s. The two methods are compared from the point of view of efficiency and adaptability in a non-uniform load environment. Some control criteria are proposed for the Multi-carrier system. Both methods are particularly suited for small users.     

Simulating the Child's Acquisition of the Lexicon and Syntax—Experiences With Babel

This paper describes the theory and implementation ofBabel, a system which explores the hypothesis that much of the differences in the world's languages may be characterized by the inventory and properties of the lexical items and functional categories of those languages. The structure ofBabel assumes that functional categories are originally lacking in a child's syntax, and are acquired through a statistical induction process of lexical acquisition.Babel then uses information induced from the structure of the lexicon to create a model of syntax via a deductive, rule-based process. This model makes a number of predictions about the time course of language acquisition. These predictions are tested by runningBabel as a simulation of child language acquisition, using large samples of adult speech to children as input. The simulation results are shown to highly correlate to longitudinal studies of child language acquisition in English and Polish. Finally, the approach to handling noisy data withBabel is detailed.     

三峡工程左厂房坝导墙抗震计算分析

 用反应谱理论对三峡左厂房坝导墙3种典型设计断面型式进行了抗震计算分析比较，得出了其自振特性及地震动位移、动应力响应。对选定的设计断面型式Ⅲ进行了抗拉应力强度安全性评价。     

KNOWLEDGE-BASED FEATURE DISCOVERY FOR EVALUATION FUNCTIONS

Since Samuel's work on checkers over thirty years ago, much effort has been devoted to learning evaluation functions. However, all such methods are sensitive to the feature set chosen to represent the examples. If the features do not capture aspects of the examples significant for problem solving, the learned evaluation function may be inaccurate or inconsistent. Typically, good feature sets are carefully handcrafted and a great deal of time and effort goes into refining and tuning them. This paper presents an automatic knowledge-based method for generating features for evaluation functions. The feature set is developed iteratively: features are generated, then evaluated, and this information is used to develop new features in turn. Both the contribution of a feature and its computational expense are considered in determining whether and how to develop it further.
This method has been applied to two problem-solving domains: the Othello board game and the domain of telecommunications network management. Empirical results show that the method is able to generate many known features and several novel features and to improve concept accuracy in both domains.