露天矿测量微机管理信息系统

从露天矿的数据采集、原始数据加工与整理、数据库管理程序的建立，以及测量图的绘制等方面，简要介绍了微机在露天矿测量中的应用。     

基于对象特征的建筑结构平面图空间数据自动生成方法

采用目前方法生成建筑结构平面图空间数据时，无法获取建筑结构对象特征，存在还原性差、VRI值低和完全度低的问题，因此提出基于对象特征的建筑结构平面图空间数据自动生成方法。采用射线跟踪算法实现目标模型到图像平面的几何映射，在电磁散射模型的基础上获得后向散射图。采用主成分分析方法获取后向散射图中的建筑结构对象特征，根据提取的特征通过卷积运算生成建筑结构平面图空间数据。试验结果表明，所提方法的还原性好、VRI值高、完全度高。     

交流阻抗法测量丙烯腈电化学二聚反应电极微分电容

运用交流阻抗数据的不同处理方法 ,对模拟电解池的阻抗数据进行对比分析 ,发现复数平面图法对于取得重要的电极参数微分电容准确度较高 ,较适合无浓差极化条件下的交流阻抗数据处理工作。此种处理方法适用于玻碳电极在丙烯腈水溶液体系中的微分电容的测量     

英德硫铁矿露天采掘场测量验收量的精度分析

露天矿的采掘验收,是开采过程中的一项必要任务。目前,全国各露天矿都根据本矿山的开采情况,采用相应的验收测量方法。由于验收测量方法不同,其验收量的精度也就各不相同。本文针对英德硫铁矿所采用的垂直断面法的验收精度进行分析。 一、断面基点和断面的建立 矿山在开采过程中,各断面上的里程桩不可能长期完整地保存下去,这样就必须建立一个便于长期保存的控制系统。断面基点就是采用垂直断面法进行采掘验收的基本控制点,它是各条断面里程和方位的起算依据。它从矿山基建开始,直至矿山开采完毕,贯穿整个过程。     

压力容器应变应力微机自动测量系统

分析了电阻应变计和应变仪的测量原理。利用微机自动测量的优点，采用了直流电桥供电和高精度低漂移的放大电路，设计了多路巡回检测的应变应力自动测量系统；实现了数据采集、处理、画面显示，报表打印等功能的全自动化；具有成本低、测试精度高的特点，在实际测试中应用效果良好，为科研生产提供了较好的测试手段。     

露天矿境界自动生成软件的设计与开发

介绍了以浮动圆锥法为基础，实现了一次境界、二次境界、运输道路以及双线最终境界图的自动生成。还给出了一种考虑露天矿不同平面区域边坡角变化和不同深度方向边坡角变化的三维模板产生方法。     

轮胎立体图设计方法及要点

介绍利用立体绘图程序绘制轮胎立体图的技巧,包括平面图的前期处理方法、将平面图导入立体绘图中的方法、胎冠与胎肩花纹的绘制方法以及轮辋与轮胎的配合方法等。     

压力窗器应变应力微机自动测量系统

分析了电阻应变计和应变仪的测量原理。利用微机自动测量的优点，采用了直流电桥供电和高精度低漂移的放大电路，设计了多路回检测的应变应力自动测量系统；实现了数据采集、处理、画面显示，报表打印等功能的全自动化；具有成本低、测试精度的特点，在实际测试中应用效果良好，为科研生产提供了较好的测试手段。     

利用药壶爆破法爆除残留三角矿体

山坡露天矿进行中深孔爆破后，残留下的三角矿体，采用药壶爆破法进行处理，工程量较小，劳动强度低，工作效率高。本文主要叙述了使用药壶爆破法处理三角矿体的爆破参数设计、药壶的形成方法、药壶体积计算和安全注意事项等。     

露天矿台阶爆破设计的“三化”

露天矿台阶爆破设计的“三化”即规范化、参数优化和计算机辅助设计化。规范化是在矿岩爆破性分区的基础上考虑矿岩构造的特性和高应变率下的动载特性;参数优化使矿岩爆破块度组成最佳、综合成本最低;计算机化是在爆区孔位平面图绘制、爆破参数设计及各种指令报表的编制方面采用计算机辅助设计方法。峨口铁矿在此方面均已取得相当的进展。     

Sicherheitsanalysen zur systematischen Überprüfung von Verfahren und Anlagen — Methoden,Nutzen und Grenzen

Safety analyses for the systematic checking of chemical plant and processes–methods, benefits and limitations . Safety analyses, i. e. systematic procedures for the safety checking of chemical plant and processes, are useful for the completion and optimization of safety concepts. A literature survey of this topic reveals that hitherto procedures proposed can be divided into identifying and evaluating methods and can also be reduced to four basic working principles with a total of eight different methods. These eight main methods are presented using examples and are evaluated with regard to their appropriate use and the limitations which have to be kept in mind.     

环境地质污染与水文勘测技术的应用分析

随着我国经济的快速发展,我国也面临着许多的环境问题,其中环境地质污染成为了我国污染的主要问题。为了解决由于地面沉降、管材破碎以及止水问题所导致的环境地质污染问题,可以结合水文勘测技术进行解决。因为水文勘测技术拥有科学的方法以及先进的设备,从而可以对地质污染的程度、范围、污染物、成因等进行分析,并且制定出科学的方案进行治理与防治,可以通过确定勘测技术方案、明确环境地质污染处理内容、提高水文勘测成效解决。     

塔式容器用轴式吊耳的校核计算

阐明塔式容器吊耳校核计算的重要性,并通过对塔式容器吊装过程中的两种危险状态的受力分析,给出吊耳、设备本体及焊缝的强度计算方法及校核条件。     

浅析砌体结构墙、柱高厚比的验算

分析了墙、柱进行高厚比验算的重要性,叙述了确定墙、柱受压构件计算高度的方法,介绍了允许高厚比修正系数的确定方法和高厚比的验算方法。     

Normal sequential sampling

Bayesian sequential sampling plans are investigated numerically, for testing the mean of a normal distribution (‘high’ values are acceptable, but 'low' values are not). The variance is known, the prior of the mean is normal, and a linear loss function is used. Various properties of these plans are presented here and compared with results for single and double sampling plans. Robustness of these plans with respect to errors in some of the parameters are investigated as well as methods for reducing the computation for the sequential plans.     

膨胀机振动监测与隐患排查研究

通过对膨胀机振动监测信息的研究,及时发现故障苗子,排除仪表监测参数正常的假象,果断进行停机解体检查。通过隐患排查及原因分析研究,验证了振动监测结果,及时修复了轴向推力平衡系统,防止了膨胀机重大损毁事故的发生。以具体实例展示了振动监测系统在了解设备运行状况过程中的重要性。振动监测信息有助于从宏观和微观上了解设备,有助于更科学地制订维修策略和维修计划,既保证设备安全可靠的运行,也确保设备维修的经济性。     

近水平露天煤矿短期计划中地质处理的适用方法

地质处理是为露天煤矿研制的短期生产计划优化软件包的一部分。短期生产计划主要包括年、季、月和周计划，而编制最频繁的当属月和周计划。为适应这一要求，对地质数据和采场界线的处理，采用了灵活适用切合矿山生产实际的方法。     

Computer modeling of polymer crystallization - Toward computer-assisted materials' design

Crystalline polymers are very interesting and useful materials with great versatility through their potential morphology control. Recent surge in computer modeling studies has its origin both in increasing need for efficient methods of materials' design and in tremendous developments in computer power that is expected to meet the need. In this paper, we briefly survey the present state of computer modeling of polymer crystallization with the aim to foresee future developments. We first review simulations of crystallization in simple polymers under quiescent conditions where most of the efforts have hitherto been devoted. We also examine recent studies on crystallization under flow or large deformation. Then we present our ambitious plans to extend the simulation methods to polymers having complex chemical structures, though it is still an uncultivated field of research. We also refer to the new modeling strategies which integrate macroscopic and microscopic methods, and to the possibilities of molecular modeling in polymer nanotechnologies. Though our goal seems very far, there are obviously very fertile lands for the computer simulation studies.     

袋式除尘器滤袋框架垂直度检查方法

简述了确保袋式除尘器滤袋框架垂直度误差的重要性,根据滤袋框架结构、垂直度定义和公差标准,详细论述了滤袋框架垂直度的两种检测方法、检测原理和判定准则,并对设计、制造、检测和安装等几个方面的注意事项进行了简要说明。由此得出,采用正确的检测方法检测滤袋框架垂直度误差,具有重要的实际意义。     

基于模型校核的生化网络自动辨识方法

This study focuses on automatic searching and verifying methods for the teachability, transition logics and hierarchical structure in all possible paths of biological processes using model checking. The automatic search and verification for alternative paths within complex and large networks in biological process can provide a considerable amount of solutions, which is difficult to handle manually. Model checking is an automatic method for verifying if a circuit or a condition, expressed as a concurrent transition system, satisfies a set of properties expressed in a temporal logic, such as computational tree logic （CTL）. This article represents that model checking is feasible in biochemical network verification and it shows certain advantages over simulation for querying and searching of special behavioral properties in biochemical processes.