A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets

A set of elementary siphons plays a key role in the development of deadlock prevention policies for automated manufacturing systems. This paper addresses the computation problem for elementary siphons in a subclass of Petri nets which are basic systems of simple sequential processes with resources (BS³PR) and can model many automated manufacturing systems. An algorithm for enumerating elementary siphons is established by the one‐to‐one relationship between maximal perfect resource‐transition circuits (MPCs) and strict minimal siphons. A set of MPCs is first computed, followed by a set of elementary siphons in a BS³PR. The presented algorithm is proved to have polynomial‐time complexity. An example is used to illustrate the algorithm.     

Optimal Path Problems with Second-Order Stochastic Dominance Constraints

This paper studies optimal path problems integrated with the concept of second order stochastic dominance. These problems arise from applications where travelers are concerned with the trade off between the risks associated with random travel time and other travel costs. Risk-averse behavior is embedded by requiring the random travel times on the optimal paths to stochastically dominate that on a benchmark path in the second order. A general linear operating cost is introduced to combine link- and path-based costs. The latter, which is the focus of the paper, is employed to address schedule costs pertinent to late and early arrival. An equivalent integer program to the problem is constructed by transforming the stochastic dominance constraint into a finite number of linear constraints. The problem is solved using both off-the-shelf solvers and specialized algorithms based on dynamic programming (DP). Although neither approach ensures satisfactory performance for general large-scale problems, the numerical experiments indicate that the DP-based approach provides a computationally feasible option to solve medium-size instances (networks with several thousand links) when correlations among random link travel times can be ignored.     

动载作用下机场刚性道面模态参数识别研究

关于机场道面刚性结构参数识别问题,研究移动荷载作用下机场刚性道面识别系统中,传统弹性、粘弹性解析识别精度的不足,建立了移动荷载作用下弹性支承边界、弹性嵌固边界和实际边界条件下的道面板的运动方程,提出了一种基于变分法、功互等定理的Kelvin粘弹性地基上道面板系统的识别方法。同时根据最小二乘法准则进行反演,拟合实测动挠度和理论动挠度,从而识别出地基反应模量K。经仿真与实测结果可知,改进方法在保证识别速度的前提下可以显著提高识别精度,具有很好的应用价值,为机场刚性道面的设计、参数识别和质量评价等提供理论依据。     

巨磁电阻材料的研究与应用

介绍了一种新型的磁性功能材料－巨磁电阻材料，综述了其研究进展情况。并就它在巨磁电阻传感器、高密度磁记录读出磁头、巨磁电阻随机存储器以及自旋晶体管等磁电子元器件上的进行了论述。     

多网融合方案在电力基建工程现场中应用研究

针对输变电工程陆续开展基建智慧工地,智慧物联系统平台建设已成为常态,目前建设思路主要是通过基于"大、云、物、移、智"开展新技术、新产品的应用,实现"人、机、料、法、环、测"等施工现场六要素的感知采集,以支撑智慧工地及基建信息化的业务开展.如何实现施工现场感知层数据、视频流数据以及业务数据三类数据的传输,并实现设备安装布设无线化、部署简易化,是重点思考和解决的方向,提出建设以5G(generation)专网为主,无线接入点(access point,AP)网络、远距离(long range,LoRa)通信网络为辅的多网融合方案,开展智慧工地网络层的建设,以支撑智慧工地物联网业务的开展,提供高质量、高体验的网络层支撑.     

等离子体表面氟化处理环氧树脂及其沿面闪络特性研究

为加快绝缘子表面电荷消散,提升绝缘子沿面闪络电压,本研究提出了等离子体氟化改性技术,选用与绝缘子配方一致的环氧树脂试样,改变材料表面的处理时间,测试处理前、后试样的表面物理、化学及介电特性.结果表明:等离子体处理作为一种兼具表面物理改性及化学改性的方法,可以在试样表面引入亲水性基团,改变试样表面的浸润性,试样表面粗糙度随处理时间的增加呈先提高后降低的趋势,同时等离子处理可以在材料表面引入F元素,浅化表面陷阱,提升材料的表面电导率,减少表面电荷积聚;在选定参数下,处理9 min后,沿面闪络电压提升至最大值,威布尔分布计算表明提升了约37.17％;过长时间的等离子体表面处理会破坏材料结构,深化表面陷阱,降低表面电导率,降低沿面闪络电压.     

PARAMAGNETIC MEISSNER EFFECTS IN MELT-TEXTURED Y_(0.99)Nd_(0.01)Ba_2Cu_3O_(7-y)SUPERCONDUCTOR

The paramagnetic Meissner effect (PME) was observed on the field-cooled M-T curvesof melt-textured Y0.99Nd0.01Ba2Cu3O7-y in applied magnetic fields from 1kOe toJ0kOe. In the magnetic field below 1kOe, the sample undergoes the typical transi-tion from the normal state to the superconducting state when it was cooled down. Theapplied magnetic fields in which the PME occurs, are very high compared with thefields reported in literatures. We propose that the occurrence of the PME may be dueto a phase transition of flux vortices in the superconductors.     

上部单烧嘴长坑均热炉改造试验研究

介绍了在上部单烧嘴长坑均热炉上，通过采用增加辅助烧嘴和辐射多孔体的改造措施，使炉温均匀，加热质量提高，并实现了节能降耗。     

基于OSEK规范的网络管理的研究与改进

首先论述了基于OSEK规范的网络管理特点并对OSEK网络管理的工作机制进行了详细分析;在基于OSEK网络管理特点和工作机制的基础上,对OSEK网络管理在以太网上的扩展、资源占有率优化和实时性提高几个方面给出了解决方案。     

基于灰色聚类模型的物流企业国防运输资质评估

为解决军队优选物流企业进行国防运输资质评估问题,在分析国防运输对物流企业相关要求的基础上,参考现行物流企业评估标准,建立符合部队需求的评估指标体系,确定评估指标取值范围,运用灰色聚类评估方法,衡量物流企业参与国防运输的资质等级.通过实例验证该模型的可行性和有效性,可为军队优选物流企业提供科学有效的评估方法.