泰克推出最新高性能逻辑分析仪模块

2008年11月5日,全球领先的测试、测量和监测仪器提供商——泰克公司日前为泰克TLA7012便携式逻辑分析仪和TLA7016台式逻辑分析仪系列推出新的136通道TLA7BC4逻辑分析仪模块。新模块完善了最近推出的TLA7BBx模块。拥有20ps（50GS／s）的定时分辨率和高达128Mb的记录长度,新的TLA7BCA模块将是一系列一流嵌入式应用包括DDR3—1600、MIPI,以及如英特尔QuickPath互连技术等尖端计算机应用的理想解决方案。     

泰克新推出的串行分析仪TLA7S16和TLS7S08完善PCI Express 2.0测试解决方案

<正>为PCIe2.0提供最佳的逻辑分析仪解决方案;提供电源管理和跨总线分析功能;新探头使接入更加简便全球领先的测试、测量和监测仪器提供商——泰克公司(NYSE:TEK)近日宣布,为测试和验证PCI Express(PCIe)1.0和2.0设计推出新的TLA7S16和TLA7S08串行分析仪。与竞争对手的协议分析仪不同,泰克新的串行分     

泰克为PCI Express 3.0推出逻辑分析仪测试解决方案

泰克公司宣布，为下一代PCIe规范PCI Express3．0推出完善的测试解决方案，用一个工具涵盖协议层分析和物理层分析。泰克最新推出的TLA7SA16和TLA7SA08逻辑协议分析仪模块、总线支持软件和探头相结合，使得PCIe3．0开发人员能够以独有的方式查看系统行为的时间相关特点，从协议层分析开始一直到物理层，调试难检问题的根本原因。     

泰克为PCIExpress3．0测试解决方案增添新功能

泰克公司宣布，TLA7SA08和TLA7SA16逻辑协议分析仪模块新增了软件功能，支持下一代PCIe规范，即PCIExpress3．0规范。新的功能包括创新的鸟瞰图（BEV），帮助工程师洞察和分析复杂的流控制问题，并且只需一键式校准和自动配置，从而使PCIe系统调试和分析变得更迅速，更容易。     

泰克新近推出两款逻辑分析仪

2005年5月31日，全球领先的测试、测量和监测仪器厂商——泰克公司宣布，新近推出两款逻辑分析仪TLA7012便携式主机和TLA7016台式主机。这两款主机兼容所有现有的TLA模块，其吞吐量至少比以前的主机型号提高了3倍，可以更快地分析数据，更迅速地缩放、搜索、滤波和滚动数据。这两款逻辑分析仪都采用Windows XP Professional操作系统及最新的Intel Pentium处理器，其分析速度是最近的竞争对手产品的2倍。     

泰克推出经济型TLA6400逻辑分析仪

泰克公司推出TLA6400系列便携式逻辑分析仪,将高性能与经济性完美结合。TLA6400系列包括34、68、102和136通道配置,提供25GS／s高速定时分辨率、最高667MHz状态定时、最大64Mb记录长度和泰克独有的iCapture功能。     

泰克新推出世界上速度更快、功能更强大、更简便易用的逻辑分析仪

向下兼容能力为实现更新一代技术提供了道路,以旧换新方案则鼓励广大客户采用最新产品2005年5月31日,毕佛顿,俄勒冈州,全球领先的测试、测量和监测仪器厂商-泰克公司(NYSE:TEK)日前宣布,最新推出两款逻辑分析仪-TLA7012便携式主机和TLA7016台式主机。这两款主机兼容所有现有的TLA模块,其吞吐量至少比以前的主机型号提高了三倍,可以更快地分析数据,更迅速地缩放、搜索、滤波和滚动数据。这两款逻辑分析仪都采用Windows XP Professional操作系统及最新的Intel Pentium处理器,其分析速度是最近的竞争对手产品的两倍。高速串行总线、特…     

泰克推出最新的串行分析仪，完善PCI Express 2.0测试解决方案

俄勒冈州毕佛顿，2007年9月18日讯-全球领先的测试、测量和监测仪器的提供商--泰克公司（NYSE：TEK）日前宣布，为测试和验证PCIExpress（PCIe）1．0和2．0设计推出新的TLA7S16和TLA7S08串行分析仪。与竞争对手的协议分析仪不同，泰克新的串行分析仪产品以独一无二的方式提供了详细的PCIe2．0协议信息及跨总线分析功能。它们增强了业内最完整的PCIe测试解决方案，使得开发下一代高速计算平台成为可能。[第一段]     

泰克BERTScope增加PCIe3．0接收机测试支持

泰克公司发布使用BERTScopeBSA85C完成PCIExpress3．0接收机测试的MOI草案。这一方案是对之前验证PCIe3．0的接收机和信道性能方案的补充,包括DPO／DSA／MS070000系列示波器、屡获大奖的TLA7SAl6以及TI,A7SA08逻辑协议分析仪模块、总线支持软件和探测解决方案。     

泰克TLA7SA00系列逻辑分析仪荣获最佳测试奖

2011年5月25日,全球领先的测试、测量和监测仪器提供商——泰克公司日前宣布,其TLA7SA00系列逻辑分析仪在《Test & Measurement World》的2011年度评奖活动中荣获最佳测试奖。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

泰克新型逻辑分析仪入选年度Hot100产品

2011年1月19日,全球领先的测试、测量与监测仪器提供商——泰克公司宣布,TLA6000系列逻辑分析仪被EDN杂志评为2010年度Hot100产品。此项殊荣旨     

基于FPGA逻辑分析仪的设计

研制了一种基于FPGA逻辑分析仪的实现方案,系统包含简易逻辑序列发生器和逻辑分析仪两部份。硬件采用了AVR单片机控制模块、FPGA采样模块和外部电路作输入/输出信号调理模块,通过较为合理的设计,完成了简易逻辑分析仪系统。     

安捷伦科技推出业内最先进的固定配置逻辑分析仪

8种新型号提供了同类固定配置产品中的大显示尺寸,深存储器深度,以及码型产生能力安捷伦科技(NYSE:A)近日宣布推出包括8款在内的新一代16800系列固定配置的逻辑分析仪,从而扩展了它业内领先的逻辑分析仪产品线。新的Agilent16800分析仪家族以更具有吸引力的价格,在一个更小的固定配置机箱中提供了具有先进特性的高性能测量能力。Agilent16800系列逻辑分析仪有8种型号——各型号都配备业内最大的15英寸显示器并提供触摸屏选项。20多年来,触摸屏一直是安捷伦模块式逻辑分析系统的一项重要特征,但过去还从未在固定配置的逻辑分析仪上使用过…     

基于动作时序逻辑的Web服务组合

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

ARP协议的描述与TLA验证

随着计算机网络的发展,网络的安全性日益受到人们的关注.ARP攻击是一种非常专业化的网络攻击方式,它会给网络管理员增加很大的负担,破坏主机数据,窃取主机信息.Lesilie Lamport提出了一种新的逻辑,即行为时序逻辑(TLA)理论体系,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达程序与属性.文中介绍了ARP协议,用基于行为时序逻辑TLA的建模语言TLA+对ARP协议进行建模分析.构造了一个ARP欺骗的攻击者模型,用基于TLA的模型检测工具TLC对其进行验证并找出一条攻击者路径.     

基于PC的逻辑分析仪设计

作为传统的台式逻辑分析仪的替代,基于PC的逻辑分析仪成了新的发展方向.这篇文章介绍了基于PC的逻辑分析仪的设计方案,方案采用了Garfield 4处理器和CPLD.文章对一些功能模块的设计进行了详细阐述.     

基于PC的逻辑分析仪设计

作为传统的台式逻辑分析仪的替代,基于PC的逻辑分析仪成了新的发展方向。这篇文章介绍了基于PC的逻辑分析仪的设计方案,方案采用了Garfield4处理器和CPLD。文章对一些功能模块的设计进行了详细阐述。     

产品新闻发布

航天测控公司开发出VXI总线逻辑分析仪与码型发生器模块，LabVIEW8．20图形化开发环境正式推出简体中文版本，欧姆龙3G3MZ新一代高功能紧凑型变频器闪亮登场，研华推出首款直焊型CompactPCI CPU卡，