凝析天然气管道分层流动相间水力摩阻系数计算式评价

前人已经得出了许多计算分层流动相间水力摩阻系数的经验、半经验半理论的公式.然而,由于它们多是以室内小型实验架上得到的数据为基础,虽然与各自的实验结果符合较好,但是普遍存在适用范围窄、精度低的缺陷.获得了大型多相流环道上的实验数据,并利用这些数据对部分常用的经验公式进行了评价.依据评价结果认为,当气相速度低于15m/s时,依据Chen等人的关联式的计算值与实验结果比较接近,误差不超过13.2%;当气相速度大于15m/s时,Hart等人的模型预测值与实验结果符合较好,误差普遍介于0~15.94%之间.因此,在凝析气管道的分层流动计算中,当气速较低时,推荐使用Chen等人的计算模型;而当气速较高时,则推荐采用Hart等人的模型来计算相间水力摩阻系数.     

立方结构的纯金属及二元合金杨氏模量的计算

以立方结构的纯金属为研究对象,在文献报道的实验信息的基础上,运用改进的半经验模型优化并计算了金属在不同温度时的杨氏模量.借鉴相图计算的CALPHAD(calculation of phase diagrams)方法,构建了二元合金杨氏模量计算的新模型.基于二元合金的实验信息,对Ag-Au、Ta-W、Pt-Rh和Pt-Ir 4个二元合金的杨氏模量计算参数进行了优化,计算了合金在不同温度、成分时的杨氏模量,计算结果与实验信息取得了良好的一致性.     

软粘土蠕变变形对于路基沉降和拓宽工程影响的有限元分析

根据适用于软粘土的由S-CLAY1模型得出的弹塑性模型和由三轴蠕变试验得出半经验半理论的蠕变模型,利用河海大学研制的BCF有限元计算软件对沪瑞高速公路竹城段路基沉降及拓宽工程进行沉降计算分析,并与卢萍珍的计算结果进行了对比,给出了相关工程意见.     

分子轨道理论及其计算方法(Ⅱ)

本文阐述了量子化学的从头(ab initio)计算方法和半经验(semiempirical)方法,以及目前国际上流行的各种量子化学的主要计算方法.     

MnO—SiO2渣系物理性质计算模型

以炉渣结构的共存理论为基础，通过对ＭｎＯ－ＳｉＯ２渣系结构单元的确定、热力学数据的选取以及结合线性回归的方法，建立了ＭｎＯ－ＳｉＯ２渣系在１４００￣１６００℃温度和一定浓度范围内的物理性质（粘度、表面张力和电导率）的计算模型。在上述范围内模型计算的理论数值与文献的实测结果符合良好，而且比目前应用的炉渣物理性质的经验或半经验公式更为系统和精确。     

覆盖粒计算在信息检索模型中的应用

将广义覆盖粗糙集理论及其计算运用到信息检索模型.通过建立查询式和库中文档之间的联系的要点构造了基于覆盖粗糙集理论的的两类信息检索模型,并给出了一些相关的上、下近似算子扩展定义.     

一种用于网络计算机系统的半集中计算模型

提出了一种用于网络计算机系统的半集中计算模型,在保留传统网络计算机系统的管理优势的同时,支持客户端分担更多的计算负载,并可提供无缝的用户体验。研究了该模型中的计算任务划分、输入合成与显示合成的策略,实现了一个基于半集中计算模型的视频播放器原型。实验表明它能够进行无缝的视频播放,并可以显著降低服务器端负载。     

岩土类摩擦材料单元力学模型探讨

根据岩土类摩擦材料的特性,基于力学基本原理,建立岩土类摩擦材料的单元力学模型.有限元对比计算结果表明,考虑摩擦的单元模型比较符合工程实际.     

用无穷元模拟半无限平面弹性地基

本文提出一种七节点超参无穷元用于模拟半无限平面弹性地基的计算方法。文中阐述了它的基本原理与公式，对其中衰减函数与无穷无边中节点位置的选择进行了比较研究．对均布及非均布荷载作用下的半无限弹性地基给出了数值结果；并与精确解作了比较。最后用这类模型计算了重力坝的地基应力分布，表明了它具有较高的计算精度与显著的经济性。     

半连续半离散模型在矿山设计中的应用

矿山设计中通常会建立块体模型或三维体模型,并通过模型来进行不规则体的体积计算．实际应用中发现两种模型有各自的不足,块体模型存在计算误差即离散精度问题,三维体模型存在计算耗时多及不稳定问题．本文提出了一个半连续半离散模型,给出了该模型算法及具体应用实例．实践证明,半连续半离散模型具有计算速度快、误差小和计算稳定等优点,是矿山设计中一种非常有效的计算模型．     

Model Checking Electronic Commerce Security Protocols Based on CTL

We present a model based on Computational Temporal Logic (CTL) methods for verifying security requirements of electronic commerce protocols. The model describes formally the authentication, confidentiality integrity, nowrepudiation, denial of service and access control of the electronic commerce protocols. We illustrate as case study a variant of the Lu-Smolka protocol proposed by Lu-Smolka. Moreover, we have discovered two attacks that allow a dis-honest user to purchase a good debiting the amount to another user. And also, we compared our work with relative research works and found that the formal way of this paper is more general to specify security protocols for E-Commerce.     

基于压力弹塑性变形中性层偏移模型的构建与验证

大截面棒材矫直过程中性层偏移明显,对二辊矫直辊辊型及棒材直线度的影响较大. 依据三点弯曲理论建立了棒材矫直过程中基于压力弹塑性变形的中性层偏移量理论计算模型,结合室温拉伸和弯曲试验,研究了棒材矫直过程中性层偏移规律. 结果表明:反弯半径和棒材力学性能对中性层偏移值的影响显著,反弯半径越小,则中性层偏移量越大;强度较低、塑性较强的材料,中性层偏移量较大. 通过弯曲试验,验证了该模型的可靠性及其适用范围.     

基于直觉模糊相似度量的近似推理方法

针对直觉模糊逻辑推理,提出一种基于直觉模糊集之间相似度量的近似推理方法,给出了相关的推理合成运算公式,并用实例说明近似推理的推理过程。该方法的最大优点是概念上更清晰,易于直观理解。     

Bio-inspired Computational Techniques Based Advanced Condition Monitoring

The application of bio-inspired computational techniques to the field of condition monitoring is addressed. First, the bio-inspired computational techniques are briefly addressed; the advantages and disadvantages of these computational methods are made clear. Then, the roles of condition monitoring in the predictive maintenance and failures prediction and the development trends of condition monitoring are discussed. Finally, a case study on the condition monitoring of grinding machine is described, which shows the application of bio-inspired computational technique to a practical condition monitoring system.     

并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。     

反后坐装置物理模型的研究

在内弹道物理模型的基础上，利用方向性量纲分析和相似与模化理论，揭示了反后坐装置在火炮射击过程中的物理现象，建立了其相似准则，考虑到其特点作了相应的准则放宽，推导出具有普遍意义的相似公式，达到了用较小模型模拟较大原型装置的目的，具有一定的经济意义。文末以某步枪为模型，某炮为原型，得到了数值分析与试验结果相吻合的结论，这表明相似性分析在火炮领域中占有重要的地位。     

加工滚刀螺旋槽成形铣刀的廓形探讨

本文从建立空间接触线的数学模型开始,通过计算机运算分析,得出用直母线角度铣刀加工蜗轮滚刀螺旋槽时,其前刀面上出现的经向性误差凸出量。根据它的大小,提出对生产有利的处理方法。     

并行播送和求和算法在几种实际计算模型上的设计和分析

研究播送和求和算法在几种实际的并行模型上的具体实现方法，展示这些新模型上的算法设计风格，给出各实际模型的内在特性及相互关系，并对它们做一综合评价．     

Bio-inspired computational techniques based on advanced condition monitoring

The application of bio-inspired computational techniques to the field of condition monitoring is addressed. First, the bio-inspired computational techniques are briefly addressed; the advantages and disadvantages of these computational methods are made clear. Then, the roles of condition monitoring in the predictive maintenance and failures prediction and the development trends of condition monitoring are discussed. Finally, a case study on the condition monitoring of grinding machine is described, which sh...     

“离散数学”课程的教学探讨

离散数学不仅是计算机专业的一门主要基础课,也是信息与计算科学专业的一门重要基础课.通过离散数学课程的学习,不仅能为学生专业课学习及将来从事软、硬件开发和应用研究打下坚实的基础,同时也有助于培养他们的抽象思维,严格的逻辑推理和创新能力,如何在信息与计算科学专业中提高该课程的教学水平,结合自身的教学实际,提出了注重教学内容的合理安排、注重教学方法的合理使用、注重历史知识的渗透、注重作业的合理布置和注重应用知识的介绍5个原则.