基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

Interior penalty bilinear IFE discontinuous Galerkin methods for elliptic equations with discontinuous coefficient

<正> This paper applies bilinear immersed finite elements (IFEs) in the interior penalty discontinuousGalerkin (DG) methods for solving a second order elliptic equation with discontinuous coefficient.A discontinuous bilinear IFE space is constructed and applied to both the symmetric and nonsymmetricinterior penalty DG formulations.The new methods can solve an interface problem on a Cartesianmesh independent of the interface with local refinement at any locations needed even if the interfacehas a nontrivial geometry.Numerical examples are provided to show features of these methods.     

一种用于多目标优化的混合遗传算法

将遗传算法与局部优化方法相结合,提出了一种用于多目标优化的混合Pareto遗传算法(HPGA)。针对遗传算法局部优化性能较差的缺点,引入直接搜索策略以增强算法的局部搜索能力。HPGA首先运行Pareto遗传算法,以得到近似的Pareto最优解;然后启动直接搜索对其进行进一步优化。仿真结果表明HPGA兼具有良好的全局优化性能和较强的局部搜索能力。与Pareto遗传算法相比,HPGA不仅提高了优化搜索的效率,而且能够保证收敛到多目标优化问题的Pareto最优前沿面。     

多元优化算法可达性分析

提出了一种多元化群智能优化算法-多元优化算法。多元优化算法充分利用了现代计算机多核处理器,大内存的特点,通过多元化的搜索个体(元)对优化问题解空间进行搜索,并对历史信息进行选择记忆。该算法因搜索群具有分工不同的多元化特点而得名。搜索元按照职责不同而分为全局元和局部元,全局元负责在整个搜索空间进行全局搜索并找到潜在解区域,局部元负责在各个潜在解区间进行局部搜索以期望找到该区域更好的解。本文从理论上证明了该算法的可达性。基于标准函数的对比实验也验证了该方法在可达性方面优于其他几个参与比较的算法。     

SAR图像线特征分析与自动提取

自动提取图像中的线特征,特别是长而直的线特征,对于实现场景的自动解译有重要意义。对合成孔径雷达（syhthetic aperture radar, SAR）图像中的线特征及其自动提取问题的特殊性进行分析,结合对已有方法共性的简单总结,从实际应用需要的角度归纳了SAR图像线特征自动提取方法应满足的基本要求和应遵循的合理思路。提出了一种由粗到细的自动提取方法,定义一组局部方向参数描述图像的局部纹理方向特征,通过多尺度分析实现快速粗提取,在后处理中进行细化并获得知识表达。在日本PI SAR实际数据图像上进行的实验表明了提出方法的有效性。     

基于外存的大规模虚拟环境交互漫游

针对大规模虚拟环境的交互漫游,提出了一种基于外存的场景数据组织方法,并给出了相应的交互漫游算法。首先将场景数据分块组织成八叉树层次结构,然后为每个八叉树节点生成渐进网格表示。在实时绘制阶段,利用八叉树层次进行粗的全局细化,利用渐进网格进行细的局部细化。该方法可以对具有上千万三角形面片的大规模虚拟环境进行交互绘制,并且可以得到连续的LOD变化,消除交互漫游时的“Popping”(跳跃)现象。     

A self-similar local neuro-fuzzy model for short-term demand forecasting

This paper proposes a selfsimilar local neurofuzzy （SSLNF） model with mutual informati onbased input selection algorithm for the shortterm electricity demand forecasting. The proposed self similar model is composed of a number of local models, each being a local linear neurofuzzy （LLNF） model, and their associated validity functions and can be interpreted itself as an LLNF model. The proposed model is trained by a nested local liner model tree （NLOLIMOT） learning algorithm which partitions the input space into axisorthogonal subdomains and then fits an LLNF model and its associated validity function on each subdomain. Furthermore, the proposed approach allows different input spaces for rule premises （validity functions） and consequents （local models）. This appealing property is employed to assign the candidate input variables （i.e., previous load and temperature） which influence shortterm electricity demand in linear and nonlinear ways to local models and validity functions, respectively. Numerical results from shortterm load forecasting in the New England in 2002 demonstrated the accuracy of the SSLNF model for the STLF applications.     

束流输运网络中多目标的分区耦合牵制控制

分别构造了具有小世界和无标度拓扑结构的束流输运网络,为了实现网络多目标同步控制的目的,把束流输运网络按照需要分成多局域网络,采用多局域网络的全局耦合分局域控制方法,实现了分区局域网络中各自所需的多目标(不动点和周期态等)的稳定控制.该方法可以拓广应用于其他复杂网络的多目标控制.     

基于区域特征分布式Web用户兴趣迁移模式

提出一种基于区域特征的分布式Web用户兴趣迁移模式挖掘模型DWICP,以及基于该模型的具有区域特征的用户识别方法和局部浏览兴趣迁移模式更新算法/全局浏览兴趣迁移模式更新算法,用于发现具有区域特征的用户浏览兴趣迁移模式.实验表明,该方法能够较好地解决分布式环境下Web访问行为模式研究中的区域分析需求,同时提高了用户浏览兴趣表示的准确性.     

目标时序关系的形式定义和建模算法

多数目标建模方法关注于不同层次的目标关系.针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁.基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成.     

THE EXTRAPOLATION METHOD FOR A CLASS OF NON-SMOOTH FREDHOLM INTEGRAL EQUATIONS

For a class of non-smooth Fredholm integral equations we prove thatRichardson extrapolation method can be used to increase accuracy for finite ele-ment methods.On the basis of local refinement mesh,a superconvergence result isshown.Our theory also covers a class of non-smooth Wiener-Hopf equations andan application includes the calculation in certain linear elastic fracture problems.     

快速自适应鲁棒性尺度不变的特征检测子

为提高特征检测的可靠性与实时性,提出了一种快速自适应鲁棒性尺度不变的特征检测子(fast adaptiverobust invariant scalable feature detector, FARISFD)。首先提出尺度空间组数自适应选取方法改善了检测子针对不同图像的鲁棒性,然后提出基于过渡层的尺度空间构建方法加强了尺度空间的鲁棒性,最后利用基于加速段的特征检测子(features from accelerated segment test, FAST)计算特征分数,并通过简化传统亚像素级矫正方法,提高了特征分数的计算与亚像素级矫正速度。通过复现率与耗时实验进行了验证,与5种使用广泛的检测子对比结果表明,FARISFD的鲁棒性与速度较高。     

三维残缺数据的神经网络修补方法

针对常用的三坐标测量设备在对物体表面采样时造成的局部区域数据残缺问题，提出了一种三维残缺数据的多层感知器神经网络修补方法。该方法首先用矩形框在残缺数据的边界附近获取样本点集，并以其最小二乘拟合平面为基础建立局部坐标系；然后，在此局部坐标系下，将训练后的MLP网络仿真曲面用于残缺区域数据点重采；最后，将重采点集经坐标反变换后去替代原始点云数据中的样本点集。仿真和真实残缺数据的修补实验结果表明，此方法具有较高的修补效率和精度，可获得满意的修补效果。     

求解非光滑最优控制问题的自适应网格优化

针对传统直接配点法在求解非光滑最优控制问题时存在离散误差大、精度低的问题, 提出了一种自适应直接配点法。利用局部分段插值多项式逼近最优解, 将最优控制问题离散为非线性规划问题, 并给出了离散误差估计方法, 根据离散误差的大小确定区间内节点的加密量, 提出了自适应网格优化算法, 利用该算法将大部分节点配置在非光滑区域以降低离散误差。最后通过仿真算例将所提算法与传统直接配点法和文献中的拟谱自适应算法分别进行比较,验证了所提算法的高精度和有效性。     

基于免疫克隆原理的改进粒子群优化算法的研究

提出了一种改进的粒子群优化(PSO)算法来进行函数优化,以克服PSO算法容易陷入局部极值的不足,加快收敛速度,从而实现全局搜索.PSO算法是基于群体智能的随机优化算法,参数结构简单,但收敛速度慢,容易陷入局部极值.通过对PSO算法的深入分析,基于传统的速度--位置更新操作,把免疫克隆(IC)原理引入PSO算法中,将抗体视为粒子,根据亲和度的高低进行粒子克隆选择、克隆抑制和高频变异,提高了种群的多样性和全局搜索的能力.测试结果表明,该算法完成全局搜索所需的迭代次数明显少于PSO算法,大大缩短了搜索时间,在多维函数最优解的搜索中具有优良的性能.     

Low complexity DCT-based distributed source coding with Gray code for hyperspectral images

To compress hyperspectral images, a low complexity discrete cosine transform (DCT)-based distributed source coding (DSC) scheme with Gray code is proposed. Unlike most of the existing DSC schemes, which utilize transform in spatial domain, the proposed algorithm applies transform in spectral domain.Set-partitioning-based approach is applied to reorganize DCT coefficients into waveletlike tree structure and extract the sign, refinement, and significance bitplanes. The extracted refinement bits are Gray encoded. Because of the dependency along the line dimension of hyperspectral images, low density paritycheck-(LDPC)-based Slepian-Wolf coder is adopted to implement the DSC strategy. Experimental results on airborne visible/infrared imaging spectrometer (AVIRIS) dataset show that the proposed paradigm achieves up to 6 dB improvement over DSC-based coders which apply transform in spatial domain, with significantly reduced computational complexity and memory storage.     

用模拟退火差异进化算法进行匹配场反演

分析了模拟退火算法与差异进化算法单独应用于匹配场反演时的局限性，构造一种结合两种算法优点的混合算法。模拟退火算法对差异进化算法的种群进行扰动，保留了差异进化算法的并行特性；在差异进化算法中引入模拟退火算法的重要性抽样思想，增强其逃离局部最优的能力，差异进化算法对目标函数梯度信息的利用仍然保留。仿真研究表明，混合算法在寻优时间与效率上达到了较好的平衡。     

邻居效应下的复杂社会网络扩散

复杂社会网络中的扩散不仅受到大众媒体等外部因素影响,更与其社会关系网络中邻居个体的选择密切相关.文中用"邻居效应函数"刻画邻居对个体选择的影响机制,分析了外部因素与邻居效应共同影响下的扩散均衡及其影响因素.研究发现,邻居效应函数的凹凸性决定了扩散的均衡,多重均衡的存在会增加扩散的不确定性,邻居效应的强度和复杂社会网络的结构特征对均衡采用者比例有重要影响.管理者在制定决策时应该考虑网络结构与邻居间相互影响.     

知识网络演化模型的仿真研究(英文)

研究了一类基于知识相关度的局部偏好连接机制和偏好删除机制的知识网络演化模型。数值模拟了知识网络累积度分布,累积度分布一开始近似服从无标度分布,而后出现一指数截断。最后比较了在一些不同连接与删除机制下生成的一些知识指标,仿真结果表明,基于知识的局部偏好连接机制和基于度的偏好删除机制比随机局部偏好连接机制和随机偏好删除机制更易于引起网络异质性及提高网络的绩效,而这些指标是有利于网络的形成。     

一种新的人工神经元网络结构模型

提出了一种新的人工神经元网络结构模型 ,与传统的层次型结构不同的是 ,它具有一种逐步细分型、自相似的结构 .给出了用二层模型模拟任意连续函数的一个可靠方法 ,构造方法是基于函数的局部性质 .