一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

H．323消息编解码的研究与实现

本研究了H．323协议集消息的编解码，ASN．1的PER规则，并提出了一种H．323消息编解码的实现方法。     

基于可编程逻辑器件的定时器设计

介绍了用EDA技术实现的99分钟内定时。本系统基于VHDL语言，以CPLD为核心。     

用TMS320C6201实现H.263编译码系统

介绍了用TMS320C6201实现视频压缩编码标准H.263的编译码系统,并以编码系统为例,给出其硬件设计及软件的优化处理方法.     

如何理解摩托罗拉的招标行为

华为和摩托罗拉近乎疯狂的“自杀性”报价，不能不令人扼腕叹息：本可以在电信转型时共享一场盛宴的电信设备商们，却在人为的价格战中斗得遍体鳞伤，让本已困难重重的电信设备行业提前进入发展的“冬天”。断臂或许可以自救，但失血过多的它们，还有能量抵御随之而来的漫长“寒冬”吗（《华为疯了》，“封面故事”，2008年9月5日）？作者的分析是直线性的逻辑分析方法，没看到摩托罗拉的真正用心。     

融创天下：高端移动流媒体技术助跑TD-SCDMA产业

在刚刚结束的2008北京国际通信展上,中国移动手机电视业务平台的总集成商及提供商融创天下展出了视频压缩编码技术TIVC,该技术可以在40kbit/s低速无线网络下清晰流畅播放流媒体。     

江苏省专用集成电路设计重点实验室

1、简介:江苏省专用集成电路设计重点实验室于2002年12月由江苏省教育厅批准组建,该实验室是在原南通市集成电路设计重点实验室的基础上组建成立的,位于南通大学文峰校区。实验室现有面积1000余平方米,各种仪器设备和软件总价值400余万元,其中硬件方面主要包括自动铝丝焊接机、     

欧胜新产品层出

<正>欧胜微电子有限公司日前推出一款超小型的单通道CODEC(编码解码器)——WM8940。它通过使用4个可调陷波滤波器,降低了背景噪音,从而可为数码照相机(DSC)、可携式摄像机、个人录音工具以及VoIP手机提供增强的音频录音功能,赋予数码相机完美音效。     

有限状态机在可编程器件设计中的应用

在可编程逻辑器件设计中，状态机的设计方法是最常用的设计方法之一。本文阐述了状态机的表示、类型、编码及用HDL语言来描述状态机模型以及一些注意事项。