高速道路入口匝道控制方法综述

高速道路入口匝道控制，在国外许多大城市已有广泛的应用和研究．其控制方法依据控制范围、复杂程度可归纳为静态控制、单点动态控制、动态协调控制三类．国内在此领域内尚未展开大规模的研究，目前也没有实际应用的案例。本文对几种基本的高速道路入口匝道控制方法及其优缺点进行总结和分析，并对相关研究的发展提出看法．     

Combined adjustment project of national astronomical geodetic networks and 2000'' national GPS control network

The combined adjustment project of the nationwide astronomical geodetic networks and 2000' national GPS control network involve 48519 terrestrial observational stations and 2666 GPS observational stations. In the terrestrial network, 25107 stations are height fixed and 23412 stations are in three dimensions. 440793 terrestrial observations and 183668 unknowns are involved in the adjustment. The three-dimensional observational models for the adjustment have been established. The crustal deformation influences and corrections are researched. Fast methods of solving partitioned adjustment for super large-scale geodetic network have been studied. The standard deviations of three-dimensional coordinates for all stations are evaluated. As a result of the combined adjustment, a unified national geodetic network with nearly 50000 stations is established, the high accurate three-dimensional geocentric coordinates are obtained. The standard deviation for geoid is averagely 0.2 m, for vertical deflection is about 1.5″, for the horizontal position is about 0.12 m, for the geodetic height is about 0.14 m, and for the three-dimensional position is averagely 0.3 m.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

简谐激励弹簧测力机构的3次超谐共振

应用拉格朗日方程,得到了有阻尼弹簧测力机构在简谐激励作用下具有周期系数的非线性运动微分方程-- Duffing-Mathieu方程;根据非线性振动的多尺度解法,得到了系统满足3次超谐共振情况的一次近似解以及对应的定常解,并对其进行了数值计算,分析了激振力、谐调值、系统阻尼、弹簧刚度等对系统的影响,揭示了一些新的动力学现象.     

浅谈形式逻辑的普及与研究—一兼论逻辑学的教学实践

随着中国高等教育的蓬勃发展，大学教育的目标追求要求对当前中国逻辑学教学的现状进行思考，针对逻辑教学与学习观念，逻辑课程规划与设置。逻辑教材建设和使用。逻辑师资培养和壮大等方面存在的问题，探索新形式下逻辑学的教学与发展，从而使高校真正担当起逻辑学普及与研究的重任。     

用AUTHORWARE开发多媒体教学软件

以一类常见的函数图像为例，用AUTHORWARE实现编程，使用设计窗口中的框架、交互、导航连接等图标以及超文本应用的来完成这类曲线的绘制及相关的课件(CAI)制作过程，同时使用自定义函数和引入外部函数来完善Authorware的图形类函数。     

温度对翅果油树种子萌发的影响

本文研究了不同温度处理对翅果油树种子萌发的影响.结果表明:对种子进行剥皮和一定时间的低温处理能提高种子发芽率,其中进行-18℃冷冻后再经3℃-4℃冷藏能最大幅度的提高种子发芽率.     

一种新的水处理方法

研究了一种用于热水锅炉给水系统的水处理方法 ,既能除氧又能防垢 ,并深入探讨了防垢的机理     

用J2EE建立基于XML的Web服务

论述了Web服务中的一些关键技术,提出了用J2EE建立基于XML的Web服务的方法,并给出详细的实现方案。     

射流悬浮床气固两相流动的数值模拟

从多相流多流体模型、气相湍流k-ε模型与颗粒湍流k_p模型出发,对底部向上射流悬浮床内气固两相流动进行数值模拟,得到了不同入口气速下各截面的颗粒相速度场、颗粒相脉动速度场的分布,结果与实验定性一致。计算结果与实验值对比的结果表明,数值模拟对进一步的研究有指导意义。数值结果与实测值间存在的差异则有待于进行直接三维流动模拟、进一步考察更为合理的边界条件及应用更先进的模型来解决。