采场动压分布特征及高效瓦斯抽放技术研究

河南地区大部分煤矿所采煤层均属于三软煤层，煤层透气性差，瓦斯治理困难。现阶段河南区域煤与瓦斯突出矿井主要采用穿层钻孔及开采保护层作为区域防突措施，而低瓦斯矿井或临突矿井（低瓦斯矿井与煤与瓦斯突出矿井相邻）存在高瓦斯区时，仅仅用风排瓦斯很难达到治理效果，近些年煤矿发生瓦斯事故多数为低瓦斯矿井，所以低瓦斯矿井和临突矿井存在高瓦斯区域的工作面回采期间瓦斯治理尤为重要。根据采场“竖三带”和“横三区”理论，利用钻孔抽放效果考察法和工作突出预测指标法研究了采场围岩动压分布特征。在此基础上，通过优化动压区抽放钻孔设计，提高了瓦斯抽放效果。瓦斯抽放量提高了1.8倍，有效降低了工作面生产期间的风排瓦斯量，提高了生产效率，保证了矿井安全生产。     

A practical data-flow verification scheme for business processes

Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models.     

Discovery of path-attribute dependency in manufacturing environments: A process mining approach

The more knowledge industrial practitioners detain of their production processes, the more they are capable of performing process improvements. Nonetheless, there may exist process characteristics and dependencies that are not easily extractable from business models, such as routing dependent attributes. This paper introduces an algorithm-driven framework to establish whether process path decisions influence the attributes in non-direct sequences, e.g., deploying machine A instead of machine B affects the % of rejected parts on the process, 4 stages down the line. This problem is shown to bears similarities with sequential pattern mining problems. The basis of the solution framework relies on process mining and data mining techniques. The approach proposed is applied on a real industrial log, unveiling deficiencies in the system and providing further improvement recommendations.     

综放工作面上隅角瓦斯治理技术实践

为解决瓦斯矿井综放面推采过高瓦斯区域时,上隅角瓦斯易超限的问题,结合赵庄二号井2309工作面地质情况,研究实施了工作面采空区瓦斯抽采和上隅角软管抽放的综合治理技术。实践表明:在2309综放工作面回采期间,上隅角瓦斯浓度得到有效控制,平均为0.15%,最高为0.36%,为工作面安全生产提供了有力保障。     

Lean production system design for fishing net manufacturing using lean principles and simulation optimization

Value stream mapping (VSM) is a useful tool for describing the manufacturing state, especially for distinguishing between those activities that add value and those that do not. It can help in eliminating non-value activities and reducing the work in process (WIP) and thereby increase the service level. This research follows the guidelines for designing future state VSM. These guidelines consist of five factors which can be changed simply, without any investment. These five factors are (1) production unit; (2) pacemaker process; (3) number of batches; (4) production sequence; and (5) supermarket size. The five factors are applied to a fishing net manufacturing system. Using experimental design and a simulation optimizing tool, the five factors are optimized. The results show that the future state maps can increase service level and reduce WIP by at least 29.41% and 33.92% respectively. For the present study, the lean principles are innovatively adopted in solving a fishing net manufacturing system which is not a well-addressed problem in literature. In light of the promising empirical results, the proposed methodologies are also readily applicable to similar industries.     

Semantics for consistent activation in context-oriented systems

ContextContext-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior.ObjectiveWith the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction.MethodAs a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies.ResultsIn the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts.ConclusionContext Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

Viscosity of glass-forming melt at the bottom of high-level waste melter-feed cold caps: Effects of temperature and incorporation of solid components

During the final stages of conversion of melter feed (glass batch) to molten glass, the glass-forming melt becomes a continuous liquid phase that encapsulates dissolving solid particles and gas bubbles that produce primary foam at the bottom of the cold cap (the reacting melter feed in an electric glass-melting furnace). The glass-forming melt viscosity plays a dominant role in primary foam formation, stability, and eventual collapse, thus affecting the rate of melting (the glass production rate per cold-cap area). We have traced the glass-forming melt viscosity during the final stages of feed-to-glass conversion as it changes in response to changing temperature and composition (resulting from dissolving solid particles). For this study, we used high-level waste melter feeds—taking advantage of the large amount of data available to us—and a variety of experimental techniques (feed expansion test, evolved gas analysis, thermogravimetric analyzer-differential scanning calorimetry, X-ray diffraction, and viscometer). Starting with a relatively low value at the moment when the melt connects, melt viscosity reached maximum within the primary foam layer and then decreased to its final melter operating temperature value. At the cold-cap bottom—the boundary between the primary foam layer and the thermal boundary layer—where physicochemical reactions of a melter feed influence the driving force of the heat transfer from the melt to the cold cap, the melt viscosity affects the rate of melting predominantly through its effect on the temperature at which primary foam is collapsing.     

Mimicking the Brain Extracellular Matrix in Vitro: A Review of Current Methodologies and Challenges

The brain's extracellular matrix (ECM), a 3-dimensional macromolecular network that supports cell growth and viability, has crucial roles in homeostasis and disease. Accurate recapitulation of the chemical, structural, and mechanical properties of the ECM in brain cell cultures is essential for the development of translatable in vitro models; however, thus far, this task has proven highly challenging. This review provides an in-depth discussion of this challenge, including an overview of the properties of the ECM that in vitro models should endeavour to capture, a survey of ECM analogues that are currently used for this purpose, and a discussion of the main hindrances to developing more effective ECM-like coating materials.     

Three-dimensional thermal analysis of the repository for high-level radioactive nuclear waste

One of the key issues of the dimensioning design and safety assessment of the repository for deposing the high-level radioactive nuclear waste is the temperature distribution. A three-dimensional layered model was established for analyzing the heat conduction near single waste canister. Applying the Laplace transform and finite Fourier Sine transform upon the governing equations of heat conduction, the solutions in the Laplace domain were obtained. The solutions in the Laplace domain were numerically inverted into semi-analytical solutions in the time domain by the Crump method, and the temperature distribution was obtained near the canister at the center of one disposal panel. The initially estimated value of the canister spacing was determined according to the temperature distribution and design criterion. Finally, the obtained temperature distribution was used to investigate the influence of relevant parameters on the canister surface temperature. The results show that the present model is reliable by comparing with the existing analytical model. The peak canister surface temperature is significantly affected by the tunnel spacing, canister spacing, thickness of buffer layer, and thermal conductivities of buffer material and surrounding rock.