业务过程模型的Petri网形式化检查方法

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.     

深部岩体工程随机分析方法研究

提出基于径基函数网络、一次二阶矩法和数值分析方法的深部岩体工程随机分析新方法。用径基函数网络来逼近岩体工程极限状态函数及其偏导数，然后计算极限状态函数的统计矩，求解可靠度和风险失效概率。进行了某矿山矿柱随机可靠度分析，通过实例对比研究，说明了新方法的实用性。     

天葵花的疗食用药

天葵花,也称西洋菜、落菜、软藤菜、紫葵、御菜、木耳菜、藤儿菜、燕脂豆、滑腹菜等。天葵花为落葵科植物落葵的花。天葵花含有蛋白质、碳水化合物、维生素、微量元素等营养成分,并可清热解毒,解痘毒,又治乳头破裂。民间治痘后痈毒:用天葵花、绿豆、赤豆、黑豆等分为末,醋调,时     

无烟煤制铸造型焦工艺条件的优化

采用正交实验法研究了工艺条件对无烟煤制备铸造型焦的影响.结果表明:工艺条件对型焦质量影响很大,型焦质量随无烟煤粒度增大先提高后降低,随成型压力增大而提高,随中间恒温温度增加而降低,随升温速率增大而降低,随终温恒温时间增加先提高后降低.无烟煤粒度＜3mm,型煤成型压力70 MPa,中间恒温温度400℃,炭化升温速率1℃/min,终温恒温时间60 min时可以制得优质铸造型焦.     

利用可编程计算器快速确定线路测量中桩号及坐标的简易方法

本文利用可编程计算器的坐标计算程序、坐标转换公式,可方便快速的确定线路上任意点的桩号、坐标以及任意点至线路中线的距离。     

基于神经网络的直流电机转速控制

用非线性自回归移动平均模型的神经网络对直流电机转速进行控制,并通过仿真分析其控制效果,在抗干扰方面与原来的闭环控制进行比较,证明神经网络控制的优越性。     

不等跨连拱隧道衬砌结构可靠度及敏感性分析

应用基于神经网络的随机有限元,把截面抗压强度条件视为承载能力极限状态,进行某高速公路不等跨连拱隧道衬砌结构可靠度分析,得出了衬砌结构可靠指标的分布规律和衬砌结构的概率破坏规律。进行衬砌结构可靠度对随机变量的敏感性分析,得出随机变量的分布类型与变异系数对可靠指标的影响规律。结论对隧道设计与施工具有参考价值。     

循环荷载下岩体结构面本构关系与积分算法研究

地下结构中广泛存在的各种不连续面是影响岩体工程力学特性的重要因素,研究结构面在循环荷载作用下的力学行为具有重要的工程意义。基于非关联塑性理论,同时定义加载剪胀段和反向剪缩段,建立了岩体结构面剪胀与塑性耦合本构关系;从结构面的基本损伤机制出发,基于拉、剪分离的思路,建立了一类基于能量原理的岩体结构面拉、剪损伤本构模型,该模型基于有效应力空间塑性力学基本原理,定义了岩体结构面拉、剪塑性Helmholtz自由能分量及损伤能释放率,建立了岩体结构面拉、剪损伤破坏准则。针对结构面在循环荷载作用下的强非线性问题,引入算子分解的思想,将弹塑性演化与损伤演化过程分开进行求解,提出了结构面弹塑性损伤本构关系的混合积分算法。分别进行了岩体结构面直剪和循环剪切试验的数值仿真,计算结果与模型试验基本一致,表明该模型在模拟非连续岩体复杂变形方面是合理有效的。     

计算机控制大吨位拉伸试验机提高精度的设计方法

计算机已广泛用于测试仪器和设备，但利用某些关键元器件和技术，充分发挥计算机功能以提高仪器和设备的测试精度仍是设计者迫求的目标，本文以2000KN大吨位拉伸试验机为例，论述了在液压，传感器及控制算法的某些提高拉伸机精度的设计领域的方法。     

Estimating probability curves of rock variables using orthogonai polynomials and sample moments

A new algorithm using orthogonal polynomials and sample moments was presented for estimating probability curves directly from experimental or field data of rock variables. The moments estimated directly from a sample of observed values of a random variable could be conventional moments (moments about the origin or central moments) and probability-weighted moments (PWMs). Probability curves derived from orthogonal polynomials and conventional moments are probability density functions (PDF), and probability curves derived from orthogonal polynomials and PWMs are inverse cumulative density functions (CDF) of random variables. The proposed approach is verified by two most commonly-used theoretical standard distributions: normal and exponential distribution. Examples from observed data of uniaxial compressive strength of a rock and concrete strength data are presented for illustrative purposes. The results show that probability curves of rock variable can be accurately derived from orthogonal polynomials and sample moments. Orthogonal polynomials and PWMs enable more secure inferences to be made from relatively small samples about an underlying probability curve.