布尔可满足性问题研究综述

布尔可满足性（简称SAT）问题是研究最广泛的NP-完全（简称NPC）问题之一。编码、预处理和求解算法是SAT问题求解的3个关键技术,近年来涌现了大量成果。SAT问题广泛应用在生产和生活中, SAT求解技术的健壮性和综合性能迫切需要进一步提升。从SAT问题分类、SAT问题应用领域、研究现状及面临的挑战等方面对相关研究成果进行梳理。     

空时分组码在TD-SCDMA系统中的应用

作为MIMO构架核心环节的空时编码技术,是一种新兴而颇具潜力的方案,能够有效提高无线频谱利用率,其中的空时分组码是一种有效的发射分集方案。本文提出了一种适用于多根发射天线的空时分组码与TD-SCDMA系统的结合方案,仿真结果证明它可提高TD-SCDMA系统性能。     

浅谈高职英语课堂教师言语交流技巧

英语教师言语交流技巧在教学中起着举足轻重的作用。本文着重讨论了课堂交流中教师言语交流的编码、信号通道和反馈这三个关键因素,以提高英语教师课堂言语交流技巧,从而提高教学效果。     

基于文献编码分析的创新文化概念体系构建

基于扎根理论的研究框架,在CNKI中对创新文化相关论文进行了文献编码分析,据此构建出由个体创新精神、团队创新精神和社会创新氛围所构成的创新文化概念体系。其中,个体创新是人们对自己所从事创新活动的态度,具体包括冒险精神、求新求变精神、个体精神、怀疑精神四要素;团队创新精神是人们对于联合创新和复杂创新的态度,具体包括奋斗精神、合作精神、开放精神三要素;社会创新氛围是人们对待他人从事创新活动的态度,具体包括尚贤文化、包容文化、诚信文化、平等文化四要素。     

综合业务网理论及关键技术国家重点实验室

[寇卫东简介]综合业务网国家重点实验室主任、西安电子科技大学计算机学院院长、西安电子科技大学特聘教授、博士生导师。 寇卫东教授目前还担任美国马里兰大学兼职教授和香港大学兼职教授。他也是上海交通大学博士生导师,东北财经大学名誉教授,浙江大学、中山大学、东南大学、北京邮电大学     

MPEG-1视频信号的处理技术

MPEG-1曾经是VCD的主要压缩标准,是目前实时视频压缩的主流,可适用于不同带宽的设备,如CD-ROM、Video-CD、CD-I。MPEG-1视频信号处理技术相对已经很成熟,本文就其工作原理及其编码,解码技术做一简要介绍。     

基于FPGA的CCSDS图像数据压缩系统的设计

针对CCSDS图像数据压缩(IDC)标准,提出了一种基于FPGA的CCSDS IDC并行实现方案.该方案包括离散小波变换(DWT)、直流系数量化编码、位平面编码(BPE)、码字拼接等4个模块.位平面编码模块采用了并行扫描、并行编码的快速算法,以提高编码速度.仿真结果表明了本方案的可行性和有效性,处理时间比现有的CCSD...     

本刊2011年第1期开始启用DOI编码

《情报探索》编辑部已与万方数据公司签署了DOI（数字对象唯一标识符）授权书,从2011年第1期起,本刊对出版的每一篇论文都标注DOI编码,万方数据公司为本刊出版的论文提供DOI编码的注册、解析及链接服务。     

广播电视网络完善优化探析

市场经济的飞速发展、信息化科学技术的广泛应用进一步推动了我国广播电视事业朝着网络化、数字化与现代化的方向阔步向前。广播电视网络的完整性、全面性、可靠性与先进性直接影响到节目的传播质量、信息传递速率与完整性,由此可见网络化广播电视建设已成为扩充系统范畴,促进广播电视事业持续发展的核心要素。基于这一重要性本文就如何优化完善广播电视网络进行科学探讨,对有效降低系统维护成本、提升广播电视网络服务水平、工作效率、优势传播效果有重要的实践意义。