AN ELIMINATION METHOD FOR DIFFERENTIAL POLYNOMIAL SYSTEMS I

ＡＮＥＬＩＭＩＮＡＴＩＯＮＭＥＴＨＯＤＦＯＲＤＩＦＦＥＲＥＮＴＩＡＬＰＯＬＹＮＯＭＩＡＬＳＹＳＴＥＭＳＩＷＡＮＧＤｏｎｇｍｉｎｇ（ＬＩＦＩＡ－ＩＭＡＧ－ＣＮＲＳ，４６，ＡｖｅｎｕｅＦｅｌｉｘＶｉａｌｌｅｔ，３８０３１ＣｒｅｎｏｂｌｅＣｅｄｅｘ，Ｆｒａ...     

CIMS工程开发方法体系结构及开发方法集研究

为提高ＣＩＭＳ开发方法的系统化、完备化、集成化，本文针对ＣＩＭＳ工程开发的特点，提出了一种基于ＣＩＭ－ＯＳＡ的ＣＩＭＳ工程开发方法体系结构，对该体系结构下的开发方法集进行了研究，指出了该体系结构的特点，给出了该体系结构下开发步骤，以及在这种体系结构指导下开发ＣＩＭＳ工程应注意的几个关键问题。     

STRONG CONSISTENCY OF M-ESTIMATES OF MULTIPLE REGRESSION COEFFICIENTS

ＳＴＲＯＮＧＣＯＮＳＩＳＴＥＮＣＹＯＦＭ－ＥＳＴＩＭＡＴＥＳＯＦＭＵＬＴＩＰＬＥＲＥＧＲＥＳＳＩＯＮＣＯＥＦＦＩＣＩＥＮＴＳＣＨＥＮＸｉｒｕ（ＧｒａｄｕａｔｅＳｃｈｏｏｌｏｆｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００...     

QUASI-CONCAVE MULTIPLE OBJECTIVE PROGRAMMING WITH CONE STRUCTURE

ＱＵＡＳＩ－ＣＯＮＣＡＶＥＭＵＬＴＩＰＬＥＯＢＪＥＣＴＩＶＥＰＲＯＧＲＡＭＭＩＮＧＷＩＴＨＣＯＮＥＳＴＲＵＣＴＵＲＥ￥ＨＵＡＮＧＺｈｉｍｉｎ；ＬＩＳｕｓａｎＸ．（ＳｃｈｏｏｌｓｏｆＢｕｓｉｎｅｓｓａｎｄＢａｎｋｉｎｇ，ＡｄｅｌｐｈｉＵｎｉｖｅｒｓｉｔ...     

GLOBAL ASYMPTOTIC STABILITY IN N-SPECIES COOPERATIVE SYSTEM WITH TIME DELAYS

ＧＬＯＢＡＬＡＳＹＭＰＴＯＴＩＣＳＴＡＢＩＬＩＴＹＩＮＮ－ＳＰＥＣＩＥＳＣＯＯＰＥＲＡＴＩＶＥＳＹＳＴＥＭＷＩＴＨＴＩＭＥＤＥＬＡＹＳ￥ＣＵＩＪｉｎｇ＇ａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｕｒｕｍ...     

A ROBUSTNESS ANALYSIS OF THE MUSIC AND THE MINIMUM－NORM ALGORITHMS WITH RESPECT TO CORRELMED NOISE

ＡＲＯＢＵＳＴＮＥＳＳＡＮＡＬＹＳＩＳＯＦＴＨＥＭＵＳＩＣＡＮＤＴＨＥＭＩＮＩＭＵＭ－ＮＯＲＭＡＬＧＯＲＩＴＨＭＳＷＩＴＨＲＥＳＰＥＣＴＴＯＣＯＲＲＥＬＭＥＤＮＯＩＳＥ￥ＪＩＡＰｅｉｚｈａｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｔｅｎｃｅ，Ａｃ...     

ON ASYMPTOTICALLY MEDIAL UNBIASED ESTIMATORS IN TRVNCATED－TYPE DISTRIBUTION FAMILIES

ＯＮＡＳＹＭＰＴＯＴＩＣＡＬＬＹＭＥＤＩＡＬＵＮＢＩＡＳＥＤＥＳＴＩＭＡＴＯＲＳＩＮＴＲＶＮＣＡＴＥＤ－ＴＹＰＥＤＩＳＴＲＩＢＵＴＩＯＮＦＡＭＩＬＩＥＳＬＩＡＮＧＨｕａ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ...     

SIGN-REVERSAL PROPERTY FOR F-MATRICES AND N-MATRICES

ＳＩＧＮ－ＲＥＶＥＲＳＡＬＰＲＯＰＥＲＴＹＦＯＲＦ－ＭＡＴＲＩＣＥＳＡＮＤＮ－ＭＡＴＲＩＣＥＳＸＵＳｏｎｇ（ＧｒａｄｕａｔｅＳｃｈｏｏｌ，ＣｈｉｎａＡｃａｄｅｍｙｏｆＲａｉｌｗａｙＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００８１，Ｃｈｉｎａ）Ａｂｓｔｒａ...     

ROW-ACTION METHODS FOR CONVEX QUADRATIC PROGRAMMING

ＲＯＷ－ＡＣＴＩＯＮＭＥＴＨＯＤＳＦＯＲＣＯＮＶＥＸＱＵＡＤＲＡＴＩＣＰＲＯＧＲＡＭＭＩＮＧＧＵＯＴｉａｎｄｅ（ＭａｔｈｅｍａｔｉｃｓＤｅｐａｒｔｍｅｎｔｏｆＱｕｆｕＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｑｕｆｕ，Ｓｈａｎｄｏｎｇ２７３１６５，Ｃｈｉｎａ...     

ON TAKEUCHI EFFICIENCY IN TWO CLASSES OF SINGLE－PARAMETER TWO－SIDED TRUNCATED DISTRIBUTIONS

ＯＮＴＡＫＥＵＣＨＩＥＦＦＩＣＩＥＮＣＹＩＮＴＷＯＣＬＡＳＳＥＳＯＦＳＩＮＧＬＥ－ＰＡＲＡＭＥＴＥＲＴＷＯ－ＳＩＤＥＤＴＲＵＮＣＡＴＥＤＤＩＳＴＲＩＢＵＴＩＯＮＳＬＩＡＮＧＨｕａ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｍｅｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳ...     

流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

UML在C~4I系统总体结构设计中的应用

面向对象技术是当今应用于过程工程和软件工程的技术热点。简要介绍了C4 ISR总体结构框架和新兴的面向对象建模语言UML ,并把二者有机结合起来用于复杂系统的建模与设计 ;给出了基于两个建模规范的系统建模方法 ,把UML应用到高度复杂的C4 I系统总体结构设计中 ,提出了一个在总体结构框架指导下 ,从UML模型描述到应用Petri网进行定性分析的系统设计方法。     

基于广义随机Petri 网的供应链建模与分析

考察了基于广义随机Petri网的供应链建模与分析技术,在总结Petri网建立供应链模型优势的基础上,将广义随机Petri网(GSPN)的基本理论应用于供应链系统的建模和性能分析,利用GSPN与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的供应链性能分析方法,为供应链性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析供应链模型的时间性能和运作效率,为供应链决策层提供参考.     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

基于PES的Petri网可执行模型生成方法

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求,提出了一种时序约束下GSM业务模型的一致性验证与异常处理方法.分为两个阶段:1)将GSM业务模型转化为Petri网模型,再把外部的时序约束映射到Petri网模型中.2)提取Petri网模型中的路径并进行时序一致性验证;如果出现异常,将问题转化为线性规划模型并进行自动求解.不但能够解决GSM业务模型的时序约束验证问题,而且能指导用户进行模型持续优化和改进.最后,通过一个企业的实例验证了其有效性.     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型,以建立混合控制系统的整体Ｐｅｔｒｉ网结构,和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化,是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型,为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．