期刊文献+
共找到46篇文章
< 1 2 3 >
每页显示 20 50 100
软件代码的防篡改技术 被引量:7
1
作者 沈海波 史毓达 《武汉科技学院学报》 2004年第5期64-67,共4页
针对目前存在的严重软件盗版现象,探讨和总结了防止软件代码被篡改的主要技术,并分析了它们的优缺点。利用一些软硬件防篡改技术,可有效保护软件的知识产权,促进软件产业的健康发展。
关键词 代码防篡改 软件哨兵 断言检查 代码模糊
下载PDF
循环冗余校验方法研究
2
作者 王彩荣 李晓毅 黄玉基 《微处理机》 2002年第2期44-45,共2页
对循环冗余校验码的生成步骤及校验原理做了研究和探讨 。
关键词 循环冗余 信息码 校验码 通信
下载PDF
文艺人民性创作导向的批评标准与检验符码 被引量:9
3
作者 曹帅 《沈阳工程学院学报(社会科学版)》 2021年第2期1-6,共6页
习近平总书记在文艺工作座谈会上明确了文艺人民性的创作导向,号召文艺工作者创作出更多无愧于时代的优秀作品。在中国漫长的文艺发展历程中,人民性是每个时代文艺创作的导向指引。文章透过圆熟而扎实的文学理论和创作实践,为文艺人民... 习近平总书记在文艺工作座谈会上明确了文艺人民性的创作导向,号召文艺工作者创作出更多无愧于时代的优秀作品。在中国漫长的文艺发展历程中,人民性是每个时代文艺创作的导向指引。文章透过圆熟而扎实的文学理论和创作实践,为文艺人民性提炼出“重平实、尚通俗的批评基础”“服务时代与人民的创作立场”“精神引领与感召”“不断提升的审美追求”四个维度的评价标准与检验符码。中国文学正是在这些评价标准和检验符码的相互促进与圆融中,不断拓宽价值领域,走向新的繁荣。 展开更多
关键词 人民性 批评标准 检验符码 文艺
下载PDF
计算机软件的防篡改技术 被引量:4
4
作者 沈海波 史毓达 《现代计算机》 2005年第2期45-48,共4页
随着软件产业的快速发展,软件产品的保护已成为一个十分重要的问题。本文详细介绍了防止计算机软件被篡改的各种技术,并分析了它们的优缺点。
关键词 计算机软件 防篡改技术 软件产业 软件哨兵 软件老化 断言检查 代码模糊
下载PDF
基于模型检测的内存泄露静态测试方法 被引量:5
5
作者 付晓毓 朱利 顾伟 《微电子学与计算机》 CSCD 北大核心 2010年第10期170-173,共4页
在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断... 在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断言插桩进源代码,然后利用模型检测工具验证断言的可达性来判断内存泄露.实验结果表明,该方法是有效的和精确的. 展开更多
关键词 模型检测 内存泄露 代码插桩 静态测试
下载PDF
欧洲、美国规范混凝土结构裂缝控制方法及其与中国规范的对比研究 被引量:4
6
作者 杨晓娟 吉乔伟 +2 位作者 陈群 管永林 郑俊 《建筑结构》 CSCD 北大核心 2020年第7期99-106,共8页
对欧洲、美国、中国混凝土结构设计规范的裂缝控制设计方法及其演变过程进行了系统梳理,并详细对比了各国现行规范中裂缝验算方法。比较发现:1)欧洲规范进行裂缝验算时考虑的因素最全,方法上也呈现出逐渐简化的趋势;现行规范中的验算方... 对欧洲、美国、中国混凝土结构设计规范的裂缝控制设计方法及其演变过程进行了系统梳理,并详细对比了各国现行规范中裂缝验算方法。比较发现:1)欧洲规范进行裂缝验算时考虑的因素最全,方法上也呈现出逐渐简化的趋势;现行规范中的验算方法,设计人员根据实际工程需要选用其一即可。2)美国规范认为混凝土构件裂缝大小存在一定随机性,很难通过计算掌握实际裂缝宽度。因此现行规范ACI 318-14中规定的最大钢筋间距限值,只考虑了受拉钢筋应力和混凝土保护层厚度;该方法简单,易于为工程采用。3)以圭亚那水处理厂混凝土结构为例,分别采用欧洲、美国和中国规范的计算公式验算该结构的裂缝宽度,结果表明各规范裂缝宽度验算结果相差不大,相比较我国规范要求更加严格。 展开更多
关键词 裂缝验算 欧洲规范 美国规范 混凝土结构
原文传递
德国大众V.A.G1552型汽车系统测试仪的应用(Ⅰ) 被引量:4
7
作者 张恩元 徐宗炯 +1 位作者 殷丽娟 徐云晖 《汽车电器》 2002年第1期52-54,58,共4页
汽车免拆故障诊断测试技术在国内外发展迅速 ,德国大众V A G15 5 2型汽车系统测试仪为大众奥迪公司的各类轿车提供了诊断故障、检测各电控系统运行参数和进行基本设定、匹配调整的先进手段 ,介绍了该测试仪的使用方法。
关键词 系统测试 测试仪 德国大众 V.A.G1552型汽车 免拆故障诊断测试技术 应用 使用方法
下载PDF
基于Siemens通信模块的MODBUS RTU免驱动通信 被引量:3
8
作者 刘小斌 徐立平 路建强 《工业仪表与自动化装置》 2015年第4期81-84,共4页
针对西门子CP341/CP441实现MODBUS RTU Master/Slave通信需要单独购买硬件驱动狗的问题,提出基于CP341/CP441硬件自带的ASCII通信物理介质,用软件编程的方式实现MODBUS RTU通信,免驱动的MODBUS RTU方式和第三方设备进行数据交换。实际... 针对西门子CP341/CP441实现MODBUS RTU Master/Slave通信需要单独购买硬件驱动狗的问题,提出基于CP341/CP441硬件自带的ASCII通信物理介质,用软件编程的方式实现MODBUS RTU通信,免驱动的MODBUS RTU方式和第三方设备进行数据交换。实际应用结果表明,该方案免除了购买西门子MODBUS硬件驱动狗的开销,具有值得推广的经济效益。 展开更多
关键词 MODBUS RTU 免驱动 CRC校验 LRC校验 功能码 控制器
下载PDF
模型检测迷惑二进制恶意代码 被引量:3
9
作者 陈超 李俊 +1 位作者 孔德光 帅建梅 《计算机工程与应用》 CSCD 北大核心 2008年第15期61-64,共4页
对二进制恶意代码进行形式化建模,开发了一个检查迷惑恶意代码的模型检查器。生成迷惑前的二进制恶意代码的有限状态机模型,再使用模型检查器检测迷惑二进制恶意代码,如果迷惑二进制恶意代码能被有限状态机模型识别,可判定其为恶意代码... 对二进制恶意代码进行形式化建模,开发了一个检查迷惑恶意代码的模型检查器。生成迷惑前的二进制恶意代码的有限状态机模型,再使用模型检查器检测迷惑二进制恶意代码,如果迷惑二进制恶意代码能被有限状态机模型识别,可判定其为恶意代码。实验结果表明模型检查迷惑二进制恶意代码是一种有效的静态分析方法,可以检测出一些常用的迷惑恶意代码。 展开更多
关键词 静态分析 模型检查 反汇编 恶意代码 自动机
下载PDF
一种(24,12,8)扩展Golay码的译码新方法
10
作者 严玉平 张丽娜 《信息工程大学学报》 2007年第1期102-105,共4页
文章首先简述了(24,12,8)扩展Golay码的性能及一般译码方法,然后介绍了有限域中多项式的性质,根据这些性质,提出一种结合查表的译码方法。该方法和其它算法相比较,计算复杂度低,更适用于时延小、实时性要求高的场合。
关键词 查表法 GOLAY码 非系统码
下载PDF
基于J2EE的结构设计规范验算系统
11
作者 陈明 《计算机工程》 EI CAS CSCD 北大核心 2006年第14期211-213,273,共4页
设计规范是结构设计的重要依据,全面掌握规范的设计思想,合理运用规范的设计条文可以帮助工程师准确、高效地完成设计任务。将设计规范与计算机技术相结合,融入到CAD系统,实现“规范程序化”是工程师的愿望。该文基于协同设计的思想,采... 设计规范是结构设计的重要依据,全面掌握规范的设计思想,合理运用规范的设计条文可以帮助工程师准确、高效地完成设计任务。将设计规范与计算机技术相结合,融入到CAD系统,实现“规范程序化”是工程师的愿望。该文基于协同设计的思想,采用面向对象技术设计了基于J2EE平台的结构设计规范验算系统模型,实践证明该系统在一定程度上降低了结构设计数据处理的工作量,提高了设计效率,改善了设计质量。 展开更多
关键词 结构设计 规范验算 规范
下载PDF
B/S架构下通用的代码实时校验解决方案
12
作者 周宇 叶庆卫 王晓东 《宁波大学学报(理工版)》 CAS 2002年第2期56-58,共3页
针对目前流行的B/S架构 ,分析用户数据录入的交互情况 ,提出一套通用的代码实时校验方案 .该方案把数据代码校验下移至客户端 ,减少了网络访问次数 ,从而提高了整体的校验效率 ,同时方案具有简洁明了、易实现等优点 .经过实际的工程使... 针对目前流行的B/S架构 ,分析用户数据录入的交互情况 ,提出一套通用的代码实时校验方案 .该方案把数据代码校验下移至客户端 ,减少了网络访问次数 ,从而提高了整体的校验效率 ,同时方案具有简洁明了、易实现等优点 .经过实际的工程使用表明 ,该方案适用于一般性的大批量数据录入的环境 ,起到有效防止垃圾数据的输入 。 展开更多
关键词 B/S架构 代码校验 数据录入 网上信息管理系统 数据校验 网络访问 校验原理
下载PDF
一种面向交互代码的构件合约化测试方法
13
作者 赵艳妮 郭华磊 《西安科技大学学报》 CAS 2014年第3期290-295,共6页
构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂... 构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。 展开更多
关键词 构件集成测试 合约检查 粘贴代码 插桩
下载PDF
基于BIM的合规性自动审查 被引量:20
14
作者 林佳瑞 郭建锋 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2020年第10期873-879,共7页
建筑工程合规性审查是确保设计或施工方案满足规范,建设绿色、安全、舒适的工程的关键环节。传统人工核对方式对人员的经验及其水平要求高,存在尺度不一、低效漏项、人为操控等弊端。该文对近年来合规性自动审查的有关研究应用作了全面... 建筑工程合规性审查是确保设计或施工方案满足规范,建设绿色、安全、舒适的工程的关键环节。传统人工核对方式对人员的经验及其水平要求高,存在尺度不一、低效漏项、人为操控等弊端。该文对近年来合规性自动审查的有关研究应用作了全面调研和综述,建立了基于建筑信息模型(building information model,BIM)的合规性自动审查研究框架,并从审查规则解译表达、信息建模扩展、规则推理执行及结果输出表现等方面综述了研究现状和不足之处。最后,指出合规性自动审查的研究方兴未艾,尽管已取得了丰硕的成果,但是仍面临信息模型异构和语义鸿沟,规则自动解译和开放、灵活共享,复杂空间关系分析和大规模推理等巨大挑战。 展开更多
关键词 建设工程 合规性审查 自动规则检查 规则推理 建筑信息模型(BIM)
原文传递
BIM模型智能检查工具在审查平台及消防审查中的应用 被引量:14
15
作者 张荷花 顾明 《土木建筑工程信息技术》 2021年第1期1-7,共7页
随着BIM技术应用的普及,基于BIM技术进行工程项目审查审批逐渐成为业内关注的热点。清华大学自主研发的BIM模型智能检查工具BIMChecker在复杂建筑规范的结构化描述以及基于知识的智能检查方面具有特色。本文结合清华大学与中国建筑科学... 随着BIM技术应用的普及,基于BIM技术进行工程项目审查审批逐渐成为业内关注的热点。清华大学自主研发的BIM模型智能检查工具BIMChecker在复杂建筑规范的结构化描述以及基于知识的智能检查方面具有特色。本文结合清华大学与中国建筑科学研究院在湖南省BIM审查系统消防审查上的创新性合作,阐述将BIM模型智能检查工具应用于BIM审查平台并实现基于机器的消防审查的应用实践。通过融合基于SNL规则的防火规范库构建、检查工具的语义推理功能及语义和几何计算融合的检查功能,审查平台可充分利用BIMChecker工具完善的审查功能提供审查服务,同时保留其在数据标准、流程管理、可视化等方面的原有特色,实现优势互补。本文为国内各省市在探索基于BIM的工程项目审查审批过程中,实现基于机器的智能规范审查提供了参考借鉴。 展开更多
关键词 智能检查 BIM审查平台 建筑规范描述语言 规范审查 领域知识
下载PDF
图书馆图书清点工作实践探讨 被引量:15
16
作者 林小群 《当代图书馆》 2006年第2期52-54,39,共4页
文章主要围绕如何做好图书清点工作而展开,分别从图书清点的必要性、清点的准备工作、清点的方法、清点过程中的问题和解决办法以及清点要注意的问题五个方面全面论述。
关键词 图书馆 图书清点 馆藏建设 准备工作 图书加工
下载PDF
TEQC单点定位的系统性偏差分析 被引量:12
17
作者 范士杰 郭际明 孔祥元 《测绘科学》 CSCD 北大核心 2007年第4期27-28,34,共3页
TEQC是由UNAVCO Facility研制的GPS数据预处理软件,可进行单历元C/A码伪距单点定位的计算,获得各历元GPS接收机的WGS84坐标。利用TEQC对大量GPS观测数据的计算表明:TEQC软件的单点定位结果在东坐标和高程方向上带有明显的系统性偏差。... TEQC是由UNAVCO Facility研制的GPS数据预处理软件,可进行单历元C/A码伪距单点定位的计算,获得各历元GPS接收机的WGS84坐标。利用TEQC对大量GPS观测数据的计算表明:TEQC软件的单点定位结果在东坐标和高程方向上带有明显的系统性偏差。作者研制的单点定位软件GPP,由于考虑了地球自转、对流层折射和电离层折射等误差对GPS定位的影响,因此单点定位的结果较为准确,而且对上述系统性偏差产生的原因进行了分析和探讨。 展开更多
关键词 TEQC C/A码伪距 单点定位
下载PDF
增强型Web登录安全策略研究 被引量:10
18
作者 于国防 王军号 《计算机工程与设计》 CSCD 北大核心 2005年第12期3276-3277,3294,共3页
基于因特网应用的安全策略始终是备受关注和重点研究的问题。分析了传统Web登录安全策略的基本原理及其缺陷,论述了借助Web服务器Session对象,综合运用动态数据网页技术与图片验证码技术,增强Web用户登录安全策略的具体实现方法,最后对... 基于因特网应用的安全策略始终是备受关注和重点研究的问题。分析了传统Web登录安全策略的基本原理及其缺陷,论述了借助Web服务器Session对象,综合运用动态数据网页技术与图片验证码技术,增强Web用户登录安全策略的具体实现方法,最后对实现方法的进一步完善提出了建议。 展开更多
关键词 Web登录 安全策略 组件 ASP 图片验证码
下载PDF
BDS/GPS卫星数据质量分析软件开发及应用研究 被引量:11
19
作者 金蕾 吉渊明 +1 位作者 唐卫明 张永峰 《大地测量与地球动力学》 CSCD 北大核心 2016年第9期837-840,846,共5页
通过对TEQC数据质量模块相关算法进行分析,实现了支持RINEX2、3格式的BDS/GPS卫星数据质量分析软件DataQC的开发,其主要参数包括数据完整率、多路径指数、信噪比和周跳等,并增加卫星分布状况以及电离层、接收机硬件延迟偏差估计功能。... 通过对TEQC数据质量模块相关算法进行分析,实现了支持RINEX2、3格式的BDS/GPS卫星数据质量分析软件DataQC的开发,其主要参数包括数据完整率、多路径指数、信噪比和周跳等,并增加卫星分布状况以及电离层、接收机硬件延迟偏差估计功能。通过多组数据验证,软件计算指标与TEQC结果具有较高的一致性;在电离层估计方面,与全球电离层格网(global ionosphere maps,GIM)插值计算结果的RMS在3TECu之内,并可用于接收机硬件延迟偏差稳定性的分析。 展开更多
关键词 BDS 数据质量分析 电离层建模 多路径 接收机硬件延迟
下载PDF
一种基于单片机的短距离无线通信抗干扰方法 被引量:10
20
作者 陈定三 周达左 杨慧中 《测控技术》 CSCD 北大核心 2009年第7期95-98,共4页
利用单片机和射频模块进行无线数据通信时,通过单片机的串行I/O口来完成数据的串行通信存在许多不足之处,如差错检测能力差、无纠错功能等。针对以上问题提出了一种通过单片机和射频模块以软件方式实现短距离无线通信抗干扰的技术。用... 利用单片机和射频模块进行无线数据通信时,通过单片机的串行I/O口来完成数据的串行通信存在许多不足之处,如差错检测能力差、无纠错功能等。针对以上问题提出了一种通过单片机和射频模块以软件方式实现短距离无线通信抗干扰的技术。用高低电平持续不同时间的矩形波来表示数据位‘0'和‘1';采用CRC冗余校验实现数据的错误检验;利用瑞德-所罗门码实现数据的错误纠正。将该方法应用于电动滑板车的短距离通信设计中,实验表明,该方法使系统抗干扰能力有显著的提高。 展开更多
关键词 单片机 通信抗干扰技术 CRC冗余校验 瑞德-所罗门码
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部