基于SbS的3D电视播出系统及技术思考

本文基于SbS架构的3D电视播出系统,详细介绍了上海东方传媒集团有限公司如何利用现有高清数字电视播出平台的资源组建3D电视播出系统的具体方案和设计思路,并对播出环节所涉及的3D台标、3D杜比环绕声、3D编码传输等问题进行了分析。     

软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。     

先进的数字电视总控监看网络

1电视总控监看概述电视播出经历了单机单频道播出和多频道集中播出的十几年发展,目前随着电视播出信号的数字化,各电视台正在紧锣密鼓地从模拟电视的多频道集中播出向数字电视多频道集中播出。电视信号数字化带来的好处之一是可以在至少不降低电视信号画面可视质量的前提下,我们可以大大压缩每一路电视占用的带宽,从而可以在宝贵的有限播出通道带宽中播出更多频道的数字电视节目。以有线数字射频调制器为例:如果采用64QAM的调制方式,就可以在一个模拟电视信号占用的6兆带宽中安排进至少8个数字电视信号(每一路数字电视信号带宽为4兆,可保…     

数据库主动功能扩展技术研究与实现

根据当前数据库应用需求和技术发展现状,研究了数据库管理系统功能扩展的关键技术问题,在已有的GKD-Base PL/SQL引擎基础上,设计实现了数据库的触发器机制,并采用ECA中介器扩展了GKD-Base的主动功能。     

多用户无线信能同传系统能效优化方法

针对多用户无线信能同传系统下行链路,研究多用户无线信能同传系统能效优化方法,提出了一种改进型Dinkelbach方法。首先利用Dinkelbach方法将分式问题转换为减式问题,再通过引入冗余变量将和速率最大化问题等价为加权均方误差最小化相关问题,并利用凹凸优化的思想将该问题近似为二阶锥规划凸问题,最后利用块坐标算法对此问题进行迭代求解得出改进型Dinkelbach方法。仿真结果表明,该方法能有效改善系统能量效率。     

网络化软件交互行为动态建模

 目前的软件行为建模方法有其局限性,而网络化软件交互行为比传统软件更为复杂难控,对模型的定义和优化提出了更高的要求.本文提出一种基于不变量约束规则的挖掘方法,从监控收集的软件交互行为日志中挖掘出六类不变模式,简化了模型空间;并用事件描述状态,提高了数据集的表达能力;构建的动态模型考虑了参数传递和组件之间的交互,将数值关联关系映射到控制流中,从而更真实地刻画了软件交互行为;模型中的事件满足不变量约束规则,为软件行为分析提供了依据;同时,本文提出合并划分子图间的等价状态方法,对模型进行精化和抽象,确保了模型的确定性和完备性.仿真实验和实例分析证实了该方法的正确性和有效性.     

一道中国香港数学奥林匹克几何题的另证

第12届中国香港数学奥林匹克的第3题如下:题目在Rt△ABC中,已知∠C=90°.作CD⊥AB于点D.设O是△BCD外接圆的圆心.在△ACD内有一圆Γ1分别与线段AD,AC切于点M,N,并与⊙O相切.证明:(1)BD.CN+BC.DM=CD.BM;(2)BM=BC.文[1]提供的参考答案是从证明一个不容易想到     

一题多解贵在思

在我们学习直线方程的过程中,常常会遇到已知直线与线段相交求参数的范围问题,该类问题常见的典型题目如下：     

四边形中位线的向量形式及应用

近期研读张景中与彭翕成两位先生的专著《绕来绕去的向量法》,感受颇多.该著作基于向量的基本运算和常用结论,用大量的例题展示向量法解题的简洁明快风格.可见作者对向量法解题的青睐.而书中给出的如下两个结论,更是成为作者解题的两把利器.     

一道赛题的新解

题目如图,半径为1的圆O上有一定点M,A为圆O上的动点.在射线OM上有一动点B,AB=1,OB>1.线段AB交圆O于另一点C,D为线段OB的中点.求线段CD长的取值范围.这是2012年全国高中数学联赛江苏赛区初赛的第13题,参考答案给出了三角解法,其中对三角结构的处理,虽没有给出详细的过程,但从中可知必用到三倍角或积化和差公式,且对角的