Renaming Detection

Finding changed identifiers is important for understanding the difference between two versions of a program and for detecting and resolving conflicts while merging variants of a program together. Standard practice for differencing and merging relies on line based techniques that do not recognize renamed identifiers. The design and implementation of a tool to automatically detect renamed identifiers between two versions of a program is presented. The system uses an abstract representation of language constructs to enable language awareness without introducing language dependence. Modules for Java and Scheme have been written. The detector works with multiple file pairs, taking into account renamings that span several files. A case study is presented that demonstrates proof of concept. The detector is part of a suite of intelligent differencing and merging programs that exploit the static semantics of programming languages.     

考虑风电接入和气电转换的综合能源系统日前区间优化

针对气电综合能源系统优化调度中未充分挖掘可调度因素、未充分考虑风电预测误差不确定性的现状,研究含风电的气电综合能源系统日前区间优化调度方法。首先,基于区间数学对风电出力的不确定性进行区间描述,综合考虑抽水蓄能、气电双向转换以及需求响应等资源和技术,并用区间数学表示优化目标和优化约束,构建含高比例风电的气电综合能源系统日前优化模型,综合优化系统的经济性、环保性。然后,基于区间序关系和可能度的方法将区间优化模型转化为确定性优化模型,继而采用Jaya算法进行求解,保证求解的高效性和解空间的可行性。最后,进行算例分析,仿真结果验证了综合利用抽水蓄能、气电双向转换以及需求响应等要素对系统进行区间优化,能取得优化效果上的优势,并能为系统调度人员提供风电不确定度对系统优化影响的信息。     

基于连续有序加权平均算子的区间组合预测

将连续的有序加权平均算子与诱导的有序加权平均算子相结合运用到区间组合预测问题中,首先定义了基于连续区间有序加权平均算子的区间预测相对误差、预测精度和非劣性组合预测等概念,其次以区间组合预测误差平方和为准则建立了基于连续区间有序加权平均算子的区间组合预测模型。在该模型下,进一步讨论了区间组合预测模型的性质和求解方法。最后给出了实例分析,表明该区间组合预测方法有效。     

一致性区间数判断矩阵及其性质

本文给出一致性区间数判断矩阵的定义及一致性区间数判断矩阵的一些性质。     

基于雾气特征与不等关系约束的去雾方法

针对现有去雾算法未充分考虑图像雾气信息、复原图像细节模糊等问题,提出一种新颖的反映图像雾信息分布的雾气特征图,并采用不等关系约束方法提高图像质量。首先,提取退化图像的极值通道以实现雾气信息的粗略估计,并通过L-1正则化对其进行优化从而得到雾气特征图。其次,提出一种基于雾气特征的初级大气光幕函数,通过对颜色通道和大气光幕作深入分析,利用均值不等式获得约束后的退化场景大气光幕。最后,利用雾气特征图对局部大气光进行改进,并基于大气散射模型实现图像去雾。将所提算法在真实雾图和合成数据集雾图上与其他经典方法进行比较分析,可以发现,所提算法在单幅图像去雾中展现了较好的性能,且在夜间雾图复原中更具优势。     

Localized Heat Therapy Improves Mitochondrial Respiratory Capacity but Not Fatty Acid Oxidation

AIM: Mild heat stress can improve mitochondrial respiratory capacity in skeletal muscle. However, long-term heat interventions are scarce, and the effects of heat therapy need to be understood in the context of the adaptations which follow the more complex combination of stimuli from exercise training. The purpose of this work was to compare the effects of 6 weeks of localized heat therapy on human skeletal muscle mitochondria to single-leg interval training. METHODS: Thirty-five subjects were assigned to receive sham therapy, short-wave diathermy heat therapy, or single-leg interval exercise training, localized to the quadriceps muscles of the right leg. All interventions took place 3 times per week. Muscle biopsies were performed at baseline, and after 3 and 6 weeks of intervention. Mitochondrial respiratory capacity was assessed on permeabilized muscle fibers via high-resolution respirometry. RESULTS: The primary finding of this work was that heat therapy and exercise training significantly improved mitochondrial respiratory capacity by 24.8 ± 6.2% and 27.9 ± 8.7%, respectively (p < 0.05). Fatty acid oxidation and citrate synthase activity were also increased following exercise training by 29.5 ± 6.8% and 19.0 ± 7.4%, respectively (p < 0.05). However, contrary to our hypothesis, heat therapy did not increase fatty acid oxidation or citrate synthase activity. CONCLUSION: Six weeks of muscle-localized heat therapy significantly improves mitochondrial respiratory capacity, comparable to exercise training. However, unlike exercise, heat does not improve fatty acid oxidation capacity.     

综合的战场空间领域本体构建方法

为了建设我军的一体化知识处理平台、获取知识优势、构建我军的战场空间领域本体,针对我军实际,结合我军信息化建设的经验,提出了一种综合的战场空间领域本体构建方法MSBCO,设计了具体算法;最后对相关研究进行了比较.     

基于Hadoop的气象数据分布式存储技术研究

针对目前气象数据存储所面临的海量扩张、高并发读写、结构化和非结构化数据并存以及长时间序列和大数据集检索效率低下等问题,提出了以Hadoop开源框架为基础的气象数据分布式存储方案.通过对气象数据自身属性和特点进行分析,得出了气象数据在经过充分优化的基础上,在分布式存储框架中具有很强的适应性和规模化应用的潜力;并在HBas...     

Block-Orthogonal Frequency Division Multiplexing in Multi-Path Fading Channel

Orthogonal frequency division multiplexing (OFDM) is robust against multi-path interference due to using a lot of low symbol rate sub-carriers. In order to mitigate the degradation due to multi-path interference, guard time interval (GI) is inserted into each OFDM symbol. However, redundant allocation to GI leads to loss of effective transmission power. We propose the Block-OFDM which can reduce the GI overhead ratio per frame compared with conventional OFDM. In Block-OFDM system frequency domain equalization (FDE) is carried out in order to remove multi-path interference. We evaluated Block-OFDM performance in a frequency selective fading channel and compared with that of conventional OFDM. Ryohei Kimura received his B.E. and M.S degrees in communications engineering form Tohoku University, Sendai, Japan, in 2001 and 2003, respectively. In 2003, he joined Panasonic Mobile Communications Co., Ltd. His current research interests include such mobile communication technologies as OFDM and MIMO (MLD), and the like. Akiyoshi Monma received his B.E. in communications engineering form Tohoku University, Sendai, Japan, in 1998. In 1998, he joined Panasonic Mobile Communications Sendai R&D Lab. Co., Ltd. His current research interests include such mobile communication technologies as OFDM and PAPR reduction, and the like. Jinsong Duan received his B.E. and M.S. from Changsha Institute of Technology, China in 1987 and 1990. He received his Ph.D. from Osaka City University, Japan in 2000. From 2000–2003 he was with Mitsubishi Electric Corporation, where he engaged in research and development of WCDMA systems. From 2003, he joined Panasonic Mobile Communications Co., Ltd. His current interests include such mobile communication technologies as OFDM, MIMO, link adaptation, scheduling, and TDMA/FDMA/CDMA systems. Mitsuru Uesugi received his B.E. degree from Waseda University in 1986 and received his Ph.D degree from Tohoku University in 2004, respectively. He is a general manager in the Mobile Communication Technology Development Center of Panasonic Mobile Communications Co., Ltd. His current research interests include such mobile communication technologies as equalization, interference cancellation, modulation method, and the like.     

一种新的图像超像素分割方法

针对现有超像素分割方法无法自动确定合适的超像素数目,以及难以有效贴合图像目标边界等问题,该文提出一种新的利用局部信息进行多层级简单线性迭代聚类的图像超像素分割方法。首先,运用基于局部信息的简单线性迭代聚类(LI-SLIC)对原始图像进行超像素初分割,然后,根据超像素的色彩标准差对其进行自适应多层级迭代分割,直至每个超像素块的色彩标准差小于预设阈值,最后,利用相邻超像素间的色彩差异对过分割的超像素进行合并。为验证方法的有效性,该文采用Berkeley, Pascal VOC和3Dircadb公共数据库作为实验数据集,并与其他多种超像素分割方法进行了比较。实验结果表明,该文提出的超像素分割方法能更精确贴合图像目标边界,有效抑制图像过分割和欠分割。