可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

严格一般位置与凸位置

令F表示平面上一个互不交紧凸集族。如果F的任何一个元素都不含于其它元素的并集的凸包中,则称F处于凸位置。如果F的任何三个元素都不共线,即对于F的任何三个元素,任两个元素的并集的凸包既不包含第三个元素也不与第三个元素互相交叉,则称F处于严格一般位置。对于处于严格一般位置的紧凸集族F,我们减弱了J.Pach和G.T幃th[5]的一些定理的条件并得到一些更好的结果。     

基于飞行试验数据的仿真模型验证方法的研究

讨论了用飞行试验数据对仿真模型的静态和动态性能进行验证的定性和定量方法，并给了实际应用的例子，结果表明，尽管飞行试验的样本容量有限，只要方法恰当，仍能获得较好的验证结果。     

交叉谱估计及其在导弹系统仿真模型验证中的应用

本文阐明了交叉谱的基本概念。结合反坦克导弹系统的特点，提出一种利用交叉谱来检验导弹系统仿真模型有效性的方法，这一方法的显著特点是：它能够同时给出几组动态数据在频谱、相位、线性相关性以及增益等方面的信息，并可以给出定量的估计结果。最后利用实例来说明这一方法在导弹仿真模型验证中的应用     

Robust regression in biological assay: application to the evaluation of alternative experimental techniques

Summary Robust Huber type regression and testing of linear hypotheses are adapted to statistical analysis of parallel line and slope ratio assays. They are applied in the evaluation of results of several experiments carried out in order to compare and validate alternatives to animal experimentation based on embryo and cell cultures. Computational procedures necessary for the application of robust methods of analysis used the conversational statistical package ROBSYS. Special commands for the analysis of parallel line and slope ratio assays have been added to ROBSYS.     

Generalized measures of association for ranked data with an application to prediction accuracy

A common practice in cross validation research in the behavioral sciences is to employ either the product moment correlation or a simple tabulation of first-choice “hits” for measuring the accuracy with which various preference models predict subjects’ responses to a holdout sample of choice objects. We propose a nonparametric approach for summarizing the accuracy of predicted rankings across a set of holdout-sample options. The methods that we develop contain a novel way to deal with ties and an approach to the different weighting of rank positions.     

空空导弹系统仿真模型验证平台

文章介绍了空空导弹系统仿真模型验证平台。该平台基于CLIMB方案，将不同数据资源分为五个等级。利用等级高的数据库对产生等级低的数据库资源的模型进行验证。平台集成了工程上用于仿真模型有效性评估的统计检验方法。平台验证方法完备且具有良好的开放性，易于扩充。最后用实例说明平台的工作界面。     

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。     

35 ka BP climate simulations in East Asia and probing the mechanisms of climate changes

Interglacial or postglacial climates are all of charac-teristic of warmer conditions. However, if condition asso-ciated with the warm feature is wetter or drier than today,it would produce different impacts on natural environ-ments and human society. Quaternary studies found thatclimate with warm-dry or warm-wet conditions had oc-curred in China during the last 40—30 ka BP[1]. For ex-ample, it was warmer than the present during themid-Holocene (3—8 ka BP) and the late phases of MarineIsot…