简介：随着计算机及软件系统逐步渗透到社会生活的方方面面，对软件可靠性、安全性和保密性的要求也越来越高．本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法，以及演绎证明和模型检测等形式验证方法。

简介：在当今信息时代,各领域新闻层出不穷。从中可以发现,新闻英语中复合词的使用频率较高、应用范围较广,因此了解它的含义并做出准确的翻译对于进行有效的跨文化交际并提高英汉互译的能力大有帮助。文章先从新闻英语文体着手,简要分析了复合词的定义和形态特征,通过主流报刊上的实例探讨了复合词翻译的几种方法以供译者参考。

简介：摘要：近几十年来，在业内专家学者的努力下语音识别技术取得显著进步，已经从实验室走向市场。在这个过程中，深度学习和神经网络的发展做出不少贡献，但神经网络依赖大量数据而且神经网络模型具有不确定性，当训练数据与目标数据分布存在差异时识别效果可能非常差。在一些领域我们对识别系统的精度要求非常高。我们已经明显感觉到，语音识别技术在工业、家电、通信、汽车电子、医疗、家庭服务、消费电子产品等各个领域都可以发挥重要作用。探索使用HMM模型来识别孤立词在我们的生活中具有重大意义。隐马尔可夫模型是成熟的模型，在语音识别，机器视觉等多个领域有着广泛的应用。隐马尔可夫模型能够很好地为语音等序列数据建模，可以很好地描述序列数据之间的关系。隐马尔可夫模型与GMM模型的完美融合可以使HMM模型在语音识别中更好地对状态进行建模从而提高识别率。因为GMM模型的加入使得HMM的观测矩阵更真实地贴近观测概率。加入GMM的HMM模型经过5个人的数据的训练其识别精确度可以达到87%。在数据量得到扩充的前提下效果有望达到100%。

简介：涉外旅游的发展对导游词英译提出了更高的要求,也创造了良好的机遇。语言只有在语境中才具有意义,导游词中文原文和英文译文处于不同的语境当中,原文的直接受众和译文的受众有着不同的文化背景。语境顺应可以有效地指导导游词英译,通过对语言语境,情景语境和文化语境的顺应,采用恰当的翻译方法,实现译文意义准确,语言得体,功能等效。

简介：高职院校学生干部是教师的得力助手,发挥着上传下达的桥梁纽带作用,选拔一支高素质的学生干部队伍,是高职院校学生管理工作中非常重要的一环,加强高校学生干部队伍建设,是高职院校学生管理一项重要工作,文章是根据作者在学生管理上的工作经历,结合在高职院校学生干部队伍建设当中出现的问题,探索更为合适学生干部选拔、培养的路径。

简介：重庆管局通过主动上门到企业征求意见等形式，全方位、多层次、多途径征求各服务对象以及广大党员干部群众的意见，为不断改进机关工作作风、提高工作效率、提升通信监管水平和服务质量奠定了坚实基础。

简介：2007年是中国电信业持续高速发展的一年，也是深入贯彻科学发展观，落实“十一五”规划、做大做强的关键一年。本文从十个方面分析和评点了我国2007年通信业取得的丰硕成果。

简介：信息产业部147号文件明确规定：运营商必须在2004年3月底实现全国范围内短消息互通，但时至今日，手机与小灵通短信互联仍然是雾中花、水中月。

简介：工业和信息化部电信研究院“2009年CATR深度观察大型报告会暨中国通信产业十大关键词发布会”于3月13日在北京举办。会上工业和信息化部电信研究院各领域的学术带头人发布了在行业发展、产业政策、电信监管、法律法规、3G及宽带无线移动、互联网、NGN、以及网络与信息安全等八大软科学研究领域的深度观察报告，

简介：第二十三届北京国际广播电视展览会（BIRTV2014）于8月27—30日在北京中国国际展览中心圆满举办。本届展会共有519家参展商参与，展厅面积超过五万平米，参观人数达到58500人次。BIRTV2014以“媒体的期待我们的行动”为主题，强调以服务于广播影视行业的发展需求为出发点，在应用先进技术．创新业务形式，不断引领内容创意以及提高内容传播能力和水平等方面，充分发挥展会的平台作用和助推作用。

简介：有人将“屏”一分为三，一块为PC屏，一块为电视屏，第三块为手机屏；也有人将这三块屏分为信息屏、娱乐屏和功能屏。不过无论怎么分，“屏”将一统天下都是广为认可的事情。这一观点在云计算时代，尤为贴切。

简介：

简介：本文通过对移动运营商下一代业务运营支撑系统（NGOSS）的建模分析，阐述了面向服务架构（SOA）框架的设计理念，提出基于SOA的NGOSS的架构，并通过设计举例说明如何实现该架构。

简介：在短短的几年中,吉通公司仅用十几亿元资金,在全国拥有和租用了5.6万公里的光纤、管道及超过10万公里的数字电路,在全国121个城市组建了IP网及VoIP专网,并组建了国内最大的可承载多业务的卫星通信网,构建了国内唯一的集无线与有线于一体的通信网络系统,其拥有的IP网规模仅次于中国电信,VoI覆盖了190个国家和地区。

简介：汽车音响无论是在IFA还是CES或是其它一些电子音响的地区性的展事中，向来都是重头戏可以说当HI-FI、HI-END音响远没形成规模或远未被人识时，汽车音响已经成长为一个行业，且已将汽车音响纳入一个专指的音响范畴，

简介：5月31日至6月3日，第十四届中国国际专业音响、灯光、乐器及技术展览会（CALMEXPO2005）在北京中国国际展览中心隆重举行。

简介：从五个方面对开关控制回路的异常情况详细的分析并结合某些典型的例子提出了具体的解决方案。

简介：本文对网络入侵检测技术中的BP进行了深入研究。首先讲述了入侵检测的发展史和入侵检测数据包的截获技术的分类。然后详细分析了BPF（BerkeleyPacketfilter）的数据包截获和信息过滤技术。最后给出了入侵检测系统的发展趋势。

简介：能源效率（EE）可以通过重传和混合自动重复请求（HARQ）系统相结合，提高。然而，它是很难优化的发送功率的每个重传的准确的重传数量和未来的信道状态信息（沪深）时，不能得到。本文提出了一个简单的点对点无线通信的能量有效的HARQ方案。在该方案中，有条件的字错误率（WER）每个重传是固定发射功率相应调整。三个性能指标进行了分析，包括平均传输次数，吞吐量和EE。与传统同等功率的HARQ方案相比，该方案可显著提高EE和其他两个指标下的平均发射功率相同的约束或平均能耗。此外，研究发现，选择一个条件是它比最佳的一个稍小的是足够的实际实现。

简介：转型：可以是技术、IT、文化或是业务的转型，但是没有什么能比这个词更能代表今天企业的现实。不管什么行业，变革的步伐正在加速。通过行业的扩展和整合，通过改变规则以及客户对更新、更好、更廉价业务永不满足的渴望，业务的范围也在快速地转变。