格蕴涵代数中的格蕴涵代数方程

根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.     

铁道车辆系统曲线通过稳态解的延续计算

为了了解车辆从直线进入曲线时的力学行为，研究了车辆系统曲线通过稳态解(平衡点)．采用延续计算的DERPAR算法，使稳态解的计算从直线经缓和曲线到圆曲线能够一次连续完成，提高了计算效率．所求得的稳态解不含瞬态成分，能更明显地揭示系统参数对车辆的某些力学行为的本质影响，为车辆系统设计参数的选取提供理论依据．     

一种适用于沪杭磁悬浮工程的坐标系

为更好地满足沪杭磁悬浮工程全线施工定线的需要，提出了引用一种新型大地坐标系的设想,该坐标系仍以经纬线构成椭球面上的坐标格网，但点位则用长度量表示．由此不仅可统一全线用于施工定线的坐标系，而且能杜绝投影变形，方便而精确地求解长度和角度，这已由计算结果所证实.     

关于神经计算中满意解的研究

在分析神经计算中已有的满意运算的基础上，找出其中存在的问题，提出了与阈值有关的整体满意度，并对其进行了分析比较，结果表明：整体满意度综合了组合满意度和平均满意度的优点，明显优于后两者。     

城市道路不规则交叉口渠化设计

不规则交叉口是城市交通的瓶颈,合理的渠化设计是提高不规则交叉口通行能力的重要途径,但国内针对不规则交叉口渠化的研究较少,且缺乏系统性。文章分析了不规则交叉口渠化的基本思路,从交通调查、现状问题分析、渠化设计及方案评价等4个方面提出了不规则交叉口渠化的基本步骤．并结合VISSIM仿真软件对渠化方案进行评价,论证方案的合理性。     

Analysis of interaction factors between two piles

A rigorous analytical method is presented for calculating the interaction factor between two identical piles subjected to vertical loads. Following the technique proposed by Muki and Sternberg, the problem is decomposed into an extended soil mass and two fictitious piles characterized respectively by Young＇s modulus of the soil and that of the difference between the pile and soil. The unknown axial forces along fictitious piles are determined by solving a Fredholm integral equation of the second kind, which imposes the compatibility condition that the axial strains of the fictitious piles are equal to those corresponding to the centroidal axes of the extended soil. The real pile forces and displacements can subequally be calculated based on the determined fictitious pile forces, and finally, the validity of the proposed approach and desired pile interaction factors may be obtained. Results confirm the portray the influence of the governing parameters on the pile interaction.     

Border crossing delay prediction using transient multi-server queueing models

As a result of the continued increase in travel demand coupled with the need for tighter security and inspection procedures after September 11, border crossing delay has recently become a critical issue with tremendous economic and social costs. The current paper develops multi-server queuing models to estimate border crossing delay in support of a predictive traveler information system for the crossings. Two classes of multi-server models are considered: (1) models with exponential inter-arrival times and Erlang service times; and (2) a more generic model with a Batch Markovian Arrival Process (BMAP) and phase types (PH) services. As a case study, the models are developed based on real-time traffic volume and inspection time data collected at one of the major US–Canada border crossings, the Peace Bridge, and their transient solution is obtained using heuristic methods. For validation, the queueing models’ estimates are compared to the results from a detailed microscopic traffic simulation model of the Peace Bridge border crossing. The comparison shows that the transient queueing model, along its heuristic solution algorithm, is capable of predicting border crossing delay. Finally, a set of sensitivity analysis tests are conducted, and the developed models are incorporated within an optimization framework to help inform border crossing management strategies.     

三大统计学派推断思想的比较研究——以贝伦斯—费歇尔问题为例

本文介绍了贝伦斯-费歇尔问题的历史及三大统计学派在此问题上的主要解决方法,从一个侧面反映了奈曼置信推断、贝叶斯辩证推断与费歇尔信念推断思想的差异。     

HN63C日本卧式加工中心大修与改造

本文通过作者对日本卧式加工中心的大修改造,分析了造成高精度机床精度丧失的原因和其对应的解决方法,为高精度机床的使用、维护保养以及大修改造指出了有实际意义的思路。     

中国与哈萨克斯坦铁路国际联运混编列车存在的问题及解决方案

对哈萨克斯坦铁路货车在我国境内运用中存在的问题进行了调查和统计分析,并提出了解决方案。