10.1 基于RSA和离散对数的签名体制 10.2 群签名 10.3 多重数字签名方案 10.4 代理数字签名体制 10.5 基于纠错码的数字签名体制 10.6 批验证协议

一、实验目的与意义 1、验证不可压缩流体恒定流的动量方程 2、了解射流与孔口出流的特点,掌握管嘴出流的水力现象; 3、灵活应用静力学的基本知识,由测压管推求压力

x射线发展史: 1895年德国物理学家伦琴在研究阴极射线时发现了X射线 (1901年获得首届诺贝尔奖) 1912年,德国的Laue第一次成功地进行X射线通过晶体发生衍 射的实验,验证了晶体的点阵结构理论。并确定了著名的晶体 衍射劳埃方程式

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否 遵守语言的类型系统的过程,编译程序必须报告不 符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到 合法的地方

利用商业软件Thercast建立了描述水冷结晶器内钢液凝固传热和弹塑性变形的有限元模型,对凝固过程进行三维热力耦合求解.首先在坯壳表面施加热流密度,从而得到铸坯结晶器内凝固收缩量和坯壳温度分布,并分析钢水静压力的影响,提出结晶器锥度的设计原则,以确定合适的结晶器纵断面锥度.然后在结晶器铜管冷面施加水冷换热系数,并考虑保护渣和气隙对坯壳凝固的影响,研究坯壳在结晶器内的凝固过程,从而验证所提锥度的合理性

基于Web服务的可信应用程序构造的一个关键问题是如何度量Web服务的可信性.在遵循Web服务特点的基础上，提出一个综合的Web服务可信性度量模型TMM4WS，从Web服务的内部实现和外部使用两方面对Web服务的可信性进行度量，开发了相应的度量支持工具TMT4WS.采用Web服务实例对提出的度量模型与工具进行了验证.实验结果表明，度量模型TMM4WS及其支持工具TMT4WS具有较好的可操作性，能够定量地度量Web服务的可信性

通过建立结晶器内钢液和水的二维对流-传热耦合模型过程,研究了小方坯结晶器冷却水入口温度和流速对铜管温度和结晶器内平均热流的影响.该模型使用Fluent进行求解,模拟了钢液和冷却水的流动和传热,凝固坯壳的生长,以及热量以辐射和导热两种通过保护渣和气隙.通过将坯壳厚度和铜管温度与其他研究的结果进行对比来验证模型准确性.研究结果表明,结晶器冷却水的温度显著影响铜管的冷面温度,水温超过313 K会导致铜管冷面最高温度超过水的沸点.水流速升高0.49 m·s-1能够消除水温升高4 K带来的不利影响

根据钢铁工业逆向供应链流程,分析了钢铁工业逆向供应链及其服务的基本定义和三个服务主体的特征.在此基础上,构建了一种二层级三维度钢铁工业逆向供应链服务过程模型.在服务抽象维、服务组织与协同运作维、服务网络跨级控制与服务增值维等三个维度构成的空间里,完成由服务方案匹配与决策实现的三阶段构成的第一级服务响应以及由服务功能实现的两阶段构成的第二级服务响应过程.探讨了服务过程实现中的服务模块化、服务知识获取与共享、服务模块智能匹配等关键技术.以某钢铁企业废钢逆向供应服务为实际应用案例,验证了模型的可行性

本文建立了LD法炼钢过程中脱碳动力学的理论随机模型,它是带有随机初始条件和非齐次项的“分段型”随机微分方程。文中运用伊藤（It?）随机方程的理论求出了“解过程”和矩函数,讨论了该过程的主要统计性质。最后通过数值例子进行了模型的参数估计,并验证了“后期”模型的可靠性

在矿山实际生产管理的基础上,针对目前矿山企业机电设备管理系统面临的问题,探讨了融合云计算架构、工作流技术和企业资产管理思想的煤矿设备管理系统.通过以全生命周期管理、预防性维护、点检管理等企业资产管理理念设计煤矿设备管理系统九大功能模块;采用三层云服务架构模式和两类云部署方式构建具有四层结构的煤矿设备管理系统云平台;运用工作流引擎辅助企业资产管理系统,实现设备管理业务流程的灵活流转,进而提高企业级多矿设备管理效率.以国内典型煤矿企业为应用实例,验证了基于云计算与工作流技术的煤矿企业设备管理EAM系统的有效性