Добірка наукової літератури з теми "CHC solver"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "CHC solver".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "CHC solver"
Zhu, He, Stephen Magill, and Suresh Jagannathan. "A data-driven CHC solver." ACM SIGPLAN Notices 53, no. 4 (December 2, 2018): 707–21. http://dx.doi.org/10.1145/3296979.3192416.
Повний текст джерела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 (July 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Повний текст джерела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 (June 26, 2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.
Повний текст джерелаMordvinov, Dmitry A. "Property-Directed Inference of Relational Invariants." Modeling and Analysis of Information Systems 26, no. 4 (December 27, 2019): 550–71. http://dx.doi.org/10.18255/1818-1015-2019-4-550-571.
Повний текст джерелаGheorghiu, Călin-Ioan. "Chebfun Solutions to a Class of 1D Singular and Nonlinear Boundary Value Problems." Computation 10, no. 7 (July 8, 2022): 116. http://dx.doi.org/10.3390/computation10070116.
Повний текст джерелаDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Predicate Pairing for program verification." Theory and Practice of Logic Programming 18, no. 2 (December 4, 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Повний текст джерелаSun, Jintao, Qi Chen, Baoming Zhao, Caohui Guo, Jianyu Liu, Mingming Zhang, and Decai Li. "Temperature-dependent ion chemistry in nanosecond discharge plasma-assisted CH4 oxidation." Journal of Physics D: Applied Physics 55, no. 13 (January 4, 2022): 135203. http://dx.doi.org/10.1088/1361-6463/ac45ac.
Повний текст джерела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 (August 29, 2023): 1684. http://dx.doi.org/10.3390/mi14091684.
Повний текст джерела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 (December 27, 2011): 50–59. http://dx.doi.org/10.29292/jics.v6i1.338.
Повний текст джерелаWebb, Penny. "A way to solve problems." Child Care 14, no. 3 (March 2, 2017): 4–5. http://dx.doi.org/10.12968/chca.2017.14.3.4.
Повний текст джерелаДисертації з теми "CHC solver"
Negus, Charles H. "An Interactive Chemical Equilibrium Solver for the Personal Computer." Thesis, Virginia Tech, 1997. http://hdl.handle.net/10919/36826.
Повний текст джерелаMaster of Science
Guérineau, Olivier. "Contribution à l'étude de la combustion supersonique : stabilisation de flammes par ondes de choc." Châtenay-Malabry, Ecole centrale de Paris, 1997. http://www.theses.fr/1997ECAP0530.
Повний текст джерелаChauvat, Yann. "Le phénomène de "carbuncle" : analyse d'une pathologie des schémas numériques à capture de choc." Toulouse, ENSAE, 2005. http://www.theses.fr/2005ESAE0015.
Повний текст джерелаMasurel, Eve. "Absorption sélective des goudrons issus de la gazéification : application au laveur Venturi d'une unité de cogénération biomasse." Thesis, Université de Lorraine, 2015. http://www.theses.fr/2015LORR0096.
Повний текст джерелаAmong biomass conversion processes, air gasification has the advantage of an attractive electrical conversion yield, especially for small powers. However, the elimination of the generated tar remains a lock to lift to allow the industrial emergence of the gasification process. The treatment by absorption is considered to be technologically mature but the choice of cleaning solvent, its management and the optimization of the scrubber represent a crucial element. In order to highlight possible solvents, a fast and robust solvents screening methodology based on a multi-criteria analysis was developed. Comparison of more than 100 of conventional solvents allowed to forward two solvents. To investigate performance of these solvents, a pilot scale Venturi scrubber (compact scrubber with a large Interfacial area and low risk fouling risk) has been designed and characterized. The experimental study on real raw gas allowed to study the evolution of the tar loading factor in the solvent and to measure treatment efficiencies of solvents on benzene, naphthalene, anthracene and pyrene. These experimental data were then used to validate the modelling of the Venturi scrubber in the context of optimization and extrapolation on the industrial scale of the washing unit. In order to estimate the cost of treatment in €/ MWh, the sizing of the equipment on an industrial scale has been made for two solvents in different cases in order to process to a technico-economical evaluation
Rios, de Anda Agustin. "Influence of the solvent sorption, additivation, and chemical modification on the molecular mobility dynamics of Polyamide 6,6 amorphous phase and its consequences on the tensile and impact strength properties of this polymer." Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10259/document.
Повний текст джерелаThis work forms part of a project aimed to develop Polyamide 6,6(PA6,6)-based automotive fuel tanks. PA6,6 is a good candidate for technical applications since it possesses good thermo-mechanical properties compared to its weight. These formulations must exhibit good impermeable properties to classic gasoline, to biofuels (gasoline containing ethanol), and to water which is found in the atmosphere, while keeping good impact behavior.The scientific issues are the better understanding of PA6,6-solvent interactions in the case of a series of solvents having different sizes and polarities and also for a set of ternary mixtures composed of ethanol, toluene, and isooctane at various concentrations that model biofuels. The effect of these solvents on the glass transition temperature Tg (molecular mobility signature) was assessed. The effect of additivating or chemically-modifying PA6,6 on the impact and barrier properties of the polymer was studied.In this work, it was described how the nature of a solvent conditions its sorption and its plasticizing effect on PA6,6. It was also observed that the PA6,6 inter-chain interactions also condition the solvent sorption. Moreover, a thermodynamic approach describing the sorption and plasticizing effects of ternary mixtures in PA6,6 was considered and developed. It was also observed that PA6,6 mechanical properties depend or are related to the amorphous phase molecular mobility state
Zebiri, Boubakr. "Étude numérique des interactions onde de choc / couche limite dans les tuyères propulsives Shock-induced flow separation in an overexpanded supersonic planar nozzle A parallel high-order compressible flows solver with domain decomposition method in the generalized curvilinear coordinates system Analysis of shock-wave unsteadiness in conical supersonic nozzles." Thesis, Normandie, 2020. http://www.theses.fr/2020NORMIR06.
Повний текст джерелаThe need for a better understanding of the driving mechanism for the observed low-frequency unsteadiness in an over-expanded nozzle flows was discussed. The unsteady character of the shock wave/boundary layer remains an important practical challenge for the nozzle flow problems. Additionally, for a given incoming turbulent boundary layer, this kind of flow usually exhibits higher low-frequency shock motions which are less coupled from the timescales of the incoming turbulence. This may be good from an experimenter’s point of view, because of the difficulties in measuring higher frequencies, but it is more challenging from a computational point of view due to the need to obtain long time series to resolve low-frequency movements. In excellent agreement with the experimental findings, a very-long LES simulation run was carried out to demonstrate the existence of energetic broadband low-frequency motions near the separation point. Particular efforts were done in order to avoid any upstream low-frequency forcing, and it was explicitly demonstrated that the observed low-frequency shock oscillations were not connected with the inflow turbulence generation, ruling out the possibility of a numerical artefact. Different methods of spectral analysis and dynamic mode decomposition have been used to show that the timescales involved in such a mechanism are about two orders of magnitude larger than the time scales involved in the turbulence of the boundary layer, which is consistent with the observed low-frequency motions. Furthermore, those timescales were shown to be strongly modulated by the amount of reversed flow inside the separation bubble. This scenario can, in principle, explain both the low-frequency unsteadiness and its broadband nature
Книги з теми "CHC solver"
Ri shi yu shi cha. Beijing: Ke xue chu ban she, 2011.
Знайти повний текст джерелаTai yang dian chi ji qi ying yong. [Peking]: Guo fang gong ye chu ban she, 1985.
Знайти повний текст джерелаComandante Che: Guerrilla soldier, commander, and strategist, 1956-1967. University Park, Pa: Pennsylvania State University Press, 2003.
Знайти повний текст джерелаRencontres du Vietnam (2nd 1995 Hô CHI Minh City, Vietnam). The sun and beyond: Proceedings of the second Rencontres du Vietnam, Hô Chi Minh City, Vietnam, October 22-28, 1995. Gif-sur Yvette, France: Editions Frontières, 1996.
Знайти повний текст джерелаOsborne, Mary Pope. Mo fa xiao che. Taibei Shi: Yuan liu chu ban shi ye gu fen you xian gong si, 2002.
Знайти повний текст джерелаAmberson, Mary Margaret McAllen. A brave boy and a good soldier: John C.C. Hill and the Texas expedition to Mier. Austin: Texas State Historical Association, 2006.
Знайти повний текст джерелаBo mo tai yang dian chi guan jian ke xue he ji shu: Key science and technology of thin film solar cells. Shanghai: Shanghai ke xue ji shu chu ban she, 2013.
Знайти повний текст джерелаYing Han Han Ying tai yang dian chi ci hui: English-Chinese Chinese-English vocabulary of solar cell. [Peking]: Neng yuan chu ban she, 1986.
Знайти повний текст джерелаMyeyeryakova, Vyera, and Viktor Starodubov. CNC Metal-cutting Machines. ru: INFRA-M Academic Publishing LLC., 2015. http://dx.doi.org/10.12737/5721.
Повний текст джерелаChu ci yu shang gu li shi wen hua yan jiu: Zhongguo gu dai tai yang xun huan wen hua jie mi. Jinan: Qi Lu shu she, 1998.
Знайти повний текст джерелаЧастини книг з теми "CHC solver"
Gurfinkel, Arie. "Program Verification with Constrained Horn Clauses (Invited Paper)." In Computer Aided Verification, 19–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_2.
Повний текст джерелаBlicha, Martin, Konstantin Britikov, and Natasha Sharygina. "The Golem Horn Solver." In Computer Aided Verification, 209–23. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_10.
Повний текст джерелаZlatkin, Ilia, and Grigory Fedyukovich. "Maximizing Branch Coverage with Constrained Horn Clauses." In Tools and Algorithms for the Construction and Analysis of Systems, 254–72. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_14.
Повний текст джерелаFedyukovich, Grigory, and Gidon Ernst. "Bridging Arrays and ADTs in Recursive Proofs." In Tools and Algorithms for the Construction and Analysis of Systems, 24–42. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_2.
Повний текст джерелаGarcia-Contreras, Isabel, V. K. Hari Govind, Sharon Shoham, and Arie Gurfinkel. "Fast Approximations of Quantifier Elimination." In Computer Aided Verification, 64–86. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_4.
Повний текст джерелаOppermann, Hermann, and Matthias Hutter. "Au/Sn Solder." In Handbook of Wafer Bonding, 119–38. Weinheim, Germany: Wiley-VCH Verlag GmbH & Co. KGaA, 2012. http://dx.doi.org/10.1002/9783527644223.ch7.
Повний текст джерелаClarke, Sue. "The Illustrator as Visual Problem Solver." In A Companion to Illustration, 199–228. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2019. http://dx.doi.org/10.1002/9781119185574.ch9.
Повний текст джерелаBradley, Andrew M. "A Hybrid Multithreaded Direct Sparse Triangular Solver." In 2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing, 13–22. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2016. http://dx.doi.org/10.1137/1.9781611974690.ch2.
Повний текст джерелаGardi, Frédéric, Thierry Benoist, Julien Darlay, Bertrand Estellon, and Romain Megel. "Toward an Optimization Solver Based on Neighborhood Search." In Mathematical Programming Solver Based on Local Search, 53–64. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2014. http://dx.doi.org/10.1002/9781118966464.ch3.
Повний текст джерелаFaella, Marco, and Gennaro Parlato. "Reasoning About Data Trees Using CHCs." In Computer Aided Verification, 249–71. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_13.
Повний текст джерелаТези доповідей конференцій з теми "CHC solver"
Zhu, He, Stephen Magill, and Suresh Jagannathan. "A data-driven CHC solver." In PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3192366.3192416.
Повний текст джерелаTong, Timothy, Mohsen Abou-Ellail, Yuan Li, and Karam R. Beshay. "Numerical Computation of Reacting Flow in Porous Burners With an Extended CH4-Air Reaction Mechanism." In ASME 2004 Heat Transfer/Fluids Engineering Summer Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/ht-fed2004-56012.
Повний текст джерелаTong, Timothy W., Mohsen M. M. Abou-Ellail, Yuan Li, and Karam R. Beshay. "Numerical Simulation of Reacting Flows in Radiant Porous Burners." In ASME 2005 Summer Heat Transfer Conference collocated with the ASME 2005 Pacific Rim Technical Conference and Exhibition on Integration and Packaging of MEMS, NEMS, and Electronic Systems. ASMEDC, 2005. http://dx.doi.org/10.1115/ht2005-72008.
Повний текст джерелаLu, Chao, Zhao Hu, Bei Xie, and Ning Zhang. "Quantum CFD Simulations for Heat Transfer Applications." In ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/imece2020-23915.
Повний текст джерелаAmaral, Sergio, Tom Verstraete, Rene´ Van den Braembussche, and Tony Arts. "Design and Optimization of the Internal Cooling Channels of a HP Turbine Blade: Part I—Methodology." In ASME Turbo Expo 2008: Power for Land, Sea, and Air. ASMEDC, 2008. http://dx.doi.org/10.1115/gt2008-51077.
Повний текст джерелаGoormans-Francke, Colinda, Guy Carabin, and Charles Hirsch. "Mesh Generation for Conjugate Heat Transfer Analysis of a Cooled High Pressure Turbine Stage." In ASME Turbo Expo 2008: Power for Land, Sea, and Air. ASMEDC, 2008. http://dx.doi.org/10.1115/gt2008-50660.
Повний текст джерелаMa, Ming, and Hamid Emami-Meybodi. "Diffusion-Based Multiphase Multicomponent Modeling of Cyclic Solvent Injection in Ultratight Reservoirs." In SPE Annual Technical Conference and Exhibition. SPE, 2022. http://dx.doi.org/10.2118/210480-ms.
Повний текст джерелаTarokh, A., A. A. Mohamad, and L. Jiang. "Non-Premixed CH4 Combustion in a Porous Medium." In ASME 2009 International Mechanical Engineering Congress and Exposition. ASMEDC, 2009. http://dx.doi.org/10.1115/imece2009-12945.
Повний текст джерелаGunson, M. R., M. C. Abrams, C. B. Farmer, L. L. Lowes, C. P. Rinsland, and R. Zander. "Results from the flight of the Atmospheric Trace Molecule Spectroscopy on the ATLAS-1 Space Shuttle Mission." In Optical Remote Sensing of the Atmosphere. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/orsa.1993.ma.4.
Повний текст джерелаKim, Jong Won, Kyu Sung Sim, Hyun Myung Son, and Kwang Deog Jung. "Thermochemical Hydrogen Production Using Ni-Ferrite and CH4." In ASME 2003 International Solar Energy Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/isec2003-44084.
Повний текст джерелаЗвіти організацій з теми "CHC solver"
Newell, J. D. Impact of the next generation solvent on DWPF CPC processing. Office of Scientific and Technical Information (OSTI), February 2013. http://dx.doi.org/10.2172/1063805.
Повний текст джерелаTownley, David, and Paul Gee. Combined Heat & Power Using the Infinia Concentrated Solar CHP PowerDish System. Fort Belvoir, VA: Defense Technical Information Center, August 2013. http://dx.doi.org/10.21236/ada607481.
Повний текст джерелаErvin, Kelly, Karl Smink, Bryan Vu, and Jonathan Boone. Ship Simulator of the Future in virtual reality. Engineer Research and Development Center (U.S.), September 2022. http://dx.doi.org/10.21079/11681/45502.
Повний текст джерелаNewell, J., D. Peeler, T. Edwards, M. Hay, and M. Stone. DWPF FLOWSHEET STUDIES WITH SIMULANT TO DETERMINE THE IMPACT OF NEXT GENERATION SOLVENT ON THE CPC PROCESS AND GLASS FORMULATION. Office of Scientific and Technical Information (OSTI), June 2011. http://dx.doi.org/10.2172/1018485.
Повний текст джерела