二阶退化双曲型方程的第二类广义Darboux问题

A.V.Bitsadze在文[1]中提出和研究了二阶一致线性双曲型方程uxx-uyy+aux+by+cu+d=0(A)的第一类和第二类Darboux问题.本文的目的是讨论二阶退化双曲型方程第二类广义Darboux问题和斜微商问题解的表示式,并证明这些问题解的存在唯一性。本文使用不同于[1]中的方法,但类似于[1]中的方程(A),根据本文中的结果,我们可以解决广义Chaplygin方程在一般区域上的Frankl问题.     

综采工作面旋转调斜对接工艺研究

针对淄博矿业集团岱庄煤矿4324不规则综采工作面需两次旋转调斜的现实,通过分析旋转调斜对接工艺参数、工艺设计及对接方法,提出在此类顶底板条件下采用虚心旋转调斜是十分合适的,虚心旋转调斜比实心旋转调斜更有利于工作面的生产。该研究解决了岱庄煤矿不规则工作面的综采问题。     

确定系统级测试性参数的广义随机Petri网模型

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。这一方法对解决复杂系统的测试性设计问题具有一定的借鉴意义     

面向对象表示法在几何量检测软件中的应用

开发一个智能化的零件几何量检测软件PMS，它对知识的表示模式采用了面向对象表示法，并给出应用实例．     

图同构判定的新方法

图的同构问题由来已久，并且它的应用十分广泛。例如：确定一个图的自同构群的构造的问题和它有紧密联系；在有机化学上我们可以利用图的同构判定方法来确定同分异构物。因此，寻求图同构的判定方法是一项引人入胜的工作。提出了一个新的判定方法（定理1）可以方便的确定两个图是否同构。此外，还得到了桌一类图的同构判定的一个较强的条件（定理2）。     

关于Von-Mises统计量渐近正态收敛速度的进一步讨论

本文讨论了Von Mises统计量向正态逼近的一致收敛速度问题 ,在核函数仅满足二阶矩条件下 ,给　　出了上述收敛速度的上、下界 ,所得结果改进了 [2 ]中相应结论     

缪尔达尔经济思想评述

以缪尔达尔的代表作<亚洲的戏剧>一书的内容为依托,评析了缪尔达尔的主要思想观点,从而揭示出发展中国家所面临的诸多问题.这对于发展中的中国来说,具有重要的现实意义.     

多路复用器的模拟(英文)

给出了异步传输模式(ATM)通信系统中多路复用器在欠载和过载状态下的模拟结果， 这些结果对于多路复用器的设计和选购很有帮助。     

一些双二茂铁基烷的合成与表征

采用浓流酸－甲醇为催化剂，以甲苯为溶剂进行二藏铁与一些甲基酮的缩合反应，经真空升华除去未反应的二藏铁，层析分离分别得到了两种１－取代苯基－１－二茂铁基乙烯，以及六种双二藏铁基烷。通过元素分析、红外光谱、核磁共振氢谱对这些化合物的结构进行了表征。     

基于AutoCAD的冷冲模CAD系统的开发与研究

在AutoCAD平台上，结合了Autolisp,Viusal Foxpro和C语言等各程序语言的优势，研制开发了一套冷冲模自动设计系统。