石拱桥拱圈加固的约束机理分析

通过分析套箍和砌体横向应变关系,探讨了采用钢筋昆凝土套箍加固石拱桥对核心砌体的约束机理,并提出了套箍对核心砌体的约束应力及由于套箍约束作用使砌体强度提高的计算方法.同时,通过此方法对巴中市南江县龙渠大桥进行了加固设计,计算后得知主拱圈承载力得到明显提高,且实际运用效果良好.     

图像去噪中的纹理保护方法研究

基于偏微分方程及变分极值最小化的图像平滑方法可以有效地去除噪声,而且能够保护边缘信息,但由于噪声及纹理难以区分,使得纹理信息无法保留。提出一种纹理保护滤波算法,该算法利用图像分解模型将图像分解为几何结构分量及噪声/纹理分量,计算后者的局部方差,与传统变分能量最小化方法中的偏差惩罚项结合形成随纹理变化的约束,得到的模型在纹理区域滤波减少,从而保护了纹理信息。实验在视觉效果上得到了预期的结果,信噪比的计算对比也可以证明算法的有效性。     

Solving a real-time allocation problem with constraint programming

In this paper, we present an original approach (CPRTA for “Constraint Programming for solving Real-Time Allocation”) based on constraint programming to solve a static allocation problem of hard real-time tasks. This problem consists in assigning periodic tasks to distributed processors in the context of fixed priority preemptive scheduling. CPRTA is built on dynamic constraint programming together with a learning method to find a feasible processor allocation under constraints. Two efficient new approaches are proposed and validated with experimental results. Moreover, CPRTA exhibits very interesting properties. It is complete (if a problem has no solution, the algorithm is able to prove it); it is non-parametric (it does not require specific tuning) thus allowing a large diversity of models to be easily considered. Finally, thanks to its capacity to explain failures, it offers attractive perspectives for guiding the architectural design process.     

Performance bounds in linear control of unstable MIMO systems with pole location constraint

This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred at the origin, and with radius less than one. The underlying philosophy in this constraint is to avoid certain undesirable dynamic features which arise in quadratic optimal designs. An expression for the performance loss due to the pole location constraint is also provided. Using numerical examples, we show that the performance loss is compensated by an improved transient performance, specially visible in the control signals.     

Non-negative matrix factorization for semi-supervised data clustering

Traditional clustering algorithms are inapplicable to many real-world problems where limited knowledge from domain experts is available. Incorporating the domain knowledge can guide a clustering algorithm, consequently improving the quality of clustering. In this paper, we propose SS-NMF: a semi-supervised non-negative matrix factorization framework for data clustering. In SS-NMF, users are able to provide supervision for clustering in terms of pairwise constraints on a few data objects specifying whether they “must” or “cannot” be clustered together. Through an iterative algorithm, we perform symmetric tri-factorization of the data similarity matrix to infer the clusters. Theoretically, we show the correctness and convergence of SS-NMF. Moveover, we show that SS-NMF provides a general framework for semi-supervised clustering. Existing approaches can be considered as special cases of it. Through extensive experiments conducted on publicly available datasets, we demonstrate the superior performance of SS-NMF for clustering.

基于SIFT的三视图像特征匹配算法

提出一种基于SIFT的三视图像特征匹配算法。采用SIFT算法对三视图像进行特征匹配,引入计算机视觉中的三线性关系和基于三焦张量的像素转移误差计算方法,对SIFT算法的匹配结果进行筛选,剔除匹配过程中产生的误配点。真实图像数据实验表明,该算法有效剔除了SIFT算法产生的97％以上的误配点,提高了三视图像匹配的准确度。     

基于非二元约束满足的配置问题求解方法

依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。     

Partial cooperative spectrum sensing schedule in cognitive network

Cognitive radio has emerged as a promising technology for maximizing the utilization efficiency of the limited spectrum resources while accommodating the increasing amount of services and applications in wireless networks. One of the most important and critical components of the cognitive radio is spectrum sensing and accordingly, detection of primary users. Considering the hardware constraints existing in cognitive devices, based on the coarse estimation of channel occupancy, partial cooperative spectrum sensing with adaptive spectrum schedule scheme is proposed to increase the possibility to discover more spectrum opportunities promptly. Simulation results show the gain of sensing performance and the energy-saving feature of partial spectrum sensing. Special security scheme is designed to protect the reliability of sensing result from the false message attack. For the scenarios tested, the proposed scheme is shown to increase opportunities by up to 15 percent.     

基于渐进约束违背删除策略的服务合成执行路径优化

在面向服务计算领域,服务合成正成为分布异构资源整合、业务集成的一个新型计算模式。在开放互联的因特网环境下,由于存在多个功能相似但服务质量不同的服务提供商,从而导致一个抽象的服务合成方案存在多条可执行路径。然而,在满足用户综合QoS约束需求的情况下,如何有效协同单个服务的QoS从多条候选路径选出一条优化的执行路径,便成为服务合成QoS研究中的一个关键问题。遗憾的是,该问题还没有得到很好的解决。为此,我们提出一个采取渐进约束违背删除策略建立优化执行路径的方法。我们的方法能够避免探测多条执行路径,而是在靠本地最优化策略建立的执行路径上,通过全局QoS计算和QoS约束检查模型找出QoS约束违背,并进而采取渐进约束违背删除策略逐渐删除这些约束违规,并建立起一条近优的执行路径。实验表明,我们的方法很好地降低了建立优化执行路径的时间复杂性。     

基于物理的人体空中运动仿真

根据给定的处于关键时刻的人体关键姿态,运用优化方法生成满足牛顿力学的人体运动是人体运动仿真研究的重要问题.由于牛顿力学的强非线性和数值优化方法只能找到局部最优解,将牛顿力学约束直接作为约束条件的优化模型在实践中的收敛性不好.通过将牛顿力学约束转化为目标函数,同时增加对关键时刻的优化,提高了模型的收敛性,使其不依赖于被仿真运动的类型、人体质量参数和关键时刻准确程度等因素.仿真出来的人体运动尽可能地满足了牛顿力学.通过仿真7类复杂的蹦床运动验证了新模型的有效性,同时还将该模型用于人体受力分析和体育运动的新动作设计.