Готові списки джерел за темами / Parametric programs

Добірка наукової літератури з теми "Parametric programs"

Автор: Grafiati
Опубліковано: 6 вересня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Parametric programs".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Parametric programs"

1

Janakiraman, Ganesh, and Sridhar Seshadri. "Parametric concavity in stochastic dynamic programs." Computers & Industrial Engineering 61, no. 1 (August 2011): 98–102. http://dx.doi.org/10.1016/j.cie.2011.02.017.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

El-Kafrawy, M. M., N. A. El-Ramly, and R. A. Mahmoud. "On fuzzy convexity of parametric programs." Microelectronics Reliability 26, no. 2 (January 1986): 235–39. http://dx.doi.org/10.1016/0026-2714(86)90717-1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Warburton, A. R. "Parametric Solution of Bicriterion Linear Fractional Programs." Operations Research 33, no. 1 (February 1985): 74–84. http://dx.doi.org/10.1287/opre.33.1.74.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Glover, Fred. "Parametric tabu-search for mixed integer programs." Computers & Operations Research 33, no. 9 (September 2006): 2449–94. http://dx.doi.org/10.1016/j.cor.2005.07.009.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Nieszporek, Tadeusz, and Andrzej Piotrowski. "Parametric Programming of CNC Machine Tools." Applied Mechanics and Materials 282 (January 2013): 203–10. http://dx.doi.org/10.4028/www.scientific.net/amm.282.203.

Повний текст джерела
Анотація:
CNC machine tools are increasingly often used in industry, and the development of the methods of their programming is also proceeding. Modern multipurpose multi-axial machine tools are programmed using special CAD/CAM software programs. Universal special programs for controlling CNC machine tools can, however, be generated in programs written in high-level languages. An example can be the machining of gears on universal CNC machine tools using versatile machining tools.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Fiacco, Anthony V. "Global multi-parametric optimal value bounds and solution estimates for separable parametric programs." Annals of Operations Research 27, no. 1 (December 1990): 381–95. http://dx.doi.org/10.1007/bf02055203.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

DRABENT, WŁODZIMIERZ, JAN MAŁUSZYŃSKI, and PAWEŁ PIETRZAK. "Using parametric set constraints for locating errors in CLP programs." Theory and Practice of Logic Programming 2, no. 4-5 (July 2002): 549–610. http://dx.doi.org/10.1017/s1471068402001473.

Повний текст джерела
Анотація:
This paper introduces a framework of parametric descriptive directional types for Constraint Logic Programming (CLP). It proposes a method for locating type errors in CLP programs, and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving the correctness of logic programs to the case of parametric specifications. Set constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved, and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Fu, Norie, and Takafumi Shibuta. "An algebraic algorithm for solving parametric integer programs." Discrete Applied Mathematics 245 (August 2018): 253–64. http://dx.doi.org/10.1016/j.dam.2017.09.001.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Jiao, Hongwei, Yong-Qiang Chen, and Wei-Xin Cheng. "A Novel Optimization Method for Nonconvex Quadratically Constrained Quadratic Programs." Abstract and Applied Analysis 2014 (2014): 1–11. http://dx.doi.org/10.1155/2014/698489.

Повний текст джерела
Анотація:
This paper presents a novel optimization method for effectively solving nonconvex quadratically constrained quadratic programs (NQCQP) problem. By applying a novel parametric linearizing approach, the initial NQCQP problem and its subproblems can be transformed into a sequence of parametric linear programs relaxation problems. To enhance the computational efficiency of the presented algorithm, a cutting down approach is combined in the branch and bound algorithm. By computing a series of parametric linear programs problems, the presented algorithm converges to the global optimum point of the NQCQP problem. At last, numerical experiments demonstrate the performance and computational superiority of the presented algorithm.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Jiao, Hongwei, and Rongjiang Chen. "A parametric linearizing approach for quadratically inequality constrained quadratic programs." Open Mathematics 16, no. 1 (April 20, 2018): 407–19. http://dx.doi.org/10.1515/math-2018-0037.

Повний текст джерела
Анотація:
AbstractIn this paper we propose a new parametric linearizing approach for globally solving quadratically inequality constrained quadratic programs. By utilizing this approach, we can derive the parametric linear programs relaxation problem of the investigated problem. To accelerate the computational speed of the proposed algorithm, an interval deleting rule is used to reduce the investigated box. The proposed algorithm is convergent to the global optima of the initial problem by subsequently partitioning the initial box and solving a sequence of parametric linear programs relaxation problems. Finally, compared with some existing algorithms, numerical results show higher computational efficiency of the proposed algorithm.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Parametric programs"

1

Allende, Gemayqzel Bouza. "Mathematical programs with equilibrium constraints: solution techniques from parametric optimization." Enschede : University of Twente [Host], 2006. http://doc.utwente.nl/56164.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Mohd, Nasir M. T. "Growth estimation in some species of bivalves, gastropods and crustaceans by the ELEFAN programs and some other graphical and non-parametric methods." Thesis, Swansea University, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638217.

Повний текст джерела
Анотація:
The performance of the computer programs Compleat ELEFAN, MIX, ELEFAN I, SLCA and PROJMAT was investigated using real data of six species: the bivalves Cerastoderma edule, Abra alba and Tellina tenuis; the gastropods Acteon tornatilis and Rissoa parva and the crustacean Carcinus maenas. The preciseness of estimates produced by these programs has been verified by comparing with results obtained from age-based analyses (using annuli) in C.edule and A.alba. The age-based analyses support the accuracy of both Compleat ELEFAN and MIX whose estimates were shown to be nearly identical to each other. Estimates by ELEFAN I (LFDA), which utilises a non-seasonalised version of the von Bertalanffy growth model, were generally less close to the age-based estimate and to these two programs. Relatively poorer estimates were also obtained when SLCA or PROJMAT was employed. In C.edule, using modal class progression analysis Compleat ELEFAN overestimate L∞ by 3.9% and underestimate K by 4.5%. MIX overestimate both L∞ and K by only 0.9% and 1.5%, respectively. ELEFAN I (LFDA) overestimate L∞ by 7.1%, and K by 6.1% SLCA overestimate L∞ by 10.4% and underestimate K by 24.2% while PROJMAT overestimate L∞ by 10.4% but underestimate K by 39.4%. The general pattern of results obtained in C.edule was repeated in A.alba and the other species, although in the latter no verification can be carried out.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Švec, Dalibor. "Výpočtový program pro návrh výměníku tepla." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-443201.

Повний текст джерела
Анотація:
The diploma thesis is focused on creating a calculation software for designing heat exchanger. The software will not calculate one single heat exchanger but will recommend all heat exchangers which meet the requirements. Then, user can decide which heat exchanger is best suited for the specific application and make a comprehensive calculation. Part of the diploma thesis is to verify correctness of the software and make a parametric studies. Parametric studies will be focused on baffle cut, baffle spacing, tube pitch, and tube thickness and its effect on heat transfer and pressure drop.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Hasan, Talha. "Parametric analysis of part suitability in Additive Manufacturing." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113519.

Повний текст джерела
Анотація:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and Management Program, 2017.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 79-81).
Additive Manufacturing (AM), with its bottom-up approach enables the fabrication of highly complex geometries, the combination of multiple materials to achieve specific physical properties, and the consolidation of assemblies into single parts. Although many of the prominent processes were invented 20-30 years ago, we are now seeing rapid performance improvement and the synthesis of innovative processes that greatly expand the applications of AM. That being said, there are significant barriers to entry, one being the low throughput of additive processes when compared with more conventional methods, another being the high cost of introducing AM processes into current supply chains. Identifying key use cases where AM can be of maximum benefit is pivotal to exploit its potential. This research aims to provide methodology and tools to enable rapid estimation for part suitability in AM with physics-based and predictive models. A method is presented to estimate build time for parts manufactured via the Selective Laser Sintering process, utilizing specific metrics for part geometry and machine specific parameters. Key elements of the AM cost function are identified using the estimation model, paying close attention to assessing the impact of machine cost on the final part. In summary, these tools can be expanded to allow for not only part selection in AM, but also to act as decision tools when designing equipment..
by Talha Hasan.
S.M. in Engineering and Management
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Farbood, Morwaread Mary. "A quantitative, parametric model of musical tension." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/34182.

Повний текст джерела
Анотація:
Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2006.
Includes bibliographical references (leaves [125]-132).
This thesis presents a quantitative, parametric model for describing musical tension. While the phenomenon of tension is evident to listeners, it is difficult to formalize due to its subjective and multi-dimensional nature. The model is therefore derived from empirical data. Two experiments with contrasting approaches are described. The first experiment is an online test with short musical excerpts and multiple choice answers. The format of the test makes it possible to gather large amounts of data. The second study requires fewer subjects and collects real-time responses to musical stimuli. Both studies present test subjects with examples that take into account a number of musical parameters including harmony, pitch height, melodic expectation, dynamics, onset frequency, tempo, and rhythmic regularity. The goal of the first experiment is to confirm that the individual musical parameters contribute directly to the listener's overall perception of tension. The goal of the second experiment is to explore linear and nonlinear models for predicting tension given descriptions of the musical parameters for each excerpt. The resulting model is considered for potential incorporation into computer-based applications. Specifically, it could be used as part of a computer-assisted composition environment. One such application, Hyperscore, is described and presented as a possible platform for integration.
by Morwaread M. Farbood.
Ph.D.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Forti, Nadia Cazarim da Silva. "Estudo parametrico de estruturas tubulares com ligações multiplanares." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/257812.

Повний текст джерела
Анотація:
Orientador: João Alberto Venegas Requena
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo
Made available in DSpace on 2018-08-15T22:06:00Z (GMT). No. of bitstreams: 1 Forti_NadiaCazarimdaSilva_D.pdf: 4434332 bytes, checksum: 7a022dba8cf147d4f048eb4863373d71 (MD5) Previous issue date: 2010
Resumo: Este trabalho apresenta um estudo paramétrico comparativo de ligações do tipo K e KK utilizando perfis tubulares circulares com afastamento entre diagonais e carregadas simetricamente. Para se comparar as ligações, foi desenvolvido um modelo numérico através do programa comercial de elementos finitos Ansys. Também foram desenvolvidos dois programas auxiliares para facilitar o estudo paramétrico. Foram analisadas 55 ligações do tipo KK e suas correspondentes K, comparando-se suas resistências. O objetivo deste trabalho é propor um critério objetivo para definir os modos de falha (1 e 2) da ligação tipo KK baseado na deformação diametral do banzo. O modo de falha 1 ocorre quando um par de diagonais vizinhas, carregadas no mesmo sentido, empurra ou puxa, a parede do banzo e no segundo, chamado modo 2 acontece uma deformação diametral da parede do banzo na região entre as diagonais vizinhas, criando quinas e dobras entre essas diagonais. Outro objetivo é estabelece uma demarcação do limite entre os dois modos de falha como uma função do afastamento transversal entre as diagonais. Os resultados permitiram o desenvolvimento de equações que preveem as resistências das ligações tipo KK, para os modos de falha 1 e 2 (plastificação da parede do banzo), a partir da resistência da ligação tipo K correspondente
Abstract: This work presents a parametric study of K and KK tubular steel connection. Gap connections with symmetric loading are analyzed. A numerical model using the commercial finite element software Ansys is proposed to compare K and KK connection resistances. Two auxiliary softwares are developed for setting the numerical model and to post-process results. A set of 55 KK connections and their correspondent K connections are analyzed and their resistances are compared. The objective of this work is purpose define the failure mode (1 or 2) of KK connections. This criteria is based on the chord diametric deformation. The results allowed the definition of limit values in function of the transversal gap for determining the connection failure mode. The connection resistance obtained in the parametric study allowed the development of an analytical expression which predict the KK connections resistance from the resistance of its correspondent K connection
Doutorado
Estruturas
Doutor em Engenharia Civil
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Nattinger, Elena Jessop. "The body parametric : abstraction of vocal and physical expression in performance." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/95589.

Повний текст джерела
Анотація:
Thesis: Ph. D., Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2014.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 193-199).
Performing artists have frequently used technology to sense and extend the body's natural expressivity via live control of multimedia. However, the sophistication, emotional content, and variety of expression possible through the original physical channels of voice and movement are generally not captured or represented by these technologies and thus cannot be intuitively transferred from body to digital media. Additionally, relevant components of expression vary between different artists, performance pieces, and output modalities, such that any single model for describing movement and the voice cannot be meaningful in all contexts. This dissertation presents a new framework for flexible parametric abstraction of expression in vocal and physical performance, the Expressive Performance Extension Framework. This framework includes a set of questions and principles to guide the development of new extended performance works and systems for performance extension, particularly those incorporating machine learning techniques. Second, this dissertation outlines the design of a multi-layered computational workflow that uses machine learning for the analysis and recognition of expressive qualities of movement and voice. Third, it introduces a performance extension toolkit, the Expressive Performance Extension System, that integrates key aspects of the theoretical framework and computational workflow into live performance contexts. This system and these methodologies have been tested through the creation of three performance and installation works: a public installation extending expressive physical movement (the Powers Sensor Chair), an installation exploring the expressive voice (Vocal Vibrations), and a set of performances extending the voice and body (Crenulations and Excursions and Temporal Excursions). This work lays the groundwork for systems that can be true extensions of and complements to a live performance, by recognizing and responding to subtleties of timing, articulation, and expression that make each performance fundamentally unrepeatable and unique.
by Elena Jessop Nattinger.
Ph. D.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Pompei, F. Joseph (Frank Joseph) 1973. "Sound from ultrasound : the parametric array as an audible sound source." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/7987.

Повний текст джерела
Анотація:
Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2002.
Vita.
Includes bibliographical references (leaves 91-94).
A parametric array exploits the nonlinearity of the propagation medium to emit or detect acoustic waves in a spatially versatile manner, permitting concise, narrow directivity patterns otherwise possible only with physically very large transducer geometries. This thesis explores the use of the parametric array as an audible sound source, permitting audible sound to be generated with very high directivity compared to traditional loudspeakers of comparable size. The thesis begins with a review of basic underlying mathematics and relevant approximate solutions of nonlinear acoustic systems. Then, these solutions are used to construct suitable methods of ultrasonic synthesis for low-distortion audio reproduction. Geometrical modelling methods for predicting the acoustic distribution are presented and evaluated, and practical applications are explored experimentally. Issues of risk associated with ultrasonic exposure are presented, and the feasibility of a phased-array system for beam control is explored.
F. Joseph Pompei.
Ph.D.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Lee, Ungtae (Jeremy Ungtae). "Improving the parametric method of cost estimating relationships of naval ships." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92134.

Повний текст джерела
Анотація:
Thesis: S.M. in Naval Architecture and Marine Engineering, Massachusetts Institute of Technology, Department of Mechanical Engineering, 2014.
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, System Design and Management Program, 2014.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 68-70).
In light of recent military budget cuts, there has been a recent focus on determining methods to reduce the cost of Navy ships. A RAND National Defense Research Institute study showed many sources of cost escalation for Navy ships. Among them included characteristic complexity of modem Naval ships, which contributed to half of customer driven factors. This paper focuses on improving the current parametric cost estimating method used as referenced in NAVSEA's Cost Estimating Handbook. Currently, weight is used as the most common variable for determining cost in the parametric method because it's a consistent physical property and most readily available. Optimizing ship design based on weight may increase density and complexity because ship size is minimized. This paper will introduce electric power density and outfit density as additional variables to the parametric cost estimating equation and will show how this can improve the early stage cost estimating relationships of Navy ships.
by Ungtae Lee.
S.M. in Naval Architecture and Marine Engineering
S.M. in Engineering and Management
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Bygde, Stefan. "Static WCET Analysis Based on Abstract Interpretation and Counting of Elements." Licentiate thesis, Västerås : School of Innovation, Design and Engineering, Mälardalen University, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7854.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Parametric programs"

1

Mechanical desktop 5: Parametric modeling. Lawrence, Kan: CMP Books, 2001.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Corporation, Schroff Development, ed. Parametric modeling with Autodesk Inventor 2016. Mission, Kan: SDC Publications, 2015.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

N, Pistikopoulos Efstratios, Georgiadis Michael C, and Dua Vivek, eds. Multi-parametric programming : theory, algorithms and applications. Weinheim: Wiley-VCH, 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

C, Georgiadis Michael, Pistikopoulos Efstratios N, and Dua Vivek, eds. Multi-parametric model-based control: Theory and applications. Weinheim: Wiley-VCH, 2007.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Center, Langley Research, ed. An interactive software for conceptual wing flutter analysis and parametric study. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1996.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Tedeschi, Arturo. Parametric architecture: With Grasshopper® : primer. Brienza (Potenza), Italy: Le Penseur, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Coshall, John. A computer program for Kelly's non-parametric factor analysis: Use, application and program listing. Egham: Royal Holloway and Bedford New College, 1986.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Inc, Parametrix. Market assessment for used oil filters and used antifreeze recycling / prepared for Department of Ecology, Waste Reduction, Recycling and Litter Control Program ; prepared by Parametrix, Inc. Olympia, Wash: The Dept., 1991.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

de Sá Caetano, Elsa. Cable Vibrations in Cable-Stayed Bridges. Zurich, Switzerland: International Association for Bridge and Structural Engineering (IABSE), 2007. http://dx.doi.org/10.2749/sed009.

Повний текст джерела
Анотація:
<p>The fifty years of experience of construction of cable-stayed bridges since their establishment as a new category among the classical types have brought an immense progress, ranging from design and conception to materials, analysis, construction, observation and retrofitting. The growing construction of cable-stayed bridges has also triggered researchers’ and designers’ attention to the problem of cable vibrations. Intensive research has been developed all over the world during the last two decades as a consequence of the numerous cases of cable vibrations exhibited by all types of cable-stayed bridges.<p>Despite the increased knowledge of the various vibration phenomena, most of the outcomes and research results have been published in journals and conference proceedings and scarce information is currently provided by the existing recommendations and codes. <p>The present book provides a comprehensive survey on the governing phenomena of cable vibration, both associated with direct action of wind and rain: buffeting, vortex-shedding, wake effects, rain-wind vibration; and resulting from the indirect excitation through anchorage oscillation: external and parametric excitation. Methodologies for assessment of the effects of those phenomena are presented and illustrated by practical examples. Control of cable vibrations is then discussed and state-of-art results on the design of passive control devices are presented. <p>The book is complemented with a series of case reports reflecting the practical approach shared by experienced designers and consultants: Yves Bournand (VSL International), Chris Geurts (TNO), Carl Hansvold (Johs. Holt), Allan Larsen (Cowi) and Randall Poston (WDP & Associates).
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Multi-parametric programming. Weinheim: Wiley-VCH, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Parametric programs"

1

Chen, Zhe, Zhemin Wang, Yunlong Zhu, Hongwei Xi, and Zhibin Yang. "Parametric Runtime Verification of C Programs." In Tools and Algorithms for the Construction and Analysis of Systems, 299–315. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49674-9_17.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Jahanian, Hamid. "Parametric Faults in Safety Critical Programs." In Formal Methods for Industrial Critical Systems, 51–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85248-1_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Chareton, Christophe, Sébastien Bardin, François Bobot, Valentin Perrelle, and Benoît Valiron. "An Automated Deductive Verification Framework for Circuit-building Quantum Programs." In Programming Languages and Systems, 148–77. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_6.

Повний текст джерела
Анотація:
AbstractWhile recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. In this paper we propose Qbricks, a formal verification environment for circuit-building quantum programs, featuring both parametric specifications and a high degree of proof automation. We propose a logical framework based on first-order logic, and develop the main tool we rely upon for achieving the automation of proofs of quantum specification: PPS, a parametric extension of the recently developed path sum semantics. To back-up our claims, we implement and verify parametric versions of several famous and non-trivial quantum algorithms, including the quantum parts of Shor’s integer factoring, quantum phase estimation (QPE) and Grover’s search.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Verma, Ram U. "Parametric Optimality in Semi-infinite Fractional Programs." In Infosys Science Foundation Series, 173–91. Singapore: Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-6256-8_8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Konstantinidis, Athanasios, Paul H. J. Kelly, J. Ramanujam, and P. Sadayappan. "Parametric GPU Code Generation for Affine Loop Programs." In Languages and Compilers for Parallel Computing, 136–51. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-09967-5_8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Fahrenberg, Uli, Kim Guldstrand Larsen, Axel Legay, and Louis-Marie Traonouez. "Parametric and Quantitative Extensions of Modal Transition Systems." In From Programs to Systems. The Systems perspective in Computing, 84–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54848-2_6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Johnson, Andrew, and Thomas Wahl. "Delay-Bounded Scheduling Without Delay!" In Computer Aided Verification, 380–402. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_18.

Повний текст джерела
Анотація:
AbstractWe consider the broad problem of analyzing safety properties of asynchronous concurrent programs under arbitrary thread interleavings. Delay-bounded deterministic scheduling, introduced in prior work, is an efficient bug-finding technique to curb the large cost associated with full scheduling nondeterminism. In this paper we first present a technique to lift the delay bound for the case of finite-domain variable programs, thus adding to the efficiency of bug detection the ability to prove safety of programs under arbitrary thread interleavings. Second, we demonstrate how, combined with predicate abstraction, our technique can both refute and verify safety properties of programs with unbounded variable domains, even for unbounded thread counts. Previous work has established that, for non-trivial concurrency routines, predicate abstraction induces a highly complex abstract program semantics. Our technique, however, never statically constructs an abstract parametric program; it only requires some abstract-states set to be closed under certain actions, thus eliminating the dependence on the existence of verification algorithms for abstract programs. We demonstrate the efficiency of our technique on many examples used in prior work, and showcase its simplicity compared to earlier approaches on the unbounded-thread Ticket Lock protocol.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Lahav, Ori, Brijesh Dongol, and Heike Wehrheim. "Rely-Guarantee Reasoning for Causally Consistent Shared Memory." In Computer Aided Verification, 206–29. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_11.

Повний текст джерела
Анотація:
AbstractRely-guarantee (RG) is a highly influential compositional proof technique for concurrent programs, which was originally developed assuming a sequentially consistent shared memory. In this paper, we first generalize RG to make it parametric with respect to the underlying memory model by introducing an RG framework that is applicable to any model axiomatically characterized by Hoare triples. Second, we instantiate this framework for reasoning about concurrent programs under causally consistent memory, which is formulated using a recently proposed potential-based operational semantics, thereby providing the first reasoning technique for such semantics. The proposed program logic, which we call $${\textsf{Piccolo}}$$ Piccolo , employs a novel assertion language allowing one to specify ordered sequences of states that each thread may reach. We employ $${\textsf{Piccolo}}$$ Piccolo for multiple litmus tests, as well as for an adaptation of Peterson’s algorithm for mutual exclusion to causally consistent memory.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Fang, Ya Ping, and Xiao Qi Yang. "Smooth Representations of Optimal Solution Sets of Piecewise Linear Parametric Multiobjective Programs." In Variational Analysis and Generalized Differentiation in Optimization and Control, 163–76. New York, NY: Springer New York, 2010. http://dx.doi.org/10.1007/978-1-4419-0437-9_8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Badings, Thom, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, and Nils Jansen. "Efficient Sensitivity Analysis for Parametric Robust Markov Chains." In Computer Aided Verification, 62–85. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37709-9_4.

Повний текст джерела
Анотація:
AbstractWe provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the often unrealistic assumption that precise probabilities are available. We measure sensitivity in terms of partial derivatives with respect to the uncertain transition probabilities regarding measures such as the expected reward. As our main contribution, we present an efficient method to compute these partial derivatives. To scale our approach to models with thousands of parameters, we present an extension of this method that selects the subset of k parameters with the highest partial derivative. Our methods are based on linear programming and differentiating these programs around a given value for the parameters. The experiments show the applicability of our approach on models with over a million states and thousands of parameters. Moreover, we embed the results within an iterative learning scheme that profits from having access to a dedicated sensitivity analysis.
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Parametric programs"

1

Unnikrishnan, Leena, and Scott D. Stoller. "Parametric heap usage analysis for functional programs." In the 2009 international symposium. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1542431.1542451.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Johannesson, H. L. "Parametric Computer Aided Hydraulic Cylinder Design: Piston Component Modeling." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0046.

Повний текст джерела
Анотація:
Abstract In this work a procedure for parametric computer aided design of hydraulic cylinder pistons has been developed. Such a piston is a kind of component that has a geometry that is dependent and determined of surrounding and interacting parts. The piston seal has a very strong influence on the piston geometry, and the kind of piston design rules that can be found in piston seal catalogues have been used in the developed computer programs. The design procedure is divided in two parts. In the piston family design part, a piston family product model, which is common for a group of pistons with different dimensions but uses the same seal cross section, is created and stored in a piston family product model data base. In the member design part the piston family data is retrieved, dimension determining parameters are given, and one particular piston of a certain size is created and presented. The software system needed in order to be able to apply the suggested procedure consists of - a CAD-system, containing a graphic application program language - a specific CAD-system dependent interface program written in the graphic application program language - two CAD-system independent interface programs written in a common high level language lite FORTRAN - CAD-system independent product model data bases All these programs except the CAD-system have been developed in this work, and the use of the programs is demonstrated with an example.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

HOENER, W., and SAMUEL WAGNER. "The development of a parametric cost estimating model for test activities." In Space Programs and Technologies Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1992. http://dx.doi.org/10.2514/6.1992-1376.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

RUFF, THERON, NIRANJAN RAO, and SUSAN DOLL. "A parametric analysis of transportation systems for use on the lunarsurface." In Space Programs and Technologies Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1992. http://dx.doi.org/10.2514/6.1992-1570.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ancona, Davide, Angelo Ferrando, Luca Franceschini, and Viviana Mascardi. "Parametric Trace Expressions for Runtime Verification of Java-Like Programs." In ECOOP '17: European Conference on Object-Oriented Programming. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3103111.3104037.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Olivry, Auguste, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello. "Automated derivation of parametric data movement lower bounds for affine programs." In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3385412.3385989.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Scott, Jeffery, and John Olds. "Transforming aerodynamic datasets into parametric equations for use in multidisciplinary design optimization." In AIAA Defense and Civil Space Programs Conference and Exhibit. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1998. http://dx.doi.org/10.2514/6.1998-5208.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Johannesson, Hans L. "Parametric Computer Aided Hydraulic Cylinder Design: Cylinder Product Modeling." In ASME 1990 Design Technical Conferences. American Society of Mechanical Engineers, 1990. http://dx.doi.org/10.1115/detc1990-0036.

Повний текст джерела
Анотація:
Abstract In a hydraulic cylinder each cylinder component contributes to the total function, and the components interact and are dependent on each other. The geometry of some components can be completely determined by other surrounding interacting components. In this work it is shown how computer aid can be applied in hydraulic cylinder design when considering component interaction. A special hydraulic cylinder product model is developed. It is stored in an external CAD system independent data base. The parameters stored in the data base are used when retrieving component data from component family data bases, standard component data bases, and when running parametric component and system design programs. The software system used in this work consists of an ordinary 2D wire frame modeling turn-key CAD system, FORTRAN application programs, a data base management system, CAD system independent data bases and CAD system dependent interface programs.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Heng-You Lan, Chang-Jiang Liu, and Tian-Xiu Lu. "Method of centres for solving mathematical programs with fuzzy parametric variational inequality constraints." In 11th International Symposium on Operations Research and its Applications in Engineering, Technology and Management 2013 (ISORA 2013). Institution of Engineering and Technology, 2013. http://dx.doi.org/10.1049/cp.2013.2282.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Li, Peng, Guodong Li, and Ganesh Gopalakrishnan. "Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs." In 2012 SC - International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 2012. http://dx.doi.org/10.1109/sc.2012.94.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Parametric programs"

1

Maurer, William, and Gregory Deskins. GRI-91-0329 Gas Reservoir Wellbore Orientation Screening Study. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), October 1991. http://dx.doi.org/10.55274/r0011206.

Повний текст джерела
Анотація:
This Final Report summarizes the results of a project to develop a preliminary screening process to assist reservoir engineers in evaluating various gas reservoir prospects. A gas reservoir screening program was developed during the project. Designed for use with desktop PCs, GMOD is an analytical gas well production model based on published theoretical reservoir models and is capable of generating well production data quickly and efficiently for horizontal, vertical, slant, and hydraulically-fractured vertical gas wells. A parametric study was performed to investigate the effects of numerous well bore and reservoir parameters on gas well productivity. This study was conducted with GMOD and other in-house Maurer Engineering programs. Wellbore and reservoir parameters were varied independently and effects on gas production from the four well types were determined. A survey of the gas industry was conducted to determine the extent of the application of horiz.ontal drilling technology to gas exploration. The results show that at least 76 horizontal gas wells have been drilled and that the use of horizontal drilling technology for gas production will continue to increase in the future.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Dietzmann. L51520 Parametric NOx Control Method Tests for In-Use Engines. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), March 1986. http://dx.doi.org/10.55274/r0010519.

Повний текст джерела
Анотація:
Technical report presenting results of an experimental program to reduce NOx emissions through changes in operating controls. Concludes that meaningful reductions can only be achieved at unacceptable engine operating conditions.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Nordham, David J. Automated Ship Auxiliary Systems Design Process -- Ship Parametric Modeling Program. Fort Belvoir, VA: Defense Technical Information Center, March 1993. http://dx.doi.org/10.21236/ada261834.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Olsen and Willson. L51916 Pressure Based Parametric Emission Monitoring Systems (PEMS). Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), April 2002. http://dx.doi.org/10.55274/r0010181.

Повний текст джерела
Анотація:
The natural gas industry operates over 8000 stationary large bore (bore greater than 14 in) natural gas engines for natural gas compression on pipelines and power generation. As emissions regulations become increasingly more stringent, the need for low cost methods for compliance demonstration arises. A PEMS model is one such approach. Research in this area has increased significantly during the last decade. PEMS models for this application utilize parameters commonly measured on industrial engines in the field to predict engine-out emissions. Monitoring emissions in this manner represents a significant cost savings over the periodic use of chemiluminescence NOX analyzers, which are not standard equipment in natural gas compressor stations. PEMS model accuracy is dependent on the quality of the input data, both the training NOX measurements and the selection of input parameters. Hence, it is important to have both reliable data measurement methods and an understanding of engine operating parameters relation to NOX. This work is part of the body of work referred to as the Integrated Test Plan (ITP), performed at the Engines and Energy Conversion Laboratory (EECL). This report details an investigation into Parametric Emissions Monitoring System (PEMS) models. It is the final document to be delivered under the ITP program. Much of the work performed under the ITP program focused on Hazardous Air Pollutants (HAPs) research. However, the emphasis of the PEMS work is on the prediction of oxides of nitrogen (NOX) emissions from large bore natural gas engines. In this work two different PEMS models are developed, a semi-empirical model and a neural network model. The semi-empirical model is based on general relationships between NOX emissions and engine parameters, but contains empirical constants that are determined based on the best fit to engine experimental data. The neural network model utilizes a similar set of input parameters, but relies on the neural network code to determine the relationships between input parameters and measured NOX emissions. The neural network model also contains empirical constants. The mathematics involved in both models is described. A single term semi-empirical model, which has been utilized in the literature as a PEMS model, is applied for comparative purposes.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Parekhelashvili, Mariam, Kushala A. N. Elgiriya-Witharanage, and Sinja Buri. Strengthening Financial Resilience in the Pacific: 16 Lessons Learned from Implementing Climate Risk Insurance Solutions. United Nations University - Institute for Environment and Human Security (UNU-EHS), June 2023. http://dx.doi.org/10.53324/ufyf8878.

Повний текст джерела
Анотація:
Pacific Insurance and Climate Adaptation Programme (PICAP) was one of the first projects of its kind in the Pacific region. It aims to improve the financial preparedness and resilience of Pacific communities against climate change and natural hazards through the development and implementation of innovative and inclusive climate risk insurance products. In addition to the major achievement of developing and launching the first parametric microinsurance products for extreme weather events in Fiji, Vanuatu and Tonga, the programme managed to co-create evidence-based solutions and digital technologies with robust private and public sector engagement and collaborative partnerships with cooperatives and associations. During its inception phase (2021-2022), PICAP has thereby laid a solid foundation for regional expansion. This publication reflects on and captures the key lessons learned of the programme team from developing and implementing parametric microinsurance solutions, specifically in a Small Island Developing States (SIDS) context.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Peterson, James T. CATDAT : A Program for Parametric and Nonparametric Categorical Data Analysis : User's Manual Version 1.0, 1998-1999 Progress Report. Office of Scientific and Technical Information (OSTI), December 1999. http://dx.doi.org/10.2172/756625.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Alexander, Chris. PR-562-184500-R01 Feasibility Study of Piggable Plug Technologies for Onshore Pressure Isolation. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), April 2020. http://dx.doi.org/10.55274/r0011665.

Повний текст джерела
Анотація:
Pipeline isolation tools from three different manufacturers were evaluated using full-scale testing and numerical modeling to evaluate stresses generated in 24-inch diameter pipe material considering tool-induced loads and internal pressure. Finite Element Analysis (FEA) was conducted to calculate stresses and strains considering different pipe sizes, material grades, and internal pressures. The FEA results were used to generate a user-friendly parametric tool that was validated with measurements made using strain gauges installed on the test spools. The program demonstrated that the isolation tools are an effective means for isolating pressures without inducing excessive levels of stress or damage to the internal pipe surfaces.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Maxey. L51537 Power Line Fault Current Coupling to Nearby Natural Gas Pipelines. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), November 1988. http://dx.doi.org/10.55274/r0010412.

Повний текст джерела
Анотація:
Electric and natural gas utilities often find it advantageous to share rights-of-way. Available methods for evaluating electrical effects on gas pipelines have been difficult to use at best, and at worst, incorrect. A generalized approach that addresses inductive and conductive interferences has not been available. Initiated to fill that need, this work is part of a research effort cosponsored by EPRI and the Pipe Line Research Council International, Inc. (PRCI) �A generalized approach to the analysis of the effects of transmission line faults on natural gas transmission pipelines has been developed and is presented in this report. A state of the art user-friendly computational tool has been developed and verified for the analysis of interference between electrical power lines and nearby buried or aboveground pipelines. This computer program, ECCAPP, is distinguished by its ability to model and analyze accurately complex, realistic interactions between pipelines and power lines, using easily obtained input data. The final report consists of three volumes. An independent fourth volume was also developed to simplify the installation of the ECCAPP software.Volume 1 contains the theory upon which the ECCAPP computer program is based. A parametric analysis and graphical charts have been formulated using ECCAPP to permit estimates to be made in the field or during preliminary analyses for situations that are not too complex. A discussion of various useful mitigation methods is included. The discussion is based on previous research work and on the results of the parametric analysis.Volume 2 is a detailed user's manual which describes not only how to use the program itself, but also which engineering data must be sought during an analysis and how to assimilate it into a computer model. A detailed sample problem is included. A detailed \Glossary of Terms\" used by ECCAPP as well as suitable input data forms to be filled by power line and pipeline engineers are provided in the appendices.Volume 3 discusses the modeling and performance of pipeline insulation or coating.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Weeks, Timothy "Dash." DTPH56-13-X-000013 Modern High-Toughness Steels for Fracture Propagation and Arrest Assessment-Phase II. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), September 2018. http://dx.doi.org/10.55274/r0012037.

Повний текст джерела
Анотація:
NIST work developed processes to identify the stress/strain/crack velocity conditions for unstable high-rate ductile crack propagation found in a full-scale pipeline burst test and duplicate those conditions in a medium-scale test. With modeling to validate conditions and assumptions used in reducing the scale of the tests. A medium-scale test to elucidate material property data necessary to qualify high-strength high-toughness steels based on the correlation to large-scale tests. Parametric determination of the material properties governing fracture propagation or arrest-ability was developed. This will assist researchers to determine a relevant and effective small-scale test (or tests) that provides enough information for material selection, design, reliability, as well as integrity and risk assessment. Pipe evaluated includes API5L X70 and X80 pipe. The strain was measured by a three-dimensional digital image correlation system. This project takes a phased approach with complementary research in successive phases beginning with a road map to systematically fill gaps in knowledge and understanding of the problem of unstable high-rate ductile running failures in pipelines. This report is structured to highlight the problem statement with respect to the current state of the art understanding, define knowledge gaps and present the plan, and progress toward meeting the objective. The following sections specifically cover the effort to develop and inform a constitutive material model necessary for the structural model of the medium-scale test. The material testing required to inform the constitutive material model is presented. Conclusions of this phase of the project are also presented in addition to the proposed work in Phase III of the project.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Crocker, Raju, and Yang. L51796 Document CEM Experience in Natural Gas Transmission Industry. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), March 1999. http://dx.doi.org/10.55274/r0010426.

Повний текст джерела
Анотація:
Since passage of the 1990 Clean Air Act Amendments (CAAA), continuous emission monitoring system (CEMS) vendors, manufacturers, research organizations, parametric emissions monitoring system (PEMS) vendors, consultants, and source owner/operators have been developing strategies to satisfy compliance monitoring requirements that may eventually apply to many gas turbines and engines. A variety of CEMS and PEMS approaches have been developed, and evaluated to determine overall performance and cost. In addition, a few natural gas transmission companies have been required to install and operate CEMS on specific engines and turbines in order to comply with existing State permitting requirements or emissions trading programs.Within the next five years, the Environmental Protection Agency (EPA) is expected to promulgate a series of stationary source, air emission regulations that will have a significant impact on many industrial sources. In addition, EPA will be issuing regulatory revisions, policy manuals and guidance documents to further clarify the implementation and enforcement of rules recently promulgated - e.g., Title V Permitting, Compliance Assurance Monitoring (CAM) and Credible Evidence rules. As a part of each of these anticipated rules, revisions, and supporting documents, EPA will require and continue to refine corresponding compliance monitoring procedures and performance specifications. For the natural gas transmission industry, the anticipated regulatory changes could result in substantial increases in the cost of environmental compliance. Costs associated with pollution control (including reductions in engine/turbine efficiency), compliance monitoring, emissions reporting and recordkeeping may all increase as a result of pending regulatory requirements. This report has been prepared to document the natural gas transmission industry's experience operating continuous emission monitoring systems (CEMS) on reciprocating engines and stationary gas turbines and to discuss some of the more critical, technical issues that will have to be addressed if pending regulatory changes require the use of CEMS. In particular, this report provides technical discussions regarding the performance, operation, maintenance and costs of a CEMS program for compliance monitoring of nitrogen oxides emissions.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Parametric programs" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії