有限族多值Ф-伪压缩映象公共不动点的强收敛定理

通过引入一个新的具误差的修正的Ishikawa迭代过程，在Hilbert空间和一致光滑的Banach空间中，证明了此迭代系列强收敛于有限族多值西一伪压缩映象的公共不动点，所得结果改进和扩展了本领域中近期的一些相关结果．     

Banach空间中Reich-Takahshi迭代法的强收敛问题

普通电池能对环境造成严重污染，文章介绍一种新兴的环保型的电池——生物电池。结合生物能量代谢紧密相关的氧化还原反应，给出了生物电池的定义，并作了初步分类，阐述了生物电池的基本原理、主要特点及存在问题，提出了改进效率的几种可能途径。加强对生物电池的研究和开发，对解决环境和能源问题，具有重要意义。     

航天专项工程投资估算模型研究

航天专项工程投资估算是航天专项工程管理的重要环节.为了提高航天专项工程投资估算的准确性与合理性,对航天专项工程投资估算模型进行研究.在对航天专项工程投资分析基础上,应用工程统计法的原理,建立基于工作分解结构的航天专项工程投资估算模型,并提出分系统建设其他费用的分摊方法和总投资的修正模型,最后总结分析模型的优缺点.     

人力资源会计假设对传统会计假设的修正

在知识经济时代的现实背景下,传统会计假设即会计主体、持续经营、会计分期和货币计量假设都不同程度地经受着冲击。人力资源会计作为一种新型会计理论,在接受与继承传统会计基本假设的同时,又扩展其了内涵与外延,给予了重新界定和修正。     

98Mo中子俘获截面的实验测量及Monte Carlo修正

98Mo是一种重要的聚变堆包层材料。因此,准确测量它的中子俘获截面数据对于堆的设计和辐射防护具有重要意义,为此在四川大学2.5 MeV静电加速器上,以7Li(p,n)7Be和T(p,n)3He反应作为中子源,以197Au作为标准,用相对活化法测量了98Mo(n,γ)99Mo在29~1100keV能区中子俘获截面,并用MCNP 4C程序对实验中由中子的多次散射、注量率衰减效应等引起的偏差进行了修正,最后将所得结果与已有数据进行了比较。     

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

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

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

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

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

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

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

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

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

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