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