The - transformation of Si3N4 during liquid-phase sintering appears to be controlled by the growth of the -Si3N4 grains in the direction perpendicular to thec-axis in the case of MgO additive. The diffusion through the liquid is the rate-controlling step in the case of the Y4Al5O12 additive. The density of the sintered body at the solid skeleton stage was influenced by the change in the - transformation rate and/or by a change of the transformation mechanism. The indirect proportionality between the -phase content in the starting powder and the density at the solid skeleton stage was found. The microstructure of the sintered body is influenced by both the -phase content in the starting powder and the chemical composition of the additive. Fine, uniform microstructure with a high aspect ratio of -grains is obtained, when the -phase content in the starting powder is as small as possible and when the - transformation is controlled by grain growth. 相似文献
This paper proposes an improved version of a recently proposed modified simulated annealing algorithm (MSAA) named as an improved MSAA (I-MSAA) to tackle the size optimization of truss structures with frequency constraint. This kind of problem is problematic because its feasible region is non-convex while the boundaries are highly non-linear. The main motivation is to improve the exploitative behavior of MSAA, taking concept from water wave optimization metaheuristic (WWO). An interesting concept of WWO is its breaking operation. Thirty functions extracted from the CEC2014 test suite and four benchmark truss optimization problems with frequency constraints are explored for the validity of the proposed algorithm. Numerical results indicate that I-MSAA is more reliable, stable and efficient than those found by other existing metaheuristics in the literature.
Neural Computing and Applications - Colonoscopy is the “gold” standard for evaluating disease activity in ulcerative colitis (UC). An important area of research is finding a... 相似文献
The spectrum of a residuated lattice L is the set Spec(L) of all prime i-filters. It is well known that Spec(L) can be endowed with the spectral topology. The main scope of this paper is to introduce and study another topology on Spec(L),?the so called stable topology, which turns out to be coarser than the spectral one. With this and in view, we introduce the notions of pure i-filter for a residuated lattice and the notion of normal residuated lattice. So, we generalize to case of residuated lattice some results relative to MV-algebras (Belluce and Sessa in Quaest Math 23:269–277, 2000; Cavaccini et?al. in Math Japonica 45(2):303–310, 1997) or BL-algebras (Eslami and Haghani in Kybernetika 45:491–506, 2009; Leustean in Central Eur J Math 1(3): 382–397, 2003; Turunen and Sessa in Mult-Valued Log 6(1–2):229–249, 2001). 相似文献
There is a large body of evidence indicating that activities associated with regrouping of bulls before slaughter, which leads to physical exhaustion mainly from mounting, are primary factors inducing dark-cutting (DFD) in beef. The aim of this study was to test several methods to control activity when regrouping cannot be avoided. Fifty bulls previously individually tied for at least 16 months were drafted into groups of five animals and released in a pen at the abattoir. After 18 to 22 h they were slaughtered. According to environmental conditions in the pen, the bulls were divided into four groups: Control group (n = 10, no experimentation); Electricity group (n = 10, an electric fence was constructed above the pen so that a mounting bull would receive an electric shock); Darkness group (n = 10, the whole stall was in darkness); and Combination group (n = 20, both treatments, of the electricity and darkness groups were applied). During the first hour of penning the behaviour of the bulls was videorecorded. After slaughter meat quality characteristics were measured. Dark-cutting was found in Control (70%), Electricity (30%) and Darkness (70%) groups, but not in the Combination group (0%). No treatment altered the repertoire of agonistic activity, but under the combined treatments the number of agonistic interactions was significantly lower than in any other group. 相似文献
The oxidative dimerisation of propene to 1,5-hexadiene has been investigated on Bi-Zn-O catalysts. The Bi48ZnO73 phase, observed in the catalysts calcined at 700 ° C is an active and selective catalyst for the formation of 1,5-hexadiene. The best catalytic performance (1,5-hexadiene selectivity 64%) has been obtained at 525 ° C, with a propene to oxygen ratio of 26, on a catalyst formed by Bi48ZnO73 with a small excess of ZnO. 相似文献
The formation of WNx/GaAs Schottky contacts using selective ion implantation of nitrogen into the sputtered tungsten film has been demonstrated. The contacts were characterized by Auger electron spectroscopy and current-voltage measurements. The composition of WNx films and the thermal stability of WNx/GaAs contacts were investigated. Good thermal stability of WNx/GaAs contacts compared with a W/GaAs contact was observed after capless rapid thermal annealing at 450, 800 and 950°C for 10 s. 相似文献
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory. 相似文献
Although there are many patients with brain tumors worldwide, there are numerous difficulties in overcoming brain tumors. Among brain tumors, glioblastoma, with a 5-year survival rate of 5.1%, is the most malignant. In addition to surgical operations, chemotherapy and radiotherapy are generally performed, but the patients have very limited options. Temozolomide is the most commonly prescribed drug for patients with glioblastoma. However, it is difficult to completely remove the tumor with this drug alone. Therefore, it is necessary to discuss the potential of anticancer drugs, other than temozolomide, against glioblastomas. Since the discovery of cisplatin, platinum-based drugs have become one of the leading chemotherapeutic drugs. Although many studies have reported the efficacy of platinum-based anticancer drugs against various carcinomas, studies on their effectiveness against brain tumors are insufficient. In this review, we elucidated the anticancer effects and advantages of platinum-based drugs used in brain tumors. In addition, the cases and limitations of the clinical application of platinum-based drugs are summarized. As a solution to overcome these obstacles, we emphasized the potential of a novel approach to increase the effectiveness of platinum-based drugs. 相似文献
Considering the high levels of materials used in the fields of electronics and energy storage systems, it is increasingly necessary to take into consideration environmental impact. Thus, it is important to develop devices based on environmentally friendlier materials and/or processes, such as additive manufacturing techniques. In this work, poly(vinylidene fluoride) (PVDF) and poly(vinylidene fluoride-co-hexafluoropropylene) (PVDF-HFP) are prepared by direct-ink-writing (DIW) by varying solvent evaporation temperature and fill density percentage. Different morphologies for both polymers are obtained, including dense films and porous membranes, as well as different electroactive β-phase content, thermal and mechanical properties. The dielectric constant and piezoelectric d33 coefficient for dense films reaches up to 16 at 1 kHz and 4 pC N−1, respectively for PVDF-HFP with a fill density of 80 and a solvent evaporation temperature of 50 °C. Porous structures are developed for battery separator membranes in lithium-ion batteries, with a highest ionic conductivity value of 3.8 mS cm−1 for the PVDF-HFP sample prepared with a fill density of 100 and a solvent evaporation temperature of 25 °C, the sample showing an excellent cycling performance. It is demonstrated that electroactive films and membranes can be prepared by direct-ink writing suitable for sensors/actuators and energy storage systems. 相似文献