子网行为等价的特殊网系统的同步距离

同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。     

Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质：亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分。此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必须条件。     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X(j)0且X(i)=0.最后,用一个实例展示结论的应用过程.     

一种面向故障诊断的故障Petri网

根据故障具有并发性等特点,定义了一种面向故障诊断的故障Petri网,介绍了其建模方法,给出了其状态方程和运用状态方程的诊断推理方法.定义的故障Petri网可避免变迁重复发生和推理路径的反复搜索.最后通过实例说明了具体建模方法和故障诊断的推理过程,推理结果与图形分析方法相吻合.     

Petri网系统的公平性判定

一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-.本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件.任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0.最后,用一个实例展示结论的应用过程.     

城市道路网布局结构对公交线网密度的影响

定义了描述道路网整体结构中心化程度的道路网结构集聚度指标,用于描述路网中道路之间的衔接关系,定义了描述道路网综合布局特性的道路网布局结构指数,结合实例分析了路网布局结构对公交线网密度的影响因素和影响机理,通过对实例数据的回归分析验证了公交线网密度与道路网密度和道路网结构集聚度之间的相关关系,并指出道路网布局结构指数与公交线网密度之间具有显著的线性正相关关系.     

T—Cyber网系统及其应用研究

指出了Ｃｙｂｅｒ网系统的不足之处，引用了变迁激发量的概念，给出了Ｔ－Ｃｙｂｅｒ网系统的定义，它是含有抑制弧的Ｐｅｔｅｒｉ网及受控Ｐｅｔｒｉ网的自然扩展。并分析了该网的性质，给出的实例表明该网的实用价值。     

模糊故障Petri网建模方法及其应用

为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性.将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证.研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强.     

HAMMING距离与覆盖设计

本文将编码理论中的Ｈａｍｍｉｎｇ距离分析引入正交设计的析因分析中，定义了覆盖设计、处理间距离等概念，并通过实例操作展示了Ｈａｍｍｉｎｇ距离分析的优良性。     

福州市老年人公共运动场所空间公平性评价及布局 优化策略

在人口老龄化和实施全民健身、健康中国国家战略的背景下，如何更好地为老年人配 置运动场所成为政府和社会面临的重要问题。以福州市老年人公共运动场所为研究对象，整合路 网数据、运动场所点空间数据和相关统计数据构建空间公平性评价指标体系，从可达性公平、设施 公平、绩效公平3个方面对福州市各街道（镇）进行老年人公共运动场所空间公平性评价。结果表 明，福州市老年人公共运动场所空间公平性具有较大的区域差异性，晋安区和鼓楼区公平性评分 较高，运动场所布局较为合理。依据《福州市公共体育设施专项规划2018—2035》，围绕“10分钟体 育圈”社区级设施规划目标，利用集合覆盖模型提出了老年人公共运动场所布局优化策略。     

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