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

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

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

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

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

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

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

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

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

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

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

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

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

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

SIMPLE算法的一个新的改进方案

提出了SIMPLE算法的一个新的改进方案－－MSIMPLE。该采用SIMPLEC中的方法对速度主程进行处理，同时对压力的确定采用SIMPLER中的方法来完成。通过对2个典型的流动传热问题（圆管突扩通道内的流动，正方形空腔内的自然对流）的计算，将该改进方案与SIMPLE，SIMPLEC，SEMPLER算法进行了初步对比，结果表明，改进方案有着更好的收敛特性，并且能节省数值计算的计算时间。     

商业路线价深度修正系数表编制中平均深度百分率法的应用

商业路线价深度修正系数表的编制一直以来就存在很大的主观性和随意性，这使编制出的修正系数表与实际相差很大，在实际工作中也没有实用性，本文总结实际工作中的一点经验，提出在商业路线坐深度修正系数表编制中运用平均深度百分率法，以期共同探讨。     

基于LINK 的结构系统建模方法研究

针对有限元和试验模态分析的局发性，探讨了一种有限元分析与动态试验相结合的模型修正方法，即基于LINK的结构系统建模方法。将计算与试验结果进行数据融合，以给定模态置信度准则为基础，进行模型的迭代修正分析，进而构造精确的结构系统动力模型，最后基于LINK方法，对梁结构进行了计算与试验相结合的建模分析，取得了良好的效果。