We are proudly a Ukrainian website. Our country was attacked by Russian Armed Forces on Feb. 24, 2022.
You can support the Ukrainian Army by following the link: https://u24.gov.ua/.
Even the smallest donation is hugely appreciated!
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Canonical procedures".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Canonical procedures":
1
Klauder, John R. "Revisiting canonical quantization". Modern Physics Letters A 29, n. 21 (7 luglio 2014): 1430020. http://dx.doi.org/10.1142/s0217732314300201.
Conventional canonical quantization procedures directly link various c-number and q-number quantities. Here, we advocate a different association of classical and quantum quantities that renders classical theory a natural subset of quantum theory with ℏ > 0, in conformity with the real world wherein nature has chosen ℏ > 0 rather than ℏ = 0. While keeping the good results of conventional procedures, some examples are presented for which the new procedures offer better results than the conventional ones.
2
Klauder, J. R. "Coherent States and Coordinate-Free Quantization". Zeitschrift für Naturforschung A 52, n. 1-2 (1 febbraio 1997): 69–75. http://dx.doi.org/10.1515/zna-1997-1-219.
Abstract The usual quantization procedures interpret canonical transformations in an active way linking them with unitary transformations, while the quantization procedure offered by coherent states completely separates classical canonical transformations and unitary operator transformations. By exploiting this property, along with a physically motivated shadow metric, it is seen how to realize the quantization process in as coordinate-free a form as holds in classical mechanics.
3
KAELIN, AUGUST, e GEORGE S. MOSCHYTZ. "A NEW COMPREHENSIVE PROCEDURE FOR THE EXACT DESIGN OF CANONIC LDI-TYPE SC LADDER FILTERS". Journal of Circuits, Systems and Computers 01, n. 04 (dicembre 1991): 417–41. http://dx.doi.org/10.1142/s021812669100015x.
A new procedure is given for the exact design of canonic LDI-type SC ladder filters realizing any elliptic discrete-time transfer function, including highpass functions. We show that, in contrast to known exact design procedures, the underlying prototype network should be terminated with so-called half-unit delays in order to preserve the capability of realizing any filter type. We will show, based on such ladder prototypes, simple and stray-insensitive LDI-type SC ladder filters can be derived, which are canonical for any filter type (i.e., every filter pole requires for its realization one stray-insensitive SC integrator without the need for additional amplifiers). Compared to common exact design procedures, simpler SC ladder structures are obtained, in particular, for highpass-type filters. Exact designs of canonic SC highpass ladder filters are presented and compared with corresponding biquad designs.
4
Klauder, John R. "Expending quantization procedures can help quantum field theories and gravity". Journal of Physics: Conference Series 2533, n. 1 (1 giugno 2023): 012020. http://dx.doi.org/10.1088/1742-6596/2533/1/012020.
Abstract Sometimes, canonical quantization has difficulties that can be cured using a new quantization procedure called affine quantization. After briefly introducing this new procedure, we show that its approach to simple models ensures that a valid quantization can be obtained. These valid procedures then are used to help fields and gravity.
5
Banerjee, R., e J. Barcelos-Neto. "Reducible Systems and Embedding Procedures in the Canonical Formalism". Annals of Physics 265, n. 2 (maggio 1998): 134–54. http://dx.doi.org/10.1006/aphy.1997.9998.
Mütze, Tobias, Ekkehard Glimm, Heinz Schmidli e Tim Friede. "Group sequential designs with robust semiparametric recurrent event models". Statistical Methods in Medical Research 28, n. 8 (11 giugno 2018): 2385–403. http://dx.doi.org/10.1177/0962280218780538.
Robust semiparametric models for recurrent events have received increasing attention in the analysis of clinical trials in a variety of diseases including chronic heart failure. In comparison to parametric recurrent event models, robust semiparametric models are more flexible in that neither the baseline event rate nor the process inducing between-patient heterogeneity needs to be specified in terms of a specific parametric statistical model. However, implementing group sequential designs in the robust semiparametric model is complicated by the fact that the sequence of Wald statistics does not follow asymptotically the canonical joint distribution. In this manuscript, we propose two types of group sequential procedures for a robust semiparametric analysis of recurrent events. The first group sequential procedure is based on the asymptotic covariance of the sequence of Wald statistics and it guarantees asymptotic control of the type I error rate. The second procedure is based on the canonical joint distribution and does not guarantee asymptotic type I error rate control but is easy to implement and corresponds to the well-known standard approach for group sequential designs. Moreover, we describe how to determine the maximum information when planning a clinical trial with a group sequential design and a robust semiparametric analysis of recurrent events. We contrast the operating characteristics of the proposed group sequential procedures in a simulation study motivated by the ongoing phase 3 PARAGON-HF trial (ClinicalTrials.gov identifier: NCT01920711) in more than 4600 patients with chronic heart failure and a preserved ejection fraction. We found that both group sequential procedures have similar operating characteristics and that for some practically relevant scenarios, the group sequential procedure based on the canonical joint distribution has advantages with respect to the control of the type I error rate. The proposed method for calculating the maximum information results in appropriately powered trials for both procedures.
7
Kysor, Kragg, e Frederick Parente. "Development of a Distribution Free Multivariate Canonical Analysis". International Journal of Quantitative and Qualitative Research Methods 11, n. 1 (15 gennaio 2023): 47–57. http://dx.doi.org/10.37745/ijqqrm13/vol11n14757.
This study illustrates the use of Median Polish analysis (MP) as a distribution free procedure that can be used to identify multivariate canonical data structures. The MP may be especially useful in situations where the sample sizes are small, or where the distributions do not meet the assumptions of conventional Canonical Correlation analysis (CC). We begin by comparing the CC and MP analyses with a sample multivariate data set. We go on to compare Type 1 error rates for each of these analyses using Monte Carlo procedures in which we manipulated sample size and skewness of the data distributions. Results indicated that Type 1 error was significantly higher for the CC relative to the MP when the distributions were skewed and/or when the sample sizes were n=20 or 30.
8
Klauder, John R. "Enhanced quantum procedures that resolve difficult problems". Reviews in Mathematical Physics 27, n. 05 (giugno 2015): 1530002. http://dx.doi.org/10.1142/s0129055x15300022.
A careful study of the classical/quantum connection with the aid of coherent states offers new insights into various technical problems. This analysis includes both canonical as well as closely related affine quantization procedures. The new tools are applied to several examples including: (1) A quantum formulation that is invariant under arbitrary classical canonical transformations of coordinates; (2) A toy model that for all positive energy solutions has singularities which are removed at the classical level when the correct quantum corrections are applied; (3) A fairly simple model field theory with non-trivial classical behavior that, when conventionally quantized, becomes trivial, but nevertheless finds a proper solution using the enhanced procedures; (4) A model of scalar field theories with non-trivial classical behavior that, when conventionally quantized, becomes trivial, but nevertheless finds a proper solution using the enhanced procedures; (5) A viable formulation of the kinematics of quantum gravity that respects the strict positivity of the spatial metric in both its classical and quantum versions; and (6) A proposal for a non-trivial quantization of [Formula: see text] that is ripe for study by Monte Carlo computational methods. All of these examples use fairly general arguments that can be understood by a broad audience.
9
GERGATSOULIS, MANOLIS, e CHRISTOS NOMIKOS. "A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING". International Journal of Foundations of Computer Science 15, n. 02 (aprile 2004): 417–43. http://dx.doi.org/10.1142/s0129054104002509.
In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e. goal clauses that include atoms which do not refer to specific moments in time, without the need of enumerating all their canonical instances. We also prove soundness, completeness and independence of the computation rule for CSLD-resolution. The new proof procedure overcomes the limitations of a family of proof procedures for temporal logic programming languages, which were based on the notions of canonical program and goal clauses. Moreover, it applies directly to Chronolog programs and it can be easily extended to apply to multi-dimensional logic programs as well as to Chronolog(MC) programs.
10
Soto Jr., M. F., e R. Mirman. "Unitary-group canonical states and matrix elements". Canadian Journal of Physics 67, n. 8 (1 agosto 1989): 774–80. http://dx.doi.org/10.1139/p89-135.
States of unitary groups are realized as multinomials in boson operators, symmetrized to give symmetric-group basis states. From these, matrix elements of the group generators are calculated using the procedures discussed here. A table of basis states and matrix elements of unitary-group representations, and the values of the invariants so generated, is given for SU(1) through SU(4), for all symmetric groups from S(1) through S(3).
Goodwin, James S. "The canonical procedure for suppressing parishes and the experience of the diocese of Fargo, ND". Theological Research Exchange Network (TREN), 2008. http://www.tren.com/search.cfm?p029-0721.
Wells, Emmett G. "A comparative study of the right of defense in canonical penal law and in American criminal law". Online full text .pdf document, available to Fuller patrons only, 2001. http://www.tren.com.
Forcadet, Pierre-Anne. "Conquestus fuit Domino regi : Etude sur le recours au roi de France d'après les arrêts du Parlement (1223-1285)". Thesis, Orléans, 2012. http://www.theses.fr/2012ORLE0002.
Le riche et complexe « siècle de saint Louis » est celui du déploiement d’une justice royale hiérarchisée et professionnelle employant des centaines de maîtres formés dans les universités. La Cour du roi se réunit à Paris à intervalles réguliers lors de sessions en parlement. La monarchie adopte plusieurs réformes qui permettent aux justiciables d’avoir accès à la justice. Les recours sont alors portés, pour une large part, contre le roi lui-même et les exactions de ses agents. Tant de recours différents peuvent être formés qu’une forme de responsabilité de l’administration royale paraît se mettre en place.Un important contentieux est par ailleurs soulevé par les hommes contre leurs seigneurs laïcs ou ecclésiastiques. La justice royale apparaît alors comme un régulateur des relations féodales. L’appel judiciaire au Parlement, qui se systématise contre les jugements des justices concurrentes, ouvre la voie à la concrétisation de la supériorité de la justice royale, que l’on commence à appeler en français : « souveraineté ».Par acculturation, l’offre et la demande de justice se rencontrent et tendent à consacrer les institutions royales en justice de « droit commun ». Les résistances sont nombreuses de la part des justices concurrentes, mais la Cour du roi reçoit aussi leurs plaintes et, tout en étendant son influence, statue dessus en toute impartialité, ce qui contribue également à légitimer la mise en place d’un État de droit The rich and complex « Saint Louis’ Century » is a time of development of a hierarchical and professional royal justice. Hundreds of Masters are trained at the Universities. The king’s Court regularly assembles in Paris during sessions « in parlemento ». The monarchy adopts several reforms allowing an easier access to justice. The recourses are also carried against the king himself and the exactions of his agents. There are so many different types of recourses that the concept of responsibility of the royal administration seems to appear.On the other hand, an important part of the litigations is raised by men against their laïcs or ecclesiastics lords. Royal justice settles as a regulator of the feudal relationships. The judiciary appeal to the Parlement is becoming usual against the other justices. Indeed, it contributes to give concrete expression to the superiority of the king’s justice, which is now called, in French « souveraineté ».By acculturation, the demand and the supply meet and tend to dedicate royal institutions to an « ordinary court ». There are a lot of resistances from other judges, but the curia regis receives and judge impartially these complaints too, which contribute to set of a State under the rule of law
4
Forcadet, Pierre-Anne. "Conquestus fuit Domino regi : Etude sur le recours au roi de France d'après les arrêts du Parlement (1223-1285)". Electronic Thesis or Diss., Orléans, 2012. http://www.theses.fr/2012ORLE0002.
Le riche et complexe « siècle de saint Louis » est celui du déploiement d’une justice royale hiérarchisée et professionnelle employant des centaines de maîtres formés dans les universités. La Cour du roi se réunit à Paris à intervalles réguliers lors de sessions en parlement. La monarchie adopte plusieurs réformes qui permettent aux justiciables d’avoir accès à la justice. Les recours sont alors portés, pour une large part, contre le roi lui-même et les exactions de ses agents. Tant de recours différents peuvent être formés qu’une forme de responsabilité de l’administration royale paraît se mettre en place.Un important contentieux est par ailleurs soulevé par les hommes contre leurs seigneurs laïcs ou ecclésiastiques. La justice royale apparaît alors comme un régulateur des relations féodales. L’appel judiciaire au Parlement, qui se systématise contre les jugements des justices concurrentes, ouvre la voie à la concrétisation de la supériorité de la justice royale, que l’on commence à appeler en français : « souveraineté ».Par acculturation, l’offre et la demande de justice se rencontrent et tendent à consacrer les institutions royales en justice de « droit commun ». Les résistances sont nombreuses de la part des justices concurrentes, mais la Cour du roi reçoit aussi leurs plaintes et, tout en étendant son influence, statue dessus en toute impartialité, ce qui contribue également à légitimer la mise en place d’un État de droit The rich and complex « Saint Louis’ Century » is a time of development of a hierarchical and professional royal justice. Hundreds of Masters are trained at the Universities. The king’s Court regularly assembles in Paris during sessions « in parlemento ». The monarchy adopts several reforms allowing an easier access to justice. The recourses are also carried against the king himself and the exactions of his agents. There are so many different types of recourses that the concept of responsibility of the royal administration seems to appear.On the other hand, an important part of the litigations is raised by men against their laïcs or ecclesiastics lords. Royal justice settles as a regulator of the feudal relationships. The judiciary appeal to the Parlement is becoming usual against the other justices. Indeed, it contributes to give concrete expression to the superiority of the king’s justice, which is now called, in French « souveraineté ».By acculturation, the demand and the supply meet and tend to dedicate royal institutions to an « ordinary court ». There are a lot of resistances from other judges, but the curia regis receives and judge impartially these complaints too, which contribute to set of a State under the rule of law
Libri sul tema "Canonical procedures":
1
Varvaro, William A. Roman canonical influence on English justice and procedures: The Actio spolii in canon law and the assize of novel disseisin in English law. Romae: Pontificia Universitas Gregoriana, 1987.
Papale, Claudio. Il processo penale canonico: Commento al Codice di diritto canonico, libro VII, parte IV. Città del Vaticano: Urbaniana University Press, 2007.
Papale, Claudio. Il processo penale canonico: Commento al Codice di diritto canonico, libro VII, parte IV. 2a ed. Città del Vaticano: Urbaniana University Press, 2012.
Capitoli di libri sul tema "Canonical procedures":
1
Anuth, Bernhard Sven. "Dealing with Conflict and Dissent in the Roman Catholic Church. An Inventory from the Perspective of Canon Law". In Pathways for Ecumenical and Interreligious Dialogue, 83–102. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-56019-4_6.
AbstractThe Roman Catholic Church is a highly organized legal community of faith. It has differentiated legal rules and procedures on how to deal with conflicts and dissent within the communion, and it also uses legal means to try to prevent deviations that endanger the community and the faith. These canonical regulations convey the self-understanding of the Catholic Church and therefore the theology of the legislator, especially its ecclesiology. The article examines at first the specific provisions of canon law which seek to avoid conflict and/or dissent as much as possible and then deals with different constellations and types of conflicts, along with the corresponding canonical procedures, whereby a distinction has to be made between conflicts that individual faithfuls have amongst each other, as well as conflicts between Catholics and institutions under church sponsorship, and those between Catholics and the church hierarchy. As a result, this chapter shows that the Roman Catholic Church offers only an extremely small space for conflict and dissent: Even disputes between the faithful are to be avoided as much as possible or are to be settled quickly, in a peaceful manner. Disobedience to church authority is punishable if necessary, and Catholics can never legally deviate from binding doctrinal guidelines. Since Pope Francis wants to give a more practical importance to penal law through its current revision, doctrinal dissent could also soon be punished more consistently than has been the case so far.
2
Eichbauer, Melodie H. "Canonical Courts and Procedure". In Medieval Canon Law, 100–121. 2a ed. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003156734-8.
Borowiec, Jan, e Arthur Veen. "Lowering HPF procedure interface to a canonical representation". In Languages and Compilers for Parallel Computing, 192–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0032692.
Kapur, Deepak, e Klaus Madlener. "A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra". In Computers and Mathematics, 1–11. New York, NY: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-9647-5_1.
Wu, Haoze, Aleksandar Zeljić, Guy Katz e Clark Barrett. "Efficient Neural Network Analysis with Sum-of-Infeasibilities". In Tools and Algorithms for the Construction and Analysis of Systems, 143–63. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_8.
AbstractInspired by sum-of-infeasibilities methods in convex optimization, we propose a novel procedure for analyzing verification queries on neural networks with piecewise-linear activation functions. Given a convex relaxation which over-approximates the non-convex activation functions, we encode the violations of activation functions as a cost function and optimize it with respect to the convex relaxation. The cost function, referred to as the Sum-of-Infeasibilities (SoI), is designed so that its minimum is zero and achieved only if all the activation functions are satisfied. We propose a stochastic procedure, , to efficiently minimize the SoI. An extension to a canonical case-analysis-based complete search procedure can be achieved by replacing the convex procedure executed at each search state with . Extending the complete search with achieves multiple simultaneous goals: 1) it guides the search towards a counter-example; 2) it enables more informed branching decisions; and 3) it creates additional opportunities for bound derivation. An extensive evaluation across different benchmarks and solvers demonstrates the benefit of the proposed techniques. In particular, we demonstrate that SoI significantly improves the performance of an existing complete search procedure. Moreover, the SoI-based implementation outperforms other state-of-the-art complete verifiers. We also show that our technique can efficiently improve upon the perturbation bound derived by a recent adversarial attack algorithm.
6
Ehlers, Rüdiger, e Ayrat Khalimov. "Fully Generalized Reactivity(1) Synthesis". In Tools and Algorithms for the Construction and Analysis of Systems, 83–102. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57246-3_6.
AbstractGeneralized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game graph, describing the safe transitions of a system, a liveness specification in a subset of Linear Temporal Logic (LTL) on top of it. Many specifications can naturally be written in this restricted form, and the restriction gives rise to a scalable synthesis procedure – the reasons for the high popularity of the approach. For specifications even slightly beyond GR(1), however, the approach is inapplicable. This necessitates a transition to synthesizers for full LTL specifications, introducing a huge efficiency drop. This paper proposes a synthesis approach that smoothly bridges the efficiency gap from GR(1) to LTL by unifying synthesis for both classes of specifications. The approach leverages a recently introduced canonical representation of omega-regular languages based on a chain of good-for-games co-Büchi automata (COCOA). By constructing COCOA for the liveness part of a specification, we can then build a fixpoint formula that can be efficiently evaluated on the symbolic game graph. The COCOA-based synthesis approach outperforms standard approaches and retains the efficiency of GR(1) synthesis for specifications in GR(1) form and those with few non-GR(1) specification parts.
7
"Quo vadis? Canonical Reflections on the Rights of Alleged Victims in Canonical Procedures". In Rights of Alleged Victims in Penal Proceedings, a cura di Charles J. Scicluna e Myriam Wijlens, 323–43. Nomos Verlagsgesellschaft mbH & Co. KG, 2023. http://dx.doi.org/10.5771/9783748936169-323.
Sheskin, David J. "Canonical Correlation (Parametric Test Employed with Interval/Ratio Data)". In Handbook of Parametric and Nonparametric Statistical Procedures, 1569–91. Chapman and Hall/CRC, 2020. http://dx.doi.org/10.1201/9780429186196-50.
"The Rights of Alleged Victims in Canonical Penal Procedures". In Rights of Alleged Victims in Penal Proceedings, a cura di Charles J. Scicluna e Myriam Wijlens, 19–38. Nomos Verlagsgesellschaft mbH & Co. KG, 2023. http://dx.doi.org/10.5771/9783748936169-19.
Blecher, Joel. "Gatekeepers of the Law". In Said the Prophet of God. University of California Press, 2017. http://dx.doi.org/10.1525/california/9780520295933.003.0007.
While Maliki commentators in postclassical Andalusia did not need to demonstrate knowledge of and personal connection to the genealogy of a canonical collection of hadith to be authorized to interpret it, a scholar’s genealogy became an important prerequisite for aspiring commentators in the late Mamluk era. Moreover, a subtler marker of authority was a commentator’s conspicuous mastery of the rarified rules and procedures of a given legal approach. For Ibn Hajar al-Asqalani, a Shafiʿi, knowledge of the chains of transmission informed his link to Sahih al-Bukhari as well as his legal approach to it. For Badr al-Din al-ʿAynī, a Hanafi, his expertise in the sciences of rhetoric was, for his students, qualification enough. But commentators’ genealogies as hadith scholars and training as jurists were not merely symbolic credentials, intended to rarify knowledge and exclude certain people from access to it. Their training also played a role, within the complex social and intellectual matrix of the Mamluk scholarly scene, in shaping the way commentators interpreted canonical collections of hadith.
Atti di convegni sul tema "Canonical procedures":
1
Rosetti, Guilherme F., Guilherme Vaz e André L. C. Fujarra. "URANS Calculations for Smooth Circular Cylinder Flow in a Wide Range of Reynolds Numbers: Solution Verification and Validation". In ASME 2012 31st International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/omae2012-83155.
The flow around circular smooth fixed cylinder in a large range of Reynolds numbers is considered in this paper. In order to investigate this canonical case, we perform CFD calculations and apply Verification & Validation (V&V) procedures to draw some conclusions regarding numerical error, and afterwards, assess the modelling errors and capabilities of URANS method to solve this problem. Eight Reynolds numbers between Re = 10 and Re = 5×105 will be presented with five geometrically similar grids and five time steps for each case, together with strict control of iterative and round-off errors, allowing a consistent verification analysis with uncertainty estimation. In these calculations, two-dimensional Unsteady RANS calculations were performed making use of the k–ω SST turbulence model. The Validation procedure is performed by comparing the numerical results with an extensive set of experimental results compiled from the literature and also made available in the VIV Data Repository website (http://oe.mit.edu/VIV/).
2
Bettig, Bernie, Jami J. Shah e Joshua D. Summers. "Domain Independent Characterization of Parametric and Geometric Problems in Embodiment Design". In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/dac-14259.
Abstract In embodiment and detailed design one is often concerned with sizing and geometric arrangement. Constraint problems of satisfying certain relationships in feasible designs are often solved by domain specific procedures in design and manufacturing applications. This paper shows that a variety of such problems are reducible to a small set of generic problems solvable by domain-independent procedures. A taxonomy of constraint problem types is developed. The taxonomy is based on the types of entities, constraints, and tasks (reasoning or inquiry) that are to be performed. The “exemplar” is introduced as a new concept for describing complex situational patterns and extracting information of interest. Such a canonical representation of parametric problems is needed for designing cleaner interfaces between applications and generic solvers, as a basis for standardized data exchange between future CAD systems, and for providing the foundations for domain independent shells for parametric design.
3
Hara, Kensuke, e Masahiro Watanabe. "Formulation of the Aeroelastic Instability Problem of Rectangular Plates in Uniform Flow Based on the Hamiltonian Mechanics for the Constrained System". In ASME 2014 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/pvp2014-28646.
This paper addresses a formulation and an aeroelastic instability analysis of a plate in a uniform incompressible and irrotational flow based on the classical variational principle framework. Because of an intrinsic algebraic relation between the plate displacement and the velocity potential, this system has to be formulated as the constrained system. In this study, we tried to apply the Hamiltonian mechanics to the formulation of the fluid-structure interaction problem with mixed boundary condition. As a result, we obtain the canonical equations, that consist of the evolution equations for the plate displacement, the velocity potential, the Lagrange multiplier and canonically conjugate momenta for those physical quantities. In particular, it was found that the Lagrange multiplier was just the pressure. In other words, the equations of time evolution could be derived for not only the plate displacement and the velocity potential but also the pressure (the Lagrange multiplier). The stability of this system was analyzed by the eigenvalue analysis. Then, flutter modes, their frequencies and growth rates were discussed. The proposed technique has the advantage that it can reduce iteration procedures in the stability analysis. As a consequence, it can be expected that the stability of this system can be evaluated efficiently. This paper introduces a formulation of the only two dimensional problem, and the stability analysis of a clamped-free plate is implemented as an numerical example. Howerver, this formulation can be applied to three dimensional problems without intrinsic difficulties.
4
Loy, James M., Ajay Vadakkepatt, Sanjay R. Mathur e Jayathi Y. Murthy. "A Fast Coupled Solver for Phonon Transport in Composites". In ASME 2013 Heat Transfer Summer Conference collocated with the ASME 2013 7th International Conference on Energy Sustainability and the ASME 2013 11th International Conference on Fuel Cell Science, Engineering and Technology. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/ht2013-17302.
In recent years, computational techniques for solving phonon transport have been developed under the framework of the semiclassical Boltzmann Transport Equation (BTE). Early work addressed gray transport, but more recent work has begun to resolve wave vector and polarization dependence, including that in relaxation times. Because the relaxation time in typical materials of interest spans several orders of magnitude, typical solution techniques must address an enormous range of Knudsen numbers in the same problem. Calculation procedures which solve the BTE in phase space sequentially work well in the ballistic limit, but are slow to converge in the thick limit. Unfortunately, both extremes may be encountered simultaneously in typical wave-number (K) -resolved phonon transport problems. In previous work, we developed the coupled ordinate method (COMET) to address this problem. COMET employs a point-coupled solution to resolve coupling in K-space, and embeds this point solver as a relaxation sweep in a geometric multigrid method to maintain spatial coupling. We have demonstrated speedups of up to 200 over conventional sequential solution procedures using this method. COMET also exhibits excellent scaling on multiprocessor platforms, far beyond those obtained by sequential solvers. In this paper, we extend COMET to address interface transport in composites. Just as scattering couples phonons of different wave vectors in the bulk, reflection and transmission couple different wave vectors together at interfaces. Again, sequential solution procedures perform poorly because of the poor algorithmic coupling in K space. A computational procedure based on COMET is developed for composites, addressing multigrid agglomeration strategies to promote stronger K-space coupling at interfaces. The technique is applied to canonical superlattice geometries and superior performance over typical sequential solvers is demonstrated. Furthermore, the method is applied to realistic particle composites employing computational meshes developed from x-ray computed tomography (CT) scans of particulate beds. It is demonstrated to yield solutions where sequential solution techniques fail to converge at all.
5
Reddy, Suresh B. "New Analysis/Design of Generalized Discrete PI Controller via Discrete Time Delay Control for Nonlinear Systems". In ASME 2020 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/dscc2020-3149.
Abstract Proportional-Integral (PI) and Proportional-Integral-Derivative (PID) controllers are among the most common schemes for control since their formulation nearly a century ago. They have been very successful in many applications, even as we have migrated from analog implementations to digital control systems. While there is rich literature for design and analysis of PI/PID controllers for linear time-invariant systems with modeled dynamics, the tools for analysis and design for nonlinear systems with unknown dynamics are limited, despite their known effectiveness. This paper extends previous observations about a form of discrete Time Delay Control’s equivalence to a generalized PI controller for more general canonical systems, with additional complimentary feedback linearization of known dynamics, as desired. In addition, sufficient conditions for Bounded Input-Bounded Output (BIBO) as well as exponential stability are developed in this paper for the form of discrete TDC that is closest to generalized discrete PI equivalent controller, for multi-input multi-output nonlinear systems, including nonaffine cases. Accordingly, design procedures are suggested for such discrete TDC, and generalized discrete PI controller for nonlinear systems.
6
Krull, R., M. Sharp e D. Roy. "Canonical views in procedural graphics". In IEEE International Professional Communication Conference, 2003. IPCC 2003. Proceedings. IEEE, 2003. http://dx.doi.org/10.1109/ipcc.2003.1245462.
Timko, Emily, Laura King-Steen e Eric Insana. "Statistical Process Control and Analysis on the Water Content Measurements in NASA Glenn’s Icing Research Tunnel". In International Conference on Icing of Aircraft, Engines, and Structures. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2023. http://dx.doi.org/10.4271/2023-01-1413.
<div class="section abstract"><div class="htmlview paragraph">The Icing Research Tunnel at NASA Glenn follows the recommended practice for calibration outlined in SAE’s ARP5905. The calibration team has followed the schedule of a full calibration every five years with a check calibration done every six months following. The liquid water content of the IRT has maintained stability within the stated specifications of variation within +/- 10% of the curve fit equation generated from calibration data. Using past measurements and data trends, IRT characterization engineers wanted to develop methods for the ability to know when data were not within variation. Trends can be observed in the liquid water content measurement process by constructing statistical process control charts. This paper describes data processing procedures for the Multi-Element Sensor in the IRT, including collision efficiency corrections, canonical correlation analysis, process for rejection of data, and construction of control charts. Data are presented to display the control capability to meet defined liquid water content specifications of the IRT with the Multi-Element Sensor mounted in the center of the test section.</div></div>
8
Nada, Ayman A., e Abdullateef H. Bashiri. "Integration of Multibody System Dynamics With Sliding Mode Control Using FPGA Technique for Trajectory Tracking Problems". In ASME 2018 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/dscc2018-9108.
Trajectory tracking robotic systems require complex control procedures that occupy less space and need less energy. For these reasons, the development of computerized and integrated control systems is crucial. Recently, developing reconfigurable Field Programmable Gate Arrays (FPGAs) give a prominence of the complete robotic control systems. Furthermore, it has been found in the literature that the model-based control methods are most efficient and cost-effective. This model must interpret how multiple moving parts interact with each other and with their environment. On the other hand, MultiBody Dynamic (MBD) approach is considered to solve these difficulties to attain the models accurately. However, the obtained equations of motion do not match the well-developed forms of control theory. In this paper, the MBD model of a mobile robot is established; and the equations of motion are reshaped into their control canonical form. Additionally, the Sliding Mode Control (SMC) theory is used to design the control law. The constraints’ manifold, which is available in the equations of the MBD system, are imposed systematically as the switching surface. SMC is applied because of its ability to address multiple-input/multiple-output nonlinear systems without resorting any approximations. Eventually, the experimental verification of the proposed algorithm is carried out using DaNI mobile robot in which, a Reconfigurable Input/Output (RIO) board is used to reorient the control design, so that can fit the required trajectory. The control law is implemented using LabVIEW software and NI-sbRIO-9631 with acceptable performance. It is obvious that the integration of MBD/SMC/FPGA can be used successfully to develop embedded systems for the applications of trajectory tracking robotics.
9
Lankarani, H. M., e P. E. Nikravesh. "Application of the Canonical Equations of Motion in Problems of Constrained Multibody Systems With Intermittent Motion". In ASME 1988 Design Technology Conferences. American Society of Mechanical Engineers, 1988. http://dx.doi.org/10.1115/detc1988-0054.
Abstract For mechanical systems that undergo intermittent motion, the usual formulation of the equations of motion is not valid over the periods of the discontinuity, and a procedure for balancing the momenta of the system is often performed. A canonical form of the equations of motion is used here as the differential equations of motion. A set of momentum balance-impulse equations are derived in terms of the system total momenta by explicitly integrating the canonical equations. The method shows to be stable while numerically integrating the canonical equations, and efficient while solving the momentum balance-impulse equations. Examples are provided to illustrate the validity of the method.
10
Cannas, Barbara, Alessandra Fanni e Augusto Montisci. "A fast procedure for canonical ambiguity groups determination in nonlinear analog circuits". In 2010 IEEE International Symposium on Circuits and Systems - ISCAS 2010. IEEE, 2010. http://dx.doi.org/10.1109/iscas.2010.5537394.
Rapporti di organizzazioni sul tema "Canonical procedures":
1
Peñaloza, Rafael, Veronika Thost e Anni-Yasmin Turhan. Conjunctive Query Answering in Rough EL. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.206.
Rough Description Logics have recently been studied as a means for representing and reasoning with imprecise knowledge. Real-world applications need to exploit reasoning over such knowledge in an efficient way. We describe how the combined approach to query answering can be extended to the rough setting. In particular, we extend both the canonical model and the rewriting procedure such that rough queries over rough EL ontologies can be answered by considering this information alone.
