安检模式对铁路客站换乘地铁效率的影响

随着新技术涌现和运用,铁路车站客流集散过程中的安检模式对于车站区域步行换乘效率的影响及其空间设计策略,正受到越来越多的关注。运用“MassMotion”软件对出站人流进行模拟,比较了采用“人脸识别无感出站”和“轨道交通安检互认”技术前后,对于不同空间节点人流出站情况的非均质影响及交互效应,并基于上述结果建立了出站空间人员压力速查表,为铁路车站前期设计评估提供参考。     

完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

降雨对土坡稳定的影响

为了模拟降雨过程中边坡土体强度的变化,以室内常规不固结不排水三轴试验为基础,探讨了含水量的变化对土体抗剪强度参数及应力-应变关系的影响,并从孔隙水压力的角度探讨了降雨过程中含水量的变化对土体变形的影响.试验结果表明:抗剪强度参数与含水率变量总体上呈非线性关系,但对于粘聚力(c)和内摩擦角(ψ),在含水质量分数为18.64%处均达最大值,并且随着含水量的增加,c、ψ值均单调递减;重塑黏性土的应力-应变关系呈近似双曲线,并且随着含水量的增减应力-应变关系曲线越来越接近两边的坐标轴.最后,从土体强度和变形的两个角度分析可知,降雨过程中所造成的含水量的提高最终导致了边坡的破坏.     

用RTW实现VxWorks系统下的代码自动生成

介绍了RTW生成的基于VxWorks的实时程序的运行时框架结构。并举例讲述了配置RTW与VxWorks的方法。     

学生测评教学质量过程中的博弈分析

采用完全信息动态博弈对学生测评教师教学质量过程进行分析,认为在理性人假设前提下,学生测评会导致教师采取可置信的威胁行动,最终产生教师威胁学生,学生对教师评优的子博弈精炼纳什均衡,学生评教行为失真。因此高校管理部门应从提高信息的不完全性、降低教师承诺行动的可置信度、提高教师威胁成本和降低教师的妥协成本几个方面对学生评教制度进行优化。     

程序不动点的直观计算意义

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.     

CRC Look-up Table Optimization for Single-Bit Error Correction

Many communication systems use the cyclic redundancy code （CRC） technique for protecting key data fields from transmission errors by enabling both single-bit error correction and multi-bit error detection. The look-up table design is very important for the error-correction implementation. This paper presents a CRC look-up table optimization method for single-bit error correction. The optimization method minimizes the address length of the pre-designed look-up table while satisfying certain restrictions. The circuit implementation is also presented to show the feasibility of the method in the application specific integrated circuit design. An application of the optimization method in the generic framing procedure protocol is implemented using field programmable gatearrays. The result shows that the memory address length has been minimized, while keeping a very simple circuit implementation.     

试论高校图书馆危机管理的基本原则

分析了危机管理在高校图书馆管理中的意义,介绍了高校图书馆危机管理的基本程序,就高校图书馆在危机管理过程中应遵循的一些基本原则进行了探讨。     

NA阵列的收敛性

建立了NA阵列的一个概率不等式及相关的矩不等式,研究了NA随机变量阵列的依概率收敛性、完全收敛性和几乎处处收敛性.     

电算化会计条件下的审计

分析了电算化会计条件下审计的4个阶段,指出了电算化系统的4个主要审计内容。