一致性分析
在电子工程世界为您找到如下关于“一致性分析”的新闻
一致性分析资料下载
交互小波分析及其一致性分析，用于分析两个相关的时间序列之间存在的相互关系及一致性。...
如何根据PCIE的标准及其众多的子标准定义的测试规范和分析方法进行一致性测试，同时讨论如何对SSC(扩频时钟)进行验证和分析。关键词：PCI-Express，PLL（锁相环），时钟恢复，眼图，抖动，模板，SSC（扩频时钟）。引言：随着计算机及通讯设备的性能要求越来越高，传统的低速的并行总线如PCI等的数据吞吐量已经无法满足要求，PCI Sig组织联合了一线的芯片厂商和测试测量仪器厂商制定了...
E6651A 移动WiMAX 测试仪等，可对元件和系统性能进行分析，因而使WiMAX 设计成为流线型设计（参见图2）。设计验证与预先一致性测试在研发期间，工程师们必须确认他们的设计是否符合WiMAX 标准。并且，为了保证基站和用户服务站符合不同国家所制定的各种条例，必须对WiMAX 接收机和发射机都进行测试。此时，WiMAX 信号的生成、检测、解调和故障诊断能力至关重要。用于802.16 WiMAX软件...
串行数据物理层一致性测试系列之三 — 快速进行USB2.0的一致性测试与分析...
针对一致性规划的高度求解复杂度，分析主流一致性规划器的求解策略，给出影响一致性规划器性能的主要因素：启发信息的有效性，信念状态表示方法的紧凑性和最终问题求解机制的效率。分析信念状态的表示方法和相应的求解机制，并比较不同表示方法在不同条件下的优劣。讨论一致性规划的未来研究方向和发展趋势。关键词：智能规划；不确定性规划；一致性规划...
如何进行PCI-Express的一致性测试和分析:PCI-Express串行标准越来越广泛地在计算机行业应用，作为芯片与芯片之间，系统与插卡之间，系统与系统之间的高速连接，由于不同设备可能由不同的厂商提供，为了保证设备之间可靠的互联互通，必须对其接口进行一致性测试。同时高速串行信号容易对系统内部或者外部产生EMI辐射和干扰，PCIE标准定义了SSC(扩频时钟）来减少EMI，但是SSC如果使用不当...
分析处理 190
5.7.2 数据仓库概述 192
5.7.3 数据仓库的设计方法 194
5.8 数据挖掘技术 195
5.8.1 数据挖掘概述 195
5.8.2 常用技术与方法 197
5.8.3 数据挖掘技术的应用 200
第6章 系统配置与性能评价 202
6.1 计算机系统层次结构 202
6.1.1 计算机硬件的组成 202...
ECE R95法规对轿车车体总成进行了侧撞仿真分析，并与实车碰撞试验数据进行了比较，验证了二者的一致性。针对试验和仿真结果中出现的问题，提出了比较优化的改进方案，并对改进方案进行了二次仿真，结果显示改进方案提高了车体侧面抗撞性，方案是可行的。本文介绍了一套组合多种应用软件并适用于碰撞仿真分析的方法，并在国内较早地对轿车车体侧面抗撞性进行了仿真分析，探索出一条有效可行的工作程序，对其它同类车型的侧面抗...
订票系统2·4·1&实例研究概述2·4·2&飞机订票系统中的分布要求分析2·4·3&飞机订票系统中的分布设计2·5&自底向上设计分布式数据库2·5·1&自底向上设计分布式数据库要解决的问题2·5·2&构造全局模式的设计问题和解决方法2·5·3&自底向上综合的一个例子2·6&本章小结第三章&分布式查询处理和优化3...
传火管输出性能测试系统:目的：传火管各个喷口输出性能一致性测试。一致性指标：火焰温度、火焰冲量、管壳压力分布、管壳温度分布。1 技术性能和参数（1）测量传火管输出性能，包括火焰动态温度、动态压力、冲量和管内动态温度；（2）比较传火管各喷口输出性能的一致性；（3）动态温度测量误差：8%F.S.（4）动态压力测量误差：8%F.S.（5）管内动态温度测量误差：10%F.S.（6）适用环境：室内试验室...
一致性分析相关帖子
极片在线测厚仪测量标准：电池极片泡沫状物厚度约0.56MM，中间压片部分厚度0.14MM，涂料部分厚度约0.60MM。物料移动速度 2－4米/每分钟测试多点电池极片的厚度，锂电池，各点的测试数据可以在电脑上实时显示测量的实际数据。测量的数据保存在不同的文本文档中，以备分析数据。
锂电电极在线扫描式非接触铜箔铝箔涂布在线隔膜极片厚度测量系统装置本系统用于在线实时的检测锂离子电池正、负极片浆料涂...
（包括 PrecisionProbe）
预装的一致性测试软件综合了标准委员会中众多是德工程师的专业知识，而用户能够自定义应用程序附件，提供更大的灵活性。支持多种新兴技术，包括 SAS 6G、SATA 6G、SAS 12G、GDDR5、PCIe gen 3、DisplayPort 1.2、QPI、10GBaseKR 等
MATLAB® 软件由是德直接提供，适用于开发定制测量和分析例程...
应用——通用
EMI 预先一致性
灵活的数字调制分析
1．限制性保护：规定最高输入射频电平和造成永久性损坏的最高电压值：直流25V，交流峰峰值100V。
2．预热：测试须等到OVER COLD消失。
3．自校：使用三个月，或重要测量前，要进行自校。
4． 系统测量配置：配置是测量之前把测量的一些参数...
50mW情况下，LoRa在各个状态的功耗可由电流得出: 发射85mA，接收10mA，休眠4uA，发射、接收和休眠功耗都是LoRa模块硬性的功耗支出，任何厂家也无法改变，由此可见模块消耗的功耗主要是发射和接收状态下（当然，常年工作的情况下休眠功耗也很可观，可另做分析），在实际场景中，水表抄表事件发生的概率并不高，如每月抄表，每天抄表，每小时抄表，为了节省电池功耗，厂商只能通过控制LoRa的工作方式节省功耗...
20 GS/s 的最大实时取样速
率，所捕获到的关键性事件，细节俱在，得来全不费功夫。
　　一枝独秀的DPX 信号采集技术，可使波形捕获速度高达每秒400,000 个，可在几秒或几分钟内，
而不是几个小时或几天，迅速发现罕见的毛刺。创新性的软件解决方案可为高级分析和一致性测试提
供所需领域的专业化功能，OpenChoice体系结构则可使用户通过这一能力将其专业知识与之结合，用
以轻松地...
允许你坡道生产比过去更快速。iqfact / iqfact 解决方案提供最快的生产部署的/ iqfact +“认证”的芯片组功能的器件测试程序控制的设备和测试仪。
IQ2015无线测试仪测试备注；
优秀的专业维修人员，能够精准的分析故障并及时做出维修方案，
完善的维修流程，保证最短的维修周期
全方位的测试方案，保证维修后仪器的可靠性和一致性
全面的信息系统，使客户能够及时了解仪器的维修...
几天，迅速发现罕见的毛刺。创新性的软件解决方案可为高级分析和一致性测试提供所需领域的专业化功能，OpenChoice体系结构则可使用户通过这一能力将其专业知识与之结合，用以轻松地编写定制程序，或使用流行商业软件。直观的图形用户界面可为熟练的用户提供高精能力，而偶尔使用示波器的用户，也能一望而知各项控制的功用，毫无眼花缭乱之感。
长期高价上门收购|各类进口二手电子仪器：二手仪器仪表,二手仪器回收...
做模拟电路的工程师，都有过使用晶体管(场效应管也是晶体管中的一种)、运放的经验和体会。尤其是在设计时，更会对晶体管的一些电参数进行测试和考量。在测试时，许多人对晶体管电参数的实测值与规格书所提供的规范值，为什么会有很大差异，感到不可思议。有时，一些工程师会用实测值来要求供应商，也有一些工程师会把一些特殊参数作为常规参数进行处理。这样的后果就是整机产品一致性、重复性差，严重时还会出现达不到设计指标...
5.由于需求验证手段匮乏，所以需求验证不执行或靠人的经验评审，导致项目的需求文档本身无法保证一致性、全面性，需求规格不合规；
6.需求文档的离散管理，严重影响项目进程中的需求变更、变更影响分析、需求评审等工作。
& && &&&需求分析以系统规格说明和项目规划作为分析活动的基本出发点，并从软件角度对它们进行检查与调整。同时...
(邓R)& &售后服务热线：6地址：深圳市宝安区沙井荣泰园B1栋1101室& &20 GS/s 最大实时取样速率内置一致性模板测试，高达 2.5 Gb/s 的光接口和点接口串行数据流速率内置光参考接收机，保护系统校准的完整性内置硬件时钟恢复，无需更多连接，使用方便高达64 MB的记录长度，采用MuLtiView Zoom?迅速...
一致性分析视频
一致性分析创意
你可能感兴趣的标签
热门资源推荐966,690 三月 独立访问用户
语言 & 开发
架构 & 设计
文化 & 方法
您目前处于：
自动化测试中的测试执行自动化
自动化测试中的测试执行自动化
日. 估计阅读时间:
不到一分钟
Author Contacted
相关厂商内容
相关赞助商
QCon北京-18日，北京&国家会议中心，
告诉我们您的想法
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
赞助商链接
架构 & 设计
文化 & 方法
<及所有内容，版权所有 &#169;
C4Media Inc.
服务器由 提供, 我们最信赖的ISP伙伴。
北京创新网媒广告有限公司
京ICP备号-7
注意：如果要修改您的邮箱，我们将会发送确认邮件到您原来的邮箱。
使用现有的公司名称
修改公司名称为：
公司性质：
使用现有的公司性质
修改公司性质为:
使用现有的公司规模
修改公司规模为：
使用现在的国家
使用现在的省份
Subscribe to our newsletter?
Subscribe to our industry email notices?
我们发现您在使用ad blocker。
我们理解您使用ad blocker的初衷，但为了保证InfoQ能够继续以免费方式为您服务，我们需要您的支持。InfoQ绝不会在未经您许可的情况下将您的数据提供给第三方。我们仅将其用于向读者发送相关广告内容。请您将InfoQ添加至白名单，感谢您的理解与支持。您当前的位置 ：
<input type="hidden" name="op" value="">
四川通报职称外语违规情况 2289考生被取消成绩
来源：华西都市报
本周六(4月7日)，职称外语、古汉语、医古文等考试将在全省举行，预计将有7万多考生参考。昨日，(四川)省人事考试中心通报了去年职称外语考试违纪违规处理情况，2289名考生因为违纪违规，取消了职称外语考试成绩，其中241人禁考两年。同时还通报了去年年底全国经济技术资格考试考场试卷雷同情况，决定取消试卷雷同的56名考生成绩。
241名考生被禁考两年
本周六的职称外语等考试参考考生将有7万多人，比去年增加了1万多人。在考试前，省人事考试中心通报了去年职称英语考试违规违纪的处理结果。去年职称英语考试现场查获各类种考场违规违纪的考生572人，其中241人作弊情节严重，如请人代考或代替他人参考、使用非法器材等，不仅被取消考试成绩，还禁考2年；根据《专业技术人员资格考试违纪违规行为处理规定》的规定，在阅卷时，发现考场内试卷严重雷同抄袭的327人，跨考场雷同167人，全部取消考试成绩；开考发卷考生登记的代码与阅卷查验代码不一致的1223人，也全部取消考试成绩。
“取消成绩的2289人中，很多人可能达到合格分数线。”省人事考试中心有关负责人说，按照人社部的规定：为杜绝考场抄袭等作弊行为，阅卷时将对所有考生答案的雷同率和试卷代码的一致性进行对比分析监测，无论抄袭、被抄袭，凡被认定为雷同和试卷代码异常，均取消考试成绩。
同时，去年年底全国经济技术资格考试考场试卷有12个市州共56名考生抄袭严重，被取消了当次考试的全部考试成绩。
严查作弊 确保公平公正
“本周六的职称外语考试，将继续实行封闭式考试，考试结束后考生才能离场。”该负责人说，考生进入考场时，将逐一核查身份证等证件，防止代考。查证时还配备了专门查假身份证的仪器，防止利用假身份证替考。全省各考点均有公安机关参与考务工作，考试各环节任何时候发现违法情形，公安机关均要依法处理。
“考试时一定要注意遮挡试卷，以防周围考生抄袭，不然就有可能被判为雷同试卷。同时要准确填写试卷代码并签名。”该负责人说。
针对考试前有部分不法机构向考生发送短信称有“真题”。省人事考试中心提醒考生，切勿参与，首先是上当受骗的几率极大，二是如被查实内容与试题或答案相同达到一定程度，将面临“非法持有国家秘密罪”的刑事处罚。据公安机关透露，去年的各项考试中已有多名考生因此而被追究刑事责任。
<input type="hidden" name="op" value="">
作者：记者 姚长寿 编辑： 陈雪焦
##rep-begin##
##username####commenttime##
##commentcontent##
##rep-end##基于时序逻辑的双向一致性检测--《华东师范大学》2015年硕士论文
基于时序逻辑的双向一致性检测
【摘要】：软件形式化是当前构建安全可信软件系统的重要方法之一。由形式化模型驱动软件开发过程中,开发人员需要首先建立一个形式化的模型并验证其正确性,然后基于该模型开发系统的代码实现。由于技术所限,目前模型自动转换技术还不足以帮助技术人员完全自动化地完成代码转换工作,转换过程仍然需要涉及大量的人为工作。因此,保证模型与代码的一致性的任务必须贯穿整个开发流程。在理想的情况下,模型是经过验证被认为相对正确的,故只需要使用基于模型的测试方法检测软件代码针对软件模型的一致性。然而,随着当今软件系统规模的不断增大,需求变动越来越频繁,对应的软件开发流程也变得越来越灵活,代码有时会先于模型被修改。例如,反向工程或项目重构的需要；在需求的临时变更导致代码亟需修改；对关键代码反向抽取模型进行形式化验证的情况等。传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了模型修改效率并增加了系统的潜在隐患。为此,本文对传统基于模型的测试方法的一致性检测进行了扩展,提出了一个可以双向检测模型与代码一致性的框架。该框架通过基于模型的测试从测试结果中抽取表达模型与代码的不一致的系统性质,并将其转换为可直接用于模型检测的时序逻辑公式。通过这些时序逻辑公式,可利用模型检测技术对软件模型进行自动化验证,从而检测并指导模型的修改过程,最终确保模型与代码的一致性。同时,本文也给出了一个上述双向一致性检测框架的实现ProMiner。ProMiner接受Event-B作为其建模语言,并构建于Event-B的开源集成开发环境Rodin之上,作为Rodin的一个插件发布。同时,借助模型检测工具ProB以及线性时序逻辑(LTL)作为自动化检测工具并提供了测试用例生成,测试执行监控,LTL生成与优化等功能。实验结果表明,ProMiner能有效查找软件模型和代码间的不一致并生成可直接检测模型的系统属性性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性而且大大减少了人力开销。
【关键词】：
【学位授予单位】：华东师范大学【学位级别】：硕士【学位授予年份】：2015【分类号】：TP311.52【目录】：
摘要6-7ABSTRACT7-11第一章 绪论11-16 1.1 研究背景11 1.2 国内外研究现状11-13 1.3 关键问题与技术路线13-14 1.4 本文的主要贡献14 1.5 本文的组织结构14-16第二章 相关概念介绍16-19 2.1 形式化建模16-17 2.2 模型检测17 2.3 时序逻辑17-18 2.4 基于模型的测试18 2.5 本章小结18-19第三章 一个热水壶系统实例19-23 3.1 模型概述19-20 3.2 系统行为详述20-21 3.3 可能出现的不一致情况21-22 3.4 本章小结22-23第四章 双向一致性检测23-38 4.1 基本流程23-24 4.2 基于模型的测试及其扩展24-28
4.2.1 测试用例生成24-25
4.2.2 测试用例扩展25-26
4.2.3 测试用例执行26-28 4.3 时序逻辑公式抽取28-36
4.3.1 测试结果比对与不一致分类28-30
4.3.2 时序逻辑公式转译30-33
4.3.3 时序逻辑公式优化33-35
4.3.4 生成时序逻辑示例35-36 4.4 与模型检测工具结合36-37 4.5 本章小结37-38第五章 双向一致性检测框架：ProMiner38-41 5.1 技术选型与架构38 5.2 组件介绍38-40 5.3 本章小节40-41第六章 实验分析41-45 6.1 实验方法与内容41-42
6.1.1 多功能智能卡系统41-42
6.1.2 热水壶系统和电梯系统42 6.2 实验数据42-43 6.3 结论与分析43 6.4 本章小结43-45第七章 总结与展望45-47 7.1 全文总结45 7.2 后续工作展望45-47致谢47-48参考文献48-52附录 攻读学位期间发表的学术论文52
欢迎：、、)
支持CAJ、PDF文件格式
【相似文献】
中国期刊全文数据库
黄佳;;[J];信息通信;2012年04期
谢扬光;[J];长春邮电学院学报;1986年02期
姜文彬;[J];计算机学报;1989年04期
姜文彬;[J];山东建材学院学报;1995年02期
贾国平,郑国梁;[J];软件学报;1997年09期
吕娜;;[J];程序员;2009年12期
张春早;;[J];湖北机械;1980年04期
冯玉琳;林惠民;唐稚松;;[J];计算机研究与发展;1985年10期
姜文彬;[J];电子学报;1986年06期
曹立明,施润身;[J];上海铁道大学学报;1998年12期
中国重要会议论文全文数据库
章超;李彩虹;李廉;;[A];2005年全国理论计算机科学学术年会论文集[C];2005年
冯荷飞;曹子宁;;[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
吴彪;朱立新;赵佳;;[A];系统仿真技术及其应用（第7卷）——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
中国博士学位论文全文数据库
刘万伟;[D];国防科学技术大学;2009年
杨琛;[D];西安电子科技大学;2010年
万良;[D];贵州大学;2009年
张南;[D];西安电子科技大学;2012年
赵常智;[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库
张丽;[D];西安电子科技大学;2007年
杨琳琳;[D];南京航空航天大学;2010年
韩冰;[D];哈尔滨工程大学;2010年
田聪;[D];西安电子科技大学;2007年
林丽秀;[D];电子科技大学;2013年
赵延珂;[D];郑州大学;2014年
李亚利;[D];陕西师范大学;2013年
葛徐骏;[D];华东师范大学;2015年
黄贻望;[D];贵州大学;2009年
张鹏飞;[D];西安电子科技大学;2006年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 大众知识服务
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备75号数学一致性分析表-学网-提供健康,养生,留学,移民,创业,汽车等信息
数学一致性分析表
函数序列一致收敛则必定点态收敛,这个由定义直接得到 至于理解方面,要注意一致收敛不说明收敛速度相同,只能大致说没有收敛特别慢的地方,精确的讲法还是得回到定义函数值fn(x)都收敛到f(x),但是不同点收敛快慢可能不一样。 一致收敛指所有fn(x)大约"同... 祝您学业进步,谢谢。 如果问题解决后,请点击下面的"选为满意答案" 学习高等数学最重...而一致收敛的N是先取的,是对所有x都适用的。这个就是最大的区别: 逐点收敛指在每个点,函数值fn(x)都收敛到f(x),但是不同点收敛快慢可能不一样。 一致收敛指所有fn(x)...令g(x)=f(x) x∈(a,b) g(x)=f(a+) x=a g(x)=f(b-) x=b 显然g(x)在[a,b]内连续,所以一致连续。当然在(a,b)连续。 g(x)在(a,b)正好为f(x)史济怀《数学分析教程》中函数项级数那里的一个例题。另外在谢惠民《数学分析习题课讲义》下册函数项级数部分也是例题 必要性部分是容易的,但是充分性部分需要分三段...都存在一个只与ε有关与x无关的正整数N,使得对于任意的n&N以及x∈A都有|x∧n|&ε。即N&lnε/lnx,但是当x趋于0时,N趋于无穷,并没有一个固定的N,所以不一致收敛。...很显然 fn(x) 收敛于 0, 可以用定义证明一致收敛 对任何 ε&0, 由于 lim (1-1/n^2)^n = 0, 存在正整数 N1, 当 n & N1 时 (1-1/n^2)^n & ε, 从而 1/n^2 &= x &=1 时 x(1-x)^n &...b)上一致连续的函数只要满足f(x)在(a,b)上连续,且f(a+)和f(b-)都存在即可.由此也可以看出,闭区间和开区间之间的差别很重要的一点就体现在f(a+)和f(b-)的存在性不同上.还可以多...简单来说,一致有界从函数图像上来说就是:连续函数,且y的值不存在正无穷情况这些题有一定的难度,既考查了学生基础知识,又综合考查了学生分析、比较、辨析、推... 既是生活中的实际问题,需要用数学知识解答,但又综合活用数学知识,并且趣味性强。 ...
您可能还关注:&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
大类导航： |