Abstraction and approximation in fuzzy temporal logics and models

Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems are specified during model checking process, yet a few numbers of fuzzy temporal logics along with capable corresponding models are developed and used in system design phase, moreover in case of having a suitable model, it suffers from the lack of a capable model checking approach. Having to deal with uncertainty in model checking paradigm, this paper introduces a fuzzy Kripke model (FzKripke) and then provides a verification approach using a novel logic called Fuzzy Computation Tree Logic* (FzCTL*). Not only state space explosion is handled using well-known concepts like abstraction and bisimulation, but an approximation method is also devised as a novel technique to deal with this problem. Fuzzy program graph, a generalization of program graph and FzKripke, is also introduced in this paper in consideration of higher level abstraction in model construction. Eventually modeling, and verification of a multi-valued flip-flop is studied in order to demonstrate capabilities of the proposed models.     

Porosity prediction from seismic inversion of a similarity attribute based on a pseudo-forward equation (PFE): a case study from the North Sea Basin, Netherlands

The objective of this work is to implement a pseudo-forward equation which is called PFE to transform data (similarity attribute) to model parameters (porosity) in a gas reservoir in the F3 block of North Sea. This equation which is an experimental model has unknown constants in its structure; hence, a least square solution is applied to find the best constants. The results derived from solved equations show that the errors on measured data are mapped into the errors of estimated constants; hence, Tikhonov regularization is used to improve the estimated parameters. The results are compared with a conventional method such as cross plotting between acoustic impedance and porosity values to validate the PFE model. When the testing dataset in sand units was used, the correlation coefficient between two variables (actual and predicted values) was obtained as 0.720 and 0.476 for PFE model and cross-plotting analysis, respectively. Therefore, the testing dataset validates relatively well the PFE optimized by Tikhonov regularization in sand units of a gas reservoir. The obtained results indicate that PFE could provide initial information about sandstone reservoirs. It could estimate reservoir porosity distribution approximately and it highlights bright spots and fault structures such as gas chimneys and salt edges.     

Cube-octameric silsesquioxane (POSS)-capped magnetic iron oxide nanoparticles for the efficient removal of methylene blue

Octavinyl polyhedral oligomeric silsesquioxane (POSS) was polymerized on the surface of Fe3O4 nanoparticles (NPs) and then the NPs were functionalized with carboxylic acid groups using thiol-ene click reactions with thioglycolic acid.The as-prepared Fe3O4@POSS-COOH magnetic hybrid NPs had mesoporous structures with an average particle diameter of 15 nm and a relatively high specific surface area of 447 m^2· g^-1.Experimental results showed that 4 mg of Fe3O4@POSS-COOH NPs efficiently adsorbed and removed methylene blue from water at 5 min.This is due to the presence of both carboxylic acid and pendant vinyl groups on the Fe3O4@POSS-COOH NPs.These NPs could be easily withdrawn from water within a few seconds under moderate magnetic field and showed high stability in acid and alkaline aqueous mediums.     

Ohmic‐assisted hydrodistillation of essential oils from Zataria multiflora Boiss (Shirazi thyme)

Ohmic‐assisted hydrodistillation (OAHD) is a combination of ohmic heating and distillation, and could be considered as a novel method for the extraction of essential oils. Major problems with traditional methods are long extraction time and lower purity of the extract. In this study, OAHD was applied as an economic and green technology for the extraction of essential oils from Zataria multiflora Boiss. (Shirazi thyme) aerial parts and the results were compared to those obtained from hydrodistillation (HD) as a conventional method. The results showed that OAHD method had the extraction time of 32.21 ± 2.59 min while this value was about 57.21 ± 2.33 min for hydrodistillation (HD). Scanning electron micrographs of thyme leaves showed a sudden eruption of essential oil glands and their surrounding area for OAHD samples. GC–MS analysis indicated that both methods of OAHD and HD can extract the same compounds.     

Influence of drying and extraction methods on yield and chemical composition of the essential oil of Satureja hortensis

The aerial parts of Satureja hortensis, cultivated in Iran (Research Station of Alborz, Karaj), were collected at the full-flowering stage and dried by three different drying methods (sun-drying, shade-drying and oven-drying at 45 °C). The essential oils of every treatment were obtained by hydro-distillation of the aerial parts. In addition, the essential oil of shade-dried sample was obtained by two other distillation methods (water- and steam-distillation and direct steam-distillation). The oils were analyzed by capillary GC and GC–MS. Statistical analysis showed no significant difference between oil yield (w/w) of the oven-dried sample (1.06%) compared to shade-dried (0.94%) and sun-dried (0.87%). The oil content of the shade-dried sample, obtained by hydro-distillation, was higher (0.94%) than that of the steam-distilled (0.27%). Twenty-three components were identified in the oil of S. hortensis in the different drying methods, including carvacrol (46.0–48.1%) and γ-terpinene (37.7–39.4%) as main components. Seventeen compounds were characterized in the oils of different distillation methods, including carvacrol (12.3–46%) and γ-terpinene (37.7–70.4%). Although the drying methods had no significant effect on oil composition of S. hortensis, the distillation changed the percentage of main components sharply (significant at 1%). The steam-distillation method produced the lowest amount of carvacrol and highest amount of γ-terpinene. The results showed that extraction by hydro-distillation gave the best results for S. hortensis, based on oil yield and carvacrol percentage.     

A Novel 2.5–3.1 GHz Wide-Band Low-Noise Amplifier in 0.18 \upmu \hbox {m} CMOS

Aiming for the simultaneous realization of constant gain, accurate input and output impedance matching and minimum noise figure (NF) over a wide frequency range, the circuit topology and detailed design of wide broadband low noise amplifier (LNA) are presented in this paper. A novel 2.5–3.1 GHz wide-band LNA with unique characteristics has been presented. Its design and layout are done by TSMC 0.18  \(\upmu \hbox {m}\) technology. Common gate stage has been used to improve input matching. In order to enhance output matching and reduce the noise as well, a buffer stage is utilized. Mid-stages which tend to improve the gain and reverse isolation are exploited. The proposed LNA achieves a power gain of 15.9 dB, a NF of 3.5 dB with an input return loss less than \(-\) 11.6, output return loss of \(-\) 19.2 to \(-\) 19 and reverse isolation of \(-\) 38 dB. The LNA consumes 54.6 mW under a supply voltage of 2 V while having some acceptable characteristics.     

Production and functional properties of beef lung protein concentrates

This work investigated the production and the properties of meat protein concentrates from beef lungs (BLPC) at pilot scale. Protein recovery and functional properties were compared to those of BLPC obtained using membrane technology in a previous work (Selmane, D., Vial, C., & Djelveh, G. (2008). Extraction of proteins from slaughterhouse by-products: Influence of operating conditions on functional properties. Meat Science, 79, 640–647). An alkaline solubilisation method was applied for protein extraction, followed by pI precipitation for concentration. The physicochemical properties of BLPC such as molecular mass, solubility, surface hydrophobicity, surface tension and interfacial tension, as well as technofunctional emulsifying and foaming properties were determined. These were compared to those of commercial protein ingredients, such as sodium caseinates, whey protein isolates, egg white proteins and soy protein isolates. Results showed that proteins from BLPC included a low-molecular-weight fraction and exhibited good solubility and high hydrophobicity with small surface and interfacial tensions. This explained their excellent emulsifying activity, better than sodium caseinates, and their good foaming properties.     

Intrinsic reaction rate and the effects of operating conditions in dimethyl ether synthesis from methanol dehydration

The kinetic behavior of a commercial γ-Al₂O₃ catalyst for the methanol to dimethyl ether (DME) dehydration reaction has been investigated using a differential fixed bed reactor at the pressure range 1–16 barg within a temperature range of 260–380 °C. The experimental runs were performed in a wide range of feed to water ratios. The experiments were designed by general full factorial design (GEFD) and a novel rate equation has been developed which exhibited the best fitting with our experimental data. Based on the analysis of variance (ANOVA), the following order of importance for operating conditions was obtained when the objective function is the yield of DME: Temperature >Water % in feed >Pressure. In addition, the optimum operating conditions for the maximum yield of DME, were found at T= 380°C, P=16 barg and zero wt% of water in the feed.     

Computer user training and attitudes: a study of business undergraduates

For many users, the first real encounter with a computer occurs when taking an introductory course to computers at a college. To the extent that these training courses impact user understanding and motivation, they are important determinants of the user attitudes towards computers and merit serious assessment. Using 327 business undergraduates at two universities in the US, this paper reports on the reactions of students to computers and computer-related tasks before and after an introductory course to computers. Responses to a 20-item scale were analysed to examine the pattern of attitude change experienced by students in their training course. Factor analysis revealed five constructs for describing patterns of computer user attitude: negative reaction to computers; positive reaction to computers; reaction to computers for children education; reaction to computer-mediated services; and reaction to computer games. Four factors show significant change in mean scores after the training courses. The attitudes changed for males more than females, indicating improvement in attitudes. The respondents' attitude to computer-mediated services remained unchanged. While the directions of changes indicate an overall improvement in respondents' reactions, many attitudes did not change significantly after having taken the training courses. This may be due to the content or the format of these courses.