公钥体系的混合式P2P信任模型

设计公钥体系的混合式P2P网络信任模型。采用层次化管理体系对节点进行认证，公钥体系保障节点间通信的安全性。通过局部信任、推荐信任、全局信任综合考察节点的可信情况。给出了模型的数学实现方法。仿真结果表明，模型能够有效提高节点的交易成功率。     

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

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

一个网构软件可信实体模型及基于评估的信任度量

对于运行在开放、动态、难控的互联网环境的网构软件，其可信性保障与管理是一个重要课题．目前的研究多是基于信任网络思想的信任度量及演化模型，这种模型对于网构软件来说，在信任的来源、实体间信任关系的约束、信任传递参数的设置方面仍存在着不足．因此，本文引入可信计算中信任链模型的思想，提出了一个网构软件可信智能实体模型，并在此基础上构建了基于评估的信任度量方法．首先通过动态自省、显式自明和自主演化的机制保障了实体本身的可信，建立了信任的基点；并给出了形式化的描述及交互行为的动态监测；然后通过建立Bayes网络综合推荐信任并使用评估方法加以修正，以精确计算信任传递过程中的衰减参数，建立了信任链传递过程中的可信认证机制；最后通过实验验证了所提出方法的正确性．     

P2P系统中基于双信任信息的信誉度改进模型

针对P2P网络中诸如诋毁、合谋、欺骗等安全性问题，提出一种新的基于双信任信息的分布式信任模型。区别对待节点提供服务和发送评价的能力，对节点拥有的资源进行分类；通过迭代求解，为每个节点的每类资源分别计算全局服务信任值和回馈信任值；为了防止恶意节点反复实施恶意行为，引入了惩罚机制，激励节点诚信交易。仿真实验表明，该模型能够迅速降低恶意节点的全局信誉值和恶意交易概率，降低了对无过失节点的不公平性。     

多目标跟踪的序贯分层抽样信任传播算法

多目标视觉跟踪除了具有单目标跟踪中观测模型与目标状态后验概率分布的非线性、非Gauss的困难外，目标数目可变、数量众多以及目标之间的相互作用（如遮挡、交错）使得跟踪问题更为困难。基于三个耦合的Markov随机场（MRFs）导出了描述多目标跟踪问题的动态Markov网络（DMN），然后提出序贯分层抽样信任传播算法在DMN中求解多目标状态。首先用三个耦合MRFs表示每一时刻目标的配置情况，即表示目标联合状态的连续随机场、表示目标存在与否的二值随机过程和表示相邻两个目标之间是否存在遮挡的二值随机过程；其次，引入两个鲁棒函数来消除其中的两个二值随机过程，从而得到与耦合MRFs等价的Markov网络；最后提出序贯分层抽样信任传播算法求解该图模型，从而得到目标联合状态的最大后验概率估计。提出的序贯分层抽样信任传播算法集成了自底向上通过学习得到的目标检测器信息和来自目标节点的信任信息，从而能获得较好的跟踪结果。进一步，其他底层视觉线索也可以很容易嵌入本文的多目标跟踪框架中。实验结果表明，在多种测试序列情况下，与其他多目标跟踪算法相比，本文的方法均可以获得较好的跟踪效果。     

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

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

航天嵌入式软件可信性度量方法及应用研究

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.     

网格服务链模型的验证分析技术及应用

确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作．文中从形式化方法的角度出发，提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具．其中，状态Pi演算针对Web服务资源框架（WSRF）的思想，协调了系统状态与行为间的关系，扩展了Pi演算对系统状态的全生命周期管理能力．在此基础上，进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析．通过材料形变与断裂过程动态分析的网格应用案例，展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性．     

网格模型上的离散测地线

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

交通限行下多级配送网络节点划分与车辆路径优化

针对车载限行政策对城市物流配送的制约和经验主义节点布局导致派送盲点等问题,建立城市多级配送网络模型,并设计节点划分方法。采用区域覆盖法对配送终端服务区域进行划分,确定其服务能力需求;结合城市区域划分,自下而上对配送中心、中转站和配送终端的配送任务进行匹配,构建符合约束条件的配送网络。根据网络层级选择车型完成配送任务,实现总成本最优。最后通过仿真算例验证了模型和算法的有效性。     

基于加权最小二乘的无线传感器网络Euclidean定位算法

针对Euclidean定位算法中定位精度及覆盖率受锚节点密度影响较大的问题，提出一种改进的节点定位算法。根据节点初始定位精度及测距精度提出一种新的加权方法。定位后的节点升级为辅助信标点。未知节点根据更新的锚节点位置信息循环求精。仿真表明该定位系统既能提高定位覆盖率又能减少定位累积误差，从而提高整个网络的定位精度。     

基于安全域的电力系统有功和无功定价

提出了一种新颖的基于安全域的有功和无功定价模型及相应的求解算法．在该模型中无功功率的生产成本采用机会成本．利用割集功率空间上的静态电压稳定域（CVSR）和注入功率空间上的实用动态安全域（PDSR）表示电压稳定约束和暂态稳定约束，使优化中此类约束的计及变得十分简易．在所建议的算法中，采用了对有功生产成本和无功生产成本解耦优化一迭代的处理方法．根据K-T优化条件，求得节点有功和无功电价及其与各种安全约束相关的分量．所得的分量电价可以反映不同节点的功率注入对每一种安全约束的影响，从而可以通过节点电价激励市场参与者积极参与维护系统安全．该方法已在10机39节点系统上的得到了验证．     

基于Bayes-Monte Carlo的突发事件应急方案风险决策方法研究

为解决突发事件应急方案选择中信息不确定和随机性的问题,提出一种基于贝叶斯(Bayes)和蒙特卡洛(Monte Carlo)的风险决策方法。首先基于事发现场实际情况,应用贝叶斯决策理论,构建多元正态分布模型;然后针对权重随机性的特点,采用蒙特卡洛模拟算法进行模拟;通过计算各方案获得特定排名的可信度及整体排名可信度因子,得到方案排序,从而减小了不确定性信息对应急决策过程的影响。最后通过核电站事故应急决策的例子,验证了所提出方法模型的有效性和可行性。     

面向三峡库区水环境监测的分区多跳LEACH算法

针对无线传感器网络节点能量受限的问题，结合三峡库区水环境的具体应用环境，提出一种基于LEACH算法的改进型无线传感器网络节能路由算法——LEACH—PM。该算法将整个网络划分为若干个区域，各个分区内按轮进行建立分簇和传输数据。在簇建立阶段，考虑了节点的剩余能量；在数据传输阶段，采用单跳与多跳相结合的方式以降低网络的能耗。应用MATLAB对LEACH-PM算法与已有的LEACH算法进行仿真比较。实验结果显示，LEACH—M算法能更好平衡网络节点能耗，降低簇头节点能耗，延长整个网络的生存期。     

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

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

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

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

基于模拟有限差分的嵌入式离散裂缝数学模型

嵌入式离散裂缝模型划分网格时不需要考虑油藏内的裂缝形态,只需对基岩系统进行简单的网格剖分,可以大大降低网格划分的复杂度,从而能够提高计算效率.并且该模型可以将现有成熟的油藏数值模拟技术和离散裂缝网络模型有机地结合起来,能精细地模拟流体在裂缝性油藏中的流动.本文模型求解采用模拟有限差分方法,该方法基于单个网格的节点和面信息构造数值计算格式,理论上适用于任何复杂网格系统,且具有良好的局部守恒性,将其推广到嵌入式离散裂缝模型后,克服了该模型基于有限差分方法求解时不能有效处理全张量形式的渗透率以及不适用于复杂边界形状裂缝性油藏的局限性.最后通过实际算例验证了本文方法的正确性和优越性.     

域间IP欺骗防御服务扩展

拒绝服务攻击严重影响Internet的可用性，而攻击者通常采用源IP欺骗方式，使得网络防御更加困难．尽管已经提出许多防御IP欺骗的机制，但只是部分部署，防御效果差．本文首次提出一种域间IP欺骗防御服务扩展机制——MASK，在给定防御节点覆盖的情况下，延伸防御机制保护范围，增强节点的防御能力．借鉴Transit-StubAS模型，根据BGP消息MASK节点代理邻居中StubAS与目的端AS协商标识，共享源IP地址空间信息，向StubAS提供IP欺骗防御服务．同时利用BGP消息约束源．目的端之间MASK会话数，减小了标识的计算和存储开销．MASK不仅扩大了防御机制保护范围，且提前过滤了IP欺骗数据流．应用Routeview提供的RIB进行评估，MASK在相同覆盖下能够扩展IP欺骗防御机制的保护范围，是一种高效的域间IP欺骗防御机制，可为建设新一代可信网络提供有力支撑．     

虚拟计算环境中的嵌入式DHT覆盖网技术

随着计算技术与网络技术的飞速发展,人们提出在互联网之上构建和谐、可信、透明的虚拟计算环境.通过覆盖网动态组织互联网资源是在虚拟计算环境中实现资源有效共享的重要途径.基于DHT的覆盖网技术具有可扩展、延迟低、可靠性高等优点,然而,虚拟计算环境中现有的DHT覆盖网无法满足互联网应用的"可信"需求.针对该问题,文中提出一种虚拟计算环境中的嵌入式DHT技术TrustedSKY,支持上层应用在覆盖网中选择可信节点形成"可信子组"(trustedsubgroup)结构,进而在组中实现安全可信的DHT路由.     

基于改进GS-SVM的煤炭生产成本预测

原煤生产成本同时受到多种因素的共同影响,导致原煤生产成本系统具有非线性、多维性等特点。为了对原煤生产成本进行更加科学、准确的预测,针对目前我国原煤生产成本预测中存在的问题,将支持向量机(SVM)引入到原煤生产成本预测中。为快速准确地选取支持向量机参数,在传统网格搜索(GS)算法基础之上提出了一种改进网格搜索算法,并建立了一种基于改进GS-SVM的煤炭生产成本预测模型。将该模型用于观台煤矿原煤生产成本预测中,模型预测误差均在5%以下,平均误差3.3673%,预测精度高于多元回归分析,而模型训练时间也远低于传统网格搜索算法和启发(粒子群)算法,能够满足实际原煤成本预测需求。