飞控计算机系统分层混合可靠性建模方法

对于复杂的非相似、多余度飞控计算机系统,根据其结构特点,综合静态和动态可靠性建模方法的优势,提出了采用可靠性框图（RBD）和广义随机Petri网（GSPN）相结合的分层混合建模方法,并对建模过程中低层各子系统存在共因失效部件情况下的可靠性建模和求解作了分析.分别采用分层混合建模方法和动态可靠性建模GSPN方法对Boeing777电传主飞控计算机系统进行可靠性建模和分析.同动态GSPN方法相比,该方法综合采用了静态和动态可靠性建模方法,具有状态空间模型的灵活性和组合模型求解的高效性,同时层次结构避免了GSPN方法带来的状态空间爆炸问题.由结果比较可得,该方法可行、高效、精确.     

飞机座舱压力自动调节系统可靠性研究

飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。     

广义随机Petri网和Monte Carlo仿真在系统可靠性分配中的应用

介绍了可靠性分配的复杂性和模糊性,阐述了广义随机Petri网（GSPN）和Monte Carlo的基本原理及其在系统可靠性分析中的应用,以加油系统为例,建立了其可靠性框图和GSPN模型,利用MATLAB实现了系统可靠性的Monte Carlo仿真,仿真结果验证了可靠性分配方案的正确性。     

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。     

广义随机Petri网（GSPN）的一种可达集生成算法

广义随机Pctri网(GSPN)在离散事件系统的性能分析中得到广泛的应用。本文提供了用计算机自动进行GSPN可达性分析的算法,该算法可处理含禁止线,k有界的情况,也同时适用于PN、SPN模型,并给出几个应用本算法的例子。     

刍议提升计算机网络可靠性的方法

计算机网络系统的布设,给现代人的工作与生活带来了极大的改变.从计算机网络特性的角度来看,计算机网络可靠性指的是在特定的环境下,计算机网络能够顺利完成既定任务的能力.计算机网络可靠性的提升不仅对网络运行能力有所要求,而且还是计算机网络环境规划过程中的关键指标.该文就提升计算机网络可靠性的方法进行阐述,以期为现实环境中的计算机网络系统维护带来有益的借鉴.     

广义随机Petri网对交换机过载控制机理研究

在分析阻塞呼叫控制机理的基础上,用广义随机Petri网(GSPN)对数字交换机中另一种常用过载控制机理——延时呼叫控制,进行了描述与分析,建立了其GSPN模型。通过对模型求解,得出了采用控制后系统性能的解析表达式,以及与控制严密程度之间的关系,从而定量分析并评价了这种控制机理的控制特性。最后,对两种控制机理的结果进行了比较。     

基于GSPN模型的动漫渲染系统可扩展性分析

基于广义随机Petri网(GSPN)模型方法,针对局部集中式架构下的动漫渲染系统,通过分析不同用户数提交渲染请求时系统的平均时延来研究系统的可扩展性.首先分别建立了单用户、双用户和三用户提交渲染请求时的GSPN模型,然后选取平均时延作为渲染系统的性能评价指标,采用SPNP 6.0对上述3种情形进行了实验分析.实验结果表明,随着用户数的增加、渲染系统的平均时延呈折线上升趋势.     

关于计算机网络可靠性的探讨

计算机网络的可靠性是指在规定的时间内和条件下使计算机网络系统正常工作。由于计算机网络需要在稳定的环境中工作,为了使它不受到破坏和干扰,人们越来越重视计算机网络的可靠性,使它成为了衡量计算机质量的一个重要标准。如果能充分提升计算机网络的可靠性,让计算机网络可以正常可靠的运行,这对我们的生活具有重要的现实意义。     

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.     

An Analysis of Catherine＇s Character——Wuthering Heights

Wuthering Heights, Emily Bronte＇s only novel, was published in December of 1847 under the pseudonym Ellis Bell. The book did not gain immediate success, but it is now thought one of the finest novels in the English language. Catherine is the key character of this masterpiece, because everybody and everything center on her though she had a short life. We can understand this masterpiece better if we know Catherine well.     

Lower Paleozoic oil relationships within Williston Basin, Canada

The Williston Basin is a significant petroleum province, containing oil production zones that include the Middle Cambrian to Lower Ordovician, Upper Ordovician, Middle Devonian, Upper Devonian and Mississippian and within the Jurassic and Cretaceous. The oils of the Williston Basin exhibit a wide range of geochemical characteristics defined as "oil families", although the geochemical signature of the Cambrian Deadwood Formation and Lower Ordovician Winnipeg reservoired oils does not match any "oil family". Despite their close stratigraphic proximity, it is evident that the oils of the Lower Palaeozoic within the Williston Basin are distinct. This suggests the presence of a new "oil family" within the Williston Basin. Diagnostic geochemical signatures occur in the gasoline range chromatograms, within saturate fraction gas chromatograms and biomarker fingerprints. However, some of the established criteria and cross-plots that are currently used to segregate oils into distinct genetic families within the basin do not always meet with success, particularly when applied to the Lower Palaeozoic oils of the Deadwood and Winnipeg Formation.     

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

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

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.     

Design and analysis of generic LBS application developing platform

Location based services is promising due to its novel working style and contents.A software platform is proposed to provide application programs of typical location based services and support new applications developing efficiently. The analysis shows that this scheme is easy implemented, low cost and adapt to all kinds of mobile nework system.     

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