多带自动机在YH—F2算术表达式并行编译中的应用

本文结合ＹＨ－Ｆ２系统的并行运算机制，分析了算术表达式的标量并行计算机方法，指出传统单带自动机编译算法在识别全局并行性的不足，提出了一种基于多带自动机的编译方法，对表达式的全局并行计算进行局部关联。     

代码生成、产生式编程与MDA

我在一些论坛上注意到,有些朋友似乎有这样的习惯:任何新的软件开发范型出现,他们就跳出来大喊“no silverbullet(没有银弹)!”于是同时也一并地     

代码生成、产生式编程与MDA（下）

第四部分:GenerativeProgramming、MDA,新的综合请思考这样一个问题:一家已经在行业内发展了多年的企业应用开发及系统集成公司,和一家刚刚拉起开发队伍新成立的同类公司相比,有什么优势呢?优势在于经验的积累。但在人员高流动的IT业,以何种形式来保存积累的经验,这值得我们思考。类库?框架?UML模型?文档?code generator?前文已经对各种方式做过优缺点分析,这里不再重复。关于实现的复用和设计的复用,以及模式的形式化、模式运用的自     

产生式规则在考试评分系统中的应用研究

文中着眼于解决计算机上机操作考试和语文、英语类非客观试题的智能化评分阅卷。首先介绍了使用产生式规则描述各种类型试题评分过程和方法，并通过定义产生式规则的分解和运算解决了产生式规则的简化和在关系数据库中的存储问题，建立了基于产生式规则的考试系统智能评分模型。应用该模型可以实现上机操作和客观试题评分过程的智能化、规范化，在此基础上开发的考试系统先后用于成人及中小学生信息技术考试和语文作文考试中。     

产生式规则在考试评分系统中的应用研究

文中着眼于解决计算机上机操作考试和语文、英语类非客观试题的智能化评分阅卷。首先介绍了使用产生式规则描述各种类型试题评分过程和方法,并通过定义产生式规则的分解和运算解决了产生式规则的简化和在关系数据库中的存储问题,建立了基于产生式规则的考试系统智能评分模型。应用该模型可以实现上机操作和客观试题评分过程的智能化、规范化,在此基础上开发的考试系统先后用于成人及中小学生信息技术考试和语文作文考试中。     

基于产生式探井决策专家系统的研究与应用①

基于产生式的探井决策专家系统以人工智能为理论,采用产生式知识表示方法,以油井钻探数据为依据,将获取的探井专家经验知识存入知识库,通过高效的推理,给出合理的决策方案,提高探井工程效率。     

基于产生式探井决策专家系统的研究与应用①

基于产生式的探井决策专家系统以人工智能为理论,采用产生式知识表示方法,以油井钻探数据为依据,将获取的探井专家经验知识存入知识库,通过高效的推理,给出合理的决策方案,提高探井工程效率。     

基于模糊产生式规则的智能管理模型及其应用

１　引言智能管理系统是主动系统,人是主动环节,人的思维、语言、行为具有主动性、灵活性、创造性、也具有模糊性,而通常的数学模型是精确的、定常的,难以描述人的主动性和处理问题时表现的模糊性［１］．特别是在计算机管理系统中模拟这些特性就更困难．本文提出一种基于模糊产生式规则的智能管理模型,可用于描述人的主动性和模糊性．２　管理目标论域的标准模糊划分定义１设有管理要素论域Ｓ,Ｃ、Ｄ为论域Ｓ上的模糊集,ｘ为论域Ｓ中的元素,ｘ∈Ｓ,则模糊集合Ｃ对于模糊集合Ｄ的可能性测度：ｐ＝Ｐｏｓｓ（Ｄ｜Ｃ）＝Ｓｕｐｘ∈…     

利用并行计算机实时处理的水下机器人在海洋开发中应用的探讨

本文提出利用水下机器人及并行计算机进行海洋观测与监测、海底岩石成象、海洋环境污染调查、海洋新能源勘探的原理。建议重视对海洋新能源的开发。     

Using the Skeleton Method to Define a Preliminary Geometrical Model for Three-Dimensional Speed Reducers

This paper deals with the first design phase of three-dimensional speed reducers. Concepts to help designers during the entry-level model definition are presented and, more particularly, those related to the task of geometrical synthesis. From these principles, a specific CAD tool has been built and is also described. A rough model, called a skeleton, is introduced to represent each conventional reducing stage category, thus enabling the automatic formation of entire geometrical models of speed reducers. Shaft orientations and positions are calculated from products of transformation matrices, in the same way as for spatial kinematic chain closure conventional problems. Optimisation techniques are used to obtain a preliminary dimensioning of the structure. The numerical processing is achieved progressively in three steps in order to improve the final convergence and, if necessary, to enlighten further the designer on failure origins within specification data. Three examples are given to illustrate both the creation of the geometrical model and the way results are obtained.     

An Efficient Direct Solver for the Boundary Concentrated FEM in 2D

The boundary concentrated FEM, a variant of the hp-version of the finite element method, is proposed for the numerical treatment of elliptic boundary value problems. It is particularly suited for equations with smooth coefficients and non-smooth boundary conditions. In the two-dimensional case it is shown that the Cholesky factorization of the resulting stiffness matrix requires O(Nlog⁴ N) units of storage and can be computed with O(Nlog⁸ N) work, where N denotes the problem size. Numerical results confirm theoretical estimates. Received October 4, 2001; revised August 19, 2002 Published online: October 24, 2002