We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs of [5] and a new variant of arithmet...

In this paper, the spectral element (SE) method is applied in time to find the entire time-periodic or transient solution of time-dependent differential equations. The time-periodic solution is computed by enforcing periodicity of the element set. Of particular interest are periodic forcing functions possessing high frequency content. To maintain the spectral accuracy for such forcing functions...

In view of severe changes in temperature during different seasons in cold areas of northern China, the decay of battery capacity of electric vehicles poses a problem. This paper uses an electric bus power system with semi-active hybrid energy storage system (HESS) as the research object and proposes a convex power distribution strategy to optimize the battery current that represents degradation...

Abstract. The article is devoted to the analysis of normative indicators operation hopper semi-wagons by time during transportation agglomerate from sinter factory blast furnace. For first time, questions were raised about irrationality intra-factory rail over long distances. Graphs transport and technological cycle are constructed. results calculations mobile warehouses with according actual s...

knowledge about low flow statistics is essential for effective water resource planning and management in ungauged orpoorly gauged catchment areas, especially in arid and semi-arid regions such as iran. we employed a data set of 20 riverflow time-series from the iranian central plateau river basin, iran to evaluate the low-flow series using several frequencyanalysis methods and compared the resu...

this study aims to assess the effect of grazing intensity on vegetation structure, soil nutrient concentrations and soil physical properties. the study was carried out in steppe rangelands of saveh, markazi province, iran. four sites with four grazing intensities including very high, high, moderate and non-grazed with the same ecological conditions were selected. to study various vegetation and...

When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy and health-care), dependability has became a must, since failures can have economics consequences and can also endanger human life. Software Architectures (SA) can help improving the overall system dependability, provi...

Background and Objective: Hospitals play an important role in protecting the health and survival of people during disasters. Despite the development of risk management programs worldwide in recent years, hospital preparedness in disasters is low and one reason for that is the lack of hospital standards for disaster preparedness. This study aims to develop hospital accreditation standards for ho...

In opinion mining, there has been only very little work investigating semi-supervised machine learning on document-level polarity classification. We show that semi-supervised learning performs significantly better than supervised learning when only few labeled data are available. Semi-supervised polarity classifiers rely on a predictive feature set. (Semi-)Manually built polarity lexicons are o...

The need for discovering knowledge from XML documents according to both structure and content features has become challenging, due to the increase in application contexts for which handling both structure and content information in XML data is essential. So, the challenge is to find an hierarchical structure which ensure a combination of data levels and their representative structures. In this ...