陈瑶
- 作品数:4 被引量:14H指数:2
- 供职机构:北京工业大学计算机学院更多>>
- 发文基金:北京市自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- XML Schema特征提取算法被引量:1
- 2015年
- Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
- 刘科杨红丽赵瑞芳廖湖声陈瑶秦胜潮
- 关键词:XML时态逻辑
- 基于单目视觉的前方车辆距离计算方法研究被引量:11
- 2014年
- 针对基于单目视觉的前方车辆距离测量方法无法计算曲线道路中的前方车辆实际距离等问题,对结构化道路中的前方车辆模型、前方车辆距离主车及其行驶线的距离计算等方面进行了研究,构建了世界坐标系、摄像机坐标系和图像坐标系中的前方车辆车尾模型,分析了前方车辆在图像平面和道路平面中的对应位置,建立了道路平面中前方车辆位置与主车行驶线之间的相对关系,推导出了前方车辆距离主车纵向行驶距离的计算模型以及前方车辆距离主车行驶线的横向距离计算模型,提出了一种适用于直线和圆弧曲线行驶状况的前方车辆距离计算方法,利用仿真实验平台对距离计算方法的有效性进行了测试。研究结果表明,该计算方法适用于直线和圆弧曲线行驶的道路状况,能够用于估算前方车辆与主车行驶线的距离,该计算方法适用性强、准确性高。
- 陈勇陈瑶
- 关键词:智能车辆
- 医药公司计算机信息管理系统
- 陈瑶
- 该系统利用计算机信息化管理,可实现对医药商业企业整个业务流程的计算机实时管理,完善企业的信息化管理能力,提高信息化管理的质量,加强信息化需求分析的正确性,提高信息流动的速度,从而达到提高效率,减少人力、物力、财力,降低成...
- 关键词:
- 关键词:计算机信息管理系统企业管理
- 基于视觉传感器的道路前方车辆模型研究被引量:2
- 2014年
- 车辆几何模型是基于视觉传感器的车辆检测系统的重要部分。为了提高前方车辆检测的鲁棒性,利用车尾轮廓的几何特征构建了世界坐标系的车尾模型,通过坐标系变换给出了视觉传感器坐标系的车尾模型,进而导出图像车尾模型,并给出了车尾模型参数的表达式及其与现实世界中车尾几何参数的对应关系,明确建立了图像中车辆位置和大小的关系。实验表明:将该模型应用于车辆检测可以抑制图像中不符合车辆透视关系的错误识别,能有效提高车辆检测的鲁棒性。
- 陈勇陈瑶
- 关键词:车辆模型车辆检测智能车辆机器视觉