搜索筛选:
搜索耗时0.7838秒,为你在为你在102,285,761篇论文里面共找到 60 篇相符的论文内容
发布年度:
[学位论文] 作者：张迎周,,
来源：河南工业大学 年份：2013
课题研究了均相和非均相催化剂催化单糖脱水制备5-羟甲基糠醛（5-HMF），主要研究内容如下：采用均相催化剂NH4Br催化果糖脱水制备5-HMF，探讨了助催化剂种类、反应温度、反应时间、催......
[期刊论文] 作者：张迎周,,
来源：教育与教学研究 年份：2011
计算机数学，又称离散数学，是计算机学科的重要专业基础课程。在实际教学中发现，计算机科学专业的学生对该课程感兴趣的不多，多数畏惧其概念多、理论强且抽象。利用一种函数式程序......
[学位论文] 作者：张迎周,
来源：河海大学 年份：2002
该文介绍了简单实用的相似方法,它能有效地将一些抛物型偏微分方程转化为常微分方程,从而求得在几何上相似的相似解.该文还首次提出了求解非稳定井流问题的基于流量的相似方...
[期刊论文] 作者：张迎周,
来源：电气时代 年份：2001
石家庄泵业集团有限责任公司(原石家庄水泵厂,以下简称SB)CIMS应用示范工程项目(以下简称SB—CIMS),是河北省首批CIMS应用示范企业,SB经过半个世纪的建设,现已发展成为全国...
[学位论文] 作者：张迎周,
来源：东南大学 年份：2005
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)，然后通过分析切片来分析源程序的行为。二十......
[期刊论文] 作者：张迎周, 刘玲玲,,
来源：南京邮电大学学报(自然科学版) 年份：2011
随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多。访问控制、入侵检测、加密等传统的安全机制只注重控制信息的释放,不能充分保证信息端...
[期刊论文] 作者：张迎周,符炜,
来源：电子学报 年份：2013
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法：先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相...
[期刊论文] 作者：张迎周, 张卫丰,,
来源：南京邮电大学学报(自然科学版) 年份：2007
随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何...
[期刊论文] 作者：张迎周,陈才生,
来源：岩土工程学报 年份：2002
利用基于流量的相似方法分析了井流场中的渗透情况,此方法以流量作为未知函数,不仅避开了井口奇点问题,而且还可根据实际情况方便地推导出降落漏斗的影响区域半径(影响半径...
[期刊论文] 作者：张迎周,张卫丰,
来源：东南大学学报：英文版 年份：2008
为解决含过程程序的单子切片问题，提出基于回填待定标号的两阶段单子切片算法．算法第1阶段用给定标号初始化子过程的形参切片表，并通过分析调用语句捕获被调者对调用者的影响．算......
[期刊论文] 作者：张迎周,陈才生,
来源：河海大学学报：自然科学版 年份：2002
证明了具有阻尼项的非线性Carrier方程utt-M(‖u‖22)Δu+σ(ut)＝f(u) (x,t)∈Ω×(0,∞)解的能量具有代数衰减特征,其中σ′(ν)≥0,0＜m0≤M(s),f(u)连续可微和初...
[期刊论文] 作者：张迎周,徐宝文,
来源：计算机学报 年份：2006
提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体：切片单子转换器.然后,将该切片转换器作...
[期刊论文] 作者：张迎周,徐宝文,,
来源：中国科学(E辑:信息科学) 年份：2008
针对目前程序切片方法较单一,且其模块性和程序语言适应性较差,提出一种新型的形式化程序切片方法—基于模块单子语义的切片方法.通过设计切片单子转换器,切片这一类计算被抽象成独立于具体语言的切片单子转换器,它可模块化地加载到实际程序中,得到相应的模块单......
[期刊论文] 作者：李鼎文, 张迎周,
来源：南京邮电大学学报(自然科学版) 年份：2023
为了在给定的数据库及特定的使用场景下选取性能更高的数据库指纹，同时完善数据库指纹理论体系，对数据库指纹综合评价进行研究具有强烈的现实意义。针对数据库使用场景，结合传统数字指纹的性能评价指标，建立数据库指纹层次评价指标体系，并提出指标量化和评测数据预处......
[期刊论文] 作者：陈伟,俞雷,张迎周,,
来源：计算机应用 年份：2008
802.11协议中的RTS/CTS机制可以解决隐藏节点问题,通过分析RTS/CTS机制中的安全漏洞,发现由于RTS/CTS握手过程中没有认证机制,攻击者可以通过连续发送设定足够大网络分配矢量值的伪造RTS/CTS帧,以达到拒绝服务攻击的目的。在理论分析的基础上,使用aircrack-ng的......
[期刊论文] 作者：张迎周?张琳,
来源：中国电力教育 年份：2013
摘要：学生计算思维能力的培养需要通过完善的课程体系来实现，教学内容、教学模式、实践环节和考核方式是课程建设中的四大基本要素。探讨了面向计算机专业本科生的“离散数学”课程的课程规划与建设，并进一步提出了加强该课程教学改革的设想。 关键词：离散数学；课......
[期刊论文] 作者：张大维, 张迎周, 曹海燕,
来源：中国新通信 年份：2022
伴随着新时代的发展，信息技术、智能技术、网络技术等新兴技术逐渐在我们的日常生活中普及，为我们的工作生活带来了极大的便利。随着教育信息化的不断发展，高校管理和服务工作也逐渐开始朝着智慧化发展，大大提升了高校的管理和服务工作效率。在当前“互联网+”的背......
[期刊论文] 作者：张迎周, 徐晨晨, 竺殊荣,,
来源：南京邮电大学学报(自然科学版) 年份：2017
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图（SDG）算法,但这种算法缺乏对过程内切......
[期刊论文] 作者：许碧欢, 张迎周, 陈蕾,,
来源：教育与教学研究 年份：2016
高校在实施国家＂卓越计划＂过程中,普遍存在部分通识基础课（如＂高等数学＂）难迎合＂卓越计划＂的＂强化培养学生的工程能力和创新能力＂特点。数学的工程应用创新能力是卓越人才培养的迫切需......
[期刊论文] 作者：张迎周, 张卫丰, 钱俊彦,,
来源：南京邮电大学学报(自然科学版) 年份：2006
程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都...
相关搜索：
