定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

高含沙水流河床稳定性试验研究

利用过程响应模型试验原理,模拟了高含沙水流河道的形成过程,从平面、横断面和纵向变化3方面揭示了高含沙水流窄深河道的形成过程及河道形态特征。试验结果表明:在高含沙窄深河道形成初期,河道平面摆动剧烈,同时水流漫滩并大量淤积,河床抬高,主槽保持窄深形态;在后期,水流不漫滩和保持高含沙水流的条件下,这种单一窄深河道形态变化较小,在空间和时间上都能够相对稳定。     

长江下游水流挟沙力公式

1 问题的提出水流挟沙力问题是泥沙研究中一个十分重要的课题.在对河道作冲淤变形计算时,了解某种水流条件下能够挟带的沙量,即水流挟沙力是很重要的.它是河道的重要特性和河床演变分析的基础.这个问题十分重要,古今中外,不少学者致力于这方面的研究,并且提出了不少半理论半经验公式或经验公式.但由于它涉及的因素复杂,理论本身不成熟,以往的研究公式均有一定的局限性,不适用于长江下游的情况.本文在以往研究的基础上分析长江下     

PVC-U排水管施工操作要点

0 引言 硬聚氯乙烯PVC-U排水管，作为一种新型建筑管材，以其质轻、光洁、美观、水流阻力小、组配灵活、安装省时省力和使用不易堵塞等优点，深受设计、施工和建设单位的青睐，正在我国迅速推广。然而，一些施工人员由于不熟悉PVC-U排水管的特性，施工中常发生一些质量问题，应针对这些问题，认真加以解决。     

用进程代数描述CORBA请求调用

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势,通过对ＣＯＲＢＡ体系结构的高度简化,希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别．     

水库二维水流泥沙数学模型及应用

建立水库坝区平面二维水流泥沙数学模型,考虑了悬移质非均匀,非饱和输沙特性,采用正交曲线坐标拟合复杂边界、ＳＩＭＰＬＥＣ程式离散求解及动边界技术。用该模型对白沙水库流场和河床变形进行了数值验证,计算了典型年条件下,水库取水口附近流场和河床局部形态。结果表明,坝前取水口漏斗基本保持稳定状态。