Vizrt在电视新闻类节目中的技术研发的探索与实践——Vizrt二次开发具体案例分析

Vizrt系统是一个比较开放的平台，具备优秀的设计制作功能，同时具有较为强大的二次开发扩展空间。本人通过近两年的经验积累，总结了一些对Vizrt进行二次开发进而提高制作效率、智能化操作流程、提升交互特性、解决系统故障、优化播控流程、扩展软件功能等方面的基本方法。鉴于目前在行业内对Vizrt二次开发方面进行探讨的资料并不多见，本人把相关程序思路与应用效果展示给同行业内人士，希望可以抛砖引玉，与诸位同行交流进步。     

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

“比兴”走向“感兴修辞”的“内在理路”

中国传统文论中的＂比兴＂是一个富有包孕性和可阐释性的核心范畴,对其认识人们经历了由原初两种各不相同的诗体到诗歌表现手法和诗的特征等几个阶段,并进而发展为诗歌发生、创作、本体、接受和批评等各种＂比兴＂思想或观念。王一川提出的＂感兴修辞＂理论其实就是中国古代文论＂比兴＂理论在其＂内在理路＂上的发展与当今后现代语境下个体化理解的创造性出场。     

单母分段接线方式下母线故障的保护分析

通过介绍110 kV变电站单母分段接线方式及其备用电源自动投入逻辑,分析了没有母差保护情况下母线故障会导致全部负荷失电的后果,提出并分析了3种解决方案,得出分段开关保护没有可操作性,用进线保护闭锁备自投在实践中受变压器励磁涌流的影响可靠性差,母差保护是一种较为理想的解决方案。     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

基于单神经元自适应PID的PLC直流电机控制系统

针对微型计算机和单片机进行直流电机控制时,抗干扰能力和可靠性差等缺点,提出了一种基于单神经元PID(Proportional-Integral-Derivative)算法的PLC(Programmable Logic Controler)控制直流电机的调速系统,设计了PLC控制D/A(Digital/Analog)转换电路、直流电机驱动电路、转速脉冲反馈电路,研究了单神经元自适应PID控制算法。将有监督单神经元控制算法应用于直流电机调速系统,通过调整神经元控制器的加权系数,实现自适应PID的最优控制。单神经元PID调节在大范围调速和抑制超调方面都有明显的改善,进而提高了直流调速系统的精度。通过系统动态测试,实现了PLC控制直流电机正反转自动调速,直流电机在稳态运行时,转速误差小于1 rad/s。     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。