基于Petri网的离散系统仿真方法研究

将Ｐｅｔｒｉ网（Ｐ网）的概念和方法应用于离散系统仿真的方法论研究中。提出了基于Ｐ网的系统化的离散系统仿真建模方法，重点研究了基于Ｐ网的仿真策略，探讨了Ｐ网仿真策略的实现方式，并对其特点进行了分析和讨论。     

挠性卫星变结构控制的全物理仿真实验分析*

我国首次挠性卫星振动控制的全物理仿真实验是基于变结构控制方案完成的。本文针对这一实验着重分析了在控制受限情况下其变结构控制系统镇定无限维挠性结构的稳定性、控制方案与系统喷气或燃料消耗的关系等问题，取得了具有实际意义的结论。     

柴油馏分深度加氢脱硫过程中有色体形成机理的研究

为了生产含低硫、色度好的柴油产品，采用计算机分子模拟技术研究了柴油馏分深度加氢脱硫(HDS)过程中多环芳烃有色体的形成机理。研究结果显示，柴油馏分中难脱除硫化物4-MDBT、4，6-DMDBT的HDS中间产物生成多环芳烃的反应历程中每步反应的活化能较低，其中的缩合环化反应为吸热反应。模拟产物符合实验事实，表明模拟计算的多环芳烃有色体形成路径是可能的、合理的。     

飞行多功能显示器仿真系统的研究与实现

飞行多功能显示器仿真系统是飞行仿真系统的重要组成部分，该系统对于飞行器的动态特性、飞行品质、制导与导航精度评估具有重要意义。该文介绍了飞行多功能显示器仿真系统的组成和功能，并在Windows平台下以Visual C 和Windows GDI实现了该系统。该系统具有结构简单，图象逼真，信息准确，实时性好的特点，已成功应用于某型号歼击机飞行仿真系统。     

基于构件的植物三维结构模拟模型

回顾了虚拟植物建模方法 ,提出了植物三维结构模拟模型 ,详细介绍了各层构件的功能、算法设计和用户界面 .实践证明 ,该模型在植物形态建模上是有效的、可行的     

人口经济动力学与CGE模型仿真

用通用数学建模系统软件GAMS建立了一个可以用于中长期预测和政策模拟的可计算一般均衡(CGE)模型系统.本系统由人口增长模型、生产模型和消费与储蓄模型组成.利用各个模型间的综合平衡关系和模型的动态反馈结构,将人口增长模型的输出作为外生变量,工资替代率和退休年龄作为控制变量,研究了按照中国人口老龄化的速度和依然运行传统的社会保障体系将会给国民经济和人民生活水平带来的影响,并探索了现有养老金系统改革可能达到的经济与社会效益.     

Vectorial languages and linear temporal logic

Determining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main difficulty is to do this computation efficiently. Considering words as vectors and working on them using vectorial operations allows to solve the problem faster than using local operations.

In this paper, we show first that the set of vectorial operations needed by an algorithm representing a given automaton depends on the language accepted by the automaton. We give precise characterizations for star-free, solvable and regular languages using vectorial algorithms. We also study classes of languages associated with restricted sets of vectorial operations and relate them with languages defined by fragments of linear temporal logic.

Finally, we consider the converse problem of constructing an automaton from a given vectorial algorithm. As a byproduct, we show that the satisfiability problem for some extensions of LTL characterizing solvable and regular languages is PSPACE-complete.     

Optimizing the results of pseudo-inverse simulation of the dynamics of space-time distributed processes

The analysis of root-mean-square simulation of the initial boundary-value problems of the dynamics of distributed-parameter systems is continued. The authors formulate and solve minimization problems for the simulation errors by optimizing observations of the initial and boundary conditions and by selecting reference points for simulation functions.Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 45–57, September–October 2004.     

Calculating Gross Domestic Product as a Function of Labor and Capital

A model of calculation of gross domestic product (GDP) is determined with the use of macroeconomic regularities: the GDP is expressed in terms of the Cobb-Douglas production function depending on the number of workers and on the amount of capital in the production sphere; the function of real equilibrium wages depending on capital intensity of labor in the production sphere in case of full employment of population; the function of supply of labor depending on income from capital per head of population and on condition of maximum utility of housekeeping; the functions of demand for labor depending on real wages.     

Dynamic Modeling and Simulation of Impact in Tether Net/Gripper systems

The objective of this paper is to study the dynamic modeling andsimulation of a tether-net/gripper system during an impact, while it isbeing deployed or retrieved by a winch on a satellite orbiting aroundearth. We stick to Tether-Net system but the analysis is applicable toTether-Gripper systems too. We assume that the net is deployed from thesatellite in orbit and the motion is restricted to the orbital plane.This net captures a second satellite and tows it. The motion of atether-net system can be broken down into the following phases: (i)Phase 1: Net is shot out from the satellite with the tether completelyslack, (ii) Phase 2: Net comes to a location where the tether is tautwhile the drum on the orbiter is locked, (iii) Phase 3: Drum is unlockedand the net moves with the tether, (iv) Phase 4: Net captures a body.The continua (tether) is modeled using mode functions and coordinates.The theory of impulse and momentum can be used to model Phases 1, 2, and4 of motion of the tether-net system. The dynamics of the motion of thesystem in phase 3 is characterized by differential and algebraicequations (DAEs). Matlab ODE solvers were used to solve these DAEs.