Log in

Relevant bibliographies by topics / CHC solver / Journal articles

To see the other types of publications on this topic, follow the link: CHC solver.

Journal articles on the topic 'CHC solver'

Author: Grafiati

Published: 6 September 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'CHC solver.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Zhu, He, Stephen Magill, and Suresh Jagannathan. "A data-driven CHC solver." ACM SIGPLAN Notices 53, no. 4 (2018): 707–21. http://dx.doi.org/10.1145/3296979.3192416.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction." Theory and Practice of Logic Programming 18, no. 3-4 (2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.

Full text

Abstract:

AbstractWe address the problem of verifying the satisfiability of Constrained Horn Clauses (CHCs) based on theories of inductively defined data structures, such as lists and trees. We propose a transformation technique whose objective is the removal of these data structures from CHCs, hence reducing their satisfiability to a satisfiability problem for CHCs on integers and booleans. We propose a transformation algorithm and identify a class of clauses where it always succeeds. We also consider an extension of that algorithm, which combines clause transformation with reasoning on integer constra

APA, Harvard, Vancouver, ISO, and other styles

3

Faella, Marco, and Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 5 (2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.

Full text

Abstract:

Solving reachability games is a fundamental problem for the analysis, verification, and synthesis of reactive systems. We consider logical reachability games modulo theories (in short, GMTs), i.e., infinite-state games whose rules are defined by logical formulas over a multi-sorted first-order theory. Our games have an asymmetric constraint: the safety player has at most k possible moves from each game configuration, whereas the reachability player has no such limitation. Even though determining the winner of such a GMT is undecidable, it can be reduced to the well-studied problem of checking

APA, Harvard, Vancouver, ISO, and other styles

4

Mordvinov, Dmitry A. "Property-Directed Inference of Relational Invariants." Modeling and Analysis of Information Systems 26, no. 4 (2019): 550–71. http://dx.doi.org/10.18255/1818-1015-2019-4-550-571.

Full text

Abstract:

Property Directed Reachability (PDR) is an efficient and scalable approach to solving systems of symbolic constraints also known as Constrained Horn Clauses (CHC). In the case of non-linear CHCs, which may arise, e.g., from relational verification tasks, PDR aims to infer an inductive invariant for each uninterpreted predicate. However, in many practical cases this reasoning is not successful, as invariants should be derived for groups of predicates instead of individual predicates. The article describes a novel algorithm that identifies these groups automatically and complements the existing

APA, Harvard, Vancouver, ISO, and other styles

5

Gheorghiu, Călin-Ioan. "Chebfun Solutions to a Class of 1D Singular and Nonlinear Boundary Value Problems." Computation 10, no. 7 (2022): 116. http://dx.doi.org/10.3390/computation10070116.

Full text

Abstract:

The Chebyshev collocation method implemented in Chebfun is used in order to solve a class of second order one-dimensional singular and genuinely nonlinear boundary value problems. Efforts to solve these problems with conventional ChC have generally failed, and the outcomes obtained by finite differences or finite elements are seldom satisfactory. We try to fix this situation using the new Chebfun programming environment. However, for tough problems, we have to loosen the default Chebfun tolerance in Newton’s solver as the ChC runs into trouble with ill-conditioning of the spectral differentiat

APA, Harvard, Vancouver, ISO, and other styles

6

DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Predicate Pairing for program verification." Theory and Practice of Logic Programming 18, no. 2 (2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.

Full text

Abstract:

AbstractIt is well-known that the verification of partial correctness properties of imperative programs can be reduced to the satisfiability problem for constrained Horn clauses (CHCs). However, state-of-the-art solvers for constrained Horn clauses (or CHC solvers) based onpredicate abstractionare sometimes unable to verify satisfiability because they look for models that are definable in a given class 𝓐 of constraints, called 𝓐-definable models. We introduce a transformation technique, calledPredicate Pairing, which is able, in many interesting cases, to transform a set of clauses into an equ

APA, Harvard, Vancouver, ISO, and other styles

7

Sun, Jintao, Qi Chen, Baoming Zhao, et al. "Temperature-dependent ion chemistry in nanosecond discharge plasma-assisted CH₄ oxidation." Journal of Physics D: Applied Physics 55, no. 13 (2022): 135203. http://dx.doi.org/10.1088/1361-6463/ac45ac.

Full text

Abstract:

Abstract Ion chemistry with temperature evolution in weakly ionized plasma is important in plasma-assisted combustion and plasma-assisted catalysis, fuel reforming, and material synthesis due to its contribution to plasma generation and state transition. In this study, the kinetic roles of ionic reactions in nanosecond discharge (NSD) plasma-assisted temperature-dependent decomposition and oxidation of methane are investigated by integrated studies of experimental measurements and mathematical simulations. A detailed plasma chemistry mechanism governing the decomposition and oxidation processe

APA, Harvard, Vancouver, ISO, and other styles

8

Zhou, Wenjun, Xi Qin, Ming Lv, Lifeng Qiu, Zhongjiang Chen, and Fan Zhang. "Design of Plasmonic Photonic Crystal Fiber for Highly Sensitive Magnetic Field and Temperature Simultaneous Measurement." Micromachines 14, no. 9 (2023): 1684. http://dx.doi.org/10.3390/mi14091684.

Full text

Abstract:

A high-sensitivity plasmonic photonic crystal fiber (PCF) sensor is designed and a metal thin film is embedded for achieving surface plasmon resonance (SPR), which can detect the magnetic field and temperature simultaneously. Within the plasmonic PCF sensor, the SPR sensing is accomplished by coating both the upper sensing channel (Ch1) and the lower sensing channel (Ch2) with gold film. In addition, the temperature-sensitive medium polydimethylsiloxane (PDMS) is chosen to fill in Ch1, allowing the sensor to respond to the temperature. The magnetic field-sensitive medium magnetic fluid (MF) is

APA, Harvard, Vancouver, ISO, and other styles

9

Vieira, Bernardo C., Fabrício V. Andrade, and Antônio O. Fernandes. "Framework for Generating Configurable SAT Solvers." Journal of Integrated Circuits and Systems 6, no. 1 (2011): 50–59. http://dx.doi.org/10.29292/jics.v6i1.338.

Full text

Abstract:

The state-of-the-art SAT solvers usually share the same core techniques, for instance: the watched literals structure, conflict clause recording and non-chronological backtracking. Nevertheless, they might differ in the elimination of learnt clauses, as well as in the decision heuristic. This article presents a framework for generating configurable SAT solvers. The proposed framework is composed of the following components: a Base SAT Solver, a Perl Preprocessor, XML files (Solver Description and Heuristics Description files) to describe each heuristic as well as the set of heuristics that the

APA, Harvard, Vancouver, ISO, and other styles

10

Webb, Penny. "A way to solve problems." Child Care 14, no. 3 (2017): 4–5. http://dx.doi.org/10.12968/chca.2017.14.3.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Sargent, Marianne. "Science: How to solve problems." Child Care 15, no. 2 (2018): 8–9. http://dx.doi.org/10.12968/chca.2018.15.2.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Liu, Xian Feng, Jia Hui Peng, Chang Hui Yang, Yu Yan Shu, and Da Chang Wu. "The Effect of Surfactant and Alkali on the Surface Tension of Simulated Solutions of Alkali Activated Slag Cement System." Advanced Materials Research 399-401 (November 2011): 1246–50. http://dx.doi.org/10.4028/www.scientific.net/amr.399-401.1246.

Full text

Abstract:

Alkali activated slag cement and concrete are high strength, rapid hardening, low heat of hydration, good durability and so on. Whereas, too high viscosity and bad workability of the fresh mixture is the crux of the matter to embarrass application of alkali-activated slag cement and concrete. Development of special superplasticizer for alkali activated slag cement and concrete is a worth exploring way to solve the problem, and the study on the surface tension of simulated solutions of alkali activated slag cement system is one of the basic researches about the special superplasticizer. In this

APA, Harvard, Vancouver, ISO, and other styles

13

Dhouib, Ikram, Philippe Guionneau, Tahar Mhiri, and Zakaria Elaoud. "Synthesis, Crystal Structure and Characterization of [(CH3 CH2)4N] Mn1,5 Cl3 4H2O Cl 2(H2O)." JOURNAL OF ADVANCES IN CHEMISTRY 8, no. 2 (2012): 1639–50. http://dx.doi.org/10.24297/jac.v8i2.4044.

Full text

Abstract:

Single crystals of [(CH3CH2)4N] Mn1,5 Cl3 4H2O Cl 2(H2O) were grown by the slow evaporation technique and characterized by means of single-crystal X-ray diffraction, FT-IR and Raman spectroscopy. The title compound belongs to the triclinic space group P with the following unit cell dimensions: a =7.5425(4) Å, b=9.8464 Å, c=13.7671(6) Å, α=89.951(3)°,β=89.753(3)°, γ=81.861(3)°, Z=4. These structures have solved using direct methods and refined by least-squares analysis. The structure was solved by the direct method and refined to final R value of 0.0567. The projection of [(CH3CH2)4N] Mn1,5 Cl3

APA, Harvard, Vancouver, ISO, and other styles

14

Ye, Manyuan, Guizhi Song, Wei Ren, and Qiwen Wei. "Research on Current Backflow of Asymmetric CHB Multi-Level Inverter." Electronics 9, no. 2 (2020): 214. http://dx.doi.org/10.3390/electronics9020214.

Full text

Abstract:

For the traditional asymmetric cascaded H-bridge multi-level inverters, the conventional hybrid modulation method has the problem of current backflow in a certain modulation index range. Although the monopolar modulation method effectively solves this problem, the high-voltage unit participates in the high-frequency operation in part of the range, which limits the improvement of the switching frequency of the whole system. The hybrid frequency modulation method can reduce the switching frequency of the high voltage unit to a certain extent, but the harmonic characteristics of the output voltag

APA, Harvard, Vancouver, ISO, and other styles

15

Yu, Rena C., and Gonzalo Ruiz. "Multi-cracking modelling in concrete solved by a modified DR method." Computers and Concrete 1, no. 4 (2004): 371–88. http://dx.doi.org/10.12989/cac.2004.1.4.371.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Fendji, Jean Louis Ebongue Kedieng, Clovis Tchuinte Kenmogne, David Jaurès Fotsa-Mbogne, and Anna Förster. "Improving Farmers’ Revenue in Crop Rotation Systems with Plot Adjacency Constraints in Organic Farms with Nutrient Amendments." Applied Sciences 11, no. 15 (2021): 6775. http://dx.doi.org/10.3390/app11156775.

Full text

Abstract:

The search for sustainable agriculture is leading many economies to turn to crop rotation systems and to abandon monoculture systems which generally require increased use of pesticides and synthetic fertilizers. But the optimization of crop rotation remains a challenge, especially when considering organic farming. This work tackles the optimization of crop rotation in traditional organic farms with plot adjacency constraints and nutrient amendments. In the present configuration, each farmer owns a certain quantity of rudimentary equipment and a number of workers, all considered as resources. F

APA, Harvard, Vancouver, ISO, and other styles

17

Lopez-Ruiz, Gontzal, Joseba Castresana-Larrauri, and Jesús María Blanco-Ilzarbe. "Thermodynamic Analysis of a Regenerative Brayton Cycle Using H2, CH4 and H2/CH4 Blends as Fuel." Energies 15, no. 4 (2022): 1508. http://dx.doi.org/10.3390/en15041508.

Full text

Abstract:

Considering a simple regenerative Brayton cycle, the impact of using different fuel blends containing a variable volumetric percentage of hydrogen in methane was analysed. Due to the potential of hydrogen combustion in gas turbines to reduce the overall CO2 emissions and the dependency on natural gas, further research is needed to understand the impact on the overall thermodynamic cycle. For that purpose, a qualitative thermodynamic analysis was carried out to assess the exergetic and energetic efficiencies of the cycle as well as the irreversibilities associated to a subsystem. A single step

APA, Harvard, Vancouver, ISO, and other styles

18

ARICI, Ferda Nur, and Ersin KAYA. "Hierarchical Approaches to Solve Optimization Problems." Academic Platform Journal of Engineering and Smart Systems 10, no. 3 (2022): 124–39. http://dx.doi.org/10.21541/apjess.1065912.

Full text

Abstract:

Optimization is the operation of finding the most appropriate solution for a particular problem or set of problems. In the literature, there are many population-based optimization algorithms for solving optimization problems. Each of these algorithms has different characteristics. Although optimization algorithms give optimum results on some problems, they become insufficient to give optimum results as the problem gets harder and more complex. Many studies have been carried out to improve optimization algorithms to overcome these difficulties in recent years. In this study, six well-known popu

APA, Harvard, Vancouver, ISO, and other styles

19

Joan-Arinyo, R., M. V. Luzón, and E. Yeguas. "Parameter tuning of PBIL and CHC evolutionary algorithms applied to solve the Root Identification Problem." Applied Soft Computing 11, no. 1 (2011): 754–67. http://dx.doi.org/10.1016/j.asoc.2009.12.037.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Runčevski, Tomče, Robert E. Dinnebier, Oxana V. Magdysyuk, and Herbert Pöllmann. "Crystal structures of calcium hemicarboaluminate and carbonated calcium hemicarboaluminate from synchrotron powder diffraction data." Acta Crystallographica Section B Structural Science 68, no. 5 (2012): 493–500. http://dx.doi.org/10.1107/s010876811203042x.

Full text

Abstract:

One of the main phases formed at the beginning of the carbonation reaction of cementitious building materials is the calcium hemicarboaluminate (abbreviated as Hc). This AFm (shorthand for hydrated calcium aluminate phases structurally related to hydrocalumite) phase was synthesized, crystallized and then studied by synchrotron X-ray powder diffraction and micro-Raman spectroscopy. At room temperature and standard experimental conditions two major cementitious phases were detected, the Hc phase (as a major phase) and carbonated calcium hemicarboaluminate (abbreviated as cHc). By increasing the

APA, Harvard, Vancouver, ISO, and other styles

21

Cheng, Ling-Yi, Yu-Chi Wang, Ming-Hong Chen, Fu-I. Tung, Kuan-Ming Chiu, and Tse-Ying Liu. "An Engineered Gene Nanovehicle Developed for Smart Gene Therapy to Selectively Inhibit Smooth Muscle Cells: An In Vitro Study." International Journal of Molecular Sciences 21, no. 4 (2020): 1530. http://dx.doi.org/10.3390/ijms21041530.

Full text

Abstract:

In-stent restenosis is a serious concern for patients treated through the stenting procedure, although this can be solved using drug-eluting stents and/or drug-eluting balloon catheters. However, the chemical agents released from the drug-eluting layer for inhibiting smooth muscle cell (SMC) migration are inevitably associated with damage to vascular endothelial cell (ECs). The present in vitro study used a distinct strategy, in which a smart gene (phEGR1-PKCδ, an engineered plasmid consists of an SMC-specific promoter (human early growth response 1, hEGR1 promoter) ligated with a gene encodin

APA, Harvard, Vancouver, ISO, and other styles

22

Zhou, Weijun, Quan Yuan, Chris Li, Stephen F. Hahn, Kurt A. Koppi, and Berend Hoek. "Thermoplastic Optical Polymers with Lead-Free Solder Reflow Resistance for HB-LED Packaging and Assembly." International Symposium on Microelectronics 2010, no. 1 (2010): 000156–63. http://dx.doi.org/10.4071/isom-2010-ta5-paper4.

Full text

Abstract:

A new class of thermoplastic optical polymers made by substantially fully hydrogenating block copolymers of styrene and butadiene, known as cyclic block copolymers (CBCs), were recently discovered to exhibit lead-free solder reflow resistance with peak reflow temperature up to 260°C. This kind of behavior is uncommon for traditional thermoplastic polymers. The block copolymer design and the resulting nanostructured morphology lead to strong elastic and soft solid material characteristics for CBC, which may explain why CBCs can maintain good dimensional stability at high temperatures (i.e., abo

APA, Harvard, Vancouver, ISO, and other styles

23

Nadimi-Shahraki, Mohammad H., Hoda Zamani, Ali Fatahi, and Seyedali Mirjalili. "MFO-SFR: An Enhanced Moth-Flame Optimization Algorithm Using an Effective Stagnation Finding and Replacing Strategy." Mathematics 11, no. 4 (2023): 862. http://dx.doi.org/10.3390/math11040862.

Full text

Abstract:

Moth-flame optimization (MFO) is a prominent problem solver with a simple structure that is widely used to solve different optimization problems. However, MFO and its variants inherently suffer from poor population diversity, leading to premature convergence to local optima and losses in the quality of its solutions. To overcome these limitations, an enhanced moth-flame optimization algorithm named MFO-SFR was developed to solve global optimization problems. The MFO-SFR algorithm introduces an effective stagnation finding and replacing (SFR) strategy to effectively maintain population diversit

APA, Harvard, Vancouver, ISO, and other styles

24

Li, Huixi, Yongluo Shen, Huidan Xi, and Yinhao Xiao. "Complementary in Time and Space: Optimization on Cost and Performance with Multiple Resources Usage by Server Consolidation in Cloud Data Center." Applied Sciences 12, no. 19 (2022): 9654. http://dx.doi.org/10.3390/app12199654.

Full text

Abstract:

The recent COVID-19 pandemic has accelerated the use of cloud computing. The surge in the number of users presents cloud service providers with severe challenges in managing computing resources. Guaranteeing the QoS of multiple users while reducing the operating cost of the cloud data center (CDC) is a major problem that needs to be solved urgently. To solve this problem, this paper establishes a cost model based on multiple computing resources in CDC, which comprehensively considers the hosts’ energy cost, virtual machine (VM) migration cost, and SLAV penalty cost. To minimize this cost, we d

APA, Harvard, Vancouver, ISO, and other styles

25

Jia, Haolong, Jing Zuo, Qiliang Bao, et al. "Discussion on Piston-Type Phase Ambiguity in a Coherent Beam Combining System." Photonics 9, no. 1 (2022): 49. http://dx.doi.org/10.3390/photonics9010049.

Full text

Abstract:

Coherent beam combining (CBC) with closely arranged centrosymmetric arrays is a promising way to obtain a high-brightness laser. An essential task in CBC is to actively control the piston phases of the input beams, maintaining the correct phasing to maximize the combination efficiency. By applying the neural network, the nonlinear mapping relationship between the far-field image and the piston phase could be established, so that the piston phase can be corrected quickly with one step, which caused widespread concern. However, there exists a piston-type phase ambiguity problem in the CBC system

APA, Harvard, Vancouver, ISO, and other styles

26

Chen, Guangjiao, and Guifen Chen. "An Improved Sparrow Algorithm Based on Small Habitats in Cooperative Communication Power Allocation." Electronics 12, no. 5 (2023): 1153. http://dx.doi.org/10.3390/electronics12051153.

Full text

Abstract:

To solve the power allocation problem of multiple relays in cooperative communication, a sparrow improvement algorithm based on small habitats is proposed. First, the small-habitat rule increases the diversity of the energy classification of communication nodes. The problem of the premature convergence of the algorithm is solved. Subsequently, the joint jump rule is designed to replace the local search rule, and the local search rule of the sparrow algorithm is modified to avoid the local wandering phenomenon. The improved search method solves the local solution problem of the most available f

APA, Harvard, Vancouver, ISO, and other styles

27

Thị Phú, Phạm, and Nguyễn Lâm Đức. "Improving high school students’ ability to solve physics problems." Journal of Science, Educational Science 61, no. 8B (2016): 264–71. http://dx.doi.org/10.18173/2354-1075.2016-0183.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Zapata, John, Afonso Azevedo, Carlos Fontes, Sergio Monteiro, and Henry Colorado. "Environmental Impact and Sustainability of Calcium Aluminate Cements." Sustainability 14, no. 5 (2022): 2751. http://dx.doi.org/10.3390/su14052751.

Full text

Abstract:

This investigation presents a critical analysis of calcium aluminate cements (CAC), specifically associated with sustainability and environmental impact, and the potential of these cements to help solve certain worldwide problems. Areas of research include cements as recycling holding materials, sustainability, circular economy, production costs, and energy. This investigation summarizes the current trends, perspectives, and the main concerns regarding CAC. Detailed information about the materials and processes involved in CAC is also presented. First, a general search was made using the Carro

APA, Harvard, Vancouver, ISO, and other styles

29

Agushaka, Jeffrey O., Olatunji Akinola, Absalom E. Ezugwu, Olaide N. Oyelade, and Apu K. Saha. "Advanced dwarf mongoose optimization for solving CEC 2011 and CEC 2017 benchmark problems." PLOS ONE 17, no. 11 (2022): e0275346. http://dx.doi.org/10.1371/journal.pone.0275346.

Full text

Abstract:

This paper proposes an improvement to the dwarf mongoose optimization (DMO) algorithm called the advanced dwarf mongoose optimization (ADMO) algorithm. The improvement goal is to solve the low convergence rate limitation of the DMO. This situation arises when the initial solutions are close to the optimal global solution; the subsequent value of the alpha must be small for the DMO to converge towards a better solution. The proposed improvement incorporates other social behavior of the dwarf mongoose, namely, the predation and mound protection and the reproductive and group splitting behavior t

APA, Harvard, Vancouver, ISO, and other styles

30

Yeguas, Enrique, Robert Joan-Arinyo, and María Victoria Luzón. "Modeling the Performance of Evolutionary Algorithms on the Root Identification Problem: A Case Study with PBIL and CHC Algorithms." Evolutionary Computation 19, no. 1 (2011): 107–35. http://dx.doi.org/10.1162/evco_a_00017.

Full text

Abstract:

The availability of a model to measure the performance of evolutionary algorithms is very important, especially when these algorithms are applied to solve problems with high computational requirements. That model would compute an index of the quality of the solution reached by the algorithm as a function of run-time. Conversely, if we fix an index of quality for the solution, the model would give the number of iterations to be expected. In this work, we develop a statistical model to describe the performance of PBIL and CHC evolutionary algorithms applied to solve the root identification probl

APA, Harvard, Vancouver, ISO, and other styles

31

Farnad, Behnam, and Ahmad Jafarian. "A New Nature-Inspired Hybrid Algorithm with a Penalty Method to Solve Constrained Problem." International Journal of Computational Methods 15, no. 08 (2018): 1850069. http://dx.doi.org/10.1142/s021987621850069x.

Full text

Abstract:

In this paper, an efficient hybrid method for solving constrained numerical and engineering optimization problems is presented. The proposed hybrid method uses a combination of three methods a genetic algorithm (GA), particle swarm optimization (PSO), and symbiotic organisms search (SOS) to find desired solution of problems in a complex design space and to control the feasibility of finding solutions using the penalty function method. There are three alternative phases in the proposed algorithm: GA, which develops and selects the best population for the next phases, PSO, which obtains the expe

APA, Harvard, Vancouver, ISO, and other styles

32

Nadimi-Shahraki, Mohammad H., Ali Fatahi, Hoda Zamani, Seyedali Mirjalili, and Laith Abualigah. "An Improved Moth-Flame Optimization Algorithm with Adaptation Mechanism to Solve Numerical and Mechanical Engineering Problems." Entropy 23, no. 12 (2021): 1637. http://dx.doi.org/10.3390/e23121637.

Full text

Abstract:

Moth-flame optimization (MFO) algorithm inspired by the transverse orientation of moths toward the light source is an effective approach to solve global optimization problems. However, the MFO algorithm suffers from issues such as premature convergence, low population diversity, local optima entrapment, and imbalance between exploration and exploitation. In this study, therefore, an improved moth-flame optimization (I-MFO) algorithm is proposed to cope with canonical MFO’s issues by locating trapped moths in local optimum via defining memory for each moth. The trapped moths tend to escape from

APA, Harvard, Vancouver, ISO, and other styles

33

Ran, Xu, Ji Yong Chen, Jun Guo Ran, Li Guo, and Xing Dong Zhang. "Synthesis of Nanosized Carbonated Hydroxyapatite under Microwave Irradiation." Key Engineering Materials 330-332 (February 2007): 303–6. http://dx.doi.org/10.4028/www.scientific.net/kem.330-332.303.

Full text

Abstract:

In order to solve the problems on synthesizing carbonated hydroxyapatites (CHA) by the conventional heating precipitation method, such as long reaction and large particle size, poor crystallinity of CHA etc, the nanosized CHA particles have been synthesized by microwave heating method using phosphoric acid (H3PO4), calcium hydroxide (Ca(OH)2) and calcium carbonate (CaCO3 ) as starting materials in the present paper. The influences of power level and time of microwave irradiation on synthesis of CHA have been investigated. The X-ray diffraction (XRD) analysis has indicated that microwave heatin

APA, Harvard, Vancouver, ISO, and other styles

34

Sakhnenko, Mykola, Hanna Karakurkchi, Tetiana Nenastina, Irina Yermolenko та Alla Korohodska. "Features of CЕС technology for eco- and energytechnologies". Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies, № 3(9) (18 жовтня 2021): 89–96. http://dx.doi.org/10.20998/2413-4295.2021.03.13.

Full text

Abstract:

Based on the analysis of the peculiarities of CEC formation, it is shown that their production and application is one of the world trends in functional electroplating and allows to solve a number of practical problems, in particular in the field of eco- and energy technologies. The deposition of polyfunctional CECs of cobalt with refractory metals was carried out from citrate-pyrophosphate electrolytes in galvanostatic and pulsed modes. The obtained composite coatings have a complex of increased mechanical and anti-corrosion properties, catalytic and photocatalytic activity, which determines t

APA, Harvard, Vancouver, ISO, and other styles

35

Liu, Yixin, Kai Zhou, and Yu Lei. "Using Bayesian Inference Framework towards Identifying Gas Species and Concentration from High Temperature Resistive Sensor Array Data." Journal of Sensors 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/351940.

Full text

Abstract:

High temperature gas sensors have been highly demanded for combustion process optimization and toxic emissions control, which usually suffer from poor selectivity. In order to solve this selectivity issue and identify unknown reducing gas species (CO, CH4, and CH8) and concentrations, a high temperature resistive sensor array data set was built in this study based on 5 reported sensors. As each sensor showed specific responses towards different types of reducing gas with certain concentrations, based on which calibration curves were fitted, providing benchmark sensor array response database, t

APA, Harvard, Vancouver, ISO, and other styles

36

Li, Jiajian, Shuai Cao, and Erol Yilmaz. "Characterization of Macro Mechanical Properties and Microstructures of Cement-Based Composites Prepared from Fly Ash, Gypsum and Steel Slag." Minerals 12, no. 1 (2021): 6. http://dx.doi.org/10.3390/min12010006.

Full text

Abstract:

Using solid wastes (SWs) as backfilling material to fill underground mined-out areas (UMOAs) solved the environmental problems caused by SWs and reduced the backfilling cost. In this study, fly ash (FA), gypsum and steel slag (SS) were used to prepare cement-based composites (CBC). The uniaxial compression, computed tomography (CT) and scanning electron microscope (SEM) laboratory experiments were conducted to explore the macro and micromechanical properties of CBC. The findings showed that the uniaxial compressive strength (UCS) of CBC with a curing time of 7 d could reach 6.54 MPa. The incre

APA, Harvard, Vancouver, ISO, and other styles

37

Gheorghiu, Călin-Ioan. "Accurate Spectral Collocation Solutions to 2nd-Order Sturm–Liouville Problems." Symmetry 13, no. 3 (2021): 385. http://dx.doi.org/10.3390/sym13030385.

Full text

Abstract:

This work is about the use of some classical spectral collocation methods as well as with the new software system Chebfun in order to compute the eigenpairs of some high order Sturm–Liouville eigenproblems. The analysis is divided into two distinct directions. For problems with clamped boundary conditions, we use the preconditioning of the spectral collocation differentiation matrices and for hinged end boundary conditions the equation is transformed into a second order system and then the conventional ChC is applied. A challenging set of “hard” benchmark problems, for which usual numerical me

APA, Harvard, Vancouver, ISO, and other styles

38

Chang, Kai-Chun, You-Tun Teng, and Wen-Long Chin. "High-Throughput CBC Mode Crypto Circuit." Electrical Science & Engineering 5, no. 1 (2023): 20–30. http://dx.doi.org/10.30564/ese.v5i1.5636.

Full text

Abstract:

The objective of this study is to investigate a high-throughput cipher-block chaining (CBC) mode crypto circuit, which can be embedded in commercial home gateways or switches/routers. Concurrently, the area efficiency of block ciphers can be improved as well. However, the CBC mode encounters the problem of data dependency. To solve this issue, a data scheduling mechanism of network packets is proposed to eliminate the data dependency of input data for CBC mode pipelined crypto engines. The proposed CBC mode architecture can be applied to advanced encryption standards (AES), triple data encrypt

APA, Harvard, Vancouver, ISO, and other styles

39

Tran, Van-Thuan, Minh-Khai Nguyen, Cao-Cuong Ngo, and Youn-Ok Choi. "Three-Phase Five-Level Cascade Quasi-Switched Boost Inverter." Electronics 8, no. 3 (2019): 296. http://dx.doi.org/10.3390/electronics8030296.

Full text

Abstract:

This paper presents a three-phase cascaded five-level H-bridge quasi-switched boost inverter (CHB-qSBI). The merits of the CHB-qSBI are as follows: single-stage conversion, shoot-through immunity, buck-boost voltage, and reduced passive components. Furthermore, a PWM control method is applied to the CHB-qSBI topology to improve the modulation index. The voltage stress across power semiconductor devices and the capacitor are significantly lower using improved pulse-width modulation (PWM) control. Additionally, by controlling individual shoot-through duty cycle, the DC-link voltage of each modul

APA, Harvard, Vancouver, ISO, and other styles

40

Wu, Binbin, Bangning Zhang, Wenfeng Ma, Chen Xie, Daoxing Guo, and Hao Jiang. "Motion Planning in UAV-Aided Data Collection with Dynamic Jamming." Electronics 12, no. 8 (2023): 1841. http://dx.doi.org/10.3390/electronics12081841.

Full text

Abstract:

Unmanned-aerial-vehicle (UAV)-aided data collection for Internet of Things applications has attracted increasing attention. This paper investigates motion planning for UAV collecting low-power ground sensor node (SN) data in a dynamic jamming environment. We targeted minimizing the flight energy consumption via optimization of the UAV trajectory while considering the indispensable constraints which cover the collection data demodulation threshold, obstacle avoidance, data collection volume, and motion principle. Firstly, we formulate the UAV-aided data collection problem as an energy consumpti

APA, Harvard, Vancouver, ISO, and other styles

41

Mujiati, Mujiati, Eva Sulistiowati, and Siti Nurhasanah. "Role of community figure in Healthy Indonesia Program with family approach (PIS-PK) in Banjarnegara District, Central Java." Journal of Community Empowerment for Health 3, no. 3 (2020): 178. http://dx.doi.org/10.22146/jcoemph.56971.

Full text

Abstract:

The involvement of community figure is one form of participation in health development, including in the Healthy Indonesia Program with Family Approach (PIS-PK). The purpose of this study was to determine the role of community figure in PIS-PK. The type of study was a qualitative study in one kelurahan which was included in the working area of Community Health Care (CHC) Banjarnegara 1 in Banjarnegara District, Central Java, which was chosen purposively. Data collection was done by in-depth interview. The key informants were community figure, namely from the kelurahan (kelurahan head and its s

APA, Harvard, Vancouver, ISO, and other styles

42

Tran Thi Le, Thu, Ai Nguyen Thi Nhan, Thuy Pham Thi Dieu, and Van Nguyen Thi. "Psychological difficulties & school psychology support for Junior high school & High school students in Ho Chi Minh City." Journal of Science Educational Science 65, no. 9 (2020): 69–80. http://dx.doi.org/10.18173/2354-1075.2020-0094.

Full text

Abstract:

This study aims to survey the state of psychological health, specifically the psychological difficulties of 231 junior high school and high school students in Ho Chi Minh City (111 high school pupils & 120 junior high school pupils) through a self-report survey on those areas: (1) Study; (2) Psychophysiological development; (3) Communication with friends; (4) Communication with parents; (5) Communication with teachers. 111 high schoolersalso completed one more area, which is vocational orientation. Research results showed that junior high schoolersface the most difficulties in the field of

APA, Harvard, Vancouver, ISO, and other styles

43

Bossa, Jean-Baptiste, Fabien Borget, Fabrice Duvernay, Grégoire Danger, Patrice Theulé, and Thierry Chiavassa. "Solid-State Methylamine VUV Irradiation Study Using Carbon Monoxide as an H Radical Scavenger." Australian Journal of Chemistry 65, no. 2 (2012): 129. http://dx.doi.org/10.1071/ch11409.

Full text

Abstract:

Solid-phase methylamine (CH3NH2) was vacuum ultraviolet (VUV) photoprocessed at low temperature (20 K) using a hydrogen flow discharge lamp, which allows irradiation down to 120 nm. Methanimine (CH2=NH), the methylammonium cation (CH3NH3+) and the counterion CN–, as well as the amino radical (NH2), methane (CH4) and ammonia (NH3), were identified as the photoproducts by using FTIR spectroscopy. So far, the branching ratios of the photodissociation pathways of methylamine in the solid phase remain unknown. The methylamine molecule holds two non-equivalent hydrogen atoms on the methyl and the am

APA, Harvard, Vancouver, ISO, and other styles

44

Baumgaertner, A. J. G., P. Jöckel, B. Steil, H. Tost, and R. Sander. "A fast stratospheric chemistry solver: the E4CHEM submodel for the atmospheric chemistry global circulation model EMAC." Geoscientific Model Development 3, no. 1 (2010): 321–28. http://dx.doi.org/10.5194/gmd-3-321-2010.

Full text

Abstract:

Abstract. The atmospheric chemistry general circulation model ECHAM5/MESSy (EMAC) and the atmospheric chemistry box model CAABA are extended by a computationally very efficient submodel for atmospheric chemistry, E4CHEM. It focuses on stratospheric chemistry but also includes background tropospheric chemistry. It is based on the chemistry of MAECHAM4-CHEM and is intended to serve as a simple and fast alternative to the flexible but also computationally more demanding submodel MECCA. In a model setup with E4CHEM, EMAC is now also suitable for simulations of longer time scales. The reaction mech

APA, Harvard, Vancouver, ISO, and other styles

45

Baumgaertner, A. J. G., P. Jöckel, B. Steil, H. Tost, and R. Sander. "A fast stratospheric chemistry solver: the E4CHEM submodel for the atmospheric chemistry global circulation model EMAC." Geoscientific Model Development Discussions 3, no. 1 (2010): 181–200. http://dx.doi.org/10.5194/gmdd-3-181-2010.

Full text

Abstract:

Abstract. The atmospheric chemistry general circulation model ECHAM5/MESSy (EMAC) and the atmospheric chemistry box model CAABA are extended by a computationally very efficient submodel for atmospheric chemistry, E4CHEM. It focuses on stratospheric chemistry but also includes background tropospheric chemistry. It is based on the chemistry of MAECHAM4-CHEM and is intended to serve as a simple and fast alternative to the flexible but also computationally more demanding submodel MECCA. In a model setup with E4CHEM, EMAC is now also suitable for simulations of longer time scales. The reaction mech

APA, Harvard, Vancouver, ISO, and other styles

46

Mizukami, Yuzo, and Yuichi Yamaguchi. "Method for the Analysis of Tea Aroma by using Solvent-assisted Flavor Evaporation Apparatus." Chagyo Kenkyu Hokoku (Tea Research Journal) 2010, no. 110 (2010): 110_105–110_112. http://dx.doi.org/10.5979/cha.2010.110_105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Wilson, William W., Karl O. Christe, Jin-an Feng, and Robert Bau. "Tetramethylammonium bifluoride, crystal structure and vibrational spectra." Canadian Journal of Chemistry 67, no. 11 (1989): 1898–901. http://dx.doi.org/10.1139/v89-295.

Full text

Abstract:

Single crystals of [N(CH3)4]HF2 were obtained as a by-product during the recrystallization of [N(CH3)4]ClF4 from CH3CN solution. X-ray diffraction data show that [N(CH3)4]HF2 crystallizes in the orthorhombic space group Pmn21 with Z = 2 and unit cell dimensions a = 6.611(5), b = 8.753(5), and c = 5.386(4) Å. The structure was solved by direct methods and refined by least squares to a final R = 0.055 by using 205 independent reflections. The HF2− anions are symmetric, exhibit an unusually short [Formula: see text] distance of 2.213(4) Å, and vibrational frequencies close to those of the free HF

APA, Harvard, Vancouver, ISO, and other styles

48

Leshok, D. Y., N. N. Golovnev, and S. D. Kirik. "Cystamindi-ium tetrachlorocuprate [NH3(CH2)2SS(CH2)2NH3][CuCl4]: synthesis, crystal structure, and thermal decomposition." Powder Diffraction 30, no. 2 (2015): 163–69. http://dx.doi.org/10.1017/s0885715614001390.

Full text

Abstract:

The salt [NH3(CH2)2SS(CH2)2NH3][CuCl4] was obtained by crystallization after adding CuCl2 to cystamine (Cysta), solved in hydrochloric acid. The assumption of conserved disulfide connection (S–S) in the compound, made on the basis of infrared spectroscopy, is further supported by the crystal structure determined from X-ray powder diffraction data. The compound has an ionic structure. [CuCl4]2− and CystaH22+ ions package in the form of inorganic and organic layers in the cell, interconnected through the formation of hydrogen bonds via NH3-groups and chlorine atoms of the complex [CuCl4]2−. Inor

APA, Harvard, Vancouver, ISO, and other styles

49

Mehta, Shikha. "Memetic Algorithm with Constrained Local Search for Large-Scale Global Optimization." Journal of Intelligent Systems 26, no. 2 (2017): 287–300. http://dx.doi.org/10.1515/jisys-2015-0103.

Full text

Abstract:

AbstractNature-inspired algorithms are seen as potential tools to solve large-scale global optimization problems. Memetic algorithms (MAs) are nature-inspired techniques based on evolutionary computation. MAs are considered as modified genetic algorithms integrated with a local search mechanism. Conventional MAs perform well for small dimensions; however, their performance starts declining with the increase in dimensions. It is popularly known as the “curse of dimensionality” problem. In order to solve this problem, MA with constrained local search (MACLS) is proposed for single-objective opti

APA, Harvard, Vancouver, ISO, and other styles

50

Singh, Pratap, Rishi Pal Singh, Yudhvir Singh, Jana Shafi, and Muhammad Fazal Ijaz. "An Enhanced Naked Mole Rat Algorithm for Optimal Cross-Layer Solution for Wireless Underground Sensor Networks." Mathematics 9, no. 22 (2021): 2942. http://dx.doi.org/10.3390/math9222942.

Full text

Abstract:

Nature-inspired algorithms serve as the backbone of modern computing technology, and over the past three decades, the field has grown enormously. Many applications were solved by such algorithms and are replacing the traditional classical optimization processes. A recent naked mole-rat algorithm (NMRA) was proposed based on the mating patterns of naked mole-rats. This algorithm proved its worth in terms of competitiveness and application to various domains of research. The aim was to propose an algorithm based on NMRA, named enhanced NMRA (ENMRA), by mitigating the problems that this algorithm

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!