首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   98篇
  国内免费   3篇
  完全免费   11篇
  自动化技术   112篇
  2017年   1篇
  2016年   1篇
  2015年   2篇
  2014年   4篇
  2013年   1篇
  2012年   8篇
  2011年   7篇
  2010年   7篇
  2009年   6篇
  2008年   20篇
  2007年   11篇
  2006年   8篇
  2005年   5篇
  2004年   5篇
  2003年   4篇
  2002年   4篇
  2001年   2篇
  2000年   2篇
  1999年   1篇
  1998年   2篇
  1997年   2篇
  1996年   4篇
  1995年   3篇
  1989年   1篇
  1981年   1篇
排序方式: 共有112条查询结果,搜索用时 31 毫秒
1.
Ontologies for conceptual modeling: their creation, use, and management   总被引:16,自引:0,他引:16  
Although ontologies have been proposed as an important and natural means of representing real world knowledge for the development of database designs, most ontology creation is not carried out systematically. To be truly useful, a repository of ontologies, organized by application domain is needed, along with procedures for creating and integrating ontologies into database design methodologies. This research proposes a methodology for creating and managing domain ontologies. An architecture for an ontology management system is presented and implemented in a prototype. Empirical validation of the prototype demonstrates the effectiveness of the research.  相似文献
2.
关于仿真模型验证   总被引:12,自引:3,他引:9  
本文对国内外仿真模型的发展进行了述评,陈述了仿真模型验证的定义和有关概念,提出了模型验证的区间假设检验法,介绍了自相关函数检验法。  相似文献
3.
某型导弹系统仿真模型验证   总被引:8,自引:0,他引:8  
仿真模型验证是仿真可信性研究的重要组成部分,有着极其重要的意义。模型验证就是比较仿真系统输出和实际系统输出的一致性,分为静态性能验证和动态性能验证。该文在分析研究各种仿真模型验证方法的基础上,主要采用工程上常用的bayes方法和窗谱分析法对某型导弹系统仿真模型进行了定量验证,最后给出结论并讨论了这两种方法的局限性。  相似文献
4.
仿真可信性的研究综述   总被引:5,自引:1,他引:4  
从概念性研究、技术方法和工程应用等三个方面综述了仿真可信性研究的发展。.  相似文献
5.
Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a discrete-event modelling language combining Petri nets with the functional programming language Standard ML. Petri nets provide the foundation of the graphical notation and the basic primitives for modelling concurrency, communication, and synchronisation. Standard ML provides the primitives for the definition of data types, describing data manipulation, and for creating compact and parameterisable models. A CPN model of a system is an executable model representing the states of the system and the events (transitions) that can cause the system to change state. The CPN language makes it possible to organise a model as a set of modules, and it includes a time concept for representing the time taken to execute events in the modelled system. CPN Tools is an industrial-strength computer tool for constructing and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis. User interaction with CPN Tools is based on direct manipulation of the graphical representation of the CPN model using interaction techniques, such as tool palettes and marking menus. A license for CPN Tools can be obtained free of charge, also for commercial use.  相似文献
6.
利用方差分析法进行模型验证   总被引:4,自引:0,他引:4  
计算机仿真在许多领域得到了越来越广泛的应用,这给模型验证方法的研究提出了更高的要求。众所周知,方差分析法是一种常用的统讣方法。它通过比较因素在不同水平下进行试验所得到的试验指标,来检验不同水平下试验结果的差别是否显著。如果将仿真模型与实际系统分别看作试验因素的水平,在其他条件相同时进行试验,获得两组试验指标。对所获得的数据利用方差分析法进行分析,则可检验其差别是否显著。若差别不显著,则表明仿真模型与实际系统在给定的显著性水平下是一致的。该文最后结合具体数据给出了该方法的具体应用,所得结论与利用其它验证方法得到的结论相一致,从而说明利用方差分析法进行模型验证是可行的。  相似文献
7.
仿真结果可信性分析方法及软件实现   总被引:3,自引:2,他引:1  
模型验证是建模与仿真过程中很重要的一部分。该文介绍了模型验证软件包MSVSP,并分别引入了静态检验和动态检验两个例子对此软件进行验收。  相似文献
8.
This article specifies a virtual structural dynamic subsystem and some systems, as well as mathematical models that approximately simulate them. The purpose is to define a setting for model validations conceived by participants in the Sandia National Laboratories Validation Workshop. Some broad guidelines for the model validations are set, as well as a regulatory requirement to be satisfied by the target system. Participants are directed to present techniques for subsystem model validation, to analytically predict whether or not the regulatory requirement will be met, and to estimate the likelihood of accuracy of the prediction.  相似文献
9.
现代谱估计在飞行器仿真模型验证中的应用   总被引:2,自引:1,他引:1  
张绍宁  戴红缨 《计算机仿真》2003,20(9):48-49,144,145
仿真模型的正确与否决定着仿真的精度和置信度,而仿真模型验证是保证仿真模型正确的有效手段。现代谱估计方法对窗口以外的行为进行合理假设,克服了古典谱估计方法的缺点,相对于古典谱估计方法有优势。重点介绍了最大熵谱估计方法的基本原理以及在飞行器仿真模型验证中的应用,并举例予以说明。  相似文献
10.
Multivariate significance testing and model calibration under uncertainty   总被引:2,自引:0,他引:2  
The importance of modeling and simulation in the scientific community has drawn interest towards methods for assessing the accuracy and uncertainty associated with such models. This paper addresses the validation and calibration of computer simulations using the thermal challenge problem developed at Sandia National Laboratories for illustration. The objectives of the challenge problem are to use hypothetical experimental data to validate a given model, and then to use the model to make predictions in an untested domain. With regards to assessing the accuracy of the given model (validation), we illustrate the use of Hotelling’s T2 statistic for multivariate significance testing, with emphasis on the formulation and interpretation of such an analysis for validation assessment. In order to use the model for prediction, we next employ the Bayesian calibration method introduced by Kennedy and O’Hagan. Towards this end, we discuss how inherent variability can be reconciled with “lack-of-knowledge” and other uncertainties, and we illustrate a procedure that allows probability distribution characterization uncertainty to be included in the overall uncertainty analysis of the Bayesian calibration process.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号