作业条件危险评价方法在建筑施工中的应用

为了解决作业条件危险评价方法在建筑施工中的应用问题,采用系统安全工程的作业条件危险评价方法,并对这种方法中的L项进行修正,用系统能量与人为能量控制关系来确定隐患是否存在。与原LEC法比,该法采用系统的固有能量与人为控制能量的差值来确定隐患,L的取值更加科学和可操作性,提高了安全投入的经济性。该成果对作业条件危险评价方法在建筑施工中的应用具有一定的参考价值和指导意议。     

TICT中圆形工件截面的散射修正项计算

透射γ射线ICT采集系统所获原始数据中，包含有Compton散射光子的计数，在探测器较少时，常采用加后准直器的方法来控制散射光子进入探头，但在实时测量的ICT中，由于探头数较多，加后准直器将受到空间的限制。笔者拟采用让Compton散射光子与透射光子一并进入探测器，再从探测器总的计数中将散射光子减除。并建立了透射式ICT康普顿（Compton）散射针对圆形截面工件的数学模拟，并给出了相应的修正公式以及散射修正的程序设计原理。     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

修正的非稳非线性Schrdinger方程的显式精确解

首先利用一个标准变换将修正的非稳非线性 Schro¨ dinger方程化成一个非线性偏微分方程组 ,接着通过选取不同参数得到一些非线性代数方程和非线性常微分方程。然后通过直接方法和假设方法的结合求得约化得到的非线性常微分方程的精确解 ,从而得到修正的非稳非线性 Schro¨ dinger方程的显式精确解 ,包括精确平面波解、钟状孤立波解、扭状孤立波解、奇异行波解和三角函数状周期波解     

软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

一种用于功率自适应控制的有效方法

有许多场合需要进行电台发射功率自适应控制，利用数字电位器可编程控制特性，采用软硬件结合的方法，克服这种非线性困难的影响，结合某型电台进行了功率自适应控制应用研究，效果明显，由此给出了一种用于功率自适应控制的有效方法。     

搅拌机的分散鲁棒控制

基于鲁棒频域响应近似设计方法与序列控制器设计方法，提出了一种线性多变量系统分散鲁棒控制器的设计过程，在序列控制器设计的每一步，单个鲁棒控制器用鲁棒频域响应近似法获得，并使用频域响应近似法进行控制器降价，整个过程应用于非最小相应搅拌机系统的分散鲁棒控制器设计。     

修正渐近解在力学中的应用

采用修正渐近法研究了在力学中应用范围比较广泛的一类具有变系数二阶线性齐次方程 ,并求得了其修正渐进解。介绍了具有变系数二阶线性齐次方程修正渐近解在力学中的应用 ,同时 ,通过实例计算证实了该修正渐近法不但计算过程简便而且计算精度也高 .     

基于Bayes估计的有限元模型修正

讨论了基于Bayes方法来修正有限元动力模型问题 ,给出了利用Bayes方法估计参数的公式 .根据Bayes估计结果 ,应用矩阵逆特征值理论 ,提出了有限元模型修正方法 .最后用一个数值试验说明了该方法的有效性 .     

修正的非稳非线性Schroedinger方程的显式精确解

首先利用一个标准变换将修正的非稳非线性Schroedinger方程化成一个非线性偏微分方程组，接着通过选取不同参数得到一些非线性代数方程和非线性常微分方程。然后通过直接方法和假设方法的结合求得约化得到的非线性常微分方程的精确解，从而得到修正的非稳非线性Schroedinger方程的显式精确解，包括精确平面波解、钟状弧立波解、扭状弧立波解、奇异行波解和三角函数状用周期波解。