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

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

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

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

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

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

三维增材鞋面印花机对位平台的冗余驱动控制策略

针对自动鞋面印花机在进行对版时定位精度低,影响鞋面印刷质量的问题,提出了基于冗余驱动的印花机对位平台。在原有的三轴并联机构对位平台的基础上通过增加1个Y轴,有效地提高了对位平台Y向的刚度和承载能力,从而提高了印花机对位平台的定位精度。由于冗余驱动机构运动过程中存在机构运动耦合,利用几何法进行解耦,提出了基于电子凸轮的控制策略。同时提出了对机构换向间隙补偿的控制策略,进一步提高对位平台的定位精度,保证了鞋面的印刷质量。经过实验验证,改进后的印花机对位平台Y向定位精度提高了85.7%,Z向旋转定位精度提高了72.9%,X向和Y向换向间隙分别提高了50% 和75%,Z向旋转换向间隙提高了42.86%。     

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.     

Design and analysis of a class of redundant collaborative manipulators with 2D large rotational angles

The parallel spindle heads with high rotational capability are demanded in the area of multi-axis machine tools and 3D printers. This paper focuses on designing a class of 2R1T (R: Rotation; T: Translation) parallel spindle heads and the corresponding collaborative 5-axis manipulators with 2-dimension (2D) large rotational angles. In order to construct 2D rotational degrees of freedom (DOFs), a platform with 2D revolute joints is proposed first. Based on the constraint screw theory, the feasible limbs that can be connected in the platform are synthesized. In order to provide constant rotational axis for the platform, a class of redundant limbs are designed. A class of redundant 2R1T parallel spindle heads is obtained by connecting the redundant limbs with the platform and the redundant characteristics are verified by the modified Grübler-Kutzbach criterion. The corresponding 5-axis collaborative manipulators are presented by constructing a 2-DOF series translational bottom moving platform. The inverse kinematics and the orientation workspace as well as the decoupling characteristics of this type of 2R1T parallel spindle heads are analyzed. The results show that these manipulators have large 2D rotational angles than the traditional A3/Z3 heads and can be potentially used in the application of multi-axis machine tools and the 3D printers.