求解网络广告资源优化模型的改进微粒群算法

针对网络广告的特点，提出一个最大化广告效果函数的广告资源分配模型．在Langheinrich线性模型的基础上，加入分散广告显示的二次惩罚项，使所得到的最优解更能发挥网络广告的作用，结合微粒群(PSO)算法和模型的特点，设计出能有效处理约束的改进PSO算法，数值仿真证明了算法的有效性。     

基于一类SM SA 策略的模型最优降阶

将一类SMSA混合策略应用于模型的最优降阶，提出了处理约束优化和解决模型降阶通常遇到的稳定性问题的有效方法．通过对典型例子的数值仿真表明了混合策略和约束处理方法的有效性，而且第3个例子的优化结果明显优于以往文献的结果。     

参数不确定时滞系统的鲁棒稳定性

研究一类具有参数不确定时滞系统的鲁棒稳定性问题．假定其线性部分的参数不确定性由区间摄动模武描述，非线性部分的动态不确定性由积分二次约束(IQC)描述，给出了时滞互联系统鲁棒稳定的充分条件，并根据IQC乘子的特性，将无穷维稳定性检验问题转化为一维检验或有限检验问题．     

用于去除单张图像高光的光照约束补色

在计算机视觉研究领域,如何检测和消除图像中的高光(specular)一直是个热点问题,有关的研究结果对于提高计算机视觉算法性能有着重要的影响.针对这一问题,提出了一种检测和消除高光的方法.首先,通过比较高光和漫反射光(diffuse)的色度特性的不同,给出了一种交互检测单色物体表面高光区域的方法;然后,引入补色(inpainting)方法并结合光照约束条件,设计了一种去除单张图像中高光并还原出漫反射分量的新的补色算法.与一般补色方法不同,该算法充分利用了高光区域含有的信息来指导补色过程.通过综合利用观测到的像素值、光源的色度分析(illumination chromaticity analysis)、光源颜色的平滑性等来约束补色过程,保证了算法能够克服一般的补色方法无法保持物体表面细微明暗变化的缺点.实验结果表明,与以往的去除单张图像高光的方法相比,该算法能够提供更好的光源色度估计,从而得到更准确的结果.     

基于模型驱动架构的Web Services应用开发

从Web services的观点看，可以用MDA核心部件UML来精确描述商务信息，并且这种描述方法是与实现技术无关的。本文首先介绍了非形式化模型和形式化模型的不同之处，进而阐释了如何实现从商务信息模型到XML的映射以及从商业服务模型到WSDL的映射。     

煤炭战略联盟集成模型研究

在CIMS企业集成理念思想指导下，提出煤炭企业基于战略联盟的企业集成理念．在详细分析战略联盟集成关系特点、信息需求和功能需求基础上，提出从关系视图、信息视图和过程视图的角度，对煤矿战略联盟进行建模的方法，揭示煤炭战略联盟关系的内涵．在战略联盟模型中提出反映成员企业之间关联关系的核心能力约束网络，有利于动态表示联盟关系．     

管道机器人在弯道处通过性的研究

提出了一种描述管道机器人弯道通过性的数学模型,该模型由一组组合约束构成.通过对约束方程的分析讨论,得出了规律性的结论.管道机器人在弯道处的姿态、单元体的几何尺寸、行走轮结构形式对其通过性都有不同程度的影响.所提出数学模型是管道机器人弯道自主行走控制策略设计和相应结构设计的理论基础.     

Dynamic Modeling and Simulation of Impact in Tether Net/Gripper systems

The objective of this paper is to study the dynamic modeling andsimulation of a tether-net/gripper system during an impact, while it isbeing deployed or retrieved by a winch on a satellite orbiting aroundearth. We stick to Tether-Net system but the analysis is applicable toTether-Gripper systems too. We assume that the net is deployed from thesatellite in orbit and the motion is restricted to the orbital plane.This net captures a second satellite and tows it. The motion of atether-net system can be broken down into the following phases: (i)Phase 1: Net is shot out from the satellite with the tether completelyslack, (ii) Phase 2: Net comes to a location where the tether is tautwhile the drum on the orbiter is locked, (iii) Phase 3: Drum is unlockedand the net moves with the tether, (iv) Phase 4: Net captures a body.The continua (tether) is modeled using mode functions and coordinates.The theory of impulse and momentum can be used to model Phases 1, 2, and4 of motion of the tether-net system. The dynamics of the motion of thesystem in phase 3 is characterized by differential and algebraicequations (DAEs). Matlab ODE solvers were used to solve these DAEs.     

Compiling CSPs into Tree-Driven Automata for Interactive Solving

Constraint programming techniques are widely used to model and solve decision problems and many algorithms have been developed to solve automatically and efficiently families of CSPs; nevertheless, they do not help solve interactive decision support problems, like product configuration. In such problems, the user chooses the values of the variables, and the role of the system is not to solve the CSP, but to help the user in this task. Dynamic global consistency maintaining is one of the most useful functionalities that should be offered by such a CSP platform. Unfortunately, this task is intractable in the worst case. Since interactivity requires short response times, intractability must be circumvented some way. To this end, compilation methods have been proposed that transform the original problem into a data structure allowing a short response time. In this paper, we extend the work of Amilhastre et al. [1] and Vempaty [15] by the use of a new structure, tree-driven automata, that takes advantage of the structural characteristics of configuration problems (decomposition of the components into independent subcomponents). Tree-driven automata can be far more compact than classical automata while keeping their good properties, especially a tractable complexity for the maintenance of global consistency.     

感应加热用IGBT电流源逆变器

介绍了一种用于感应加热的高频大功率IGBT电流源逆变器。为了抑制电流换相期间的浪涌电压,逆变器采用最佳相角控制。