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

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

基于多媒体技术的思想政治教育课程资源整合系统

为解决资源种类划分结果异常,设计基于多媒体技术的思想政治教育课程资源整合系统。选用CYUSB3014芯片作为此次设计系统的主控芯片,并设定信息处理芯片以及外围电路。在此基础上,对思政课程信息进行分类,建立了课程资源库。优化资源整合模块,设定多媒体资源整合流程,并添加DataSet与.NET Framework数据处理程序,实现对多媒体数据的高效处理。构建系统测试环节显示,此系统资源种类划分结果较为合理且系统承载率较高。由此可知,此系统在应用中具有较高的综合性能。     

多媒体技术在小学英语故事教学中的应用尝试

在新时期下,传统的英语教学方法已经不适合学生的学习和发展了,经过笔者的研究和分析发现,小学生对故事似乎是非常感兴趣,所以就针对多媒体技术在小学英语故事教学中的应用进行了几点尝试。     

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

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

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

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

Photomontage in the Present Perfect Continuous

In its first instance as art practice among the historical avant-garde, photomontage was considered indispensable for its claim to intervene in perceptual processes, stimulating a critical mode of apprehension that would redirect the viewer away from conventions of aesthetic experience and towards a lived reception of art with pronounced relevance to the sociopolitical landscape. The effect was understood as structural, that is, activated not so much by direct political content, but by the stark and shocking effects of juxtaposition. By this measure, one challenge to contemporary photomontage is clear: in a postindustrial and postdigital visual landscape dominated by the structural fragmentation of the attention economy, the ‘simultaneity of the radically disparate’ (as Peter Bürger put it) might no longer present as heterodoxy but rather threaten to sink into invisibility. Yet with the migration off-screen of the effects of electronic media, a new urgency around moving photomontage structures into physical, public space is rising in contemporary practices. Shannon Ebner’s multi-part project A Hudson Yard (2014–15) is emblematic of the new ways in which artists are manipulating photomontage as a form of fully sensory experience that gives the medium room to play critically in both virtual and material space. By constructing subtle interruptions of naturalised commercial space, A Hudson Yard activates a détournement of instrumentalised language, using structures of juxtaposition to divert the discursive surfaces of public space away from consumption and towards what could be called a public poesis.     

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.     

Lecture capture with real‐time rearrangement of visual elements: impact on student performance

The primary goal of this study is to create and test a lecture‐capture system that can rearrange visual elements while recording is still taking place, in such a way that student performance can be positively influenced. The system we have devised is capable of integrating and rearranging multimedia sources, including learning content, the instructor and students' images, into lecture videos that are embedded in a website for students to review after school. The present study employed a two‐group experimental design, with 153 participants (145 females and 8 males) making up an experimental group in which lecture courses were recorded using the new lecture‐capture system, and 149 participants (140 females and 9 males) forming a control group whose lectures were recorded by traditional means. All participants were in the freshman college and studying Introduction to Computer and Information Science in one of six classes, and were randomly assigned to one of the two groups. The participants' midterm examination and final examination scores were collected as indicators of their academic performance, with their mathematics entrance scores used as a pre‐test. The findings obtained from analysis of covariance (ANCOVA) suggest that appropriate rearrangement of visual elements in lecture videos can significantly impact students' learning performance.     

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

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