检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于有色Petri网的Web服务协商

系统工程与电子技术 2008年第3期30卷 561-564页

作者：严体华王宝树西安电子科技大学计算机学院陕西西安710071

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同... 详细信息

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。

关键词： Web服务协商服务质量加权模糊推理有色Petri网

在线全文

学校读者我要写书评

暂无评论

一种支持QoS的军事网格UDDI改进方法

系统工程与电子技术 2007年第10期29卷 1674-1676页

作者：严体华王宝树西安电子科技大学计算机学院陕西西安710071

针对不同应用要求不同的服务QoS,提出了一种UDDI扩展方法来支持QoS约束。该方法引入了XML模式,采用服务元数据,定义了一组对象来描述Web服务的QoS属性;改进了tModel模型,在tModel中增加一个新的数据结构qualityInformation来表示QoS信息... 详细信息

针对不同应用要求不同的服务QoS,提出了一种UDDI扩展方法来支持QoS约束。该方法引入了XML模式,采用服务元数据,定义了一组对象来描述Web服务的QoS属性;改进了tModel模型,在tModel中增加一个新的数据结构qualityInformation来表示QoS信息;对QoS属性的连续变量进行分段表示,并提出了更新和查找QoS信息的实现方法。实验表明,这种方法能够在网格服务中支持QoS。

关键词：统一描述、发现和集成军事网格服务质量 tModel

在线全文

学校读者我要写书评

暂无评论

龙首矿下向进路式充填法采场结构参数研究

龙首矿下向进路式充填法采场结构参数研究

作者：严体昆明理工大学

学位级别：硕士

镍钴矿床在我国分布较少，目前主要采用胶结充填法开采，由于地质条件复杂，生产能力受到一定的限制，随着国民经济的发展，对镍钴的需求进一步增加，越来越需要研究提高矿山的开采效率和经济效益。龙首镍铜矿是金川公司主要矿山之一，... 详细信息

镍钴矿床在我国分布较少，目前主要采用胶结充填法开采，由于地质条件复杂，生产能力受到一定的限制，随着国民经济的发展，对镍钴的需求进一步增加，越来越需要研究提高矿山的开采效率和经济效益。龙首镍铜矿是金川公司主要矿山之一，采用下向六角形进路式充填采矿法，随着回采水平的下降，存在着全矿回采总面积缩小、矿石产量和品位下降的多重压力，面临大幅减产局面，提高回采强度和采场综合生产能力，稳定和提高矿石产量已成为矿山急待解决的难题。本文以龙首矿为研究对象，在现场调研和大量资料收集的基础上，针对龙首矿埋藏深、矿体厚大、矿岩破碎、地应力高等特点，采用拉格朗日元法数值分析程序，设计了9种结构参数和充填方案进行模拟分折。研究了进路断面参数变化对周围矿岩、充填体位移、应力和塑性区的影响;分析了进路充填接顶程度对采场稳定性的影响;研究提出了合理采场结构参数、提高回采强度的新方案。研究结果表明，在确保生产安全的前提下，龙首矿下向六角形回采进路断面可进一步增大，研究得出的最优进路断面规格为：底宽3.5m，腰宽7m，高6m，断面积31.5m，采场分层道高3m，断面积增大40％。新方案在保证生产安全的前提下，可大大提高了下向进路式充填采矿法的开采强度和生产效率。改善充填质量，增大进路结构参数，可有效提高下向进路式充填采矿法的生产效率，本文研究成果在国内外同类矿山具有广阔的应用前景。

关键词：下向进路式充填法采场结构数值模拟稳定性分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

构件软件测试及充分性的研究

构件软件测试及充分性的研究

作者：严体华西安电子科技大学

学位级别：硕士

本论文主要在两方面进行：一是对构件软件测试技术进行了深入地研究，包括单元测试、集成测试和回归测试;二是研究了构件化软件系统的测试准则，并对测试数据选择的充分性进行了分析。论文首先综述了目前国内软件测试发展动态;接着介... 详细信息

本论文主要在两方面进行：一是对构件软件测试技术进行了深入地研究，包括单元测试、集成测试和回归测试;二是研究了构件化软件系统的测试准则，并对测试数据选择的充分性进行了分析。论文首先综述了目前国内软件测试发展动态;接着介绍了构件软件的发展特点以及由此带来的对软件测试的影响;提出了一种针对构件单元的BIT黑盒测试方法;介绍了一种基于SA的CHAM模型描述和LTS表示的集成测试方法;从缩小测试范围和减少测试数据的角度提出了一种构件软件回归测试方法;最后从集合论的角度给出了构件软件测试充分性定义，对本文提出的方法进行了充分性研究。

关键词：软件测试软件构件软件体系结构测试充分性 CHAM

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

网络计算

一种基于java和XML的穿越防火墙技术分析与应用研究

丛书名：新世纪计算机类本科系列教材

2004年

作者：黄健斌严体华

新世纪计算机类本科系列教材:本书共6章，围绕网络计算主题，从网络计算模式、分布对象计算、Web计算、移动计算等方面讨论了当前网络计算涉及的基础理论和主流技术。

ISBN: (数字)7560613403

ISBN: (纸本)7560613403

关键词：计算机网络计算机辅助计算高等学校教材

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

西安石油大学学报（自然科学版） 2006年第2期21卷 76-79页

作者：任长林樊长军郑敏娟严体华西安石油大学信息中心陕西西安710065 西安电子科技大学计算机学院陕西西安710071

为解决许多已有的应用系统需要通过特殊端口跨越多个防火墙获取数据的难题,本文通过分析防火墙的工作流程与原理,提出了一种用java和XML构建HTTP隧道来穿越防火墙的技术.阐述了如何采用Servlet和soap构建HTTP隧道,如何将数据转为XML格... 详细信息

为解决许多已有的应用系统需要通过特殊端口跨越多个防火墙获取数据的难题,本文通过分析防火墙的工作流程与原理,提出了一种用java和XML构建HTTP隧道来穿越防火墙的技术.阐述了如何采用Servlet和soap构建HTTP隧道,如何将数据转为XML格式在网上进行传输和交换.并分析了该技术的实现细节,提出了该技术的进一步扩展与应用.

关键词：防火墙 HTTP隧道 java XML 中间件

提高坚硬致密矿岩中大直径深孔侧向崩矿质量的分析

在线全文

学校读者我要写书评

暂无评论

中国矿业 2005年第8期14卷 59-61页

作者：乔登攀严体昆明理工大学国土资源工程学院昆明650093

本文分析了爆炸能中冲击能与膨胀能的分配、起爆方式及炮孔装药结构等三个方面,以坚硬矿岩中大直径深孔侧向崩矿质量的影响。指出对坚硬致密矿岩体应选用波阻抗值较高的炸药进行爆破,并选择增大起爆能与合理起爆方式,以增大冲击能比例,... 详细信息

本文分析了爆炸能中冲击能与膨胀能的分配、起爆方式及炮孔装药结构等三个方面,以坚硬矿岩中大直径深孔侧向崩矿质量的影响。指出对坚硬致密矿岩体应选用波阻抗值较高的炸药进行爆破,并选择增大起爆能与合理起爆方式,以增大冲击能比例,提高破碎质量。在装药结构方面,应尽量试验采用柱状中空药包或采用连续装药方式进行爆破作业,少用甚至取消轴向间隔装药方式。

关键词：大直径深孔侧向崩矿坚硬岩体冲击能装药结构

在线全文

学校读者我要写书评

暂无评论

小学数学教学应重视“读”的训练

安徽教育 1997年第12期 36-37页

作者：邵体严凤阳县教委教研室

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

分布式调试中动态向量时钟存储空间分配方法

西安石油大学学报（自然科学版） 2010年第2期25卷 81-83,87页

作者：郑少华李青山严体华叶宏钟珊西安电子科技大学软件工程研究所陕西西安710071 西安航空计算技术研究所陕西西安710068

为了解决不同进程之间异步通信时向量时钟存储问题,结合现有事件监测的方法,以及分布式软件系统调试盒监测特征,并针对向量时钟静态存储技术的不足,提出了一种动态更新存储空间的方法.实验结果表明,对监测工具的改进方案能够减轻用户调... 详细信息

为了解决不同进程之间异步通信时向量时钟存储问题,结合现有事件监测的方法,以及分布式软件系统调试盒监测特征,并针对向量时钟静态存储技术的不足,提出了一种动态更新存储空间的方法.实验结果表明,对监测工具的改进方案能够减轻用户调试时的负担,较大地提高分布式程序调试的效率.

关键词：分布式调试系统监测向量时钟动态存储