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

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

简介：本文介绍了日本电力公司开发的一项新的分支光纤的接续施工法。

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

简介：调面板下端处中间位置的电压调节旋钮(VOLTGE)使数字电压表显示4．8V(使用3．6V电池的手机，对于使用其它电压值的电池则相应调低或调高，例如：爱立信788使用4．8V电池电压调至5．5V，诺基亚3210使用2．4V电池，电压调至3V上)。

简介：意法·爱立信日前宣布，联想最新的乐PhoneS899t中国移动定制智能手机采用意法·爱立信的NovaA9500应用处理器。内置1．0GHZ双核ARMCortex-A9CPU和高端3D图形加速器，NovaA9500让联想乐Phone用户能够在中国移动TD网络上尽情体验智能手机的使用乐趣。

简介：MUSIC（MuldpleSignalClassification）算法是一种精度很高的空间谱估计算法，理论上说，它可以分辨空间任意两个方位不同的非相关信号。但这种高分辨率是以阵列的精确校准为前提的。针对阵列误差的校正，很多文献资料都提出了相应的解决办法。但这些校正算法大都是在假设阵列误差与方位无关的基础上提出来的，这与实际情况不符，因为实际应用中，阵列的误差几乎都是与信号的方位有关的（简称方位相关阵列误差）。对于方位相关阵列误差的校正，一直以来都是空间谱估计中的一个难点，相关的研究也很少。辅助阵元法，是解决这一难点的有效方法，它计算量小，适用于任意的阵列几何结构．而且不会牵涉到通常参数联合优化估计时的局部收敛问题。所以将辅助阵元法与MUSIC算法结合起来估计信号的波迭方向（DOA）具有重要的实际意义。本文对基于辅助阵元法的MUSIC算法进行了详细的论述，分析了信噪比和校正阵元的精度对算法性能的影响。同时提出相应的解决办法，为实际应用提供参考。

简介：有时候就算用上了各种防护措施，你还是无法摆脱恶意软件的入侵。那么一旦遭遇恶意软件入侵，你该怎么办呢？这里将向大家介绍遭遇到恶意软件后的六个基本应对步骤。

简介：

简介：4月1日，《中华人民共和国电子签名法》和《电子认证服务管理办法》正式实施，争论三年之久的种种观点由此尘埃落定。在中国人已延续了几千年的“白纸黑字”、“盖章压印”后，由于《电子签名法》的生效，中国企业习惯于使用书面形式的盖章和手写签名所进行的商务活动，能随之改变吗?

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

简介：2003年7月17日英国议会批准了通信法草案(CommunicationsBill)，从而产生了2003年通信法。2003年通信法取代了1984年英国电信法而成为英国电信管制的根本性法律文件。2003年通信法确立了英国通信管制局(OFCOM)这个超级的电信管制机构的法律地位，并依据欧盟的管制框架新指令对英国的电信监管体制进行了其它重大革新。

简介：任何顺序控制问题都可用功能图来表示,当系统的功能图绘制好后,就可以使用PLC的有关指令将其转化为梯形图程序,通常可采用触点、线圈指令,置位复位指令,移位指令及专用的步进指令来实现将功能图转化为梯形图。本文介绍采用触点、线圈指令将顺序功能图转换成梯形图的方法。

简介：

简介：一、立法背景近年来，通过电子邮件(ElectronicMail，E—mail)进行联系和沟通已经成为人们的一种常用通信方式，这种通信方式以迅捷、经济等特点获得了人们的普遍欢迎。然而，电子邮件迅捷、经济的优点同时又成为其被一些人无节制地使用

简介：在《手机维修天地》第10期我介绍了用电流法修不开机的五条电流法定律(其它不开机定律将在以后讲授)。

简介：摘要：基于状态感知综合考虑通信设备各动、静态数据，结合运维管理经验，利用历史缺陷和检修、当前性能值和状态值等历史和实时数据，重点开展运行环境和设备状态关键参数对传输设备寿命影响的研究。构建传输设备健康状态评价模型及算法，感知通信传输设备当前状态，实现通信传输设备健康状态评价及各参数对寿命影响研究。研究成果能指导设备运行、检修和技改工作，合理建设和调整通信网络，为电力通信传输设备全寿命周期管理提供支撑，提升通信运行管理水平。

简介：本文从不同实现方法的角度出发,详细阐述了在VB5中播放多媒体音乐的五种方法。

简介：夏新9系列手机不开机．可通过电流反应来判断故障的大概范围，以A9/A90手机为例：

简介：在长达30年担任照明设计的漫长生涯中，怎样为照明专业做出贡献．是我苦苦追求的目标。我想人的一生哪怕是积累一点点东西，也能对本专业的发展起一点推动作用。