一类Kirchhoff型问题正解的存在性

研究了一类Kirchhoff型问题.在不同条件下分别利用极小化方法和山路引理获得了该问题的一个正基态解和一个正解的存在性.     

和优化问题的松弛型Farkas引理

利用共轭函数的上图性质,并引入2类新的约束规范条件,建立了和优化问题的松弛型Farkas引理.     

一种缝洞型油气藏水体能量评价方法

针对缝洞型油气藏水体能量评价困难的问题,在储层特征研究的基础上,运用物质平衡原理分析了缝洞型油藏见水前后油水产量变化规律,通过无因次简化得到产水、产油方程,经过无因次产水方程拟合分析及产油方程拟合验证,建立了一种新的缝洞型油藏有限水体能量的评价方法。综合考虑水体规模、避水高度及连通性等因素,以产水特征为研究对象,采用曲线拟合方法求取水体规模、避水高度及连通性等相关参数。     

固定-固定型弹簧质点系统的能量约束问题

基于子系统物理参数和系统惯性能量约束讨论了固定-固定型无阻尼弹簧质点系统的构造问题,通过求解一类广义逆特征问题获得了弹簧刚度和质点质量的计算表达式,并给出了算例.     

浅谈能量回馈型节能电梯在实践中的应用

传统的电梯均采用大功率电阻以热能形式自由耗散，而能量回馈型节能电梯将部分再生制动能量回收经过处理后反馈到电网，供其它电器设备或其它电梯使用．从而达到节能目的。使其比同等拖动方式下的传统电梯节能最高可迭10％-46％，具有巨大的经济效益和社会效益。文章对能量回馈型节能电梯在实践中的技术应用进行了探讨。     

具强阻尼非线性双曲型方程的能量收敛性

本文讨论了从细杆的振动中提出的一类非线性双曲型方程的柯西问题的能量收敛性，证明了没有阻尼的解可用阻尼很小的解去逼近。     

能量释放型旋转轴定位装置

日前我校“能量释放型旋转轴定位装置”技术被授予实用新型专利 ,该装置用于机械加工及自动设备的旋转轴定位 ,它的定位控制电路由空转信号门电路、空转圈数计数电路、定位信号门电路、定位信号延时电路组成 ,定位控制传感器包括A、B两个传感器 ,空转信号门电路的输入端与传感器B相连 ,输出端分别与空转圈数计数电路和电机交流失电继电器相接 ,定位信号门电路的输入端还分别与传感器A、定位信号延时电路的输出端相接 ,输出端接定位信号延时电路 本专利技术的优点在于采用切断电源后控制系统不立即强制进行大电流整流反转制动 ,而是待旋转…     

线性弹性动力学方程组Cauchy问题的能量均分原理

利用Ｆｏｕｒｉｅｒ变换和Ｒｉｅｍａｎｎ引理证明了自由线性弹性动力学方程组具有紧支集初值Ｃａｕｃｈｙ问题的能量均分原理。     

具温度边界条件的单相Stefan问题解的存在唯一性

证明了一种带有温度边界条件的Stefan问题解的存在唯一性.首先利用Green恒等式将问题转化为等价的积分方程组,由压缩映照原理得到了问题的局部解.再利用延拓方法得到了整体解.     

稳恒电流的导体中能量传输问题

本文首先定性地分析了稳恒电流通过导体时产生的电场和磁场,以图形方式展示了电路中能量传输的图景.第二部分又定量的分析了稳恒电磁场在真空中的能量分布和传播问题.由此懂得了不是电源直接作用于用电设备为人类服务,而是通过电磁场的能量传输才起作用的.     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

GTMS图文菜单规范

本文讨论了图文菜单规范的可行性及其包含的内容;提出并阐述了采用交互方式与程序设计方式相结合的图文菜单的一种规范——GTMS规范。该规范可以用来设计与实现图文菜单的自动生成系统,为图文菜单的自动生成提供了理论与技术基础。     

一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。     

柱体Saint-Venant问题的最小余能解

Saint Venant原理指出 :局部力系对结构内部距力系较远处的内力分布影响主要通过它们的合力体现出来 采用放松了边界条件的柱体受力分析方法 ,可以作出多种解法 ,但求解较复杂 笔者研究了柱体Staint Veanant问题的最小余能解 ,以简化求解格式 文中推导了柱体应变能取最小值的充要条件 ,并得到最小余能解的方程组 算例表明 ,该方法不仅简单 ,而且足够精确     

基于角色访问控制的授权约束描述

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

页面置换算法的Z规格说明

虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.