基于Cortex-A8的智能视频传感器的设计

视频监控在安全防范系统中有着重要作用。为了提高视频监控系统的智能化水平,设计并实现一种基于Cortex-A8的智能视频传感器。首先,以s5pv210为处理核心,TVP5150为视频采集模块,电源、网口、串口等外围辅助电路为基础,搭建视频传感器的硬件平台;然后,以嵌入式Linux为系统平台,采用TVP5150进行视频解码,Cortex-A8内置MFC进行视频压缩,在Vi Be等算法的基础上实现对检测区域的区域警戒,烟雾检测等;最后,融合硬件与软件为一体,实现智能视频传感器的设计。实验表明,该设计提高了智能视频监控系统检测报警及智能识别的实时性与准确性。     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法.首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型.该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑.     

音频、视频设备剩余电压检测技术研究

分析两种剩余电压测试方法—剩余电压测试仪法和数字存储示波器法的优、缺点,详细分析数字存储示波器法的输入阻抗、示波器供电电源、测试设备计量溯源等问题,并对最大剩余电压测量结果的不确定度进行分析评定,尽量减小各不确定度分量,以保证最高剩余电压的检测结果准确可靠。     

Gaming Social Capital: Exploring Civic Value in Multiplayer Video Games

Recent research suggests that social interactions in video games may lead to the development of community bonding and prosocial attitudes. Building on this line of research, a national survey of U.S. adults finds that gamers who develop ties with a community of fellow gamers possess gaming social capital, a new gaming‐related community construct that is shown to be a positive antecedent in predicting both face‐to‐face social capital and civic participation.     

Toward Universal Design in Public Transportation Systems: An Analysis of Low‐Floor Bus Passenger Behavior with Video Observations

This study aims to investigate the relationship between ergonomic comfort and the provision of accessibility features for mobility‐impaired persons in the use of public transportation systems in Korea. To deal with mobility issues in a public transportation environment, we chose the low‐floor bus as our research subject because it is the representative of a barrier‐free design solution. We collected data via video observation, which can overcome the limitations of traditional accessibility‐focused studies and laboratory studies by providing data on real usage patterns. We developed a framework to analyze the gathered data which includes user, space, tools, activities, and context. As a result, we observed existing difficulties of mobility‐impaired persons in terms of moving and supporting their bodies on the bus, despite the application of accessibility features. Furthermore, the design only for accessibility of mobility‐disabled persons can cause unexpected predicaments for the passengers who do not have physical handicaps. Drawing on these findings, we concluded that the concept of universal design in public transportation environments must be introduced in Korea. This study suggests video observation as a useful methodology for collecting data in dynamic environments. Additionally, our study is expected to contribute to how the concept of universal design can be implemented, and stimulate issues for ergonomic research based on our behavior pattern analysis.     

视频挖掘研究进展

视频挖掘技术近年来受到了国内外研究者的逐渐关注,但研究还处于初步阶段,实际的应用系统很少,有关概念、系统结构和技术方法仍需深入研究。在回顾国内外研究动态的基础上,对视频挖掘的研究现状进行了归纳、评述;探讨了视频挖掘的概念,清理了视频挖掘与相关技术的联系与区别;展望了视频挖掘研究中的重点问题和解决思路。     

参数自适应的条件随机场视频分割方法

针对已有算法需要采用一系列参数经验值得到最优视频分割结果的问题,提出根据视频特征自适应地计算视频邻域关系的特征强度函数,构造参数自适应的条件随机场视频分割模型。算法的核心思想是采用视频中像素之间的邻域关系自适应计算各个模型的特征函数,通过条件随机场模型对这些特征能量函数进行约束并利用Gibbs采样算法对该模型进行求解,获得全局优化的分割结果。针对不同环境下的视频分割实验表明,该算法能够很好地逼近最优经验参数所得到的视频分割结果,从而避免定义经验值所导致的算法局限性问题。     

基于能量差比率的DEW视频水印算法

提出了一种基于能量差比率的DEW视频水印算法,该算法选择在I帧视频图像块能量(纹理)分布均匀的区域嵌入水印,每个I帧中嵌入的水印相同。实验结果证明,该算法水印鲁棒性好,码率稳定,检测可靠性高。     

一种快捷的高精度运动估计方法

因为高清数字电视对图像质量有严格的要求,所以高清数字电视编码采用了计算十分复杂的高精度运动估计方法,而非快速的简单运动估计方法,这就导致了运动估计在视频编码中占用了很多的计算资源。提出了一种结合不同宏块运动特性的方法,以便自适应地选择高精度运动估计方法或简单运动估计方法。该方法通过改变宏块编码顺序与运动向量预测顺序的关系,在减少70%运算时间的情况下仍能保持与高精度方法相同的搜索精度。