行车安全综合监控系统的时序Petri网描述及验证

行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。     

刺激大鼠皮神经引起的屈肌反射电位及背根电位

本工作以清醒、整体大鼠为对象,记录了刺激皮神经所诱发的屈肌反射电位(FRP)和背根电位(DRP)。分级刺激腓肠神经(皮神经),在hamstring神经干上(一组支配后肢屈肌群的神经)先后诱发出A-FRP和C-FRP,同时在L_5背根上诱发出A-DRP和C-DRP。A-FRP和A-DRP的阈值、潜伏期均无明显差异,且呈有意义的正相关;二者的幅值在一定范围内随刺激强度的增大而增大。C-FRP阈值和潜伏期比C-DRP均较大,但二者的阈值和潜伏期均呈有意义的正相关,且二者的幅值在一定范围内随刺激强度的增大而同步递增。每一串刺激(3个脉冲,间隔5ms,波宽0.5ms)诱发的DRP和FRP值均较相应单刺激诱发的为大,即DRP和FRP均有时间总和现象。     

AN EFFICIENT FAST ENCODING ALGORITHM FOR VECTOR QUANTIZATION

IntroductionAs an effective technique for data compression,VQ[1,2 ] has been successfully used forvarious ap-plications involving VQ- based encoding and VQ-based recognition in both vocal and image pro-cessing.The k- dimensional,N- level vectorquantizer is defined as a mapping from a k- di-mensional Euclidean space Rkinto a certain finitesubset C={Ci,i=1 ,2 ,… ,N },which is called acodebook and whose elements Ci are called code-words.A distortion measure D( X,Ci) is a non-negative dissi…     

Chaotic movement of vortices in superconductors of high-Tc superconducting maglev system at a high speed

Vortex motion in superconductors of higb-Tc superconducting maglev system is studied by a computational simulation.The vortex system is treated in a similar fashion,as a system where defects arc arrang...     

基于粒子群的城市交通信号两级模糊控制

针对城市交通流的特点,设计一种单交叉口多相位两级模糊控制器,有效地减少控制规则数,实现相序、绿信比、周期随交通状况而自适应变化,并采用粒子群算法对模糊控制器的隶属度函数进行优化。仿真结果表明,该系统能有效地提高交叉口的通行能力,减少车辆平均延误。     

GLOBAL MEASURE ON IMAGE CONTENT

IntroductionContent- based image retrieval has been proposedto allow retrieval to be performed on the basis ofa variety of aspects of image content[1] .A chal-lenging problem arises with many imagedatabases,within which queries are posed via vi-sual or pictorial examples.A common visualquery to an image database system would involvefinding all images in the database which containa subimage that is similar to the query image.Such retrievals must be based on embedded con-tent features,such as sh…     

基于R-THIOWGA集成算子的模糊关联多属性群决策方法

属性间的关联性破坏了独立多属性决策信息的测度可加性,为了更客观地反映决策者的决策意图,更准确地融合决策信息,同时提升算子对决策属性的描述能力,定义了三角犹豫直觉模糊数新的比较规则,引入模糊测度及Choquet积分定义了三角犹豫直觉模糊关联有序加权几何平均算子(R-THIOWGA),并构建了R-THIOWGA的数学模型,证明了RTHIOWGA幂等性、有序单调性、有界性等算子性质.以R-THIOWGA集成算子为基础,提出了模糊关联多属性问题群决策方法,并应用于我国海军远海维修保障平台选型的算例分析.研究结果表明,应用R-THIOWGA算子及基于R-THIOWGA的群决策方法解决模糊关联多属性决策问题是可行的、有效的.     

基于速度变化的偶发性交通拥堵时空分布特性研究

交通事故的发生会引起其上游路段通行速度的下降和交通流量的堆积,从而引发交通拥堵.本文主要研究了城市道路中交通事故引起的交通拥堵的时空分布特征.首先,基于北京市事故数据和路段速度数据分析交通事故影响下的车辆速度变化特性;接着,根据交通事故信息和事故路段流量与速度数据,建立了一种基于速度差异的拥堵判定模型,并对其时空维度的约束条件加以限定.在此基础上对事故引发的拥堵时空范围进行量化描述;最后,依托仿真数据与北京市真实事故数据进行效果验证.结果表明,该方法可以有效地描述交通事故引起的拥堵时空分布特性.     

城市轨道交通各发展阶段的运行特征及在公交系统中的作用

城市轨道交通网络的形成分为三个发展阶段:成网前阶段,轨道骨架网阶段和稳定的轨道网络阶段.分析了不同发展阶段轨道交通运行特征指标的取值范围,采用客运量和客运周转量指标研究了轨道交通不同发展阶段在公共交通系统中所起的作用.