Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

非最小相位系统传递函数的演化模型降阶

针对非最小相位系统传递函数的模型降阶工作,通过对频域误差平方和加权的形式,提出了同时考虑频域幅值与相位因素的多目标参数优化指标。针对传统的求解多目标优化方法的不足,提出应用演化算法对此复杂的目标函数进行优化的策略。计算实例说明,使用演化优化方法可以获得幅值与相位特性均较好的降阶模型。     

C3I系统模型与仿真研究

Ｃ３Ｉ系统是一类复杂大系统,借助模型和仿真手段对其进行研究是唯一的途径。作者将Ｃ３Ｉ系统模型分为本征模型和派生模型两个层次,在此基础上对Ｃ３Ｉ系统模型进行了分类,详细介绍了面向实现、面向过程和面向对象的Ｃ３Ｉ系统本征模型,以及现有的各种仿真模型和仿真方法。     

CSCW系统中协同机制及协同活动模型

分析了当前计算机支持协同工作 (ComputerSupportedCooperativeWork ,CSCW)系统普遍存在的问题 ,首先定义了协同的基本概念和类型 ,并引入协同代理的新概念 ,研究了CSCW这样的人机结合系统中协同成员间的语义通信机制和信息共享机制。在此基础上 ,分离出协同活动中的独立信息实体 ,建立了面向对象的协同活动模型。最后 ,用协同活动模型分析了一个典型的协同工作的实例。     

Making the abstract concrete: The role of norms and values in experimental modeling

Experimental modeling is the construction of theoretical models hand in hand with experimental activity. As explained in Section 1, experimental modeling starts with claims about phenomena that use abstract concepts, concepts whose conditions of realization are not yet specified; and it ends with a concrete model of the phenomenon, a model that can be tested against data. This paper argues that this process from abstract concepts to concrete models involves judgments of relevance, which are irreducibly normative. In Section 2, we show, on the basis of several case studies, how these judgments contribute to the determination of the conditions of realization of the abstract concepts and, at the same time, of the quantities that characterize the phenomenon under study. Then, in Section 3, we compare this view on modeling with other approaches that also have acknowledged the role of relevance judgments in science. To conclude, in Section 4, we discuss the possibility of a plurality of relevance judgments and introduce a distinction between locally and generally relevant factors.     

What’s so special about model organisms?

This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and representational target. We also examine the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models.     

The landing zone – Ground for model transfer in chemistry

This essay proposes a new notion - the landing zone - in order to identify conceptual features that allow modelers to transfer mathematical tools across disciplinary borders. This discussion refers to the transferable models as ‘templates’. Templates are functions, equations, or computational methods that are capable of being generalized from a particular subject matter. There are formal and conceptual prerequisites for the transfer of a template to a new domain. A landing zone is an ontology that contributes to the satisfaction of these conditions for successful transfer. This paper presents a case study on a model in chemistry - the Quantum Theory of Atoms in Molecules (QTAIM) - that makes use of transferred templates from physics - the virial theorem and the wave function. The landing zone in this case is a new ontological notion, that of the topological atom, which prepares ground for the use of the virial theorem and the wave function in chemistry. The virial theorem requires that there exists in-principle stability to the system that it represents, and the wave function requires transformation in its representation that is justified. The ontology of QTAIM - the landing zone for these templates - grounds the scientific use of these templates in the context of chemistry.     

改进的三维模型检索PCA预处理算法

三维模型检索PCA预处理的主轴不确定性和主轴方向不确定性是影响检索结果的直接因素.经过分析PCA基本原理,在K-L变换所得特征值的基础上,引入表面网格信息权重,将权重和特征向量的乘积用于确定主轴,并利用多重权重来确定主轴方向,从而削弱不确定性.实验表明,经改进提高了坐标轴归一化的一致性.     

一类模型模糊系统的模型参考自适应控制

针对一类模型可用一组模糊规则来描述的系统,提出了一种模型参考自适应控制律。根据 Ｌｙａｐｕｎｏｖ理论证明了闭环系统是稳定收敛的。仿真例子证实了该方法的有效性。     

基于Multi-Agent系统的预测支持系统的结构

Agent技术是人工智能和计算机科学领域内新兴的研究热点,自治Agent和多Agent系统为复杂软件系统的分析、设计和实现提供了新的思路.给出一种基于Multi-Agent系统的预测支持系统的结构,将系统设计成由多个Agent组成的多Agent系统.各个Agent有自己的功能,可以独立自主地运行,还可以协同工作完成系统整体目标.