鱼滨
- 作品数:87 被引量:330H指数:10
- 供职机构:西安电子科技大学更多>>
- 发文基金:国家自然科学基金陕西省教育厅科研计划项目中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术经济管理文化科学社会学更多>>
- 基于手部轨迹识别的ATM智能视频监控系统被引量:3
- 2012年
- 为实时阻止针对自动取款机的犯罪行为发生,设计一种基于手部轨迹识别的ATM智能视频监控系统。对于采集所得的监控区域内的视频图像,利用混合高斯背景建模方法为视频图像建立背景模型,通过背景剪除法和跟踪算法得到监控区域内的人体信息,分析进入监控区域的人体面积变化情况,由此判断是否有异常行为发生,存在异常则报警,否则采用基于颜色空间的皮肤检测算法和位置约束检测人手部分,利用隐马尔可夫模型对分段的手部运动轨迹分别进行匹配识别,进一步判断是否存在犯罪行为。实验结果表明,该方法对于犯罪行为的识别率能达到88%。
- 陈琼鱼滨
- 关键词:自动取款机YUV颜色空间隐马尔可夫模型
- 多Agent协同系统的Pi演算建模方法被引量:2
- 2014年
- MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 Pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法.再以家庭物联网系统作为多Agent协作实例,应用Pi演算对其建模,模拟多个Agent协作过程中的通信.最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对MAS建模的适用性.
- 鱼滨张琛李文静
- 关键词:PI演算
- 基于线性时序逻辑的业务流程验证被引量:2
- 2012年
- 目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。
- 丁明鱼滨陈峰郝克刚
- 关键词:线性时序逻辑
- 软件工程环境中的对象管理系统
- 鱼滨
- 基于Web的异构信息源集成中间件被引量:15
- 2005年
- 通过分析传统异构信息源集成中存在的问题,提出了改进的异构信息源集成中间件体系结构,并给出了数据转换的映射算法。该中间件通过对不同的信息源采用不同的转换机制,简化了集成方法,提高了查询的准确度。
- 郑娅峰鱼滨
- 关键词:XML异构信息源
- 基于Petri网的软件项目管理建模方法被引量:6
- 2007年
- 一种新的对于Petri网的拓展方法—库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特点及解决由此带来的设计管理工具难等问题,以尽量达到最优的设计目的。
- 祁方民鱼滨史立军牟力科
- 关键词:PETRI网软件项目管理
- 基于模板匹配的运动人体异常行为识别方法
- 本发明是一种基于模板匹配的运动人体异常行为识别方法。主要包括视频图像的获取,行为特征提取,基于样本的统计学习与模式识别技术。利用计算机视觉技术分析和理解人的运动,直接基于运动区域的几何计算进行行为识别并进行记录和报警,运...
- 刘志镜赵海勇张军王韦桦张浩侯晓慧鱼滨
- 文献传递
- XML数据库计划的公理化演进
- 2005年
- 数据库计划是由它的实体之间的模式关系构成,该计划随着时间的改变被称为计划演进。XML数据库计划的公理化演进指的是当该计划产生根本的变动时,XML数据库能自动维持其数据的完整性。提出的公理化模式为XML数据库演进的问题提供了一个一般的解决方案,它能明确地决定计划的修改行为和自动维持其数据的完整性。
- 郭富强鱼滨
- 关键词:XML数据库完整性
- 一种脊椎特征点自动识别方法
- 本发明公开了一种脊椎特征点自动识别方法,属于医学图像处理领域。构建过程为:通过CT图片进行脊椎三维模型建模和切割;获得要进行特征点识别的特定椎体;对椎体进行网格划分,使得椎体由细小的三角面片构成;对椎体模型的每个顶点,自...
- 鱼滨张琛苏仲谋
- 文献传递
- 利用曲率多特征融合改进人体三维脊椎模型特征点的标注方法被引量:2
- 2016年
- 由于脊椎生理结构的精准坐标描述和准确匹配尚未达到医学精度的要求,本文对如何精确描述脊柱腰骶段特征点的物理坐标进行研究。介绍了人体脊椎采样特征点的定义和传统标记方法。针对手动标注特征点精确度不够,易产生较大误差等问题提出了一种基于曲率多特征融合的自适应标注特征点的方法。该方法首先找出某个特征点的高斯曲率和平均曲率流的定义值,得到该特征点的法曲率相对极大值,并计算在指定极小半径r范围内的所有模型点的法曲率相对极大值。由于极大值曲率越大,三维模型表面在该点处的弯曲程度越大,该点就越能表现三维模型的大致轮廓,故以r范围内极大值最大的点作为特征点的曲率描述来替换手动拾取的点,从而准确反映该点的特征变化情况。最后,对改进结果进行偏差验证分析。结果表明:改进方法的准确度比现有手动标注特征点方法的准确度提高了约37%,验证了本文方法的有效性。
- 惠宇武君胜鱼滨张琛武震
- 关键词:脊椎三维模型