Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

18 articles for “Solver”
Set a search alert
Research ArticleOpen accessEvery word in the titleVariable Selection with PageRank for SAT SolversTomohiro SonobeHow to choose decision variables often determines the performance of SAT solvers. In state-of-the-art SAT solvers, Variable State Independent Decaying Sum (VSIDS) has been used as a standard technique in the decision process. In this study, we analyze the VSIDS from the point of view of PageRank and propose a technique for improving the VSIDS. While the VSIDS focuses on … …Journal of Computer Science, Vol. 15, Issue 8 · 6 Aug 2019 · 7,371 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleAnalyzing Performance and Power of Multicore Architecture Using Multithreaded Iterative SolverIngyu LeeProblem statement: Scientific modeling and simulations have been popularly used with experiments and theoretical analysis in science and engineering communities. Approach: Consequently, computational demands are growing exponentially to afford large scale modeling and simulations. Results: As a result, multicore computing architectures had been proposed and several products are already available. However, we do not have a proper study on the … …Journal of Computer Science, Vol. 6, Issue 4 · 30 Apr 2010 · 7,212 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleSimple Improvement of Momentum Interpolation Equation for Navier-Stoke Equation Solver on Unstructured GridAdek TasriProblem statement: Pressure and velocity decoupling have been source of problem in solving Navier-Stokes and continuity equation particularly in complex collocated grid. The problem of pressure velocity decoupling is usually reduced by using momentum interpolation to calculate mass flux at face of control volume. Equation of momentum interpolation was derived by assumption that the face of cell is equidistant from … …Journal of Mathematics and Statistics, Vol. 6, Issue 3 · 30 Sep 2010 · 7,858 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleApplication of a New Network-enabled Solver for the Assignment Problem in Computer-aided EducationAndreou Dimitrios, Paparrizos Konstantinos, Samaras Nikolaos, Sifaleras AngeloThis study present a new learning tool developed for the visualization of an algorithm for the assignment problem. We show how the teaching of an algorithm can be greatly enhanced and the tutor's effort decreased with a visualization tool that provides an interactive and animated view of the subject being taught to the students. This tool makes use of the … …Journal of Computer Science, Vol. 1, Issue 1 · 31 Mar 2005 · 6,817 accessesView PDFCite
Research ArticleOpen accessIn the abstractCollision Avoidance Modelling in Airline Traffic Based on the Change of Airplane Movements and Dynamic CloudsYudhi Purwananto, Chastine Fatichah, Waskitho Wibisono et al.An Air Traffic Controller (ATC) system aims to manage airline traffic to prevent collision of the airplane, called the Collision Avoidance (CA). The study on CA, called Conflict Detection and Resolution (CDR), becomes more critical as the airline traffic has grown each year significantly. Previous studies used optimization algorithms for CDR and did not involve the presence of cumulonimbus clouds. … …Journal of Computer Science, Vol. 17, Issue 1 · 20 Jan 2021 · 7,237 accessesView PDFCite
Research ArticleOpen accessIn the abstractA NOVEL PRESSURIZED ZONAL MODEL USING THE MOMENTUM EQUATIONYao Yu, Ahmed Cherif MegriZonal models combine the simplicity of single and multi-zone models with the comprehensiveness of Computational Fluid Dynamics (CFD) models and thus become a better substitute to predict detailed thermal and airflow behaviors in building. Based on a geometric partitioning of a room into a number of subzones, these models give more accurate and detailed results than the single or multi-zone … …American Journal of Engineering and Applied Sciences, Vol. 7, Issue 1 · 25 Mar 2014 · 8,570 accessesView PDFCite
Research ArticleOpen accessIn the abstractValidation of MIKE 11 Model Simulated Data for Biochemical and Chemical Oxygen Demands TransportMahdieh Eisakhani, Md. Pauzi Abdullah, Othman Abd Karim, Amirhossein MalakahmadProblem statement: The aim of the study was to model the discharge, biochemical and chemical oxygen demands (BOD and COD) loads in each cross section of Bertam River in Cameron Highlands, Malaysia. Cameron Highlands form the headwater catchment for two major rivers of the lowlands; Pahang River and Perak River. On the other hand, Cameron Highlands is undergoing rapid development … …American Journal of Applied Sciences, Vol. 9, Issue 3 · 27 Jan 2012 · 7,686 accessesView PDFCite
Research ArticleOpen accessIn the abstractOptimization of the Geometrical Parameters of a Solar Bubble Pump for Absorption-Diffusion Cooling SystemsN. Dammak, B. Chaouachi, S. Gabsi, M. BourouisProblem statement: The objective of this study was to optimize the geometrical parameters of a bubble pump integrated in a solar flat plate collector. Approach: This solar bubble pump was part of an ammonia/water/helium (NH3/H2O/He) absorption-diffusion cooling system. Results: An empirical model was developed on the basis of momentum, mass, material equations and energy balances. The mathematical model was solved … …American Journal of Engineering and Applied Sciences, Vol. 3, Issue 4 · 5 Nov 2010 · 8,371 accessesView PDFCite
Research ArticleOpen accessIn the abstractNumerical Solution of Linear Integro-Differential EquationsHusein Jaradat, Omar Alsayyed, S. Al-SharaProblem Statement: Integro-differential equations find special applicability within scientific and mathematical disciplines. In this study, an analytical scheme for solving Integrodifferential equations was presented. Approach: We employed the Homotopy Analysis Method (HAM) to solve linear Fredholm integro-differential equations. Results: Error analysis and illustrative examples were included to demonstrate the validity and applicability of the technique. MATLAB 7 was used to … …Journal of Mathematics and Statistics, Vol. 4, Issue 4 · 31 Dec 2008 · 7,093 accessesView PDFCite
Research ArticleOpen accessIn the abstractSimulations of Two-dimensional High Speed Turbulent Compressible Flow in a Diffuser and a Nozzle Blade CascadeK. C. Ng, M. Z. Yusoff, T. F. YusafThis research describes the development of a new structured 2D CFD solver for compressible flow. The high-speed turbulent flow in a diffuser and a cascade of nozzle blade is predicted using standard k-ε turbulence model. The new finite volume CFD solver employs second-order accurate central differencing scheme for spatial discretization and multi-stage Runge-Kutta time integration to solve the set of … …American Journal of Applied Sciences, Vol. 2, Issue 9 · 30 Sep 2005 · 6,550 accessesView PDFCite