形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

简谱轻松DIY

让你对简谱文档编辑中的各种密密麻麻的符号毫不畏惧！     

国内简讯

广电总局加强地面数字电视试验管理6月8日国家广电总局发出《关于加强地面数字电视试验管理的通知》。通知要求主要有5个方面,这里介绍主要精神:(1) 开展地面数字电视试验必须符合国家统一标准,在国家标准未颁布前,进行的试验系统必须具有今后改造为符合国家标准的能力。开展试验,要按有关程序报总局批准。(2) 利用数字有线电视调制方式,无线发射电视节目,此项业务不宜在电视分米波频段内开展,可考虑在MMDS专用频段进行。(3) 在国家标准尚未确定前,开展地面数字电视移动接收试验,有一定技术和经济风险,目前仅限于在批准的个别地区进行。(4…     

Primitive Colors——恋上松下NV—GSl58 3CCD数码摄像机

人啊!总是活在欲望里，目迷七色，舌恋五味。在草长莺飞的季节里。更是没有人能看守得住自己的心。更是要被色彩诱惑。诱惑于人是如此强烈．逼迫你去完成每一个梦。在欲望尚未填满的日子里，心会很疲惫。为了缓解，只有让态度简单，闲闲面对，用影像去记录生活，让大自然的色彩幻化成一个0、1．0、1的数字符号，成为生命中不可或缺的永恒。     

PERFORMANCE OF THREE STAGE TURBO－EQUALIZATION－DECODING

An increasing demand for high data rate transmission and protection over bandlimited channels with severe inter-symbol interference has resulted in a flurry of activity to improve channel equalization. In conjunction with equalization, channel coding-decoding can be employed to improve system performance. In this letter, the performance of the three stageturbo-equalization-decoding employing log maximum a posteriori probability is experimentally evaluated by a fading simulator. The BER is evaluated using various information sequence and interleaver sizes taking into account that the communication medium is a noisy inter symbol interference channel.     

电子站牌“歇菜”的联想

投资达到天文数字的那些信息化项目与市民究竟有何关联，特别是与公众密切相关的城市信息化项目，到底能够为我们的日常生活带来那些便捷，越来越引起社会的关注。     

安全上网之三大利器

网上的资源越来越丰富,但频繁弹出的网络广告窗口却让我很不爽,有些网站则更是霸道,浏览了他们的网站后,你的IE信息就会被偷偷修改掉。上网当然免不了试用一些新软件,而伴随着这些软件在我们电脑中落户的流氓软件更让是人心焦。本文给出了一个综合解决方案,让你安心上网,避免广     

谁才是“恶意竞争者”？

最近，我一直在玩味“恶意竞争者”（bad competitor）这个称谓。分类广告网站Craigslist的创始人crajg Newmark就可以被称作一位“恶意竞争者”。在哈佛商学院看来，“恶意竞争者”就是那些以更低的利润提供更好的服务的人，或者可以称为“反常竞争者”。既然Craig根本就不在乎任何利润，他很适合被冠以这个头衔。