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.     

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.     

Corrosion inhibition of stainless steel by polyaniline,poly(2-chloroaniline), and poly(aniline-co-2-chloroaniline) in HCl

Polyaniline (PANi), poly(2-chloroaniline) (PClANi), and poly(aniline-co-2-chloroaniline) (co-PClANi) films were synthesized by electrochemical deposition on 304-stainless steel (SS) from an acetonitrile solution. The structural properties of these polymer films were characterized by spectroscopic (FTIR and UV–vis) and electrochemical (cyclic voltammetry) methods. Open circuit potential–time (E_ocp–time) curves, potentiodynamic polarization, and electrochemical impedance (EIS) measurements showed that these films have significant protective performance against corrosion of SS in 0.5 M HCl solution. It was found that co-PClANi film has acted as a passivator as well as barrier for cathodic reduction reaction in a similar manner as PANi film. However, PClANi film has behaved only as barrier for corrosion protection of SS in 0.5 M HCl.     

Modeling and solving mixed-model assembly line balancing problem with setups. Part I: A mixed integer linear programming model

This paper is the first one of the two papers entitled “modeling and solving mixed-model assembly line balancing problem with setups”, which has the aim of developing the mathematical programming formulation of the problem and solving it with a hybrid meta-heuristic approach. In this current part, a mixed-integer linear mathematical programming (MILP) model for mixed-model assembly line balancing problem with setups is developed. The proposed MILP model considers some particular features of the real world problems such as parallel workstations, zoning constraints, and sequence dependent setup times between tasks, which is an actual framework in assembly line balancing problems. The main endeavor of Part-I is to formulate the sequence dependent setup times between tasks in type-I mixed-model assembly line balancing problem. The proposed model considers the setups between the tasks of the same model and the setups because of the model switches in any workstation. The capability of our MILP is tested through a set of computational experiments. Part-II tackles the problem with a multiple colony hybrid bees algorithm. A set of computational experiments is also carried out for the proposed approach in Part-II.     

AHP and multichoice goal programming integration for course planning

Course planning is one of the important problems in the education systems of universities. The processes cannot continue efficiently without planning, and various interruptions can appear in the system. This way decisions concerning which courses, when, how, and for what purposes should be answered by considering the available resources and stakeholders’ preferences. Besides, universities aiming to be in the European Higher Education Area (EHEA) have to adapt their systems to the Bologna process in order to create a lifelong student‐centered, learning‐oriented area based on quality assurance. In this study, an integrated approach based on the analytic hierarchy process (AHP) and multichoice goal programming (MCGP) model was proposed to construct an efficient course plan following the Bologna process. The proposed approach was applied in an industrial engineering department.