全IP电视直播节目的即时回看技术

介绍了已运用于实践中的一种全IP电视直播节目即时回看技术,用户通过遥控器一键实现直播节目的即时回看,极大地提升了用户的观看体验。通过在临汾市智慧广电全IP融合业务网建设实践项目中的使用,技术的先进性和有效性得到实践验证。     

电力保护装置自动测试系统设计与研究

电力保护装置在出厂前要进行严格的板卡测试,传统板卡测试系统自动化程度较低,功能不够强大,且开发成本高,通用性不好。针对以上不足,设计了一种基于虚拟仪器的板卡测试系统,该系统主要由测试程序和上位机两部分组成,测试程序主要完成对板卡设备的模块化测试,并给出测试结果;上位机通过以太网与测试板卡通信,借助FTP和telnet技术,完成整个测试程序的发送、执行、测试结果的获取等功能。以电力保护装置内的CPU板卡为研究对象,结果表明,该测试系统可对板卡进行高效率自动测试,测试结果可靠,故障信息可追踪,可有效提高电力保护装置调试的通过率,保证企业产品的可靠性。     

烟草除尘过程中节能减排优化研究

使用全面试验法,对除尘风机的空转时间进行研究,分析了风机空转的原因,并通过增加"制丝需求启动信号"逻辑控制建立了切丝工序与除尘风机的联动程序。本研究对企业产生了一定的经济效益,并可为同领域其他方面的节能减排提供参考和方法。     

基于深度EPG的智能导航平台建设

随着三网融合的大力推进以及双向互动业务的大力开展,运营商使用原有简单的EPG不足以支撑开展更多的增值业务,不能主动为用户推荐节目,不能为运营商带来新的收入机会。作为重要的创新能力支撑系统,介绍了江苏有线智能导航平台的设计与应用,为相关广电运营商提供一定的设计参考。     

面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

Risk-constrained probabilistic optimal scheduling of FCPP-CHP based energy hub considering demand-side resources

Renewable energy sources (RES) with sharing a large percentage of future energy generation capacities play an essential role in the decarbonization of the future electricity and thermal networks as well as transportation sectors. However, the uncertainties in their outputs make some difficulties in making operational decisions. Hydrogen energy plays a considerable role in this concept. Besides, energy hubs (EHs) provide an efficient and reliable framework for gathering multi-type energy carriers.This paper optimally schedules the operating of the EH and decreases the emission cost, considering the electrical and thermal demand response (DR) program in a probabilistic environment. Besides plug-in electric vehicles (PEVs) and a complete model of hydrogen-based renewable energy sources are presented in the EH. Taking into account uncertainties of electrical/thermal energy markets real-time prices, customers' energy demand, and energy production of RESs into account, various scenarios are generated using the Monte Carlo simulation technique. Next, an efficient method is used to reduce the number of the scenario to make the optimization problem computable and fast. In order to reduce the risk of encountering high operating costs, the conditional value at risk (CVaR) technique is used to manage the associated risk. Simulation results show the efficiency of the proposed method in decreasing the operational cost and managing the risk of encountering unfavorable states.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Stochastic polynomial optimization

ABSTRACT

This paper studies stochastic optimization problems with polynomials. We propose an optimization model with sample averages and perturbations. The Lasserre-type Moment-SOS relaxations are used to solve the sample average optimization. Properties of the optimization and its relaxations are studied. Numerical experiments are presented.     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.