Modeling of the Magnetization and Magnetocaloric Effect in Ni2MnGa Heusler Alloy with the Effective Field Theory

Journal of Low Temperature Physics - This study modeled and investigated the magnetocaloric effect in Ni2MnGa Heusler alloy characterized by its magnetic entropy change (ΔSm) and its...     

K4,4,p的点可区别的IE-全染色(p≥1008)

该文利用色集事先分配法、构造染色法、反证法探讨了完全三部图K_4,4,p (p≥1008)的点可区别IE-全染色问题，确定了K_4,4,p (p≥1008)的点可区别IE-全染色数。     

Electrochemical mass transfer between an impinging jet and a rotating disk in a confined system

This paper presents the mass transfer results from an impinging liquid jet to a rotating disk. The mass transfer coefficients were measured using the electrochemical limiting diffusion current technique (ELDCT). Rotational Reynolds number (Re_r) in the range of 3.4 × 10⁴–1.2 × 10⁵, jet Reynolds number (Re_j) 1.7 × 10⁴–5.3 × 10⁴ and non-dimensional jet-to-disk spacing (H/d) 2–8 were taken into consideration as parameters. It was found that the jet impingement resulted in a substantial enhancement in the mass transfer compared to the case of the rotating disk without jet.     

A survey of the training of computer users in Swedish companies

This study concerns how user training on newly introduced computer application programs is carried out. Questionnaire data from the computer managers of 265 Swedish companies were analysed. The results show that formal training, i.e., teacher-directed group instruction, and self-studies using instruction manuals represented nearly two-thirds of all reported training forms. For the most recently introduced program, classes (group instruction) with simultaneous computer exercises was the form of formal training that was nearly always used. When formal training was given it was compulsory in over half of the cases. However, substitutes for users attending a training course were only provided by the company in very few of these cases. The implications of these findings for effective user training are discussed.     

Apparatus for steady-state kinetic measurements of the catalytic reduction of nitric oxide by ammonia on iron oxide

The reduction of nitric oxide with ammonia on an unsupported iron oxide catalyst has been studied in a continuous-flow recycle reactor using simulated flue gas. The responses of the employed reactor system to step and pulse inputs of tracer indicate that the system could be regarded as a continuous stirred tank reactor (CSTR). Preliminary tests were carried out to determine the effect of temperature and particle size on the measured reaction rates. Additional experiments were performed in order to study the influence of oxygen and water concentration on these rates. A gas chromatographic system has been developed to analyze the gas components NO, N₂O, NO₂, NH₃, H₂O, O₂, CO₂ and N₂. In addition, the concentrations of NO and NO₂ were measured with a nondisperse infrared (NDUV/NDIR) analyzer.     

Locational analysis for regionalization of Turkish Red Crescent blood services

After a series of earthquakes in 1999, Turkish Red Crescent (TRC) has engaged in a restructuring for all of its activities, including the blood services. Our study on the blood management system had been started as part of this initiative to restructure the blood services and improve both their effectiveness and efficiency. In the current system of TRC, not much consideration has been given to how the locational decisions affect the performance of blood centers, stations and mobile units. In recent years, however, there has been much discussion regarding the regionalization of the blood management system in Turkey. In this study, we develop several mathematical models to solve the location–allocation decision problems in regionalization of blood services. We report our computational results, obtained by using real data, for TRC blood services.     

Prediction of software vulnerability based deep symbiotic genetic algorithms: Phenotyping of dominant-features

The detection of software vulnerabilities is considered a vital problem in the software security area for a long time. Nowadays, it is challenging to manage software security due to its increased complexity and diversity. So, vulnerability detection applications play a significant part in software development and maintenance. The ability of the forecasting techniques in vulnerability detection is still weak. Thus, one of the efficient defining features methods that have been used to determine the software vulnerabilities is the metaheuristic optimization methods. This paper proposes a novel software vulnerability prediction model based on using a deep learning method and SYMbiotic Genetic algorithm. We are first to apply Diploid Genetic algorithms with deep learning networks on software vulnerability prediction to the best of our knowledge. In this proposed method, a deep SYMbiotic-based genetic algorithm model (DNN-SYMbiotic GAs) is used by learning the phenotyping of dominant-features for software vulnerability prediction problems. The proposed method aimed at increasing the detection abilities of vulnerability patterns with vulnerable components in the software. Comprehensive experiments are conducted on several benchmark datasets; these datasets are taken from Drupal, Moodle, and PHPMyAdmin projects. The obtained results revealed that the proposed method (DNN-SYMbiotic GAs) enhanced vulnerability prediction, which reflects improving software quality prediction.

     

Modal logic as metalogic

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.