真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

波峰焊机的发展经过

波峰焊接技术是在50年化中期出现的,波峰焊机已经从最初安放在传送带系统上的简单装置,发展成为如今具有悦目外观,结构复杂的设备。现在已逐步用波峰焊机取代了手工焊接。本文将叙述波峰焊机为了克服生产中的缺陷,获得自动锡焊过程中的最佳性能,而形成的波峰焊机的发展经过。     

上海初现百万级双向数字电视雏形

上海有线电视数字化整体转换试点又现新模式。2006年12月23日，第一批交互型数字电视机顶盒顺利安装到虹口区天星公寓的居民家中，这标志着上海有线电视数字化整体转换试点工作在不断探索更加符合国家战略与百姓生活需要相结合的新模式。     

高加速应力筛选(HASS)概述

高加速应力筛选（HASS）是一种新兴的试验技术，用于产品的生产阶段。在暴露和剔除产品的制造和工艺缺陷，提高可靠性，降低野外失败和返修率等方面非常有效。从研究开发HASS的背景出发，介绍了HASS的目的及作用，重点探讨了高加速的基本原理，典型的HASS过程。     

39 20万同方机顶盒 占据双向市场头把交椅

临近年底，同方凌讯传来令人振奋的消息，中标天津泰达机顶盒项目，再次供货同方双向机顶盒，助力天津地区数字电视转换工作。 2006年同方凌讯在佛山南海机顶盒平移项目二期供货中达10万台，全面使用了清华同方TC-81001-N型双向机顶盒；2006年11月，同方机顶盒供货厦门整体平移二期项目，8万台机顶盒全部为清华同方TL-3925MT型双向机顶盒；     

康特互动电视在SCTVF2007独领风骚

2007年10月28～30日，中国广电行业盛会——第九届四川电视节（SCTVF）在四川成都沙湾国际会展中心隆重举行。在SCTVF2007上，康特展示了五大类产品线，包括互动电视资讯系统ITIS（Interactive TV InformationSystem，简称ITIS，下同），基于双向HFC网络的数据系统（EPON＋EOC），国标地面（移动）数字电视及单向数字电视系统（包括支持同密的CA系统、SMS及全套硬件设备），无线数字发射产品及数字电视测试仪器等。     

Controlled Bidirectional Quantum Direct Communication by Using a GHZ State

A controlled bidirectional quantum secret direct communication scheme is proposed by using a Greenberger- Horne-Zeilinger （GHZ） state. In the scheme, two users can exchange their secret messages simultaneously with a set of devices under the control of a third party. The security of the scheme is analysed and confirmed.     

CATV有线和无线网络的可寻址双向接入技术

有线电视网络的发展前门十分广阔，由于技术，业务和市场的高速发展，人们对信息网络的要求越来越多，随着信息化社会的不断向前发展，人们不再仅满足于打电话，看电视，更注重于众多CATV有线和无线网的可寻址双向交互业务的开展，这标志着网络正走向一个全新的天地。     

亚波长设计中的可制造性验证方法

描述了一种采用分辨率提高技术后用于可制造性设计的验证方法.该方法的目的是验证设计功能与设计目的是否一致,更精确地说,使刻印出来的图像与设计一致.还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能.     

非接触IC卡芯片的低成本测试

随着RFID技术和规范的不断成熟．我国的第二代身份证卡上开始使用基于RFID技术的非接触IC卡芯片．对于设计验证和大规模量产时面临的测试问题，本文介绍了一种非接触IC卡芯片低成本测试的解决方案。与普通的测试方法要求IC测试仪（ATE）有比较昂贵的混合信号测试部件来发送／识别RF信号相比．该解决方案只需要ATE有一般的数字电路的测试功能．结合RF应用模块，就可以在保证测试精度和稳定性的前提下实现时芯片要求的所有测试。其最大的优点是大大降低ATE本身的硬件成本．测试时间很短，并且有很好的灵活性。