天然气水合物分解-两相渗流数值模拟研究

为揭示天然气水合物试采工程中储层物理参数演化规律,建立了耦合化学分解和气、水两相渗流物理场的数学模型,并采用有限单元法进行求解,对不同降压幅度、初始绝对渗透率和含水饱和度等影响下的储层物理参数的时空演化规律进行研究。结果表明:井筒开始降压后,井周迅速形成压降漏斗,压降辐射范围随时间逐渐增大,且水合物分解范围和压降范围呈现明显的一致性;井筒降压后短时间内产气速率达到峰值,该峰值随降压幅度和初始绝对渗透率的增大而增大,随初始含水饱和度的增大而减小;水合物分解速率和渗透率增大速率与降压幅度和初始绝对渗透率成正相关,与初始含水饱和度成负相关。     

高逼真度红外复杂场景动态实时生成技术研究

红外场景动态实时生成技术是红外成像半实物仿真系统中的一项关键技术,在外部渲染方法基础上,从保证半实物仿真系统的实时性出发,提出了一种不影响红外图像逼真度的红外复杂场景动态实时生成技术来突破仿真模型的逼真度与实时生成相互制约的瓶颈问题,以满足系统的实时性要求。该项技术可直接应用各类红外成像仿真系统中,具有较为重要的应用价值。     

格值一阶逻辑系统LF(X)中的α-有序语义归结

讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。     

三角代数上的广义Jordan左导子

运用算子论的方法研究三角代数上的广义Jordan左导子,证明了三角代数上的广义Jordan左导子是广义左导子,给出三角代数上广义左导子的一种表示定理及关于广义Jordan左导子的相关性质。     

高等代数在抽象代数教学中的应用

高等代数为抽象代数教学提供了很多模型和例子,本文从变换、等价关系、群、环、域、零因子和环上的运算规律等方面具体阐述如何在抽象代数教学中应用高等代数知识.     

论自指的时间性(一)

自指包括否定性自指和肯定性自指。否定性自指往往导致自指悖论。自指悖论具有巨大的破坏性作用,其原因在于没有时间性,哥德尔不完备性定理和图灵对可判定性问题的证明便是其中的代表。分形几何、逻辑斯蒂方程、DNA转录和自复制程序则肯定了肯定性自指的建设性作用。肯定性自指将时间和生长因素引入到自指中,使之成为能够描述世界生成演化的生成逻辑。自指将时间引入到逻辑中来,具有重要的方法论意义。     

因子von Neumann代数上的非线性中心化子

设m，n是任意非零整数，且满足(m＋n)(m－n)≠0， M是实或复数域F上的Hilbert空间上的一个因子von Neumann代数.利用代数分解方法证明了M上满足2mφ(AB)＋2nφ(BA)＝mφ(A)B＋mAφ(B)＋nφ(B)A＋nBφ(A)的非线性映射φ为可加中心化子，并刻画出具体形式φ：A→λA(λ∈F， A∈M).