Complexity and computability of solutions to linear programming systems

Through key examples and constructs, exact and approximate, complexity, computability, and solution of linear programming systems are reexamined in the light of Khachian's new notion of (approximate) solution. Algorithms, basic theorems, and alternate representations are reviewed. It is shown that the Klee-Minty example hasnever been exponential for (exact) adjacent extreme point algorithms and that the Balinski-Gomory (exact) algorithm continues to be polynomial in cases where (approximate) ellipsoidal centered-cutoff algorithms (Levin, Shor, Khachian, Gacs-Lovasz) are exponential. By model approximation, both the Klee-Minty and the new J. Clausen examples are shown to be trivial (explicitly solvable) interval programming problems. A new notion of computable (approximate) solution is proposed together with ana priori regularization for linear programming systems. New polyhedral constraint contraction algorithms are proposed for approximate solution and the relevance of interval programming for good starts or exact solution is brought forth. It is concluded from all this that the imposed problem ignorance of past complexity research is deleterious to research progress on computability or efficiency of computation.This research was partly supported by Project NR047-071, ONR Contract N00014-80-C-0242, and Project NR047-021, ONR Contract N00014-75-C-0569, with the Center for Cybernetic Studies, The University of Texas at Austin.     

基于心态指标的区间灰数关联度模型

针对已有的灰色关联度模型仅适用于实数序列而不能应用于区间灰数序列的情况,通过引入决策者心态指标,将区间灰数序列转化为决策者心态指标序列,并且当决策者的心态指标确定时,心态指标序列就转化为实数序列,于是通过对体现决策者心态的实数序列建立灰色关联度模型,得到了反映出决策者心态的灰色关联度,从而构建了基于心态指标的区间灰数关联度模型。决策者处于不同心态时,可以通过调整其心态计算灰关联度,从而使建立的关联度模型更加符合实际。最后,通过计算实例说明了模型的可行性。     

Parametric synthesis of pulsar time

A new method of generating pulsar time based on a coherent representation of a sequence of observed events is considered. The properties of pulsar time compared with the traditional approach are analyzed. __________ Translated from Izmeritel’naya Tekhnika, No. 6, pp. 39–44, June, 2006.     

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

针对气电综合能源系统优化调度中未充分挖掘可调度因素、未充分考虑风电预测误差不确定性的现状,研究含风电的气电综合能源系统日前区间优化调度方法。首先,基于区间数学对风电出力的不确定性进行区间描述,综合考虑抽水蓄能、气电双向转换以及需求响应等资源和技术,并用区间数学表示优化目标和优化约束,构建含高比例风电的气电综合能源系统日前优化模型,综合优化系统的经济性、环保性。然后,基于区间序关系和可能度的方法将区间优化模型转化为确定性优化模型,继而采用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.     

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.     

一种基于滑动窗能量检测的OFDM符号同步算法

文章提出了一种基于滑动窗能量检测来实现OFDM符号定时同步的算法。为了避免码间干扰（ISI）,通常在帧的起始位置添加保护间隔。该算法正是利用该保护间隔信号能量最小的特点来寻找符号定时同步点。该算法分为粗同步和细同步,通过改变滑动窗的长度,两次寻求滑动窗内信号能量的最小值,来确定最佳的符号定时起点。文中给出了算法的具体步骤。仿真结果表明,该算法具有良好的估计精度。