检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

HLA联邦形式化校核方法初探

系统仿真学报 2008年第22期20卷 6039-6041页

作者：杨惠珍康凤举西北工业大学航海学院西安710072

概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互... 详细信息

概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性.最后总结了全文,指出形式化方法虽然有利于提高HLA联邦的可信性、可靠性和一致性,但需要较多的专门知识和自动化工具的辅助。

关键词： HLA VV&A 联邦形式化校核时态逻辑

在线全文

学校读者我要写书评

暂无评论

基于联邦架构的全球网络性能测量

计算机学报 2010年第9期33卷 1602-1610页

作者：王继龙孙明敏张千里清华大学信息网络工程研究中心北京100084

性能可扩展性是当前互联网面临的主要问题之一,对互联网开展有效的测量和评价,能为寻找提高网络性能的方法提供必要的数据支撑.目前,虽然在大规模分布式测量方面已经开展了大量的出色工作,但是它们无一例外地受到测量点数量和位置的限制... 详细信息

性能可扩展性是当前互联网面临的主要问题之一,对互联网开展有效的测量和评价,能为寻找提高网络性能的方法提供必要的数据支撑.目前,虽然在大规模分布式测量方面已经开展了大量的出色工作,但是它们无一例外地受到测量点数量和位置的限制.基于此,文中设计并实现了基于联邦架构的全球网络性能测量平台GPERF.该平台实现了大规模异构测量,充分利用了自有资源、伙伴资源和互联网上的开放服务等.文章将从体系结构设计、测量点发展、测量任务调度和应用研究等方面对GPERF展开介绍和讨论.

关键词：互联网网络测量分布式测量联邦

在线全文

学校读者我要写书评

暂无评论

基于时态逻辑的形式化联邦校核方法

西北工业大学学报 2005年第4期23卷 516-519页

作者：杨惠珍康凤举马裕民蔡斌西北工业大学航海学院陕西西安710072

提出了一种基于时态逻辑的形式化联邦校核方法,采用时态逻辑公式描述联邦各成员的行为逻辑关系,推导出与该时态逻辑公式对应的有限自动机模型,即规范自动机。同时,建立联邦全局行为的状态转移图,即实现自动机,通过检验规范自动机所接受... 详细信息

提出了一种基于时态逻辑的形式化联邦校核方法,采用时态逻辑公式描述联邦各成员的行为逻辑关系,推导出与该时态逻辑公式对应的有限自动机模型,即规范自动机。同时,建立联邦全局行为的状态转移图,即实现自动机,通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求,达到校核联邦的目的。该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性,具有理论意义和应用价值。

关键词：时态逻辑联邦模型校核形式化

在线全文

学校读者我要写书评

暂无评论

HLA联邦互操作性校核与验证研究

系统仿真学报 2004年第11期16卷 2388-2390,2394页

作者：刘飞杨明哈尔滨工业大学仿真技术研究中心126信箱黑龙江哈尔滨150001

互操作性是HLA联邦开发过程中必须解决的重要问题之一。本文对互操作性进行深入研究,给出了HLA联邦互操作性框架,对联邦的互操作性进行了分级描述;并且在该互操作性框架和联邦开发与执行过程的基础上,进一步给出了HLA联邦互操作性校核... 详细信息

互操作性是HLA联邦开发过程中必须解决的重要问题之一。本文对互操作性进行深入研究,给出了HLA联邦互操作性框架,对联邦的互操作性进行了分级描述;并且在该互操作性框架和联邦开发与执行过程的基础上,进一步给出了HLA联邦互操作性校核与验证的过程模型,用以指导联邦开发与执行过程中互操作性的评估。

关键词： HLA 联邦互操作性框架校核与验证过程模型

联邦党人与反联邦党人关于宪法批准问题的争论

在线全文

学校读者我要写书评

暂无评论

史学月刊 2003年第7期 60-66页

作者：褚乐平丽水师专政史系浙江丽水323000

《美国宪法》是近代世界最早、也是迄今为止延续时间最长的一部成文宪法。在它制定至批准的3年中 ,联邦党人与反联邦党人展开了激烈的辩论 ,各自发表了他们建立国家的一系列设想。通过对他们在争论中所涉及的联邦政府的性质、联邦政府... 详细信息

《美国宪法》是近代世界最早、也是迄今为止延续时间最长的一部成文宪法。在它制定至批准的3年中 ,联邦党人与反联邦党人展开了激烈的辩论 ,各自发表了他们建立国家的一系列设想。通过对他们在争论中所涉及的联邦政府的性质、联邦政府与州政府的关系、《权利法案》等焦点问题的探讨 ,有助于揭示宪法最终获得批准的深层原因 ,并重新认识两大派别在美国宪政发展史中的地位和作用。

关键词：《美国宪法》联邦邦联《权利法案》

在线全文

学校读者我要写书评

暂无评论

HLA仿真联邦的时间管理性能预测模型

系统仿真学报 2009年第9期21卷 2603-2606页

作者：曹海旺薛朝改黄建国郑州航空工业管理学院电子通信工程系郑州450015 西北工业大学航海学院西安710072 郑州大学管理工程系郑州450001

为了预测HLA仿真联邦的时间管理性能,衡量其并行性,首先提出了着色交互Petri网,建立了HLA仿真联邦的时间管理性能预测模型;然后,应用Stateflow实现了该模型,应用模型的运行结果定量地衡量仿真联邦的并行性;最后,通过在水声对抗仿真系统... 详细信息

为了预测HLA仿真联邦的时间管理性能,衡量其并行性,首先提出了着色交互Petri网,建立了HLA仿真联邦的时间管理性能预测模型;然后,应用Stateflow实现了该模型,应用模型的运行结果定量地衡量仿真联邦的并行性;最后,通过在水声对抗仿真系统中的应用,验证了模型的有效性。应用该预测模型,仿真联邦能够通过采用提高并行性的参数与策略,实现时间管理性能的提高。

关键词：着色交互Petri网并行性时间管理 HLA 联邦