共查询到20条相似文献,搜索用时 890 毫秒
1.
2.
3.
周兴华 《电子制作.电脑维护与应用》2003,(1)
在全球多声道音频技术领域居领先地位的杜比实验室(Dolby Laboratories)于2002年11月在中国举办免费的专题技术巡回讲座,旨在帮助中国大陆和香港的设计消费电子设备的工程师了解如何使用杜比第二代定向逻辑(Pro Logic Ⅱ、杜比耳机(Dolby Headphone)、以及MLP无损压缩(MLP LosslessTM)技术。会上,杜比向与会者展示了,怎样通过采纳第二代定向逻辑(Pro Logic Ⅱ、杜比耳机(Dolby Headphone)、以及MLP无损压缩(MLPLossless)这些正迅速在西方国家和日本普及的技术,来增添各公司的产品和服务的价值。第二代定向逻辑技术是模拟解码器中最 相似文献
4.
5.
长期以来,霍尼韦尔的先进自动化技术在全球造纸行业都颇负盛名。其根据行业需求不断开发出的新技术新产品,一直引领着自动化需求的发展方向,这些产品已涵盖了至今纸业市场所至的所有领域,为霍尼韦尔强大的解决方案实力奠定了基础。除此之外,霍尼韦尔始终保持着全球最稳定的生产和研究基地,拥有专业的专家队伍和全球技术支持系统以及强大稳定的本土服务团队和服务网络系统,这些凝练成霍尼韦尔在造纸行业的核心优势。 相似文献
6.
7.
程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且容易出错,因此形式化验证的自动化是提高代码验证效率的重要方法。数据流分析技术是一种能够自动发现程序中某类性质的技术。研究了将一种数据流分析技术(单链表形状分析)和基于Scope Logic的代码验证过程相结合的方法。通过数据流分析获得所有程序点上的单链表可达性性质,将结果表达为带有递归函数的一阶逻辑公式,并将其插入到相应程序点中。分析程序还根据Scope Logic的证明法则设定了这些公式之间的逻辑依赖关系。实例测试表明所提方法可以分析得到单链表可达性性质,并且分析结果能够被基于Scope Logic的代码形式化验证过程有效利用,提高了代码形式化证明的效率。 相似文献
8.
《单片机与嵌入式系统应用》2006,(9):88-88
MIPS科技公司和Virage Logic公司推出共同开发的最新内核优化IP工具包。该工具包采用Virage Logic面积、速度和功耗存储器(ASAP Memory)以及ASAP Logic高速(HS)IP。新系列内核优化IP工具包可为MIPS用户提供专门用于充分发挥MIPS处理器内核性能的IP。 相似文献
9.
Ben Comett是霍尼韦尔安防集团总裁兼首席执行官。目前主管公司全球防盗报警、门禁控制、视频监控等系统业务。他具有近35年的安防从业经验,25年著名安防企业高层领导经验,正是凭借如此丰富的经历及经验以及独到的用人准则、管理理念和智慧,Ben Comett在担当霍尼韦尔安防集团全球发展重任之后,得以带领霍尼韦尔安防集团全球团队游刃有余地开展各项工作。 相似文献
10.
作为一家全球领先的高科技企业,霍尼韦尔致力于将物理世界和数字世界深度融合,利用先进的云计算、数据分析和工业物联网技术解决经济和社会发展面临的种种挑战.霍尼韦尔过程控制部150年来持续提供气体测量、控制、储存解决方案,全球逾1.5亿个家庭和1.000万家小型企业已安装了霍尼韦尔的水/气/电表.霍尼韦尔特性材料和技术集团过... 相似文献
11.
12.
13.
介绍基于LabVIEW的模糊逻辑工具箱——Fuzzy Logic for G Toolkit的使用方法,文中以辨识传送带上被传送物体的几何形体为例,介绍了建模的方法、模糊逻辑控制器的设计以及基于PC的仿真。 相似文献
14.
15.
霍尼韦尔为帮助制造商实现降本增效目标提供了领先的自动化技术,同时深谙流程行业,精通相关知识和技术,并将其开发至软件系统,为用户提供互联服务。霍尼韦尔过程控制部致力工业自动化领域逾45年,其业务遍布全球120个国家,员工超过13,800名,2016年的全球销售额为35亿美元;拥有遍布全球的90多个本地服务中心和18家工厂。 相似文献
16.
主轴电机控制系统是圆头锁眼机控制系统中的核心部分,因此详细研究主电机控制系统对整个系统将有非常重要的意义。通过对无刷直流电机控制系统的研究,提出了一种基于ARM和CPLD(Complex Programmable Logic Device,复杂可编程逻辑器件)的圆头锁眼机电机控制系统,重点介绍了硬件电路设计以及电机的高速速度优先、低速位置优先的定位算法。通过电机性能测试表明,这是一种简单而高效的电机控制系统,可以方便的应用于工业缝纫机控制系统以及相应的电机伺服控制系统。 相似文献
17.
由于指针的灵活性以及别名现象的存在,程序的运行可能会出现悬空指针引用、内存泄漏等诸多问题.PPTLSL是一种二维(时间和空间)时序逻辑,它结合了分离逻辑(Separation Logic)与命题投影时序逻辑PPTL(Propositional Projection Temporal Logic),能够描述和验证操作链表的指针程序的时序性质.本文简要回顾了PPTLSL的相关理论,并详细介绍工具SAT-PPTLSL的工作原理.该工具主要利用PPTLSL与PPTL之间构建起来的“同构”关系进行PPTLSL公式的可满足性检查.此外,本文结合一些实例展示了SAT-PPTLSL的执行过程,并通过实验分析了关键参数对SAT-PPTLSL执行效率的影响. 相似文献
18.
论述了嵌入式RAID控制器数据通道的逻辑描述,设计中用硬件描述语言描述了数据通道的多Master间的总线仲裁以及Direct Master和Direct Slave方式状态机,提出了多层数据编码传输模型.还介绍了嵌入式系统的实现方法. 相似文献
19.