徐誉尹
- 作品数：13 被引量：21H指数：3
- 供职机构：山东科技大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信矿业工程更多>>
- 应用型本科计算机类专业毕业设计实施目标管理方法被引量：8
- 2015年
- 针对计算机类应用型本科专业毕业设计存在的问题及设计课题特点,分析实施基于目标的过程管理可行性,参照RUP(Rational Unified Process,统一软件过程)基于目标的过程管理理念,提出将毕业设计过程分解为6个不同阶段,分别对应"选、检、写、做、示、辩"6个不同方面,设置阶段性目标(里程碑),实施基于目标的过程管理方法,最后说明这种方法可以有效提高毕业设计质量。
- 安新军徐誉尹刘纪敏邵洪强
- 关键词：应用型本科
- 基于信息融合的计算机病毒检测应用研究
- 2018年
- 计算机病毒是信息安全的潜在威胁,如何有效的检测计算机病毒并采取相应的预防措施,是确保信息安全的有效手段。信息融合技术能够充分运用多源数据的互补性和计算机的高速运算智能性应用在计算机病毒检测领域,提高了计算机病毒检测的准确性和可靠性。本文通过信息融合技术建立计算机病毒检测中的应用模型,将信息融合技术和计算机病毒检测结合,并对这种应用的合理性进行论证。
- 杨晓东林晓霞徐誉尹
- 关键词：信息融合技术计算机病毒病毒检测
- 一种多服务器环境下注册中心参与的远程身份认证方法
- 本发明公开了一种多服务器环境下注册中心参与的远程身份认证方法，包括：向注册中心提交用户注册申请；通过智能卡登录已经在注册中心注册过的服务器；智能卡对用户进行本地合法性验证，若合法，则生成第一登录请求信息并将其发送给服务器...
- 崔建明张小军霍永徐誉尹高建新刘奕辉孙晓明李恒忠
- 文献传递
- 基于颜色Petri网的TCP协议模拟和分析
- TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对...
- 徐誉尹吴哲辉
- 关键词：TCP协议三次握手颜色PETRI网网络传输协议
- 文献传递
- 利用谓词/变迁网证明的一阶谓词逻辑命题被引量：2
- 2006年
- 研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。
- 方欢印玉兰徐誉尹
- 关键词：一阶谓词逻辑命题证明
- 应用型创新网络工程人才培养探讨
- 为培养应用型创新网络工程人才,分析比较了山东科技大学泰安校区网络工程专业培养方案及课程体系十年的发展变化,提出了'一重一强两分支'的培养模式,并给出与之配套的完整课程体系.
- 徐誉尹赵慧奇孙琳刘刚
- 关键词：高等教育网络工程专业课程体系
- 文献传递
- 教育信息系统的Web安全问题的研究与分析
- 2018年
- 笔者的主要研究方向是教育领域网站系统的安全,主要对象为各级学校的教务系统和官方网站。网站系统的安全主要包括操作系统、数据库、服务器、编程语言以及客户端等。基于此,宏观分析目前教育领域中Web应用存在的各种安全问题,展现了各种攻击手法,如DDoS、SQL注入、XSS漏洞、File Upload漏洞、远程代码执行和文件包含等。同时,分析系统并总结相应解决方案。研究方法上,采用实地检测与理论原理分析相互结合的方案。
- 赵慧奇徐誉尹刘刚杜春玲
- 关键词：教育信息系统WEB安全网站系统
- 基于BIM的洗衣机生产线数字孪生建模方法
- 基于BIM的洗衣机生产线数字孪生建模方法其特征在于，依次包括以下步骤：(1)收集与洗衣机生产线相关的数字信息，建立数字孪生关系；(2)洗衣机工业生产流水线数字化设计；(3)基于BIM的洗衣机工业生产流水线几何模型轻量化；...
- 赵慧奇丁肄朔徐强张蓓胡新彦徐誉尹
- 基于颜色Petri网的TCP协议模拟和分析被引量：3
- 2005年
- TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对协议中各种动态关系有较好的刻画,分析了协议的不足,减少了利用一般Petri网系统(如P/T系统)模拟复杂系统的难度.
- 徐誉尹吴哲辉
- 关键词：TCP协议三次握手颜色PETRI网
- 一种多服务器环境下注册中心参与的远程身份认证方法
- 本发明公开了一种多服务器环境下注册中心参与的远程身份认证方法，包括：向注册中心提交用户注册申请；通过智能卡登录已经在注册中心注册过的服务器；智能卡对用户进行本地合法性验证，若合法，则生成第一登录请求信息并将其发送给服务器...
- 崔建明张小军霍永徐誉尹高建新刘奕辉孙晓明李恒忠
- 文献传递
