通风网络解算初始风量确定方法

矿井通风网络解算前,各分支风量的初值直接影向网络解算的速度和迭代是否收敛.分析了影响通风网络各分支风量分配的3个因素:网络拓扑结构、矿井总风量和分支本身的风阻;提出了确定通风网络解算初始风量的新思路,把通风网络的独立通路当作并联通风路线,利用矿井总风量和通路风阻计算各通路的风量,再分到每个分支中.通过一个网络图示例说明了使用该思路提出的方法,给出了通风网络解算初值与网络解算真值的误差,除角联分支外都不超过20％.     

暂态混沌神经网络算法在矿井通风网络风量优化中的应用

针对传统矿井通风网络解算方法的缺陷,提出一种新的暂态混沌神经网络的解算方法,利用混沌变量在混沌运动过程中所具有的遍历性、随机性来寻找全局的最优解,克服陷入局部极小的趋势.以通风总能耗最低为目标函数建立通风网络优化的数学模型,应用暂态混沌神经网络算法对一个简单通风网络的优化模型进行求解.实验结果表明:优化后通风系统总能耗降低了2.63 kW,节能率大约为3.78％.     

基于信赖域方法的矿井通风网络解算

针对在通风网络解算中,若初始值选择不当,Hession矩阵不正定,将导致迭代次数显著增加.为了解决此问题,采用基于信赖域方法的求解大型非线性方程组进行网络解算.应用信赖域方法求得非线性方程组的解,即为网络解算的结果.对基于信赖域方法的矿井通风网络解算进行研究探讨,具有一定的理论指导意义.     

基于WINDOWS的矿井通风网络解算软件的研制

针对现有矿井通风网络解算软件存在的不足,本文使用MATLAB和Visua1C++做为开发工具开发了基于Windows操作系统的矿井通风网络解算软件。采用引入回路重选策略的斯考德一恒斯雷解算算法,使得在通风网络模型上进行的风网解算速度加快。该软件采用通风网络参数解算与通风系统图形相结合方式,对王家岭煤矿通风系统进行网络解算,为王家岭煤矿通风系统优化提供依据。     

一般型通风网求解新方法

讨论了一般型通风网的求解问题,建立了由含有B个方程组成的一般型通风网求解数学模型.在B个未知量中.未知风压分支为L(亦为固定风量分支),未知风量分支B—L(B为通风网分支).在通风网中.调节装置的位置由调节系数矩阵[Cy]中L列非零元素确定.改变矩阵[Cy]则可获得不同的风流控制方案.介绍了该模型的Newton-Raphson计算方法,在此基础上运用模型进行了自然分风,风量调节和通风机工况点优化的计算,并给出了算例.     

数值逼近法在多级机站通风系统改造中的应用

针对多级机站通风系统解算迭代收敛困难,导致误差较大问题.以多级机站技术为基础,提出了一种多级机站通风网络解算简单的无迭代技术——数值逼近法,利用数值逼近原理建立应用于多级机站通风系统改造的数学模型,选取矿山通风系统实例,将建立的数学模型成功应用于矿山多级机站通风系统改造中,建立了误差验证模型计算误差.研究结果表明:利用提出的无迭代技术解算多级机站通风网络,误差较小,同时证明该计算方法的正确性和合理性,为通风系统网络解算及通风系统改造提供一种新方法.     

矿井通风网络三维仿真与优化系统的开发

系统采用可视化对象编程语言VB6.0和SQL Server2000数据库技术,结合SolidWorks三维软件,实现矿井通风网络3D图绘制;并通过调用一个用Fortran语言编写的通风网络解算模块,实现通风网络解算功能;同时,系统允许用户设置多个通风方案,通过风网结算结果比较,选择最优方案.为矿山进行有效地井下通风调节和通风网络改造,提供了有力的安全保证.     

矿井火灾模拟解算软件开发研究

为了研究矿井火灾时期矿井通风系统的稳定性,在充分考虑影响火灾时期矿井通风系统稳定性的多个因素后,以Mfire3.0内核基础,综合可视化编程,以矿井通风网络结算原理为理论基础,研究并建立了火灾模拟风网解算模块,从而构建了矿井火灾模拟解算仿真模型,编制了火灾时期矿井通风系统解算软件。系统介绍了矿井火灾模拟解算软件系统的原理及特色,阐述了模拟矿井通风整体网络所需要的调研内容,展示了矿井火灾模拟解算软件系统的原理和过程。最后,以瓦尔登矿实验数据为基础进行模拟解算,模拟数据与试验数据基本吻合,验证了火灾通风网络解算软件的解算结果的可靠性。     

用Scilab开发通风网络解算软件的优越性

为了让通风工作者在不必精通计算机编程的情况下快速完成通风网络的解算,并能实现在基本不投入资金的情况下得到一套完整的通风解算系统.对Scilab在矩阵解算方面的优越性以及通风网络解算的矩阵运算本质进行了分析.对比了选用Python,Visual Basic和Scilab 3种语言实现的牛顿法解算模块,在代码的简洁可读性、执行效率、可移植性、开发平台的开放性等方面进行了研究.对Scilab通风工具箱的基本框架和使用方法进行了阐释.结果证明在通风系统解算方面Scilab相较于Visual Basic等编程语言,在界面友好程度方面基本持平,在代码编写量上显著减少,在可扩充可二次开发方面具有不可比拟的优势,在跨平台性上表现优良.但是由于Scil-ab是解释性语言,相较于编译型语言在程序执行时间上相对较长,而相对于基于虚拟机的语言时间基本持平.综合各种因素分析,认为Scilab在通风软件开发方面具有优越性,宜于在通风教学、科研以及工程应用中推广.     

平煤一矿通风系统优化改造方案

北二主要通风机负压已达2 867.5 Pa,三水平下延采区投产后暂时还将由北二风机担负,北二系统需要风量,通风阻力还将增加.北二风机能否满足其用风需求,系统是否稳定,这需要进行通风网络解算.对矿井通风系统进行了通风技术测定,针对不同时期通风系统提出了矿井通风系统优化改造方案.利用通风网络解算软件对各个方案分别进行了解算分析,并对各方案进行了对比分析,最后确定了最优矿井通风系统优化方案.所提出的通风系统优化方案,切合矿井生产实际情况,可以在保证矿井今后系统用风要求及稳定性的前提下,降低系统通风阻力,有效解决风速超限问题.这对保证矿井生产能力及矿井安全生产有着重要的实际意义.     

基于全微分表示的组分模拟新方法

首先把多组分数学模型表示成关于各求解变量的全微分形式,然后用全微分量表示了它的数值模型。该方法先微分、再离散,并且保留了二阶微分量,在累积项的处理上严格地区别于全隐式方法,因而是一种全新的组分模拟方法。这一方法的基本出发点是,把各求解变量的微分视为称做基本微分单元的新变量,于是所有变量的微分都可以表示成基本微分单元的代数和形式。变量的微分量是该变量的一个微分改变量,它由于各求解变量的共同作用而引起。求解差分方程组的过程就是通过求取基本微分单元的不同取值逐步地改进各求解变量。     

一类三独立变量六重和差分不等式中未知函数的估计

研究了一类具有三独立变量的六重非线性和差分不等式，和号外含非常数因子，和项外包含了非常数项.利用差分算子的性质、求和技巧、变量替换技巧和积分中值定理等手段，给出了和差分不等式中未知函数的上界估计，推广了已有结果.最后举例说明所得结果可以用来研究三独立变量差分方程解的定性性质.     

寄生电容非灵敏有源开关电容网络的一种CAD算法

将寄生电容非灵敏有源开关电容网络（SCN）划分成若干个子网络，对每个子网络定义了运放负端组元割集；并通过建立组元电荷与子网络输出的关系，得到了组元电荷的状态方程。该方程避开一般方法中，由于变量和支路多而引起计算量和存储量大的问题。     

Demonstration of a quantum teleportation network for continuous variables

Quantum teleportation involves the transportation of an unknown quantum state from one location to another, without physical transfer of the information carrier. Although quantum teleportation is a naturally bipartite process, it can be extended to a multipartite protocol known as a quantum teleportation network. In such a network, entanglement is shared between three or more parties. For the case of three parties (a tripartite network), teleportation of a quantum state can occur between any pair, but only with the assistance of the third party. Multipartite quantum protocols are expected to form fundamental components for larger-scale quantum communication and computation. Here we report the experimental realization of a tripartite quantum teleportation network for quantum states of continuous variables (electromagnetic field modes). We demonstrate teleportation of a coherent state between three different pairs in the network, unambiguously demonstrating its tripartite character.     

矿井通风系统风量变化的可叠加性

 对控制方程为线性的物理现象存在着线性叠加原理。保持其他因素不变,通风系统风量变化与风阻变化之间是一种复杂的非线性关系,因而不能直接应用线性叠加原理。然而,以泰勒公式的应用为基础,通过将非线性方程线性化,则通风系统风量变化与风阻变化之间存在一定程度的可叠加性,即当风阻变化较小时通风系统内某些分支风阻单独变化所产生的通风系统风量变化的叠加总近似等于这些分支风阻同时变化所产生的通风系统风量变化。这种可叠加性的误差随着风阻波动幅度的增加而增加。通风系统的可叠加性对于通风系统风量波动的估计和通风系统风量波动的原因识别都具有重要意义。然而,对于大型复杂通风网络,叠加误差随风阻改变分支数以及随风阻改变量的变化而变化的定量描述关系仍需进一步深入研究。     

奇性积分方程的样条函数解法

给出了一类奇性积分方程的一种近似解法,即用三次样条函数逼近未知及已知函数,从而把奇性积分方程的求解归结为线性代数方程组的求解。问题的关键在于求解逼近函数之系数的线性代数方程组的导出,而在推导过程中用到积分主值的概念,且所有奇性积分都是在主值意义下进行计算的。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证明     

一类非线性Mate-Nevai型离散不等式及其应用

Gronwall不等式及其各种线性、非线性推广是研究微分方程和差分方程解的存在性、有界性、唯一性和稳定性的重要工具.而离散的Gronwall不等式在验证微分方程与积分方程数值解的收敛性方面有着十分的重要作用.研究了一类非线性的Mate-Nevai型离散不等式,在B.G.Pachpatte(Tamkang J Math,2001,32:217-223.)的结果的基础上增加了二元函数项,该不等式含有两个无穷和项和一个非常数项.放弃对函数的单调性要求,通过将求和号外的函数作常量化,利用函数的单调化技巧和函数的次可乘性,给出了不等式中的未知函数的估计,进而将所得的不等式的估计用于研究一类非线性和分-差分方程解的估计.