基于统计模型检测的Tc CBTC移动授权建模与分析

基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。

基于Deeplab V3+的机器人语义SLAM算法研究

针对机器人在同步定位与地图构建(SLAM)系统中受几何场景信息计算力和带宽负载的限制,对ORB-SLAM2框架进行改进,提出语义跟踪和语义建图线程,语义跟踪线程通过Deeplab V3+对图像语义分割,同时提取该图像特征点,进行移动一致性检查来剔除动态噪声点,结合一致性检查后的特征点和分割后的图像信息来二次检查动态点,随后位姿估计,而语义建图线程主要完成语义八叉树地图的构建。在TUM RGB-D数据集上进行了广泛实验,在walking系列数据中的旋转漂移误差达到1.19m、平移漂移误差达到0.046m,满足实时性要求,所提方法有效提高了SLAM的精度和鲁棒性。

包装机械运动仿真系统的研究

在包装机械的设计阶段利用计算机仿真系统进行干涉检查对于实现包装机械的合理设计具有重要意义 。

基于支持向量机眼动模型的活性判别算法

提出一种基于支持向量机眼动模型的活性判别算法 该算法通过大量的人眼的样本来训练基于支持向量机的眼动模型 ,然后在活性判别过程中 ,通过被识别人进行眨眼的配合动作来完成活性判别的过程 由于人脸照片不可能做出眨眼的配合动作 ,因此照片就被成功地排除在了人脸识别系统的外面 。

“Wh-移动”的最简主义解释

在“原则与参数”框架下,“wh-移动”及限制等问题得到了详尽的描述和合理的解释。但“原则与参数”描写的是句法关系表征式的静态关系。“最简方案”的“特征核查”理论利用合并、配伍及移动等简洁的句法手段,演示wh-移动句法关系推导式的动态关系,并能成功解释诸如轻动词提升、wh-词前移及其他语法-语义错位现象。

基于预测-校核机制的发电侧煤电联动

通过引入用于预测普通商品价格的较成熟的几何布朗运动模型建立了燃煤市场的煤价波动模型。通过分析火电企业生产成本与煤价之间的关系,依据Ito引理将燃煤市场的煤价波动引入电厂生产成本的波动中,建立了电厂生产成本的波动模型。通过求取一段时间内电厂生产成本的波动期望值,对政府职能部门提出了依据该期望值对电厂上网电价进行调整的建议。考虑到政府职能部门提前对电厂上网电价进行调整可能存在风险的实际情况,提出了构建煤电联动预测-校核机制的思路,为上述模型的应用提供了保障。最后举例说明了该模型的使用步骤并验证了其合理性与可行性。

飞行器数字化测量漂移检测及修正技术

对飞行器外形进行数字化测量时测量仪器与被测物之间没有固定连接,由于测量任务大、测量时间累积、测量环境变化等原因引起测量仪器与被测物之间发生相对微移动,使测量数据产生漂移,其漂移量值大小会导致测量结果失真,无法达到测量目的;对飞行器数字化测量微动漂移检测原理进行了详细的论述,并对其漂移量值进行修正,通过监测微移量,设置转站误差阈值,自动判断微移量是否符合转站条件,并对漂移量进行修正,通过实验数据验证了测量数据的有效性,有效提高了测量数据的准确性和可靠性。

第三人称代词反单向性照应的生成解释

反单向性照应是指在表示同指回指时,线性语序为代词在前,名词在后。在生成语法框架内,对第三人称代词反单向性照应的生成机制进行了分析论证,并提出了相关的理论假设。英语和汉语在第三人称代词反单向性照应方面具有不同的句法特点,这是由它们不同的生成机制所致。反单向性照应是通过移位生成的,不同的语类由于特征不同,因而移位至不同的非论元位置,接受核查并删除相关特征。然而,反单向性照应的生成却受到严格的句法限制,即必须符合谓词内部主语生成机制的要求,定语从句反单向性照应还必须符合GCR、ECP和孤岛条件。

基于齿轮铣刀CAD/CAM的刃形检测

大模数齿轮铣刀刃形CAD/CAM中需要对刃形进行检测,保证渐开线刃形的准确。在铣刀刃形检测系统的运动控制中采用CNC技术控制测头/工作台沿理论刃形的加工轨迹运动;使传感器的量程减小,基本消除了传感器的量程和非线性误差提高了A/D转换的分辨率,从而保证了检测精度。论述了刀齿的理论模型和测头轨迹的计算及系统软/硬件的结构;阐述了软件编程和调用DLL进行I/O操作的思想。由于采用CNC技术控制测头运动,大大地提高了检测精度使系统的分辨率达到0.5μm。

句法移位限制机制的更新

移位是句法生成中重要的操作手段,早期一些限制移位的规则已经被简化概括成几个更有解释力的普遍原则:毗邻原则、空范畴原则、相对最简性原则。最简方案提出的核查理论则是这一发展趋势的进一步表现。

基于计算机模拟的汽车转向运动干涉校核

针对"汽车转向运动干涉"的传统校核方法的弊端,在充分讨论和分析汽车转向运动过程的基础上,提出了基于空间解析的计算机模拟方法,对涉及的原理和数据结构作了相应论述,并简单介绍了应用此方法所建立的分析软件。

历史转型初期文学论争的复杂性——以《乔厂长上任记》风波为中心

创作于1979年4月的《乔厂长上任记》,呼应了从1978年底开始的"全国工作重心转移到现代化建设上来"的时代转型。然而,在历史转型的初期,人们对"揭批查"与"现代化"两个"时代任务"之间关系存在着认识分歧,再加上小说叙述的是1978年6月"揭批查"运动尚未结束、时代转型尚未开始时的故事,因此文艺界对蒋子龙处理"揭批查"的方式产生了争议。受"文革"遗留的种种历史身份与人事恩怨的影响,小说处理工厂人事问题的方式也引发了评价分歧。从《乔厂长上任记》评价风波,可以了解当时文学论争、文学批评的复杂性。

也谈液控单向阀卸载动态

通过对液控单向阀做各种卸载动态试验，并对测试曲线进行了分析，发现液控单向阀卸载液压谐振的根本原因，不是立柱积存大量能量突然释放必然引起的，也不是立柱缸筒弹性变形能全部转化为液压能，产生液压升高迫使阀芯向关闭方向运动引起的，而是处于瞬态力平衡状态的顶杆打开单向阀时，喷射出高速液体的动量变化使顶杆后坐，造成单向阀突然关闭引起的．它不是单一的水锤冲击，而是单向阀后管路中液体、单向阀、顶杆及其前后管路中液体参与影响。

最简方案框架内的WH-移位与原位新解

在最简方案框架内,对英、汉、朝Wh-问句[+WH]特征进行核查,从而可以对WH-移位与原位的合理性给予具有新意的解释:WH-移位与原位差异的根本原因在于[+WH]特征在生成过程中核查阶段不同。

代体宾语生成的形式理据

长期以来,汉语宾语的语义多样性一直备受汉语语法学界的关注。除了典型的受事型常规宾语之外,汉语中还存在着大量的以处所、工具、来源、方式等为语义类型的代体宾语。常规宾语和代体宾语之间存在深层次的语义联系,在形式上可以相互转化。在形式句法学的理论框架下,以关涉性投射(RelP)为基本理论假设,以合并(merge)、核查(checking)、移位(movement)、删除(deletion)为操作要件,可以为代体宾语结构的推导模式和生成机制提供科学的形式理据。

话题结构中ATB移位现象的最简探索

在英语并列疑问句中,存在着ATB(Across the Board)移位现象。汉语作为Whin-situ的语言,不允许疑问词提升。但是通过对实际的语料分析发现,在汉语某些宾语前置的话题结构中,同样存在着ATB式移位。文章通过分析这些结构的句法特征和生成机制,证明了在汉语中同样存在着ATB移位现象,并通过对比不同语言中话题化结构的特点,进而证明了ATB移位具有跨语言的普遍特性。

齿轮铣刀刃形检测系统

在铣刀刃形检测系统的运动控制中采用CNC技术控制测头和工作台沿理论刃形的加工轨迹运动,使传感器的量程减小,基本消除了传感器的量程和非线性误差,提高了A/D转换的分辨率,从而保证了检测精度。论述了刀齿的理论模型和测头轨迹的计算及系统软/硬件结构;阐述了软件编程和调用DLL进行I/O操作的思想。

互动与制衡——40年代延安“新秧歌”运动的文化阐释

在上一世纪40年代的延安"新秧歌"运动中,对民间传统秧歌的改造转换,使原本民间的狂欢衍化跃升成为寄予特定意识形态话语诉求的红色仪典和建构革命文艺新秩序的重要资源,其演变过程,呈示了政治权力之于民间、以及特定民俗活动的深刻影响。其中,各分层文化之间、政治话语、革命叙事与民间伦理之间不可避免的碰撞、拒斥甚或对抗与制衡,也深刻地反映了特定时代语境下政党、民间、知识分子在其所共在的话语场域中彼此互融互动的复杂关系。

面向OCR文本识别词错误自动校对方法研究

针对OCR识别后文本中词错误校对问题,提出一种同一特征多角度结合的OCR识别后文本中词错误的自动校对方法。方法通过上下文相邻词与窗口移动法相结合为句子中字词串计算置信度,设计置信度计算方法判断正误,给出疑似错误位置;利用统计语言模型与同一特征多角度相结合的方式对错误处提出改进建议。采用检察院纸质卷宗OCR识别后的文本数据进行了测试,实验测试集中共包含236处错误。实验结果表明,所提出的方法能够有效发现文本中错误,查错召回率达到88.56%,纠错的准确率达到79%,上述方法能够有效实现OCR识别后的中文文本自动校对。

基于GPRS通讯的油井状态监测报警系统

介绍一种基于GPRS的油井状态监测报警系统的实现,提出了一种简单廉价的运动检测方法,并介绍了一种低能耗设计原理,实现了报警自动通知到责任人。实践证明,提出的方法在油田实际生产中实际可行,值得推广。