Petri nets have been recognised as a high level formal and graphical specification language for modelling, analysis, and control of concurrent asynchronous distributed systems. This paper presents a PN model, synthesised by an extended version of the knitting synthesis technique. This method, as an incremental design approach, establishes the conditions under which the fundamental behavioural properties of the synthesised systems are fulfilled and preserved. That is, the synthesised models are live, bounded, and reversible (cyclic). A Petri net with the aforementioned properties is called a well-behaved Petri net system which is guaranteed to operate in a deadlock-free, stable, and cyclic fashion. Well-behaved Petri net models, synthesised using the proposed method can be compiled into control codes and implemented as real-time controllers for flexible manufacturing systems. The significance of this paper is due to the application of an extended version of knitting synthesis technique to a real life example of a flexible manufacturing system. 相似文献
This study was undertaken to investigate the effects of elevating legrest on posture and pressure distribution in a group of ten able-bodied subjects sitting in a manual wheelchair. Two types of legrest were tested: a conventional elevating legrest with a fixed axis of rotation, and a compensatory elevating legrest with a moving axis of rotation. A three-dimensional (3-D) kinematics analysis was carried out to assess body posture simultaneously with pressure measurement data collected at the back, seat, calf and foot supports. The compensatory legrest enables to lengthen foot support as the legrest proclines. This compensation at the knee joint level has a beneficial effect in minimizing pelvic and thigh motion as well as in reducing pressure distribution under seat and foot supports. In contrast, the use of a conventional legrest modifies significantly the subject's posture and induces a substantial increase of 40% on pressure data under ischial tuberosities in procline position. These findings are important for disabled and elderly people who need to elevate their lower leg frequently. 相似文献
Multiwalled carbon nanotubes were homogenously dispersed into a magnesium alloy (AZ31) using friction stir processing. The microstructural features, mechanical behaviors including microhardness, and wear properties were investigated. The results showed a significant improvement in wear resistance in the friction stir-processed AZ31 alloy containing multiwalled carbon nanotubes compared to that of the as-received alloy. This was attributed to its higher microhardness and lower coefficient of friction due to the presence of finer matrix grains and uniform dispersion of multiwalled carbon nanotubes. 相似文献
The performance of two tetrafluoroborate-based ionic liquids (ILs) as entrainers in the dehydration of water/ethanol azeotropic mixtures was evaluated. Isobaric vapor-liquid equilibrium (VLE) data were measured for the systems ethanol/water/1-butyl-3-methyl imidazolium tetrafluoroborate and ethanol/water /n-butylpyridinium tetrafluoroborate including the azeotropic region. VLE data for the ethanol/water, ethanol/IL, and water/IL binary mixtures were obtained at 100 kPa. The hydrolysis of the tetrafluoroborate anion was studied for both types of ILs by 19F NMR analysis. The hydrolysis of the tetrafluoroborate anion does not have much effect on the ethanol/water VLE. The 19F NMR analysis indicated that hydrolysis occurred at high mole fractions of water. 相似文献
Rock mass classification has played a crucial role in underground construction and mining projects in the past fifty years, especially the Rock Mass Rating (RMR) and Rock Tunneling Quality Index (Q) systems, which have been applied in many cases. The parameters of discontinuity conditions in the RMR system, along with the related ratings, were used to develop a new equation in order to introduce an intrinsic quality of a given rock mass, namely, rock bolt supporting factor (RSF). The RSF was used to develop a mathematical theory of the rock bolt supporting mechanism as a new principle in explaining rock bolting effects. Finally, using the parameters of the discontinuities in the Q-system, the QRSF is defined to present the capability of a given rock mass to be reinforced by rock bolting. The RSF leads to more reliable judgment of rock bolting capability of a given rock mass than the QRSF since it uses five parameters of discontinuity conditions while the QRSF uses only two parameters.
A new lead(II) coordination polymer, [PbBr2(C9H15N5O)]n (1), where C9H15N5O is (2,4-diamino-6-piperidine-1-yl) pyrimidine N-oxide (minoxidil) is synthesized and characterized. Polymer 1 is synthesized in methanol by sonochemical and hydrothermal methods from lead(II) acetate, KBr and the minoxidil ligand. The crystal structure of [PbBr2(C9H15N5O)]n indicates a syndiotactic coordination polymer. The Pb(II) atom lies on a mirror plane; the mirror plane is perpendicular to the pyrimidine ring bisecting the piperidine ring. N–H···O intramolecular and C–H···Br, N–H···N strong intermolecular interactions were observed. Micro-rods of PbO and nano-plates of PbOHBr were prepared by thermal decomposition of the nano-structured [PbBr2(C9H15N5O)]n as a precursor. Characterization of the products was carried out using X-ray crystallography, elemental analysis, FTIR spectroscopy, scanning electron microscopy, energy dispersive X-ray analysis and thermal analysis. The sonochemical method resulted in a significant reduction of reaction time, reaction temperature and particle sizes of the products. 相似文献