冗余系统费用模型及优化

根据冗余设计的不同形式 ,在Tillman并联系统费用模型的基础上引入了系统功能指标 ,并将其推广至其它形式的冗余系统 ,从而得到了一个较为完整的冗余系统费用模型。在此基础上 ,建立了用于优化并串联冗余系统设计的非线性混合整数规划模型 ,分别使用了模式搜索与启发式算法的组合算法以及遗传算法对其进行求解 ,着重讨论了两种方法的实现关键及各自的优劣。最后 ,经计算比较 ,提出了遗传算法与模式搜索、启发式算法相结合的求解方法 ,并说明了该方法的有效性。     

The Ontological Constitution of Bounding-Judging in the Phenomenological Epistemology of von Bertalanffy's General System Theory

An analysis of the current presentation of boundary judgments in the Critical Systems literature highlights a general result: that the activity of bounding has been, implicitly or explicitly, considered as an epistemological issue. By arguing that knowledge is not produced singularly by bounding, the paper informs this general result. This, in turn, informs other results, which have emerged in current understanding. In particular, the paper argues (a) the reason why knowledge indeed never attains the status of "objective or right" knowledge, (b) how critique is dependent on some positing of knowledge, and (c) the exact place where critique is actioned. von Bertalanffy's attempted systems epistemology is considered at length because it explains and informs the epistemological conclusions seen to have been drawn in the current Critical Systems literature. von Bertalanffy's attempt requires the support of Husserlian phenomenology, especially Sartre's understanding of it. This requires an in-depth discussion of the phenomenological understanding of consciousness. Since the conclusions stem from von Bertalanffy, the paper reconsiders the status of General System Theory in Critical Systems Thinking.     

Fixed-Orderl1-Control for Systems with Time-Delay

1. INTRODUCTIONPhysical plaaes are inevitably affected by exogenous disturbance, hence rejecting disturbanceis important. Ffor example, HOO-control systems can reject the LZ disturbance. But in factthere are maily species of disturbances: some are LZ-attenuation; some are stochastic; andsome are Loo(loo) [6]. If the exogenous disturbance is modeled as the energy-bounded signal, and the performance is the output energyt that is Hoo problem. If the performance isoutput energy, that is p…     

线性调频-二相编码雷达信号分析

报道了一类由二相编码信号与线性调频信号组合而成的新的脉冲压缩信号。导出了这类信号的表达式。通过理论分析和计算机模拟,给出了该类信号的模糊函数(图),幅度谱特性,匹配滤波器输出波形,多普勒频移特性,有加权时的压缩脉冲时间旁瓣波形和低截获概率等方面的性能。分析证明,该类信号与线性调频信号或二相编码信号相比具有更好的低截获概率特性,其多普勒性能优于二相编码信号。     

THE DEGENERACY PROBLEM OF TWO-DIMENSIONAL LINEAR RECURRING ARRAYS

1.IntroductionInthepastthreedecadestwcadimensionalarrayswereextensivelystudiedsincetheycanbeusedintwo-dimensionalrange-finding,scramming,two-dimensionalcycliccodesandotherapplicationsincommunicationandcoding.Therearetwotypesoftwo-dimensionalarrays.Th...     

ON THE CONSTRUCTION OF ALGEBRAIC-GEOMETRIC CODES

1,Illtroduction'SincetheearlypapersbyG0ppa[1-31,algebralc-ge0metriccodeshavebeeninthespotlight0fcodingthe0reticresearchf0rab0uttwodecades.NumerousexcitingresultshavebeenachievedusingGoppa'sconstructi0noflinearcodesfromalgebralccurvesoverfinitefields,bothbyalgebraicge0metorsandcodingtheorists.Becauseofthedifficultyofthesubject,severalexplanatorypaPersandtextbookshaveappeared,seeforinstance[4-8].Inthispaperwepresentaquitedtherentpointofviewconcerningalgebraic-geometriccodes.Itiswellknownthataq…     

汽车电子ABS控制参数混合逻辑动态自标定研究

采用软硬件协同设计方法,提出基于汽车电子子系统模块化统一建模的动态仿真测试方法.参照汽车电子电控单元参数的匹配方法,提出了基于CCP协议在线调整ABS参数的匹配方法,并从理论上研究了基于MLD(Mixed Logical Dynamical)系统的ABS控制参数自动标定算法.并通过求解MIQP问题为ECU-ABS控制解出一个优化的控制序列.以ABS开发为例进行了说明和测试,对监控标定系统进行了试验,建立了完整的电控参数标定仿真、实验流程.提出的方法对其它汽车电子嵌入式实时软件开发,缩短调试、路试周期具有重要的意义.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

系统科学研究对象、任务与学科性质探究

以国内外系统科学前沿研究为基础,深入分析系统科学的研究对象、任务和学科性质。研究对象是存在和演化的具体系统中一般意义的关系性特征;研究任务是从发现问题、总结"同型性"、探究"规律性"、解决问题再到发现问题的反馈回路;系统科学具有超越科学性、中立科学性、建构论、弱经验性和问题指向性等特征。     

区间数模糊投资组合模型

利用模糊约束将Markowitz投资组合模型转化为模糊线性规划模型，用区间数来描述证券的期望收益率和风险损失率，建立区间数模糊证券投资组合模型，利用区间数知识把区间规划问题转化为参数线性规划问题对该模型进行求解，通过算例阐述方法的有效性。