格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念,研究了它与素滤子及有限交性的关系,并证明了它与极大真滤子的等价性,为进一步研究相应的超积理论打下了基础。     

关于漏解问题的探讨

“N 1”改造后,有关出发进路末端道岔区段漏解锁问题的探讨。     

六自由度驾驶模拟器视景仿真系统研究

随着计算机图形学技术的不断提高，基于虚拟现实的各种运动模拟器视景仿真系统的开发已成为研究热点．文中开发的六自由度驾驶模拟器，可对模拟驾驶设备进行各种运动模拟．采用视景仿真软件MultiGen Creator和OpenGVS SDK，结合面向对象技术开发了六自由度驾驶模拟器视景系统，对视景仿真系统中动力学建模、场景建模、碰撞检测等关键问题进行了阐述．经过试验测试，所开发的视景系统具有良好的视觉沉浸感．     

汽车车身曲线曲面光顺处理系统的建立和应用

本文根据车身设计实践中对曲线曲面的要求建立了光顺处理的判别准则。以最小能量法为数学模型的基础,建立了车身曲线曲面计算机辅助光顺处理系统。该系统可以对一组曲线(面)连续地进行光顺处理、光顺性评价及其作图,具有较强的人机交互功能,运行可靠。本文所采用的方法及所建立的系统同时适用于其它行业(如飞机、船舶等)曲线曲面的造型设计。     

穿浪双体船兴波阻力研究

对穿浪双体船（WavePiereingCatamaran,简称WPC）兴波阻力理论计算方法进行了研究,在此基础上对一艘穿浪双体船模型的兴波阻力进行了理论计算,并将理论计算结果与模型试验结果、25°系列阻力图谱计算结果进行比较,探讨了片体修长系数、片体间距对WPC兴波阻力影响的规律。     

体外循环期间钙动态变化的研究

观察32例患者体外循环期间血浆及红细胞内钙的动态变化。目的在于揭示其变化规律，为更好的保护心肌提供新的措施和理论依据。结果：麻醉后体外循环前血浆钙较术前显著升高，体外循环开始显著下降；40min恢复至术前水平；停机时显著升高至停机8h。术前、中、后红细胞内钙无显著变化。体外循环期间钙变化与血液稀释、应激反应、预充液及心脏停跳液中含钙离子有关。高钙可导致心肌缺血及再灌注时大量钙进入心肌细胞，引起心肌细胞损伤。所以，体外循环期间，特别是复灌期适当降低钙浓度，对术中、后心肌功能恢复具有重要作用。     

BUILDING OF A SIMPLE MODEL OF AUTO-OLT IN DOGS AND ITS SIGNIFICANCE

ＢＵＩＬＤＩＮＧＯＦＡＳＩＭＰＬＥ　ＭＯＤＥＬＯＦＡＵＴＯ－ＯＬＴＩＮＤＯＧＳ　ＡＮＤＩＴＳＳＩＧＮＩＦＩＣＡＮＣＥＫａｎｇＹａ＇ａｎ；，ＬｉＹｉｍｉｎｇ，ＪｉＺｏｎｇｚｈｅｎｇ；，ＱｉｎＺｈａｏｙｉｎ;（ＤｅｐａｒｔｍｅｎｔｏｆＧｅｎｅｒａｌＳｕｒ?..     

既有隧道间新建小净距大断面四车道隧道动态施工监测技术

目前小净距四车道公路隧道的设计和施工经验相对不足,因而监控量测工作显得尤为重要.文章依托工程的监控量测成果,阐述了动态监测在工程实践中的重要应用价值;针对隧道施工特点进行了方案设计及优化;对边坡沉降、拱顶下沉等典型数据进行了分析,很好地反馈施工;通过对监测数据的统计分析,提出了小净距、大跨径四车道隧道围岩变形的建议预警值:监测工作为项目顺利、安全地进行提供了保证.项目实施经验及研究成果可为类似条件下工程的设计、施工和监测提供借鉴.     

Dynamic demand estimation and microscopic traffic simulation of a university campus transportation network

Abstract

This article documents the authors' experience with the modeling, simulation, and analysis of a university transportation system, using the TRansportation ANalysis and SIMulation System (TRANSIMS). The processes of data preparation and network coding are described, followed by the algorithm developed to estimate the dynamic 24-hour demand, which includes a procedure for estimating the ‘desirability’ of the different parking lots from readily available data. The dynamic demand estimation algorithm is validated by comparing estimated and observed parking lot occupancies, where it is shown that the algorithm is capable of replicating observed results. Finally, an example is included to demonstrate how the developed model can be used in campus transportation planning. Besides serving as a first case study for using TRANSIMS to model a university campus, the study's contributions include the development of a procedure for parking lot desirability ranking and a practical procedure for estimating dynamic demand on university campuses.