VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

电子系统设计技术及应用专题讲座(三) 第6讲 数字系统的设计与实现

主要介绍数字系统的设计技术与实现方法,从数字系统设计实现方案的提出、论证到具体的模块规划、设计、实现等详细阐述了数字系统设计的流程和注意事项,结合今年大学生电子设计竞赛的题目——"红外光通信装置"对数字系统设计方法进行了实例讲解和分析。     

数字

正3400万户到2013年年底,全国累计用实物方式解决了3400万户城镇家庭的住房困难,已完成"十二五"建设目标的近七成。1000亿元2013年,我国全社会捐助总量较2012年有明显上升,预计接近1000亿元。     

财经

正中国对外直接投资破千亿美元国家商务部、国家统计局、国家外汇管理局最新发布数据显示,2013年,在全球外国直接投资流出流量较上年增长1.4%的背景下,我国对外直接投资大幅增长,投资流量首次突破千亿美元大关。数据显示,2013年中国对外直接投资流量创下1078.4亿美元的历史新高,同比增长22.8%,连续两年位列全球三大对外投资国。     

二战中苏联的方面军及司令员

由数个诸兵种合成的集团军组成的方面军拥兵几十万，甚至上百万，是战时苏军最高等级的作战单位     

基于软件无线电的DS/SS载频跟踪方法

扩频序列的精确同步是接收机正确解扩的关键问题。提出一种基于软件无线电技术,对DS/SS载频偏移量实现快速跟踪的数值算法,并讨论了实现步骤及估计性能。该算法具有三个优点:(1)可消除载频初始相位的影响。(2)适于极低信噪比条件下的载波跟踪。(3)算法简便,易于实现。仿真及实验均验证了此算法的可行性。     

直接序列扩频码元同步的快速捕获及跟踪

讨论基于软件无线电技术的直接序列扩频码元捕获及跟踪的快速算法。利用伪随机序列尖锐的自相关特性,通过计算中频接收信号与本地匹配滤波器的循环相关完成码元捕获,提出了循环相关的两种快速算法,并分析了正确捕获概率及平均捕获时间,最后给出码元跟踪的简便算法及精度。仿真及实验验证了所述算法的正确性和有效性,特别适用于信噪比较低、对设备体积及功耗限制严格的通信系统中。     

宽带正交解调器幅相一致性测量

基于数字示波器和网络分析仪 ,提出了两种测量方法 ,解决了宽带正交解调系统 I、Q幅度和相位误差的测量问题 ,比较了两种方法的优缺点 ,并成功应用于某 1 0 0 MHz带宽正交解调系统的测量和调试中。     

战役优势参数及其应用研究

数学分析方法在军事行动计划中扮演着越来越显著的角色。对以兰彻斯特作战模型为基础的描述诸兵种合成作战的矩阵微分方程，以及由方程的控制矩阵和状态变量初值，在不解方程的情况下导出的战役优势参数进行了研究；以空战为例讨论了预测战役结局、辅助军事决策、优化兵力部署和规划火力分配等战役优势参数的主要应用；给出了对战役优势参数和数学模型的评价。     

超声波扩频测距及其信道自适应均衡技术

在扩频通讯系统框架中,建立一种新颖的多阵元超声波测距定位系统。从测距系统的仿真结果来看,采用二进制相移键控(BPSK)直序信号数字相关解调技术和基于最小均方算法的超声波接收信道自适应均衡器,不仅可以克服本地载波(相干解调)相位偏移所带来的不利影响,而且可以抑制多径信道噪声干扰和接收信道增益、相位随机漂移对测量精度的影响,从而提高了超声波测距系统的信噪比和分辨率。此外,采用伪随机码扩频解扩方法,容易实现码分多址(只要给安装在大范围测量区域中多个传感器分配相应的伪随机码,就可以方便地辨认出各个区域传感器发出的信号),扩大超声波测距系统的测量范围。