李峰
- 作品数：9 被引量：24H指数：3
- 供职机构：西安工业大学计算机科学与工程学院更多>>
- 发文基金：西安市科技创新支撑计划基金西安工业大学校长基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信文化科学更多>>
- 基于IDA技术的Honeynet日志挖掘研究
- 2009年
- 在构建Honeynet原型系统和安全可靠的远程日志服务器的基础上,对远程日志服务器上的日志数据进行分析和挖掘。将对Honeynet日志挖掘分析架构进行设计,实现对日志数据的预处理,并通过IDA对预处理的日志数据进行挖掘。最后对挖掘结果进行分析,达到有效防止网络攻击的目的。
- 王中生马明吉李峰
- 关键词：数据挖掘日志服务器入侵模式
- 网络电子信息搜索目标预测算法研究被引量：2
- 2009年
- 随着互联网络应用的日益普及,网络电子信息如火如荼,如何为用户提供个性化的、一对一的服务是网上预览向深层次发展需要解决的问题。提出了根据用户浏览记录计算用户兴趣强度的算法,实现了对用户阅览目标的预测。实验结果表明,该算法不但能够如实的反映出用户访问节点的频度,而且也可以模拟用户的兴趣随时间迁移的情况,使预测结果更加准确。
- 王中生李峰曾小丽
- 面向竞赛的C++程序设计分层模式研究被引量：3
- 2018年
- 本文针对传统C++程序设计课程教学的问题,提出了以计算机学科竞赛为依托,进行分层教学以满足不同层次学生的内在学习需求。该教学模式调动学生自主学习的积极性,有助于提高学生对编程语言的学习兴趣和编程能力。
- 姜虹李峰
- 关键词：C++程序设计分层教学教学模式
- 上升流式生物流化床反应器膨胀行为的数学建模与分析
- 2012年
- 基于Richardson-Zaki液固流态化方程,运用数值模拟分析的方法针对上升流式生物流化床反应器的膨胀行为展开了研究,并建立了相应数学模型.同时以厌氧膨胀颗粒污泥床反应器为例进行了数值模拟研究,数值模拟研究结果很好反映了该反应器的特点且两次相关实验结果的平均相对误差分别为4.74%和8.3%.所得结果显示所建模型以及所采用的数值模拟分析方法基本可行.
- 姜虹李峰
- 关键词：数值模拟
- 基于VGMC的环面蜗杆数字化建模
- 环面蜗杆的型面比较复杂,其齿形、齿距、齿厚在各个环面上各不相等。齿面上每点的曲率和法线方向都是在不断变化的,而齿面精度又影响了环面蜗杆副的啮合质量。因而在环面蜗杆副加工制造过程中对其齿面进行检测显得尤为重要。环面蜗杆的齿...
- 李峰
- 关键词：环面蜗杆曲面测量
- 文献传递
- 不同路面条件下高速公路的停车视距建模与安全车速分析被引量：12
- 2012年
- 针对不良天气造成高速公路路面附着系数和能见度减小的情况,从运动学原理出发,将汽车制动停车过程分为驾驶员反应、制动系协调和全制动3个时间阶段,推导了制动停车的安全距离,得出一种适用于不同路面条件(干燥、微湿、积水、积雪、结冰)的停车视距计算模型.结果显示,基于该模型能够进行较精确的高速公路不同路面条件下安全车速及间距的分析与修正.在此模型基础上以陕西省西宝高速公路为例,给出了不同附着系数和能见度下的安全车速和间距,结果在确保行车安全中车速符合实际情况,车距保持在能见度下限左右.
- 姜虹李峰
- 关键词：高速公路停车视距路面条件
- 检验与校准实验室管理系统
- 实验室信息管理系统是利用计算机网络技术、数据存储技术、快速处理技术来对实验室进行全方位管理的计算机软、硬件系统。通过它，实验室可以达到自动化运行、信息化管理和无纸化办公的目的，对实验室提高工作效率、降低运行成本起到至关重...
- 李峰
- 关键词：实验室管理办公自动化网络技术软件开发
- 文献传递
- 基于Web技术的智能手机课堂应答系统设计被引量：6
- 2012年
- 针对Clicker课堂应答系统在教学使用中存在的问题及缺点,提出了一种基于Web技术的智能手机课堂应答系统(SPCRS)。SPCRS系统的主导思想是以智能手机代替Clicker系统中的手持键盘,用无线网络代替Clicker系统中的专用通信网络,并以Web技术访问服务器资源,实现课堂中教师与学生的互动。该系统的实施相比其他类似系统花费较小,具备广泛推广的基础和价值,能够满足课堂即时互动教学的要求,提高了教学效果。
- 姜虹李峰
- 关键词：CLICKER课堂应答系统智能手机RESTFUL
- 一种基于学分制排课系统的Z规格说明
- 2012年
- 运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例,使用面向对象的形式规格说明语言Z,描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示,该方法具有精确的描述性和很强的抽象性,能为软件系统的开发和验证提供科学的框架。
- 姜虹李峰俞均
- 关键词：形式化方法Z语言排课系统
