In this paper we introduce a modal theory which is sound and complete for arithmetical -interpretations in , in other words, we will show that is the -provability logic of . Moreover we will show that is decidable. As a by-product of these results, we show that has de Jongh property. 相似文献
Two-stage data envelopment analysis (TsDEA) models evaluate the performance of a set of production systems in which each system includes two operational stages. Taking into account the internal structures is commonly found in many situations such as seller-buyer supply chain, health care provision and environmental management. Contrary to conventional DEA models as a black-box structure, TsDEA provides further insight into sources of inefficiencies and a more informative basis for performance evaluation. In addition, ignoring the qualitative and imprecise data leads to distorted evaluations, both for the subunits and the system efficiency. We present the fuzzy input and output-oriented TsDEA models to calculate the global and pure technical efficiencies of a system and sub-processes when some data are fuzzy. To this end, we propose a possibilistic programming problem and then convert it into a deterministic interval programming problem using the α-level based method. The proposed method preserves the link between two stages in the sense that the total efficiency of the system is equal to the product of the efficiencies derived from two stages. In addition to the study of technical efficiency, this research includes two further contributions to the ancillary literature; firstly, we minutely discuss the efficiency decompositions to indicate the sources of inefficiency and secondly, we present a method for ranking the efficient units in a fuzzy environment. An empirical illustration is also utilised to show the applicability of the proposed technique. 相似文献
We have investigated the static (ω = 0) and frequency-dependent nonlinear optical (NLO) properties of the M@CN endohedrals (M = Li, Ca, Sc, N = 60 and 70) using the SSH (Su–Schrieffer–Heeger) approximation and sum-over-state (SOS) approach. Also, we study the effects of displacement and alkali, alkaline earth and lanthanide metal atoms and type of cage on the hyperpolarisabilities of the M@CN endohedrals. The hyperpolarisability magnitudes and spectra are in agreement with experiment and the work of others using the SSH approximation. Our results indicate that the cage-type effect on the NLO spectra of M@CN endohedrals is dramatic. Also, atom type has little effect on the highest peak value. These relationships between the atom and cage type and hyperpolarisability values may be beneficial to experimentalists when designing new NLO materials with large NLO responses. 相似文献
This article presents the static dipole polarizabilities of 4d transition-metal monohalides in the framework of density functional theory. The behavior of a large number of density functionals, including various types of the local spin density approximation (LSDA), the generalized gradient approximation (GGA), meta GGA (MGGA), hybrid GGA (HGGA), and hybrid meta GGA (HMGGA), has been assessed in polarizability calculations. The highly accurate CCSD(T) methodology is used to benchmark a variety of functionals. Our results indicate that there is a large variation in performance of the various functionals of each type in the calculation of the dipole polarizability. It turned out that, in the LSDA class, SVWN5 gives better results than SVWN3 for the reference values. Of the GGA methods, BP86 and BPW91 give the best results for our data set, followed by G96LYP. The TPSS functional is the best method of the MGGA class, followed by the VSXC and BB95 functionals. Moreover, the B98 and mPW1PW91 functionals are the best methods of the HGGA lineage, predicting the most accurate static dipole polarizabilities. Finally, TPSS1KCIS and PBE1KCIS are the best methods of the HMGGA functionals for that purpose. In general, it was found that the HGGA and HMGGA functionals provide the best performance. 相似文献
This paper addresses conditions under which all generators in the category of right S-acts (where S is a monoid) satisfy a flatness property. There are characterizations for monoids over which all generators satisfy a flatness property α where α can stand for freeness, projectivity, strong flatness, Condition (P), principal weak flatness and torsion freeness. To our knowledge, the problem has not been studied for other flatness properties such as weak flatness, Condition (E) and regularity. The present paper addresses this gap. 相似文献
Silica‐POCl2 was used as promoter for the three‐component reaction of ethyl 3‐phenyl glycidate, aniline derivatives, and dimethylformamide (DMF), which leads to the synthesis of ethyl 4‐phenyl‐3‐aryl‐2,3‐dihydrooxazole‐5‐carboxylate derivatives. The desired product was obtained in high yields. 相似文献
Journal of Thermal Analysis and Calorimetry - High thermal conductivity in phase change materials (PCM) is preferred in thermal energy storage (TES) systems. Carbon additives are considered as... 相似文献
In present study, a numerical model is employed to investigate the effects of different operating parameters and channel geometry on the performance of membrane humidifier. Simulations are performed by a commercial CFD code and based on user defined functions. Three-dimensional counter-flow humidifier model for a gas-to-gas case is considered. Results show that an increase in porosity or permeability leads to better humidification. Moreover, increase in inlet temperature of dry and wet channels as well as inlet mass flowrate of water vapor would enhance humidifying process. On the other hand, by reduction in inlet mass flowrate of gas channel and thickness of the porous medium in membrane, better humidifier performance would be achieved. To investigate the geometric parameters, three different channel types including stepped, sinusoidal and zigzag are considered. It is found that stepped geometry has the best performance in humidifying.
Journal of Thermal Analysis and Calorimetry - The present study reports numerical simulations of water-based Al2O3 nanofluid flowing in a 2D channel with a heated wall-mounted obstacle. The... 相似文献