向量法研究三角形中相关点之间的距离公式

应用两个向量法相关公式探讨了三角形重心、垂心、外心以及内心之间的距离公式。     

全站仪在桥梁高程控制测量中的应用及精度分析

结合某大型桥量建设中的高程控制测量的实施和精度要求,在论述桥梁高程控制测量的原理、设计方案、测量程度和精度分析等问题的基础上,依据跨河水准测量的特点,利用全站仪完成了高程控制网中的跨河水准测量,并通过程序对跨河水准网进行严密平差计算,最后估算了跨河测距三角高程的精度.     

基于多Agent协作的下载模型研究

针对现有下载方法的不足,提出了一个基于多Agent协作的下载模型.该模型根据协作规则,将下载任务智能、动态地分配给网络上多个Agent,利用多Agent协作快速、高效、灵活地完成下载任务.Agent的知识是在多Agent的协作过程中,通过学习自动产生、完善和优化的.同时,阐述了模型实现的关键技术及解决方案.     

一类特殊的LF-网空间

本文研究了LF-网空间和它的几个子空间类,考虑了LF-k-网空间与几类广义度量化空间的关系,并且给出了LF-k-网空间的一个等价条件.     

综放巷内充填原位沿空留巷工业性试验

针对常村煤矿S2-6综放工作面采用传统技术沿空留巷的难点，提出综放巷内充填原位沿空留巷新技术。根据上覆煤岩层活动的空间特征及分期规律，引入关键层理论，建立综放沿空留巷的囤岩结构力学模型。在对原巷道进行有效加固和扩帮支护基础上，结合高水速凝充填材料的性能，确定了充填体支护及其加固设计参数。采用合理的实施方案和充填工艺，井下工业性试验达到了预期效果，证明了综放巷内充填原位沿空留巷的可行性，具有推广价值。     

Wolsetnholme不等式的一个推论及其应用

给出了著名的Wolsetnholme不等式的一个新推论，根据这一推论建立了涉及三角形内部任意一点的两个三元二次型不等式，提出并应用计算机验证了有关的两个猜想．     

自动登录Novell网的技术及界面设计

根据网络卡编号的唯一性特点，利用软件设计方法和工作站变量P-STATION(传回工作站的地址)的功能，介绍了能完全自动登录Novell网的网络登录原稿的技术和启动界面菜单的方法。     

垂直井砾石充填防砂最小排量的确定方法

将水平管中清水及低粘液体携砂时的临界流速公式用于计算垂直井砾石充填防砂的最小排量，研究了垂直井低粘液体及清水携砂液临界流速计算公式的特点及应用条件，分析了射孔孔眼临界流速及防砂井最小排量的影响因素，并利用现场数据计算了防砂井最小排量。结果表明，射孔孔眼直径及携砂比增加时，临界流速增加；射孔密度、射开厚度、孔眼直径及临界流速增加时，砾石充填最小排量也增加。提出的临界．流速计算方弦可用于现场施工排量的设计，携砂液初始排量接近或高于临界排量是保证防砂成功并获得较长有效期的根本条件。     

三维两相流数值试井模型

建立了基于混合PEBI网格的三维两相流数值试井模型，内容包括：物理模型的建立，网格剖分方法，控制方程的离散格式以及内、外边界的处理方法。用单相流双重介质和双渗介质解析解对模型的计算结果进行了验证。对3层油藏两相流试井曲线特征分析发现，多层两相流动试井曲线特征与单相流动双重介质的曲线特征相似。因此。有可能寻求一个参数关系将双重渗透介质试井问题与三维两相流试井问题联系起来，从而减小多相流试井分析的难度和多解性。径向PEBI混合网格与数值试井模型的结合应用，给出了三维两相流、有井筒存储和表皮效应的不稳定渗流产量隐式表达式。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。