基于SysML的三余度飞控计算机系统建模方法研究

提出了一种基于Sys ML的三余度飞控计算机设计方法.在设计过程中,利用Sys ML静态图构建三余度飞控计算机系统结构模型;利用Sys ML的动态行为图构建余度管理算法模型,实现了三余度飞控计算机系统模型.以某三余度飞控计算机系统为例,构建三余度飞控计算机系统结构模型;设计计算机同步算法、监控表决算法并对算法进行建模.最后,通过所构建的仿真环境进行验证,结果表明所提出方法可行有效.     

面向飞行控制系统应用的容错计算机系统设计

在设计飞控计算机时采用了冗余技术(4余度容错计算机)，保证系统实现人以两次故障工作，三次故障安全(fo／fo／fs)．采用完善的余度管理技术和余度表决监控算法，进行故障的隔离定位和屏蔽，飞控计算机采用多速率任务调度策略，保证了系统的实时性．作者详细地描述了该容错计算机的软件／硬件设计结构、系统调度策略和余度管理算法，     

基于动态面backstepping控制的高超声速飞行器自适应故障补偿设计

针对带有冗余舵面的高超声速飞行器纵向模型,考虑舵面出现卡死故障情况下,分别设计了基于backstepping的高度容错控制器与基于动态逆的速度跟踪控制器.在运用backstepping自适应设计高度控制器时,采用动态面设计方法,引入一阶滤波器,避免了设计中对虚拟信号求导带来的复杂计算问题.针对舵面出现未知故障(不确定故障模式、大小、发生时间)的情况,设计容错控制器结构,给出实现故障补偿控制的匹配条件,根据Lyapunov稳定性理论设计的控制器参数自适应律保证系统的稳定性与指令跟踪性能.针对舵面出现卡死故障的情况,仿真对控制算法进行了验证,得到了较理想的控制效果.     

非高斯随机分布系统的集成故障诊断与容错控制

针对一类非高斯非线性随机分布系统,提出了一种集成故障诊断与容错控制算法. 将基于有理平方根模型逼近其系统输出概率密度函数（PDF）,在此基础上给出了基于RBF神经网络观测器的故障诊断算法,诊断出系统发生的渐变故障信息,基于Lyapunov稳定性定理对其观测误差系统进行收敛性分析. 根据故障诊断信息,给出了PI跟踪容错控制策略,使得系统输出概率密度函数仍能够跟踪给定的分布. 仿真结果验证了该集成故障诊断和容错控制算法的有效性.      

基于CAN总线的分布式容错系统实现

针对一种基于CAN总线的多冗余计算机构成的实时控制网络,设计并实现了分布式容错计算系统。该系统采用软总线保证数据可靠传输,使用数据表决屏蔽节点计算与传感故障,通过同步保证数据一致,利用成员关系管理维护动态成员关系。它完全独立于控制应用程序,包括了分布式容错计算的典型功能,充分利用分布式系统的优势和CAN总线传输的特点,在保证系统实时性的基础上为应用程序提供容错计算服务。测试结果表明,在性能指标上能够满足某实时控制系统的要求。     

基于CAN总线的分布式容错系统实现

针对一种基于控制器局域网(controller areanetwork,CAN)总线的多冗余计算机构成的实时控制网络,设计并实现了分布式容错计算系统。该系统采用软总线保证数据可靠传输,使用数据表决屏蔽节点计算与传感故障,通过同步保证数据一致,利用成员关系管理维护动态成员关系。该系统完全独立于控制应用程序,包括了分布式容错计算的典型功能,充分利用分布式系统的优势和CAN总线传输的特点,在保证系统实时性的基础上为应用程序提供容错计算服务。测试结果表明,在性能指标上能够满足某实时控制系统的要求。     

基于容错CORBA的可生存网络应用模型

针对网络系统组件可能发生自然故障且多数安全机制都可能被攻击者破坏的问题,在分析网络可生存性的基本内涵以及可生存性研究与相关研究的联系的基础上,提出了一种基于容错CORBA的可生存网络系统设计模型,该模型采用对象主动复制的容错CORBA应用结合大数表决机制,可以检测和容忍恶意攻击和组件故障,并从其影响中恢复,从而保护了系统的可用性和完整性.     

基于采样控制的混沌系统容错同步

针对一类李普希兹混沌系统,研究其基于采样控制的容错同步问题.利用输入时滞方法,将采样误差系统转换为连续时间时滞系统;基于Lyapunov泛函方法,给出了同步误差系统的时滞依赖稳定性判据;在此基础上,利用线性矩阵不等式技巧设计了容错控制器;最后,用蔡氏电路举例说明了该方法的有效性.     

基于组件的分布式人机交互系统开发模型的研究

为了解决分布式系统人机界面资源的容错、动态配置以及多个人机交互结点界面切换的统一控制问题,基于组件技术,提出一种分布式人机交互系统开发模型.该模型通过既定的策略调度各界面组件,以达到对人机界面的容错、动态配置和统一控制,最后通过仿真验证了该模型是可行的.     

时变延时网络控制系统容错控制的研究

时变延时现象的存在是网络控制系统容错控制的一个巨大难题,该文对具有时变延时网络控制系统容错控制的研究进行了总结,在前人研究成果的基础上,提出了一种时变延时网络容错控制算法.首先提出了一个带有不同时间延迟和传感器或执行器故障的网络控制模型,通过改变采样周期,将数据传输引起的时间延迟限制在一个采样周期内,然后用稳定性理论设计容错控制算法.仿真实验结果证明,将该算法应用于时变延时网络控制系统是可行的、有效的.     

Markedness and its Interpretation in Language Use

Language markedness is a common phenomenon in languages, and is reflected from hearing, vision and sense, i.e. the variation in the three aspects such as phonology, morphology and semantics. This paper focuses on the interpretation of markedness in language use following the three perspectives, i.e. pragmatic interpretation, psychological interpretation and cognitive interpretation, with an aim to define the function of markedness.     

Features of Women's language

Language is a means of verbal communication. People use language to communicate with each other. In the society, no two speakers are exactly alike in the way of speaking. Some differences are due to age, gender, statue and personality. Above all, gender is one of the obvious reasons. The writer of this paper tries to describe the features of women＇s language from these perspectives： pronunciation, intonation, diction, subjects, grammar and discourse. From the discussion of the features of women＇s language, more attention should be paid to language use in social context. What＇s more, the linguistic phenomena in a speaking community can be understood more thoroughly.     

低渗透非均质砂岩油藏启动压力梯度研究

理论推导与室内实验相结合,建立了低渗透非均质砂岩油藏启动压力梯度确定方法。首先借助油藏流场与电场相似的原理,推导了非均质砂岩油藏启动压力梯度计算公式。其次基于稳定流实验方法,建立了非均质砂岩油藏启动压力梯度测试方法。结果表明:低渗透非均质砂岩油藏的启动压力梯度确定遵循两个等效原则。平面非均质油藏的启动压力梯度等于各级渗透率段的启动压力梯度关于长度的加权平均;纵向非均质油藏的启动压力梯度等于各渗透率层的启动压力梯度关于渗透率与渗流面积乘积的加权平均。研究成果可用于有效指导低渗透非均质砂岩油藏的合理井距确定,促进该类油藏的高效开发。     

On Tragic Consciousness In The Works By Ernest Hemingway

As an American modern novelist who were famous in the literary world, Hemingway was not a person who always followed the trend but a sharp observer. At the same time, he was a tragedy maestro, he paid great attention on existence, fate and end-result. The dramatis personae's tragedy of his works was an extreme limit by all means tragedy on the meaning of fearless challenge that failed. The beauty of tragedy was not produced on the destruction of life, but now this kind of value was in the impact activity. They performed for the reader about the tragedy on challenging for the limit and the death.     

Achieving Unusual States of Matter Under High Pressure

正The periodicity of the elements and the non-reactivity of the inner-shell electrons are two related principles of chemistry,rooted in the atomic shell structure.Within compounds,Group I elements,for example,invariably assume the+1 oxidation state,and their chemical properties differ completely from those of the p-block elements.These general rules govern our understanding of chemical structures and reactions.Using first principles calcula-     

Exchange-Correlation and Electronic Excitation Energies from Pairing Matrix Fluctuations

We have developed an adiabatic connection to formulate the ground-state exchange-correlation energy in terms of pairing matrix linear fluctuations.This formulation of the exchange-correlation energy opens a new channel for density functional approximations based on the many-body perturbation theory.We illustrate the potential of such approaches with an approximation based on the particle-particle Random Phase Approximation(pp-RPA).This re-     

Density Functional Theory for the Response of Periodic Systems to Electric Fields Based on the Vector Potential Approach

正The electronic and nuclear(structural/vibrational)response of 1D-3D nanoscale systems to electric fields gives rise to a host of optical,mechanical,spectral,etc.properties that are of high theoretical and applied interest.Due to the computational difficulty of treating such large systems it is convenient to model them as infinite and periodic(at least,in first approximation).The fundamental theoretical/computational problem in doing so is that     

On the Thermodynamic Limit for Responses to Static Electromagnetic Fields

For molecular systems,the quantum-mechanical treatment of their responses to static electromagnetic fields usually employs a scalar-potential treatment of the electric field and a vector-potential treatment of the magnetic field.Although the potential for each field separately is associated with the choice of an(unphysical)origin,the precise choice of the origin for the electrostatic field has little consequences for the results.This is different for the     

An affordable accurate evaluation of the binding conformations predicted by molecular docking studies in bio-system

Franck-Condon factors bridge the gap between theoretical modeling and experimental observations for molecular electronic spectroscopy and electron transfer.Under the displaced harmonic oscillator approximation,multidimensional Franck-Condon factors are decomposed into a product of many one-dimensional(1D)Franck-Condon(FC)factors,and each 1D-FC factor is associated with one Huang-Rhys factor that determines the leading contribution of     

Call for Papers

<正>"The Journal of Shanghai Normal University:Mathematics"is published by Shanghai Normal University as regular issues of The Journal of Shanghai Normal University each year from 2014 in English.The editors-in-chief of the issues are professors Yuhao Cong and Maoan Han.The Journal of Shanghai Normal University was started in 1958 with