A Reduced Reachability Tree for a Class of Unbounded Petri Nets

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size.      

Elucidation of colour development and microstructural characteristics of Allium sativum fumigated with acetic acid

It has been well known that the greening of Allium sativum cloves could be formed after immersed in acetic acid solution. Nonetheless, no investigation was reported on colour development of A. sativum in response to acetic acid vapour until now. In this study, the brief exposure of A. sativum to acetic acid vapour (200–400 ppm) was combined with controlled atmosphere (5%, 20% and 80% CO₂) packaging storage to break cell membrane and green garlic. The garlic bulbs were fumigated with acetic acid before controlled CO₂ atmosphere packaging for 25 days at 4 °C. Fumigation with 200 ppm acetic acid followed by high CO₂ atmosphere packaging (80% CO₂) facilitated the garlic greening. It was also verified that γ‐glutamyl transpeptidase was involved in garlic greening in present study, and the compromise of glacial acetic acid vapour fumigation and CO₂ gas atmosphere in package stored at low temperature could result in garlic greening as well.     

A computer aided design method for car form and its application based on shape parameters

In the early design stage, automotive modeling should both meet the requirements of aesthetics and engineering. Therefore, a vehicle CAD (computer aided design) model that can be easily adjusted by feedbacks is necessary. Based on CE-Bézier surface, this paper presents a set of algorithms for parametric segmentation and fairing surface generation in a car model. This model is defined by a simplified automotive template and relevant control points, shape parameters and segmentation parameters, which can be modified to alter the car form efficiently. With this model and the corresponding adjustment method, more than fifty various vehicle models are established in this research according to different parameters. And two methods for calculating similarity index between car models are constructed, which are suitable for brand design trend analysis and modelling design decisionmaking.     

郭庄煤业选煤厂振动筛筛选形式的优化研究

针对郭庄煤业选煤厂振动筛振动筛分方式可靠性差、筛分效率低下、物料筛分率低的难题,本文提出了三种新的振动筛分方案,对不同筛分方案的实际应用效果进行了分析。结果表明三移动一摆动的振动筛分方式对物料的综合分散度最高,稳定性好,该筛分方案已在郭庄煤业选煤厂煤炭筛分过程中得到了全面的应用。     

Research on hydrophobicity of electrospun Fe3O4/PVDF nanofiber membranes under different preparation conditions

Abstract

Preparation condition can affect the structure and the properties of nanofiber membrane. In order to explore suitable conditions to prepare the Fe₃O₄/PVDF nanofiber membrane with good hydrophobicity, the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes obtained by electrospinning was investigated by changing preparation conditions like weight percentage of Fe₃O₄ nanoparticles, blending quality concentration of poly (vinylidene fluoride) (PVDF) and Fe₃O₄ nanoparticles, and positive voltage. And the variations of hydrophobicity of Fe₃O₄/PVDF nanofiber membranes modified by 1H, 1H, 2H, 2H-perfluorodecyl trimethoxysilane were studied. The results show that the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes has changed under different preparation conditions. The contact angles of samples increased after a modification by 1H, 1H, 2H, 2H-perfluorodecyl trimethoxysilane, which indicates that the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes has been enhanced.     

除尘器新型褶式滤筒的结构优化及系列化设计

以新型褶式滤筒为研究对象,选取滤筒褶数N_2、褶夹角θ、褶高h、过滤风速v为影响因子,除尘器压力损失为响应值,基于响应曲面法分析影响因子对压力损失的影响,建立滤筒除尘器压力损失的预测模型并得到滤筒褶皱结构最优参数。以滤筒内径D、筒体高度D_1为标准尺寸,依据相关国家标准设计滤筒筒体部分;以锥体高度D_2、锥体上圆直径D_3为系列尺寸,利用尺寸变化法设计锥体部分;通过Access软件建立滤筒产品数据库。结果表明:当θ=5.2°,N_2=50,v=0.01 m/s,h=0.035 m时,除尘器压力损失最低;当D_1=1 000 mm,D=320 mm时,D_2和D_3最佳值分别为600,130 mm,故采用D_2/D_1=0.6,D_3/D=0.4的比值设计相应滤筒锥体系列。     

Compressive properties of pristine and SiC-Te-added MgB2 powders,green compacts and spark-plasma-sintered bulks

Pristine and (SiC+Te)-added MgB₂ powders, green and spark plasma sintered (SPS) compacts were investigated from the viewpoint of quasi-static and dynamic (Split-Hopkinson Pressure Bar, SHPB) compressive mechanical properties The amount of the additive (SiC+Te) was selected to be the optimum one for maximization of the superconducting functional parameters. Pristine and added MgB₂ show very similar compressive parameters (tan δ, fracture strength, Vickers hardness, others) and fragment size in the SHPB test. However, for the bulk SPSed samples the ratio of intergranular to transgranular fracturing changes, the first one being stronger in the added sample. This is reflected in the quasi-static K_IC that is higher for the added sample. Despite this result, sintered samples are brittle and have roughly similar fragmentation behavior as for brittle engineering ceramics. In the fragmentation process, the composite nature of our samples should be considered with a special focus on MgB₂ blocks (colonies) that show the major contribution to fracturing. The Glenn-Chudnovsky model of fracturing under dynamic load provides the closest values to our experimental fragment size data.     

基于开源技术的城市地理信息平台构建方法研究

摘 要：针对城市地理信息平台构建过程中存在的数据获取困难、研发成本较高等问题， 引入开源技术，对基于开源数据、开源开发平台与开源工具的城市地理信息平台构建技术进行 研究。所提出的城市地理信息平台由数据模块与可视化模块 2 部分组成。为构建数据模块，由 开源地理信息项目(OSM)获取了建筑与区划数据，并设计了建筑合并算法以提升数据质量。建 筑数据随之基于行政区划分级存储，通过由 ASP. NET 构建的数据接口提供给具体应用。可视 化模块则基于开源地理信息系统(GIS)项目 Cesium 实现，并设计了完善的用户界面。以北京市 为例，完成了原型系统的开发与测试，证实了该技术体系的可行性，通过开源技术降低平台研 发成本，推进城市地理信息平台的研究与应用。     

关于控制维护作业单井成本的思考

对江汉采油厂某作业区维护作业2012-2014年维护作业成本支出现状进行对比分析,找到维护作业成本支出逐年增加的主要原因是单井成本的增加。面对这个问题,精挖细掘,层层剥出成本控制的潜力点,变被动为主动,力争2015年维护作业成本控制在计划之内。