动态验证相关论文
目前的可信计算平台只验证应用程序的静态散列值，不能防止恶意代码对应用程序的动态攻击。本文提出了一个基于静态分析的可信计算动......
随着互联网的普及，基于Web的应用需要越来越强大的并发能力来应对用户的请求。Java语言是最早原生支持并发的主流程序设计语言，在Web......
随着多核时代的到来，共享内存的多线程编程开始普及。多个线程在并发访问共享内存时会存在内存一致性问题。Java语言通过直接在语言......
目前，随着计算机和网络技术的迅速发展，实时系统已越来越广泛地应用于国防工业、航空航天工业、交通运输业、制造加工业、流程生产行......
污点分析,作为一种信息流分析的实现形式,建立来自不可信方法和参数的值是否可以流动进入安全敏感操作的分析模型,以此来找到Web应......
目的:建立拉曼光谱快速无损筛查液体注射液和大输液的数据库。方法:对拉曼无损检测液体的方法制定规范化操作规程(SOP),对每个注射......
计算机技术的发展使自动化测试成为可能,而软件项目开发周期的大大缩短和软件复杂程度的增加,使自动化测试成为软件测试发展的必然......
华庆油田长6油层组属于超低渗储层，发育湖泊水下扇砂体，可划分出三个亚相七个微相，砂体分布主要受辫状水道微相控制。此类储层地质特......
因为社会技术进步,对于自动协商电路研究逐渐精进.关于芯片验证方法不断先进,不再使用旧的芯片的验证方法,更新新方法,对于验证方......
树322区块位于YSL油田东区，属于低渗油田，主要开采扶余油层和杨大城子油层。自投入开发以来，暴露出产量递减速度快、层间和平面矛盾突......
随着放疗技术的发展与进步，特别是容积调强和质子重离子放疗为代表的技术手段，使肿瘤靶区能够得到更大的致死剂量，并且在靶区的边缘能......
讨论了Goldbach第一猜想微观结构的动态验证,并对Goldbach第一猜想进行反思和探源,指出自然数的球体结构符合宇宙万物成因模式.......
介绍Ajax技术,阐述Ajax工作原理,并实现在ASP Web应用程序中使用Ajax技术的数据动态验证,提高系统效率和用户体验性.......
针对动态图编码时间复杂度较高的问题,提出一种四进制编码方案,利用空间换时间的思想,通过增加两个专门用来编码系数的指针域,在空......
随着系统级芯片(System on Chip,SoC)中输入/输出(I/O)接口数量和复用功能的不断增加,I/O复用电路的验证变得越来越复杂,并且需要......
提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和......
为了验证用地震资料、钻井钻遇断点资料组合出来的小断层结果是否正确，以注入示踪剂资料为依据，以相关理论为指导，利用油水井动态资料......
三维地震解释成果虽然比二维地震精度有很大提高，但是受人员和设备等多方面因素影响，对于小尺度地质微构造解释仍然存在一定程度误差......
SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静......
为了改善渭北油田自投产以来出现的油井生产效果差、部分井组注呆对应率不高的问题，需提高对渭北油田储层砂体间连通性的认识。以Mi......
列车轮对轴温探测设备对保证列车安全运行发挥着越来越重要的作用。文章在总结该设备静态标定验证的基础上，根据列车运行的实际状况......
现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有......
双奇数相加等于一个偶数，根据素数的形成机理，从而尔代数的逻辑运算和周期函数的相角矩阵分析，都得出了大于４的任何偶数都可表示成两个......
针对环境中存在的不确定性因素对信息物理融合系统（CPS）的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证......
仿真模型动态数据常具有非线性和非平稳性，如何有效提取动态数据的验证指标和利用动态数据指导模型修改是仿真模型动态验证需要解决......
Ｓｅｎｄｍａｉｌ作为免费的邮件服务器软件，已被广泛应用于Ｉｎｔｅｒｎｅｔ备种操作系统中用来作为邮件服务器。但是近年来Ｓｅｎｄｍａｉｌ的安全问题显得越来越突出，给网络管理者增......
提出一个基于XML技术的数据访问接口模型,该模型采用一种高效的线程池结构,利用XML相关技术解决了数据集成过程中涉及的接口定义、......
在软件工程日趋发展的今天,随着系统规模的不断扩大,软件应用越来越广泛,软件开发过程也越来越灵活。与此同时,软件的开发难度也越......
随着科技的进步,新型复杂系统例如人机物融合系统(Human Cyber-Physical Systems,HCPS)已经与人类社会生活越来越密不可分。软件系......
特低渗透储层依靠压裂产生的裂缝才能生产。为了研究裂缝的分布,采用气相色谱指纹法分析对比不同原油样品的指纹特征,依据指纹相似......
随着金融危机后的全球经济复苏与世界重心回归实体经济的发展趋势,科技创新与产业革命为社会带来了新机遇,新兴产业成为新一轮的发......
随着我国高速铁路建设的持续发展,路网规模不断扩大,高速铁路枢纽逐步增多、加大,新建高铁线路如何安全、高效地引入既有高铁枢纽......
目前的云数据完整性验证方案多使用单一验证方法,用户数据性质的多样性导致其难以满足所有的用户需求。针对该问题,提出一种混合的......
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通......
片上多核处理器和片上众核处理器已成为目前处理器结构的主流方向。在处理器从单核向多核(众核)演进过程中,多核处理器中的存储系......
随着硬件产品性能和数据处理能力的不断提升,网络通信技术的飞速发展,计算机系统的信息化与智能化程度的提高,对于各种工程系统和......
Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本......
Moga油田是苏丹6区最重要的油田之一,在该油田的勘探中发现的新的潜在有利构造和目标区将为此油田维持和增加石油产量做出很大贡献......
对于小学生来说,空间观念的形成不是一蹴而就的,而是渐进发展的过程。在课堂教学中,教师应抓住几何知识教学的各个认知阶段",动""......
目前,工作流管理系统不能有效的处理时间管理问题,为了动态预测活动发生的时间间隔,验证时间的一致性,预知潜在的时间冲突,首先建......
曙三区杜家台油层自1975年开发以来,已经历40多年的开发,目前油水关系十分复杂,如何提高油田开发效果已成为急需解决的问题。杜家......
随着计算机技术应用的日益广泛，目前在国内外航天飞行器上采用软件实现的功能越来越多，软件的规模也越来越大。通过对航天计算机系统......
随着芯片设计规模的急剧增大,如何在短时间内有效验证整个芯片的功能已经逐渐成为产品快速上市的瓶颈。有数据表明,验证工作已经占......
<正>近日,特高压±800kV祁韶直流调相机动态验证试验圆满完成,为确保特高压安全稳定运行提供有力支撑;该试验在国家电网系统尚属首......
基于流和上下文敏感的SSA（static single assignment）信息流分析技术，提出了一种细粒度、可扩展的污点传播检测方法，利用控制流和数据......
