任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型轻量级形式化校核方法初探

TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型....

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:系统仿真学报 2006, Vol.18 (5), p.1108-1109
Hauptverfasser: 何晓晔, 徐培德, 沙基昌
Format: Artikel
Sprache:chi
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1109
container_issue 5
container_start_page 1108
container_title 系统仿真学报
container_volume 18
creator 何晓晔
徐培德
沙基昌
description TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型.
doi_str_mv 10.3969/j.issn.1004-731X.2006.05.006
format Article
fullrecord <record><control><sourceid>wanfang_jour</sourceid><recordid>TN_cdi_wanfang_journals_xtfzxb200605006</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><wanfj_id>xtfzxb200605006</wanfj_id><sourcerecordid>xtfzxb200605006</sourcerecordid><originalsourceid>FETCH-wanfang_journals_xtfzxb2006050063</originalsourceid><addsrcrecordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDAw0TU3NozQMzIwMNMzMNUDUiwMnHBxDgbe4uLMJAMDQ0MDIwtLc04Gmye7dz_tWvh85a6X07c8W9b0dP_WZysWPp3X_WLv7pft_c93LX-6d9HTPf1Pe6Y9W7Dw2YIdz6btfLZ56tOOuc_6FvEwsKYl5hSn8kJpbgZ1N9cQZw_d8sS8tMS89Pis_NKiPKBMfEVJWlVFEshVBqZAwph4lQAq7Vjx</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>任务空间概念模型轻量级形式化校核方法初探</title><source>Alma/SFX Local Collection</source><creator>何晓晔 ; 徐培德 ; 沙基昌</creator><creatorcontrib>何晓晔 ; 徐培德 ; 沙基昌</creatorcontrib><description>TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&amp;A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型.</description><identifier>ISSN: 1004-731X</identifier><identifier>DOI: 10.3969/j.issn.1004-731X.2006.05.006</identifier><language>chi</language><publisher>国防科技大学信息系统与管理学院,湖南,长沙,410073</publisher><ispartof>系统仿真学报, 2006, Vol.18 (5), p.1108-1109</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://www.wanfangdata.com.cn/images/PeriodicalImages/xtfzxb/xtfzxb.jpg</thumbnail><link.rule.ids>314,776,780,4010,27900,27901,27902</link.rule.ids></links><search><creatorcontrib>何晓晔</creatorcontrib><creatorcontrib>徐培德</creatorcontrib><creatorcontrib>沙基昌</creatorcontrib><title>任务空间概念模型轻量级形式化校核方法初探</title><title>系统仿真学报</title><description>TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&amp;A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型.</description><issn>1004-731X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><recordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDAw0TU3NozQMzIwMNMzMNUDUiwMnHBxDgbe4uLMJAMDQ0MDIwtLc04Gmye7dz_tWvh85a6X07c8W9b0dP_WZysWPp3X_WLv7pft_c93LX-6d9HTPf1Pe6Y9W7Dw2YIdz6btfLZ56tOOuc_6FvEwsKYl5hSn8kJpbgZ1N9cQZw_d8sS8tMS89Pis_NKiPKBMfEVJWlVFEshVBqZAwph4lQAq7Vjx</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>何晓晔</creator><creator>徐培德</creator><creator>沙基昌</creator><general>国防科技大学信息系统与管理学院,湖南,长沙,410073</general><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2006</creationdate><title>任务空间概念模型轻量级形式化校核方法初探</title><author>何晓晔 ; 徐培德 ; 沙基昌</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-wanfang_journals_xtfzxb2006050063</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2006</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>何晓晔</creatorcontrib><creatorcontrib>徐培德</creatorcontrib><creatorcontrib>沙基昌</creatorcontrib><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>系统仿真学报</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>何晓晔</au><au>徐培德</au><au>沙基昌</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>任务空间概念模型轻量级形式化校核方法初探</atitle><jtitle>系统仿真学报</jtitle><date>2006</date><risdate>2006</risdate><volume>18</volume><issue>5</issue><spage>1108</spage><epage>1109</epage><pages>1108-1109</pages><issn>1004-731X</issn><abstract>TP391.9; 任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&amp;A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型.</abstract><pub>国防科技大学信息系统与管理学院,湖南,长沙,410073</pub><doi>10.3969/j.issn.1004-731X.2006.05.006</doi></addata></record>
fulltext fulltext
identifier ISSN: 1004-731X
ispartof 系统仿真学报, 2006, Vol.18 (5), p.1108-1109
issn 1004-731X
language chi
recordid cdi_wanfang_journals_xtfzxb200605006
source Alma/SFX Local Collection
title 任务空间概念模型轻量级形式化校核方法初探
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-08T09%3A29%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E4%BB%BB%E5%8A%A1%E7%A9%BA%E9%97%B4%E6%A6%82%E5%BF%B5%E6%A8%A1%E5%9E%8B%E8%BD%BB%E9%87%8F%E7%BA%A7%E5%BD%A2%E5%BC%8F%E5%8C%96%E6%A0%A1%E6%A0%B8%E6%96%B9%E6%B3%95%E5%88%9D%E6%8E%A2&rft.jtitle=%E7%B3%BB%E7%BB%9F%E4%BB%BF%E7%9C%9F%E5%AD%A6%E6%8A%A5&rft.au=%E4%BD%95%E6%99%93%E6%99%94&rft.date=2006&rft.volume=18&rft.issue=5&rft.spage=1108&rft.epage=1109&rft.pages=1108-1109&rft.issn=1004-731X&rft_id=info:doi/10.3969/j.issn.1004-731X.2006.05.006&rft_dat=%3Cwanfang_jour%3Extfzxb200605006%3C/wanfang_jour%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_wanfj_id=xtfzxb200605006&rfr_iscdi=true