945 resultados para coloured petri nets
Resumo:
A solvothermal reaction of Al2O3, H3BO3, pyridine, and H2O at 180 degrees C/7 days in the presence of organic amine molecules gave rise to four new aluminoborates, [(C6H18N2)(AlB6O13H3)], I; [(C5H16N2) (AlB5O10)]center dot 2H(2)O, II; [(C5H16N2)-(AlB5O10)], III; and [(C5H17N3)(AlB5O10)] center dot H2O, IV, with two- and three-dimensional structures. All the structures have been formed by the connectivity involving Al3+ ions and [B5O10] cyclic pentaborate units. In 1, the 3-connected trigonal nodes form a layer that resembles a graphite structure has been observed. The compounds II, III, and IV, have 4-connected nodes that forms a diamond related three-dimensional structure. The formation of solvatomorphs in II and III is noteworthy and has been observed first time in a family of amine template aluminoborates. A comparison of the various aluminoborate structures reveals subtle relationships between the organic amines (length of the amines) and the final framework structures. The compounds have been characterized using a variety of techniques including IR, second-order optical behavior, and MAS NMR studies.
Resumo:
1.2,3-Trihydroxybenzene (THB) reacts with 8-hydroxyquinoline (8HQ) in the solid state forming an orange-coloured charge transfer complex THB* (8HQ)(2). When the reaction was carried out in a petri dish, or when the vapours of 8HQ were allowed to react with solid THB (gravimetric study), the reaction product separated out as good quality, shiny single crystals. X-Ray diffraction studies on single crystals showed that they belong to the orthorhombic system with a = 15.408(1), b = 16.276(1), c = 7.825(1) Angstrom, Z = 4, D-x = 1.413 g cm(-3) and space group Pnaa. From the crystallographic evidence it has been found that the proton of the middle OH group of THB is transferred to the N atom of 8HQ. This accounts for the observed colour change. Kinetic studies on the solid state reaction showed that the 8HQ molecules diffuse towards THB, and the lateral diffusion occurs through surface migration, grain boundary diffusion and vapour phase diffusion. Gravimetric studies of the reaction between solid THB and 8HQ vapour showed that the diffusion of 8HQ molecules into the crystal lattice of THB has a higher energy of activation than that observed when the reactants are in contact. The nature of the crystal packing in the reaction product indicates diffusion of 8HQ molecules into the crystal lattice of THB along the c-axis, to occupy the cavities present between the THB molecules in the unit cell.
Resumo:
Dynamic Voltage and Frequency Scaling (DVFS) is a very effective tool for designing trade-offs between energy and performance. In this paper, we use a formal Petri net based program performance model that directly captures both the application and system properties, to find energy efficient DVFS settings for CMP systems, that satisfy a given performance constraint, for SPMD multithreaded programs. Experimental evaluation shows that we achieve significant energy savings, while meeting the performance constraints.
Resumo:
Let P be a set of n points in R-d. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than dn/d+1 points of P. We call a point x a strong centerpoint for a family of objects C if x is an element of P is contained in every object C is an element of C that contains more than a constant fraction of points of P. A strong centerpoint does not exist even for halfspaces in R-2. We prove that a strong centerpoint exists for axis-parallel boxes in Rd and give exact bounds. We then extend this to small strong epsilon-nets in the plane. Let epsilon(S)(i) represent the smallest real number in 0, 1] such that there exists an epsilon(S)(i)-net of size i with respect to S. We prove upper and lower bounds for epsilon(S)(i) where S is the family of axis-parallel rectangles, halfspaces and disks. (C) 2014 Elsevier B.V. All rights reserved.
Resumo:
An experimental assessment of Li2MnO3 has been conducted, in conjunction with related Mn(IV) oxides, to investigate its red colour and photoluminescence. Optical absorption spectra revealed strong band gap absorption, with a sharp edge at similar to 610 nm and a transparent region between similar to 610 and similar to 650 nm, giving rise to the red colour of this compound. Octahedral Mn(IV) ligand field transitions have been observed in the excitation spectra of Li2MnO3, corresponding both to Mn(IV) at ideal sites and displaced in Li sites in the rock salt-based layered structure of Li2MnO3. Optical excitation at ligand field transition energies produces tunable emission in the red-yellow-green region, rendering Li2MnO3 a unique Mn(IV) oxide. The honeycomb-ordered LiMn6] units in its structure are probably the origin of both the absorption and the photoluminescent properties of Li2MnO3.
Resumo:
Reactions between Zn(NO3)(2)center dot 6H(2)O, Na2S2O3, 4,4'-bipyridine (bpy), 1,2-bis(4-pyridyl)ethene (bpe), 1,2-bis (4-pyridyl) ethane (bpa), and 1,3-bis(4-pyridyl)propane (bpp) under solvothermal conditions resulted in four new zinc thiosulfate hybrid compounds. Compound I has four-membered zinc thiosulfate rings connected by the ligand, 1,3-bis(4-pyridyl)propane (bpp) forming a two-dimensional structure. Compounds II-IV have one-dimensional zinc thiosulfate chains connected by the ligands, bpy (II), bpe (III), and bpa (IV) giving rise to three-dimensional structures. All the four-structures exhibit 3-fold interpenetration. Proton conductivity studies indicate reasonable proton mobility at 34 degrees C and at 98% relative humidity. The compounds also exhibit Lewis acid character and good photocatalytic activity for the decomposition of cationic dyes.
Resumo:
As Bucólicas são constituídas de dez éclogas, consideradas como traduzidas ou imitadas de Teócrito. As Geórgias são um poema didático no qual se acentua a predileção de Virgílio pela vida campestre. A Eneida é uma utopia política que o poeta não conseguiu acabar e foi publicada contra a sua vontade expressa.
Resumo:
在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能.控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程.为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误.
Resumo:
The relative catch performance and selectively of gillnets and trammel nets were investigated in 12 sampling stations in Lake Kainji, Nigeria. 3 types of nets with dimensions 50mx3m were constructed using 76mm and 178mm meshsizes for two gillnets, 76mm and 178mm meshsizes for the lint and ar mour nets of the trammelnets respectively. All the nets were randomly ganged together to form a fleet of nine nets each, and were set twice in each of the 12 stations which gave a total of 24 fishing operations. A total of 365 fish weighing 88.9kg and belonging to 16 different species were caught in all the nets. The trammelnet had the highest catch by number and weight constituting 60% and 69.22% of the total catch and weight respectively with a relative species Diversity Index of 0.82. This was followed by 76mm gillnet which constituted 38.63% by number, 28.09% by weight, 0.69 relative Species Diversity Index. The 178mm gillnet had the least catch of 1.37% and 2.9% by number and weight respectively with 0.25 relative Species Diversity Index. There was significant difference (P<0.05) in the number and weight of fish caught in the different nets. The minimum selection length for these species caught were the same for each net. The trammel net had a wider selection range that skewed to the right, a higher modal and median length indicating larger individual species being entangled in the net