An Investigation of Formal Techniques of Protocol Based on CFSM

ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...     

继电器MTBF可靠性验证试验的Bayes方案

本文研究了应用Ｂａｙｅｓ理论制定航天、航空继电器产品的可靠性验证试验方案,并对经典方法和Ｂａｙｅｓ方法制定的ＭＴＢＦ验证试验方案进行了比较。结果表明：基于Ｂａｙｅｓ理论的ＭＴＢＦ可靠性验证试验方案所需样本较小,试验时间较短,可较大地降低试验成本     

Opinion Formation and Asset Price Fluctuation

ＯｐｉｎｉｏｎＦｏｒｍａｔｉｏｎａｎｄＡｓｓｅｔＰｒｉｃｅＦｌｕｃｔｕａｔｉｏｎＬＩＨｏｎｇｇａｎｇＤｅｐａｒｔｍｅｎｔｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＢｅｉｊｉｎｇＮｏｒｍａｌＵｎｉｖｅｒｓｔｙＢｅｉｊｉｎｇ１００８７５，ＣｈｉｎａＡｂｓｔｒａｃ...     

新型的CIMS/MIS开发方法—混和原形法

本文在电力企业ＭＩＳ开发的调查研究和实践的基础上，首次提出用ＢＳＰ（Ｂｕｓｉ－ｎｅｓｓＳｙｓｔｅｍＰｒｏｇｒａｍｉｎｇ）法与原形法（Ｐｒｏｔｏｔｙｐｉｎｇ）及关键成功因子（ＣＳＦ）法相结合的混合原型开发方式，并在实践中进行了成功的应用，从而为系统开发方法的宝库增添了新的内容。     

ON Shift of Organizing Focus from Structure to Process

ＯＮＳｈｉｆｔｏｆＯｒｇａｎｉｚｉｎｇＦｏｃｕｓｆｒｏｍＳｔｒｕｃｔｕｒｅｔｏＰｒｏｃｅｓｓＷＡＮＧＦｅｎｇｂｉｎＦｏｒｅｉｇｎＥｃｏｎｏｍｙ＆ＭａｎａｇｅｍｅｎｔＩｎａｓｔｉｔｕｔｅＲｅｎｎｉｎＵａｉｖｅｒｓｉｔｙｏｆＣｈｉｎａＢｅｉｊｉｎｇ１００...     

A LIOUVILLE THEOREM FOR GLOBAL SOLUTIONS OF HOMOGENEOUS CAUCHY PROBLEM OF MRABOLIC EQUATIONS

ＡＬＩＯＵＶＩＬＬＥＴＨＥＯＲＥＭＦＯＲＧＬＯＢＡＬＳＯＬＵＴＩＯＮＳＯＦＨＯＭＯＧＥＮＥＯＵＳＣＡＵＣＨＹＰＲＯＢＬＥＭＯＦＭＲＡＢＯＬＩＣＥＱＵＡＴＩＯＮＳ￥ＭＩＮＴａｉｓｈａｎ（ＢｅｉｊｉｎｇＬｉｇｈｔＩｎｄｕｓｔｒｙＩｎｓｔｉｔｕｔｅ，Ｂｅｉ...     

串联、并联、k／n（G）系统的Bayes可靠性分析

本文对不可修部件组成的串联、并联、ｋ／ｎ（Ｇ）系统的可靠性和平均寿命，给出其Ｂａｙｅｓ点估计的表达式Ｒｓ（ｔ）和ＭＴＴＦｓ，并给出算例及分析。     

Fuzzy Interval Value Logic and Fuzzy Distributed Value Logic

ＦｕｚｚｙＩｎｔｅｒｖａｌＶａｌｕｅＬｏｇｉｃａｎｄＦｕｚｚｙＤｉｓｔｒｂｕｔｅｄＶａｌｕｅＬｏｇｉｃTXＦｕｚｚｙＩｎｔｅｒｖａｌＶａｌｕｅＬｏｇｉｃａｎｄＦｕｚｚｙＤｉｓｔｒｉｂｕｔｅｄＶａｌｕｅＬｏｇｉｃＨｅＸｉｎｇｕｉＢｅｉｊｉｎｇＩｎｓｔｉｔ...     

Exact Bayesian and Fiducial Limits for the Mean of Lognormal Distribution

ＥｘａｃｔＢａｙｅｓｉａｎａｎｄＦｉｄｕｃｉａｌＬｉｍｉｔｓｆｏｒｔｈｅＭｅａｎｏｆＬｏｇｎｏｒｍａｌＤｉｓｔｒｉｂｕｔｉｏｎＺｈｏｕＹｕａｎｑｕａｎ；ＷｅｎｇＺｈａｏｘｉ；ａｎｄＬｉｕＺｈｅｎｇｘｉａｎ（ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＳｔｒｕ...     

Estimation of Fired Polynomial Effects of Mixed Models Based on PBIB

ＥｓｔｉｍａｔｉｏｎｏｆＦｉｒｅｄＰｏｌｙｎｏｍｉａｌＥｆｆｅｃｔｓｏｆＭｉｘｅｄＭｏｄｅｌｓＢａｓｅｄｏｎＰＢＩＢＴＡＯＪｉｎｇｘｕａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉｎｙａｎｇＮｏｒｍａｌＣｏｌｌｅｇｅ．Ｘｉｎｙａｎｇ４６４...     

飞行器姿态控制系统的实时仿真模型

本文对飞行器姿态控制系统实时仿真模型提出一种构造方法。对于线性环节的传递函数的数字仿真给出小步合成方法，而对于非线性环节中的间断问题采用Ｈｏｗｅ的解析平均方法，并且估计解析平均方法的误差。这些方法的组合，得到非常有效的实时仿真模型。对于非常大的积分步长，它仍能得到很精确的结果。最后，应用单轴卫星姿态控制系统的例子来验证本文给出的构造方法的优良性能。     

Action Research and the Management and Systems Sciences

In this paper I explore the possibility of a complementary relationship between action research and the management and systems sciences. A range of purposes that action researchers and management and systems scientists pursue is initially set out. The paper then explores whether this diversity of purposes and the ways they recommend people to proceed may come together in a new whole that is greater than the sum of its parts. A potentially useful realization of this for practice is a reflexive process of critique, choice, and action, which is elaborated on. The paper then investigates what view of holism arises from the preceeding discussions.     

On the Solutions of the Matrix Equations in Optimal Stochastic Control

1.INTRoDUCTIoNoFTHEPRoBLEMConsiderthetime-invariantlinearIt6stochasticsystemwherexER,uCRm,FER""",BER""m,a=const.(i=1,2,'',k)arenaturalnumbers;W(t)=[W(t),W2(t),Wk(t)]"(tSo)isak-dimensionalstandardWienerprocesswithindependentcomponentsdefinedonthecompleteprobabilityspace(fl,FP),(A,B)iscontrollable.SupposethatRERm"m,QERmxmaregivenpositivedefiniteweightingmatrices,Ereferstothemathematicalexpectation.ConsidertheoptimalstochasticcontrolDroblemItiswell-knownthatifthereisapositive…     

A Multi-Agent Based Equipment Bidding System on the Web

This paper puts forward a new framework of multi-agent based equipment bidding system on the Web (MAEBSW). The purpose of the paper is to make the process of enterprise equipment bidding, especially the decision process of enterprise equipment bidding, more intelligent. The system discussed in this paper is an efficient method for the enterprises doing business electronically. We also present our opinion of the approaches to defining agents. We emphasize the importance of agent being able to provide explanation about its behavior for the user or other agents. Based on this opinion we design a new common architecture of most agents in MAEBSW.     

Leader-following consensus for discrete-time multi-agent systems with parameter uncertainties based on the event-triggered strategy

In this paper, the leader-following consensus for discrete-time multi-agent systems with parameter uncertainties is investigated based on the event-triggered strategy. And the parameter uncertainty is assumed to be norm-bounded. A consensus protocol is designed based on the event-triggered strategy to make the multi-agent systems achieve consensus without continuous communication among agents. Each agent only needs to observe its own state to determine its own triggering instants under the triggering function in this paper. In addition, a sufficient condition for the existence of the event-triggered consensus protocol is derived and presented in terms of the linear matrix inequality. Finally, a numerical example is given to illustrate to efficiency of the event-triggered consensus protocol proposed in this paper.     

多属性综合评价的一种新方法

本文针对多属性的综合评价问题, 提出了一种先分类后排序的综合评价方法。这种方法可使评价指标的权重系数的作用发挥得恰到好处, 从而避免了排序的“串套”现象。此外, 该方法还具有简单、合理, 便于应用等特点。最后, 应用本方法对我国重点钢铁企业的发展状况进行了综合评价, 并与用原有方法的评价结果作了比较。     

喷射系统的流场数值仿真

本文采用N—S流体力学方程描述喷射系统内部流体运动的状况,用罚函数有限元法进行数值仿真,得到速度矢量及流线分布图,模拟流体运动的规律。文中依据Prandtl理论导出半空间自由射流速度反射流束宽度算式,通过实验修正自由射流的宽度。     

基于VRGS的交通流微观仿真软件的开发

基于ＶＲＧＳ的交通流微观仿真软件对交通网络引入ＶＲＧＳ后的交通流进行仿真。本文阐述仿真模型的设计思想,介绍模型的框架结构,说明采用ＶｉｓｕａｌＢａｓｉｃｆｏｒＷｉｎｄｏｗｓ的程序实现方法。     

复杂仿真系统模型验证方法的研究

复杂仿真系统置信度评估理论及方法研究是仿真界的难题。本文根据复杂仿真系统的特点,提出了利用贝叶斯(Bayes)理论对复杂仿真系统模型进行验证的方法,建立了检验建模与仿真(M&S)中的复杂假设的规则及实现算法,经过部分实例证明此方法是一种准确、通用和有效的方法。对复杂假设进行检验的Bayes方法,对于小子样甚至是特小子样场合的仿真系统具有参考价值。     

An Approach to the Fault Diagnosis and Testability in Analog Circuits at Module Level

ＡｎＡｐｐｒｏａｃｈｔｏｔｈｅＦａｕｌｔＤｉａｇｎｏｓｉｓａｎｄＴｅｓｔａｂｉｌｉｔｙｉｎＡｎａｌｏｇＣｉｒｃｕｉｔｓａｔＭｏｄｕｌｅＬｅｖｅｌＹａｎｇＪｉａｗｅｉ（ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＲｅｍｏｔｅＳｅｎｓｉｎｇＥｑｕｉｐｍｅｎｔ，Ｂ...