Pseudo-inversion: closure properties and decidability

We consider a pseudo-inversion operation inspired by biological events, such as DNA sequence transformations, where only parts of a string are reversed. We define the pseudo-inversion of a string \(w = uxv\) to be the set of all strings \(v^Rxu^R\), where \(uv \ne \lambda \) and consider the operation from a formal language theoretic viewpoint. We show that regular languages are closed under the pseudo-inversion operation whereas context-free languages are not. Furthermore, we study the iterated pseudo-inversion operation and show that the iterated pseudo-inversion of a context-free language is recognized by a nondeterministic reversal-bounded multicounter machine. Finally, we introduce the notion of pseudo-inversion-freeness and examine closure properties and decidability problems for regular and context-free languages. We demonstrate that pseudo-inversion-freeness is decidable in polynomial time for regular languages and undecidable for context-free languages.     

基于块稀疏快速重构的MISO活跃用户集与信道联合估计

针对多用户多输入单输出（Multiple input single output, MISO)系统的用户选择与信道估计问题,引入基于用户分布式自选择的信道接入策略,设计一种新的结合该策略的时分双分复用（Time division duplex, TDD)模式数据传输帧结构。利用用户活跃模式自然稀疏性和信道冲激响应时延域稀疏性,将基站接收上行随机导频序列建模为块稀疏线性模型。基于凸松弛的l2/l1模型提出一种快速的块稀疏重构算法求解问题模型。算法首先对目标函数进行变量分裂,然后利用交替方向法对各变量进行交替更新,直至满足收敛条件。交替更新中,对于无法获得闭式解的信号变量项,采取块坐标下降法求解。计算机仿真表明,与块正交匹配追踪和块压缩采样匹配追踪比较,新算法能够在保持高重构精度的前提下获得更快的计算速度。     

Quantification model of proper curvature for large‐sized curved TVs

We present a feasible modeling method to estimate the proper curvature for large‐sized curved TVs. We especially focused on two factors – preference and perceived distortion – to be considered to determine the proper curvature. The preference includes a number of advantages that people expect to fulfill the possibilities of a more immersive image and sense of realism from curved display. On the other hand, the perceived distortion means the side effects that people can notice uncomfortable feeling caused by the shape of a curved one. In order to find out how two factors would be different as a number of conditions like curvature, size, and viewing angle change, a series of subjective assessments were conducted. The evaluation results show that both the preference and perceived distortion vary with the conditions considerably. We performed the statistical analysis based on the results and proposed the quantification model of proper curvature, which has higher preference and less perceived distortion, for various‐sized curved TVs.     

加压液化输沙技术与“浑水水力分离清水装置”结合的实验研究

本文通过物理模型实验的研究方法,通过不同含沙浓度的浑水,以不同进流流量的工况下,所得的清水溢流流量的汇总,拟合得出一定含沙浓度浑水不同进流流量时,清水溢流出口的计算公式。为工程使用中,初步确定装置的尺寸与工作工况提供参考。     

基于改进粒子群优化算法的火电厂机组负荷分配

以坑口电厂厂级监控信息系统的机组负荷在线优化分配功能模块为应用背景,针对模块所运用的基本粒子群优化算法在优化过程中容易陷入局部收敛、收敛速度慢的缺点,提出一种基于惯性权重非线性减小策略的改进粒子群优化算法,使惯性权重呈对数减小;测试函数仿真结果表明,改进粒子群优化算法在收敛速度和寻优精度方面,优化性能均优于基本粒子群优化算法;通过MATLAB与Visual C++混合编程,开发了机组负荷在线优化分配功能模块,提高了算法的计算效率和工程应用价值。     

An ontology-based personalized target advertisement system on interactive TV

We design and implement a personalized target advertisement (PTA) system in IPTV using ontology-based semantic relations between IPTV program and advertisement. In the PTA system, we focus on the development of an ontology reasoning technique of improving advertisement recommendation ability and exploiting efficient information reuse. For this purpose, we first build the IPTV program ontology and viewer profiling ontology based on the IPTV program and viewers’ content consumption behavior, using OWL (Web Ontology Language) standardized by W3C. We then classify each viewer into his/her corresponding reference group using a similarity metric. After that, we define the semantic relations between advertisement and shopping products consumed by the prototype through shopping sites in IPTV. Based on these semantic relations, we infer the preferred advertisements for each viewer through our reasoning process. In the experimental section, we demonstrate a prototype of our system and the algorithm of the PTA system using various cases.     

三峡库区重庆段一维水流模型糙率修正分析

为寻求河道水流一维数值模拟计算中关键参数“糙率”的确定方法,采用MIKE11一维水动力模型模拟了三峡库区重庆段(寸滩至长寿)37个断面的水位流量变化。首先用经验的方法确定模拟计算的初步糙率;然后以天然河道上、下游某断面流量作为边界进行模拟计算;再将得到的各断面的模拟水位值代入各测量断面,得到此断面的过水面积、水力半径和流量模数;最后将通过规范公式计算的糙率代入一维水流模型中进行计算,从而得到修正的糙率。结果表明：该方法能够有效提高模拟的精度,减小糙率对模拟结果的影响,对我国其他大江大河的水流数值模拟研究具有重要的参考和应用价值。     

Image matting for fusion of multi-focus images in dynamic scenes

In this paper, we address the problem of fusing multi-focus images in dynamic scenes. The proposed approach consists of three main steps: first, the focus information of each source image obtained by morphological filtering is used to get the rough segmentation result which is one of the inputs of image matting. Then, image matting technique is applied to obtain the accurate focused region of each source image. Finally, the focused regions are combined together to construct the fused image. Through image matting, the proposed fusion algorithm combines the focus information and the correlations between nearby pixels together, and therefore tends to obtain more accurate fusion result. Experimental results demonstrate the superiority of the proposed method over traditional multi-focus image fusion methods, especially for those images in dynamic scenes.     

A robust fault diagnosis and accommodation scheme for robot manipulators

This paper investigates an algorithm for robust fault diagnosis (FD) in uncertain robotic systems by using a neural sliding mode (NSM) based observer strategy. A step by step design procedure will be discussed to determine the accuracy of fault estimation. First, an uncertainty observer is designed to estimate the uncertainties based on a first neural network (NN1). Then, based on the estimated uncertainties, a fault diagnosis scheme will be designed by using a NSM observer which consists of both a second neural network (NN2) and a second order sliding mode (SOSM), connected serially. This type of observer scheme can reduce the chattering of sliding mode (SM) and guarantee finite time convergence of the neural network (NN). The obtained fault estimations are used for fault isolation as well as fault accommodation to self-correct the failure systems. The computer simulation results for a PUMA560 robot are shown to verify the effectiveness of the proposed strategy.     

Effects of wheelchair-based rehabilitation on the physical functions and health perception of stroke patients

The purpose of this study was to investigate the effect of wheelchair-based rehabilitation on the physical functions, health perception, and blood lipids according to the length of time since the stroke. Wheelchair-based rehabilitation progressed for 60 min per session, five times per week for 6 weeks. Physical functions, health perception (SF-36), and blood lipids were measured before and after rehabilitation. Physical fitness for physical function such as agility, grip strength, lower-body muscular endurance, flexibility, and posture control significantly improved after 6 weeks of rehabilitation. Health perception improved significantly with physical and mental health according to time since the stroke occurred. Overall, 6 weeks of wheelchair-based rehabilitation had a positive effect on the physical function and health perception regardless of stroke duration. Wheelchair-based rehabilitation had a more positive effect on the physical functions and health perception on the patients who suffered their stroke most recently. We suggested that wheelchair-based rehabilitation is necessary even through wheelchair based for chronic stroke patients, and it was useful their improved of quality of life.