Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.
Different particulate solids such as glass powder, various types of activated carbon and bentonite suspended in Thiobacillus ferrooxidans cultures produce very different effects on the oxidizing activity of the microorganism. The atmospheric oxygen uptake by Thiobacillus ferrooxidans in Warburg respirometer flasks containing 9K medium with ferrous sulfate as energy source and suspended bentonite is 2.8 times that in the absence of solids. The dissolution rate of pure pyrite in 250 cm3 shake flasks containing 9K medium and bentonite is considerably enhanced over that where the only solid phase is pyrite. Conversely, the oxidizing ability of the microorganism seems to be inhibited by all the activated carbons tested. The effect of ground glass seems to be related to its particle size distribution. Implications for the bioleaching of sulfide ores and coal pyrite are discussed in the light of current knowledge on the adsorption of Thiobacillus ferrooxidans cells on solid surfaces. 相似文献
In the area of membrane computing, time-freeness has been defined as the ability for a timed membrane system to produce always
the same result, independently of the execution times associated to the rules. In this paper, we use a similar idea in the
framework of spiking neural P systems, a model inspired by the structure and the functioning of neural cells. In particular,
we introduce stochastic spiking neural P systems where the time of firing for an enabled spiking rule is probabilistically
chosen and we investigate when, and how, these probabilities can influence the ability of the systems to simulate, in a reliable
way, universal machines, such as register machines. 相似文献
The present study is focused on the analysis of non-premixed combustion in high-velocity (supersonic) flows. The computations make use of a large eddy simulation (LES) model, which has been recently introduced to address combustion in high Reynolds number turbulent flows featuring moderate Damköhler values. We expect that the corresponding closure is able to account for the specificities encountered in high Mach number turbulent reactive flows featuring chemical reaction time scales with the same order of magnitude as flow time scales. The model takes finite-rate chemistry and micro-mixing effects into account within the framework of the partially stirred reactor (PaSR) concept, it is hereafter denoted by U-PaSR (unsteady partially stirred reactor). (i) In a first step of the present investigation, the capabilities of the U-PaSR closure hence proposed are evaluated through a detailed comparison performed between numerical results and the data obtained from an experimental study devoted to non-premixed combustion in supersonic co-flowing jets of hydrogen and vitiated air. The simulated test case corresponds to a well-documented experimental database that includes Raman scattering and laser-induced pre-dissociative fluorescence measurements. The comparisons performed between computational results and experimental data establish that the physical processes are well-described by the performed simulation. (ii) In a second step of this study, the flame structure and associated stabilization zone are analysed in the light of numerical simulation results. The post-processing to the computational results indeed confirms the importance of self-ignition processes, as well as the relevance of diagnostic tools recently introduced by Boivin et al. [1,2]. Considering the stabilization zone, it also emphasizes the essential importance of the pressure dynamics associated with the discharge of compressible coflowing jets into the atmosphere – an importance that was not so clearly evidenced from previous numerical simulations conducted on the same experimental benchmark. 相似文献
Résumé: Le présent article illustre les difficultés qui peuvent surgir lorsque la distinction entre les notions mathématiques et leurs modèles issus du monde physique n'est pas bien comprise. Les exemples fournis touchent divers ordres d'enseignement, notamment celui de la formation des enseignantes et des enseignants pour le primaire. 相似文献
Crack nucleation mechanism of hydrogen assisted cracking at notched cracks in aqueous solutions is investigated, using the compact type specimens with various notch radius in low-tempered 4340 steel. A detached crack initiates at some distance ahead of the notch root. The crack nucleation at the notched root is determined by the electrical potential method. When the crack initiates, the voltage difference starts to increase. The crack nucleation site is examined by SEM. The time for crack nucleation increases with the notch root radius, ρ, and decreases with the apparent stress intensity factor Kρ. A linear relationship between the crack nucleation time, tn, and the parameter is seen in semi-log diagram, where is almost equal to the yield shear strength.In order to explain these experimental results, a new model of micromechanics is proposed on the basis of stress induced diffusion of hydrogen in the high stress region ahead of the notch root. This model suggests that the detached crack initiates at the elasto-plastic boundary where the hydrogen concentration is from 2 to 5 times higher than that of the notch root surface. The theory agrees with experiments with respect to vs tn and tn vs ρ.The empirical equation holds under constant tn, Kρ = Ko(ρ/ρeff)m where K0 is the stress intensity factor with ρ ≈ 0 under the present environment, ρeff is the effective notch radius and m is constant. The value of m is 0.25 for the crack nucleation time (tn)th corresponding to the threshold stress intensity factor (Kρ)th, 0.5 for tn < (tn)th and 0 for ρ ≦ ρeff. The above equation agrees with the theoretical equation proposed by Tanaka and Mura for any tn and ρeff. 相似文献
The effect of preloading on crack nucleation time was examined with compact tension specimens having various notch radius in 0.1N-H2SO4 aqueous solution for 200°C tempered AISI 4340 steel. Crack nucleation time tn increases by preloading for a given apparent stress intensity factor Kp2. The curve K?2 vs. tn deviates upward from the curve for the non preloading case. A linear relationship between the crack nucleation time and parameter is seen in semi-log diagram, where is taken as the value at tn=α due to preloading. The apparent threshold stress intensity factor increases with K?2 which is the apparent stress intensity factor of preloading. A detached crack is nucleated at some distance from the notch root and extends in a form of circle. This distance increases with increasing K?2. The effect of load reduction during crack growth was examined. When the K-value was reduced from K1 to K2, an incubation time was observed before the crack started growing under the K2-value. The incubation time tm tends to increase with increasing ΔK = K1-K2. The threshold stress intensity factor was also found to increase for high load reduction.In order to explain these experimental results, a new dislocation model is proposed on the basis of stress induced diffusion of hydrogen in high stress region ahead of the notch root or a crack. This model suggests that the change in the crack nucleation time and the increase of the incubation time due to preloading or load reduction are caused by reducing the hydrostatic pressure and by spreading the hydrogen saturated region which requires more time for the hydrogen accumulation due to preloading or load reduction. The theory predicts the experimentally observed relations between and tn and between log tin and ΔK. 相似文献
Three cases will point out as entire lots of unreliable microelectronic devices may reach the final user, without any warning. The conclusion is a warning against the many risks introduced for more and more small and medium end users of microelectronic devices by the lack of reliability culture. 相似文献
Short-term accelerated life test activity on high brightness light emitting diodes is reported. Two families of 1-W light-emitting diodes (LEDs) from different manufacturers were submitted to distinct stress conditions: high temperature storage without bias and high dc current test. During aging, degradation mechanisms like light output decay and electrical property worsening were detected. In particular, the degradation in light efficiency induced by thermal storage was found to follow an exponential law, and the activation energy of the process was extrapolated. Aged devices exhibited a modification of the package epoxy color from white to brown. The instability of the package contributes to the overall degradation in terms of optical and spectral properties. In addition, an increase in thermal resistance was detected on one family of LEDs. This increase induces higher junction temperature levels during operative conditions. In order to correlate the degradation mechanisms and kinetics found during thermal stress, a high dc current stress was performed. Results from this comparative analysis showed similar behavior, implying that the degradation process of dc current aged devices is thermal activated due to high temperatures reached by the junction during stress. Finally, the different effects of the stress on two families of LEDs were taken into account in order to identify the impact of aging on device structure. 相似文献
The General Packet Radio Service (GPRS) extends the Global System Mobile Communication (GSM) by introducing a packet-switched transmission service. This paper analyzes the GPRS behavior under critical conditions. In particular, we focus on outages, which significantly impact the GPRS dependability. In fact, during outage periods, the cumulative number of users trying to access the service grows proportionally over time. When the system resumes its operations, the overload caused by accumulated users determines a higher probability of collisions on resources assignment and, therefore, a degradation of the overall QoS. This paper adopts a stochastic activity network modeling approach for evaluating the dependability of a GPRS network under outage conditions. The major contribution of this study lies in the novel perspective the dependability study is framed in. Starting from a quite classical availability analysis, the network dependability figures are incorporated into a very detailed service model that is used to analyze the overload effect GPRS has to face after outages, gaining deep insights on its impact on user's perceived QoS. The result of this modeling is an enhanced availability analysis, which takes into account not only the bare estimation of unavailability periods, but also the important congestion phenomenon following outages that contribute to service degradation for a certain period of time after operations resume. 相似文献