国家自然科学基金(60871097)
- 作品数：7 被引量：11H指数：2
- 相关作者：鱼滨刘旭勇赵大明陈琼郝克刚更多>>
- 相关机构：西安电子科技大学西北大学陕西省行政学院更多>>
- 发文基金：国家自然科学基金陕西省科技攻关计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 用例驱动技术在需求获取过程中的应用
- 2012年
- 需求获取是软件开发过程中非常重要的环节,它贯穿于整个软件生命周期。针对系统客户和开发人员由于认识问题角度和知识的差异而存在的需求获取障碍,提出了一种基于用例的需求获取方法。该方法以用户和任务为中心,设计了一个用户需求描述模板,引导用户填写需求描述信息,开发人员利用用例驱动技术对需求描述信息进行分析和验证,最终获取全面和准确的参与者和用例信息。该构建过程不仅为构造用例图和类图奠定了基础,而且也使软件工程活动更加规范。
- 刘旭勇
- 关键词：用例驱动类图
- 基于手部轨迹识别的ATM智能视频监控系统被引量：3
- 2012年
- 为实时阻止针对自动取款机的犯罪行为发生,设计一种基于手部轨迹识别的ATM智能视频监控系统。对于采集所得的监控区域内的视频图像,利用混合高斯背景建模方法为视频图像建立背景模型,通过背景剪除法和跟踪算法得到监控区域内的人体信息,分析进入监控区域的人体面积变化情况,由此判断是否有异常行为发生,存在异常则报警,否则采用基于颜色空间的皮肤检测算法和位置约束检测人手部分,利用隐马尔可夫模型对分段的手部运动轨迹分别进行匹配识别,进一步判断是否存在犯罪行为。实验结果表明,该方法对于犯罪行为的识别率能达到88%。
- 陈琼鱼滨
- 关键词：自动取款机YUV颜色空间隐马尔可夫模型
- 基于线性时序逻辑的业务流程验证被引量：2
- 2012年
- 目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。
- 丁明鱼滨陈峰郝克刚
- 关键词：线性时序逻辑
- 基于Hyperic HQ的文件监控系统研究被引量：2
- 2011年
- 针对中小企业内部敏感信息的外泄问题,研究开源监控软件Hyperic HQ的系统架构和监控体系,设计文件一体化监控系统。利用基于内核级的文件过滤驱动技术截获I/O管理器向文件系统驱动路由的I/O请求包(IRP),在IRP进入文件系统驱动前执行用户自定义例程,并通过应用程序与驱动程序的通信,实现对文件操作的监控。该系统可实现对局域网中文件系统的一体化监控,避免对文件系统的非法操作,提高局域网内文件系统的安全性。
- 古琳莹鱼滨
- 关键词：I/O请求包文件过滤驱动
- 基于层次化的入侵检测模型研究
- 2012年
- 随着互联网络的广泛应用,网络信息量迅速增长,网络安全问题日趋突出,入侵检测已经成为网络安全的重要组成部分。针对传统的入侵检测模型所存在的已知系统漏洞或攻击方法的知识缺陷,分析了当前入侵检测系统所存在的诸多问题,提出了基于入侵检测策略的层次化入侵检测模型,该模型可以监视已知入侵和检测未知入侵,对网络入侵检测系统的设计有一定参考价值,对综合解决网络安全问题是一个有益的探索。
- 刘旭勇
- 关键词：入侵检测层次化网络
- 一种基于特征区域划分的网格简化方法
- 2010年
- 目的研究对三维网格模型简化的一种方法。方法根据人脸面部特征点将人脸划分为关键特征区和非关键特征区,在不同的区域设定不同的离散曲率简化阈值,采用边折叠的方式来减少网格密度。结果该方法能有效地减少网格的数据量,同时保持人脸的特征细节。结论对三维网格模型使用基于特征区域划分的网格简化方法,降低了模型的复杂度。
- 刘伟明王安兵申卫昌鱼滨
- 关键词：网格简化人脸面部特征离散曲率边折叠
- 基于遗传算法的专业元搜索引擎被引量：4
- 2009年
- 元搜索引擎返回的查询结果来自独立搜索引擎,要评价此类结果的专业相关性,必须挖掘其位置信息以外的其他信息。研究并实现面向培训领域的元搜索引擎,在充分挖掘网页文本信息的基础上,提取专业网页样本特征,结合遗传算法给出网页专业相关度算法。实验结果表明,该引擎具有较高的专业信息筛选和排序能力。
- 赵大明鱼滨
- 关键词：元搜索引擎专业搜索引擎遗传算法
