Conceptual modeling of data base operations

A formalism adequate for the specification of behavioral properties of data bases is proposed. The formalism is a many-sorted first order predicate calculus, including a formalized notion of data base state. Both update and query requests are modeled through expressions by the use of predicates supplied in the language of the formal system, and are treated uniformly as a theorem proving process. The process consists of using the axioms defining the data base for either synthesizing a valid sequence of update operations (if such exists) or for answering the query.     

由三维模型进行机件表达

利用AUTOCAD的三维模型,在AUTOCAD的图纸布局中设置浮动视口,将三维模型向不同的投影面进行投影,然后使用SOLPROF、SOLVIEW、SOLDRAW命令提取三维模型的投影轮廓线,再通过对投影和浮动视口的适当编辑操作,生成三维模型的各种视图、剖视图等,达到由三维模型进行机件表达的目的。     

利用音译和网络挖掘翻译命名实体

本文提出了一种新颖的方法,综合利用音译和网络挖掘来提高命名实体翻译的效果。具体而言,首先利用音译模型生成一个候选翻译,然后利用音译信息配合网络挖掘获得更多的候选翻译。最后,使用最大熵(Maximum Entropy)模型综合考虑源词和候选翻译之间的各种特征,如发音相似度,上下文本特征,网页共现关系等,来排序得到的候选翻译,从而决定最终的翻译结果。实验结果显示我们的方法显著的提高了命名实体翻译的精确度。     

基于EJB 技术的网络教学系统的设计与实现

分析了网络教学系统的总体需求,运用实体EJB、会话EJB进行组件设计,说明了系统的设计原则与系统的主要功能.     

移动自组织网中的移动模型

移动模型对移动自组织网的仿真性能有重要影响.本文在总结当前移动模型研究状况的基础上,着重分析了两大类中共六种移动模型,对它们的移动方式、算法、特点和应用范围等作了较为详细的论述,对自组织网络的仿真研究和实际应用具有指导和借鉴意义.     

钱塘江强涌潮、低河床、紧临深江区域围垦施工难点的处理

萧围东线治江围涂工程第一期(试验期)工程,通过科学的安排,有序的组织,合理的调度,充分挖掘现有施工力量,处理了在钱塘江强涌潮、低河床、紧临深江区域施工的二个关键问题.一是攻克了在强涌潮顶冲地段进行深水抛坝的难题;二是同样在强涌潮顶冲地段完成龙口封堵和土方闭气施工.     

企业E化过程中的流程再造方法研究

企业流程再造(BPR)是近年来在国外兴起,并得到许多大型知名企业的普遍重视和广泛应用的新兴的管理思想.介绍一种在小浪底进行企业E化过程中利用实体-活动关系(E-A关系)进行流程再造的方法,对各种E-A关系进行分类分析,提出E-A矩阵的概念,并结合实例阐明这种方法的具体实施步骤.     

黄登水电站工程截流模型试验研究

通过水力学整体模型试验,研究确定了澜沧江黄登水电站截流工程戗堤的布置、龙口位置的选择、截流水力学参数及进占过程中抛投方式的选择。模型试验也研究了水流对1#导流洞进口全年围堰爆破后的冲渣情况及对导流洞分流能力的影响。结果表明,不论导流洞进口爆渣为何种形式,在Q=695~1 380 m3/s流量下都无法将爆渣冲出导流洞,模型试验为工程施工及技术方案的实施提供了科学的依据。     

rAutoCAD线型二次开发在工程制图中的应用

AutoCAD软件系统中提供了标准线型文件,同时也为用户的二次开发留出了接口,即用户可以定制自己的线型文件以满足不同的需要。文章简要介绍了开发线型文件和形文件的基本方法,并介绍了工程制图中堤防线、铁路线、长城符号等几种常用线型的定义方法。     

拖拉机传动系圆柱齿轮的计算机辅助设计计算

本文在传统的拖拉机传动系圆柱齿轮变位系数选择方法及齿轮弯曲强度计算方法——即用齿形图作图法求解强度参数X的基础上,通过数学模型的建立,采用计算机辅助设计,阐述了一种取代于齿形图法求出强度参数X的方法,这种方法是计算圆柱直齿轮弯曲强度的有效工具,使用这种方法,工程设计人员能节省大量的工时,同时能获得准确的计算结果。