CROWN:面向服务的网格中间件系统与信任管理

针对大量网格资源的分布、自治等特点，给出了基于SOA的服务网格体系结构，提出了基于层叠网的分布式网格资源组织与管理机制、访问控制策略的自动协商、信任管理和信任协商机制，并研制了中间件系统CROWN；通过部署CROWN中间件系统建立了广域试验环境并部署了中尺度天气系统降水预报、海量多媒体数据处理平台、血液流动温度场显示、科学数据网格以及数字巡天图检索等多个网格应用，应用经验表明，该中间件系统能够支撑以计算密集型、数据密集型和海量信息分析与处理为特征的典型应用．     

计算网格环境下基于多址协同的作业级任务调度算法

计算网格下多管理域机群互连为作业级任务协同调度创造了机遇，同时在协同性、异构适应性、网络适应性和算法可扩展性方面对传统的作业调度模型与算法提出了新的挑战．通过引入网格环境下作业级多址任务调度模型与性能模型，提出多址任务协同调度算法框架．以最优和贪心资源选择策略为核心，提出两种作业级多址协同调度算法．同Sabin与Yahyapour等人提出的单址与多址协同算法进行实验对比，验证了调度模型与算法的有效性与先进性．     

基于Web服务的制造网格

文章首先介绍了网格的概念、分类及应用,然后在Web Services技术、OGSA的体系结构等已有研究的基础上,分析了制造网格的概念和特征,研究了制造网格孕育和生长的特点,并提出了制造网格的生长模型和制造网格母体系统的构建内容和方法。     

需求驱动的Web服务建模及其验证:一个基于本体的方法

从Web服务所交互的环境角度出发，提出了基于环境本体的Web服务能力描述框架，从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力，并由此建立了需求驱动的Web服务组合模型．同时提出用π演算的进程表达式表示Web服务的行为语义，并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制，在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法．经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者．     

一种基于Bayes信任模型的可信动态级调度算法

提出了一种基于信任机制的任务调度模型，该模型通过借鉴社会学中的人际关系信任模型，建立网格节点间的信任关系，利用Bayes方法对节点的可信度进行评估，将节点的可信度并入DLS算法得到可信动态级调度（Trust-DLS）算法．仿真结果证实，提出的Trust—DLS算法能以较小的时间花费为代价，有效提高应用任务在可信方面的服务质量需求，保证网格环境中任务安全可信的执行。     

科学发现的逻辑验证

R演算是一个关于逻辑连接词符号和量词符号的演算系统．它是一个根据事实反驳对科学理论进行修正的符号演算系统．文中以狭义相对论和生物进化论为例，使用R演算，对这两个科学理论的发现过程，在数理逻辑层面进行了验证．验证的结果表明：对Einstein时代的物理学而言，狭义相对论是唯一而且正确的选择．对Darwin时代的生物学而言，在接受自然选择原理等前提下，R演算可以推导出3种不同的，但逻辑上合理的进化论方案．Darwin提出的进化论是其中一种．有趣的是三者中的另一种，现在看来它具有一定的包容性．     

稀相气粒两相流中亚网格尺度涡对颗粒扩散影响的LES／FDF模拟

本文基于颗粒扩散率这一参数,应用LES／FDF模型对稀相气粒两相流中亚网格尺度涡对颗粒湍流扩散的影响进行了数值模拟研究．通过将使用LES／FDF模型得到的模拟结果与不使用LES／FDF模型得出的结果进行对比后,得出：对于小颗粒（小Stokes数颗粒）,大涡结构是影响颗粒空间扩散的主要因素;但是对于中等粒径颗粒和大颗粒,亚网格尺度涡对于颗粒扩散率的影响与大涡处于同一数量级．亚网格尺度涡在大多数情况下会使颗粒扩散率增大,但有时也会降低颗粒扩散率．亚网格尺度下颗粒的扩散率不仅仅取决于亚网格尺度涡的强度和Stokes数,还与流场中的大尺度涡结构有关;对于各向同性湍流中的颗粒,在亚网格尺度涡的作用下,其扩散率随粒径增大而降低．     

一种生成渐进动画网格模型的改进算法

在计算机图形学中,动画网格模型被广泛地用来表示时变数据,而模型的渐进网格表示方法经常可以用来加快处理、传输和存储速度.文中提出一种生成渐进动画网格模型的高效方法.该方法使用一种改进的基于曲率的二次误差测量准则来计算边折叠代价,可以有效地保持曲面上更多的局部特征.同时,定义了原始动画序列的变形程度权值,并将其加入到累加的边折叠代价中,这样动画模型中的动作变形特征就得到了有效的保持.最后,对动画序列提出了一种优化算法,可以有效地减少动画输出的视觉跳变,提高相邻帧的时间一致性.实验结果证明,本方法高效、易于实现,并且可以在任意细节层次上生成高质量的渐进动画网格模型.     

二维垂向射流沙质河床冲刷的数值模拟

基于紊流理论和射流冲刷机理,本文提出了二维垂向射流冲刷的数学模型．以拖曳力为主要参变数,导出了基于希尔兹数的推移质泥沙输运模型,将临界希尔兹数作为泥沙颗粒起动的判别标准,模型中没有考虑悬移质的运动,推移质运动所引起的河床形态变化用动网格技术来描述,从而形成了基于动边界的二维射流冲刷数学模型．针对二维垂向射流清水冲刷进行了试验研究,得出了射流流态及冲刷坑的几何特征等资料．选用实验室物理模型参数对二维射流冲刷进行了数值计算,试验和数值模拟均展现了射流冲刷摆动的发展过程,两者给出的射流摆动现象的良好吻合验证了模型和算法的有效性,进而在计算和试验研究基础上给出了射流冲刷平衡时冲刷坑特征长度的半经验公式．     

基于应用语义的网构软件松弛事务模型研究

事务处理是保障服务协作可靠性的关键技术，由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务（transactional composite service，TCS）．为保证TCS执行的松弛原子性，现有的研究主要依靠对TCS语法结构的分析，但语法结构反映不出特定的应用语义信息，从而对服务事务能力要求过高，导致了很多不必要的失败恢复甚至放弃．给出了一个基于应用语义的网构软件松弛事务模型，包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法．用户可以根据应用语义，为TCS赋予特定的松弛原子性约束ε，包括TCS合理结束配置，以及对各个合理结束配置的倾向性顺序．ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性．执行保障算法根据酌束监控TCS的执行，主动进行重试、补偿等操作，将松弛原子性的规约与保障抽象到系统层次进行，分离了关注点．     

网格模型上的离散测地线

测地线是微分几何中的重要概念,用于描述曲面上两点之间的最短曲线,相当于平面上两点之间的直线段,它在计算机图形学、图像处理、计算几何、计算机视觉等学科中有着广泛的应用.自20世纪80年代以来,关于离散测地线已有广泛研究,众多学者提出了许多切实可行的算法.本文将在介绍光滑曲面上的测地线和离散网格上测地线概念的基础上,对网格模型上的离散最短测地线和最直测地线的定义、性质及相关算法进行归纳总结,重点讨论网格模型上离散最短测地线的相关算法,包括完整网格和有缺陷网格上最短测地线的精确算法和逼近算法,对各类算法进行深入研究,详细论述每个算法的基本思想与实现方法,从多个角度分析每个算法的优缺点,并对他们各自的时间复杂度、空间复杂度及适用范围等进行对比,最后对离散测地线的相关研究进行展望,有利于后续对测地线算法的深入研究.     

串行级联CPM的一种简化状态SISO迭代译码算法

对串行级联CPM系统进行分析，提出一种简化状态软输入软输出APP算法．它基于状态分集的RSSD思想，与其他简化状态SISO算法相比，具有更为一般的形式．该算法能够成倍地减少状态数目，简化运算复杂度，并且利用判决反馈减小简化状态网格的Euclid距离损失．分析与仿真结果表明对于SCCPM系统，合适的简化方案可以带来较小的性能损失。     

TCVI工艺制备C／C复合材料的多物理场耦合模拟

采用2D轴对称瞬态模型对热梯度化学气相渗积（TCVI）22艺制备高性能C／C复合材料过程进行模拟．模型包括对流、热传导、扩散、沉积反应和孔隙演变等物理化学过程．采用有限元方法实现了多物理场迭代耦合计算，得到了各时刻流场、温度场和密度分布规律，研究表明对流对温度场分布具有重要影响．对于采用TCVI工艺致密化100h的C／C复合材料，对比实验测得的预制体平均密度径向分布，计算结果与实验结果符合一致规律，验证了模型的可靠性和模拟计算的预测能力．     

液压支架用电磁先导阀的可视化模拟分析

本文通过建立高水基电磁先导阀的几何模型,利用计算流体动力学（CFD）仿真软件FLUENT的动网格技术,实现对先导阀精细结构的可视化模拟.通过比较分析稳态与动态工况下,不同开口量值时,阀内流体的流动状态,得出影响阀的性能因素,从而为阅的优化设计提供一定的理论依据.     

快速构建量子稳定子码的最小网格图

量子网格图顶点集的大小影响译码算法的效率,减少网格图的顶点数可以提高译码算法的效率.本文基于标准化的稳定子群校验矩阵,给出了构造面向网格图的稳定子群生成元的方法,据此可以构造顶点集最小的量子网格图.此外,本文通过分析差错算子与稳定子群生成元各个量子位的对易关系对两算子之间对易关系的影响,给出了一种快速生成量子稳定子码网格图的方法.现有构造方法对各顶点集分别独立计算,没有利用已有的计算结果,所以运算量大,这限制了译码的规模和速度.本文方法是在已有顶点集的基础上,利用迭代法构造新顶点集,该方法计算复杂性更小、算法效率更高,从而能适应规模更大和对时间要求更高的应用.     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

GTD模型联合参数估计与定阶的Bayes方法

将基于Bayes原理的参数估计与定阶方法应用于GTD模型，设计并实现了基于RJ-MCMC方法的GTD模型联合参数估计与定阶算法．该算法利用GTD模型的物理约束先验信息，提高了定阶准确率和参数估计精度，同时较好地解决了GTD模型中的混合参量估计问题．通过仿真数据和电磁散射数据对算法的性能进行分析验证，结果表明，该算法能够得到较好的参数估计和定阶结果，在低信噪比、邻近分量、短数据的情形下，优势更为明显．     

地表受光面和阴影温差的潜在信息及遥感土壤水分的新途径

在可见光和近红外遥感中，地物阴影通常认为是提取信息的噪声或干扰．而 在热红外遥感中，发现地物光照面和阴影的信息差是提取热量平衡参数的重要信息源． 通过实践，建立了以地物光照面和阴影的表面温度差为基础的土壤水分含量的遥感模 型，为利用多角度信息提取遥感土壤水分开辟了新的途径．在中国科学院禹城综合试 验站遥感试验场开展了模型论证试验．试验资料很好地支持了模型的验证．所用方法 与现有的热惯量方法和作物缺水指数方法进行了对比，分析了本方法的优越性和局限 性．     

多时间步长结冰数值模拟方法研究

时间步长是影响飞机结冰数值模批精度的重要参数之一。本文通过求解雷诺时均N-S方程,湍流模型采用k-ε两方程模型,获得空气流场,求解水滴运动轨迹方程获得水滴撞击特性,基于Messinger热力学模型求解能量和质量守恒方程计算冰形。并采用扇形分区法,更新机翼前缘结冰区网格,保持网格拓扑结构不变,实现多时间步长结冰数值计算。比较了采用单时间步长法争多时间步长法对翼型表面结冰增长数值模拟的计算结果,并与冰风洞试验数据及LEWICE预测数据进行对比。在此基础上,计算分析了不同时间步长对部件表面的结冰冰形的影响。结果表明,只有采用多时间步长法进行飞机结冰数值模拟方是有效的,并且存在一个合适的时间步长,既满足计算精度要求,又能提高计算效率。     

求解椭圆方程的径向基无网格配置法

针对一、二维椭圆方程构造了径向基无网格配置法；给出了解的存在唯一性；同时得到了基函数中自由参数c与求解精度的关系，以及节点均布时自由参数最佳取值的计算公式。将节点均布下得到的自由参数取值公式应用于节点任意排列的情况，其求解精度仍能得到保证，表明这种无网格方法对节点的位置不敏感。