Se connecter

Bibliographies thématiques / Modal type theory / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Modal type theory.

Articles de revues sur le sujet « Modal type theory »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Modal type theory ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

Nanevski, Aleksandar, Frank Pfenning, and Brigitte Pientka. "Contextual modal type theory." ACM Transactions on Computational Logic 9, no. 3 (2008): 1–49. http://dx.doi.org/10.1145/1352582.1352591.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

de Paiva, Valeria, and Eike Ritter. "Fibrational Modal Type Theory." Electronic Notes in Theoretical Computer Science 323 (July 2016): 143–61. http://dx.doi.org/10.1016/j.entcs.2016.06.010.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Gratzer, Daniel, Jonathan Sterling, and Lars Birkedal. "Implementing a modal dependent type theory." Proceedings of the ACM on Programming Languages 3, ICFP (2019): 1–29. http://dx.doi.org/10.1145/3341711.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Birkedal, Lars, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, and Bas Spitters. "Modal dependent type theory and dependent right adjoints." Mathematical Structures in Computer Science 30, no. 2 (2019): 118–38. http://dx.doi.org/10.1017/s0960129519000197.

Texte intégral

Résumé :

AbstractIn recent years, we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory and spatial and cohesive type theory. In this paper, we study modal dependent type theory: dependent type theory with an operator satisfying (a dependent version of) the K axiom of modal logic. We investigate both semantics and syntax. For the semantics, we introduce categories with families with a dependent right adjoint (CwDRA) and show that the examples above can be presented as such. Indeed, we

Styles APA, Harvard, Vancouver, ISO, etc.

5

Primiero, Giuseppe, and Mariarosaria Taddeo. "A modal type theory for formalizing trusted communications." Journal of Applied Logic 10, no. 1 (2012): 92–114. http://dx.doi.org/10.1016/j.jal.2011.12.002.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Umdiana, Nana, and Shifa Tivana. "Determinan Struktur Modal Dalam Perspektif Pecking Order Theory Dan Agency Theory." Akuntabilitas 13, no. 2 (2020): 191–204. http://dx.doi.org/10.15408/akt.v13i2.17337.

Texte intégral

Résumé :

The capital structure seen from the perspective of pecking order theory explains that companies are more likely to prefer internal funding than external companies. Pecking Order Theory explains why highly profitable companies generally have less debt. This study aims to discuss Liquidity, Asset Structure, Business Risk, Growth Opportunity, Managerial Ownership of Capital Structures on Manufacturing Companies of the basic Consumer Good Industry Sector listed on the Indonesia Stock Exchange period 2016- 2019.This type of research is an associative causal research with the type of time series. Th

Styles APA, Harvard, Vancouver, ISO, etc.

7

Zyuzin, Nikita, and Aleksandar Nanevski. "Contextual modal types for algebraic effects and handlers." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–29. http://dx.doi.org/10.1145/3473580.

Texte intégral

Résumé :

Programming languages with algebraic effects often track the computations’ effects using type-and-effect systems. In this paper, we propose to view an algebraic effect theory of a computation as a variable context; consequently, we propose to track algebraic effects of a computation with contextual modal types . We develop ECMTT, a novel calculus which tracks algebraic effects by a contextualized variant of the modal □ (necessity) operator, that it inherits from Contextual Modal Type Theory (CMTT). Whereas type-and-effect systems add effect annotations on top of a prior programming language, t

Styles APA, Harvard, Vancouver, ISO, etc.

8

Gratzer, Daniel. "A Modal Deconstruction of Löb Induction." Proceedings of the ACM on Programming Languages 9, POPL (2025): 864–92. https://doi.org/10.1145/3704866.

Texte intégral

Résumé :

We present a novel analysis of the fundamental Löb induction principle from guarded recursion. Taking advantage of recent work in modal type theory and univalent foundations, we derive Löb induction from a simpler and more conceptual set of primitives. We then capitalize on these insights to present Gatsby, the first guarded type theory capturing the rich modal structure of the topos of trees alongside Löb induction without immediately precluding canonicity or normalization. We show that Gatsby can recover many prior approaches to guarded recursion and use its additional power to improve on pr

Styles APA, Harvard, Vancouver, ISO, etc.

9

Gabbay, Murdoch J., and Aleksandar Nanevski. "Denotation of contextual modal type theory (CMTT): Syntax and meta-programming." Journal of Applied Logic 11, no. 1 (2013): 1–29. http://dx.doi.org/10.1016/j.jal.2012.07.002.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Venema, Yde. "Cylindric modal logic." Journal of Symbolic Logic 60, no. 2 (1995): 591–623. http://dx.doi.org/10.2307/2275853.

Texte intégral

Résumé :

AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes.The main contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special

Styles APA, Harvard, Vancouver, ISO, etc.

11

Abel, Andreas, Nils Anders Danielsson, and Oskar Eriksson. "A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized." Proceedings of the ACM on Programming Languages 7, ICFP (2023): 920–54. http://dx.doi.org/10.1145/3607862.

Texte intégral

Résumé :

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has Π-types, weak and strong Σ-types, natural numbers, an empty type, and a universe, and we also extend the theory with a unit type and graded Σ-types. The theory is parameterized by a modality, a kind of partially ordered semiring, whose elements (grades) are used to track the usage of variables in terms and types. Different modalities are possible. We focus mainly on quantitative properties, in particular erasure: with the erasure modality one can

Styles APA, Harvard, Vancouver, ISO, etc.

12

STANDEFER, SHAWN. "SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS." Review of Symbolic Logic 8, no. 3 (2015): 467–87. http://dx.doi.org/10.1017/s1755020314000458.

Texte intégral

Résumé :

AbstractWe present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-orde

Styles APA, Harvard, Vancouver, ISO, etc.

13

Rajani, Vineet, Gilles Barthe, and Deepak Garg. "A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 389–414. http://dx.doi.org/10.1145/3689725.

Texte intégral

Résumé :

The design of online learning algorithms typically aims to optimise the incurred loss or cost , e.g., the number of classification mistakes made by the algorithm. The goal of this paper is to build a type-theoretic framework to prove that a certain algorithm achieves its stated bound on the cost. Online learning algorithms often rely on randomness, their loss functions are often defined as expectations, precise bounds are often non-polynomial (e.g., logarithmic) and proofs of optimality often rely on potential-based arguments. Accordingly, we present pλ-amor, a type-theoretic graded modal fram

Styles APA, Harvard, Vancouver, ISO, etc.

14

Muskens, Reinhard. "Intensional models for the theory of types." Journal of Symbolic Logic 72, no. 1 (2007): 98–118. http://dx.doi.org/10.2178/jsl/1174668386.

Texte intégral

Résumé :

AbstractIn this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of p

Styles APA, Harvard, Vancouver, ISO, etc.

15

Bruse, Florian, Martin Lange, and Etienne Lozes. "The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic." Fundamenta Informaticae 178, no. 1-2 (2021): 1–30. http://dx.doi.org/10.3233/fi-2021-1996.

Texte intégral

Résumé :

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ-calculus into the modal μ-calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k-EXPTIME-complete for formulas that use functions of type order at most k < 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPS

Styles APA, Harvard, Vancouver, ISO, etc.

16

Hu, Jason Z. S., and Brigitte Pientka. "A Dependent Type Theory for Meta-programming with Intensional Analysis." Proceedings of the ACM on Programming Languages 9, POPL (2025): 416–45. https://doi.org/10.1145/3704851.

Texte intégral

Résumé :

In this paper, we introduce DeLaM, a dependent layered modal type theory which enables meta-programming in Martin-Löf type theory (MLTT) with recursion principles on open code. DeLaM includes three layers: the layer of static syntax objects of MLTT without any computation; the layer of pure MLTT with the computational behaviors; the meta-programming layer extends MLTT with support for quoting an open MLTT code object and composing and analyzing open code using recursion. We can also execute a code object at the meta-programming layer. The expressive power strictly increases as we move up in a

Styles APA, Harvard, Vancouver, ISO, etc.

17

Zhao, Yan Wei, Jun Wei Li, Huan Wang, and Zhi Sheng Yu. "Modal Analysis of Eccentric Rotor for Multi-Layer Leather High-Speed Cutting Machine Based on Bond Graph Method." Applied Mechanics and Materials 184-185 (June 2012): 307–11. http://dx.doi.org/10.4028/www.scientific.net/amm.184-185.307.

Texte intégral

Résumé :

The stability problem of eccentric rotor in high-speed cutting process is the main factor affecting the performance of cutter transmission system. A modal analysis of eccentric rotor for multi-layer leather high-speed cutting machine based on bond graph method is proposed to obtain the complete modal parameters. The lateral vibration mathematical model of the eccentric rotor is build using bond graph theory. The inherent frequency, deformation modal vibration shape, and velocity modal vibration shape of eccentric rotor are obtained through the Matlab numerical calculation. Then the modal test

Styles APA, Harvard, Vancouver, ISO, etc.

18

Altenkirch, Thorsten, Yorgo Chamoun, Ambrus Kaposi, and Michael Shulman. "Internal Parametricity, without an Interval." Proceedings of the ACM on Programming Languages 8, POPL (2024): 2340–69. http://dx.doi.org/10.1145/3632920.

Texte intégral

Résumé :

Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it is difficult because once there is a term witnessing parametricity, it also has to be parametric itself and this results in the appearance of higher dimensional cubes. In previous theories with internal parametricity, either an explicit syntax for higher cubes is present or the theory is extended with a new sort for the interval. In this paper we p

Styles APA, Harvard, Vancouver, ISO, etc.

19

Liu Changhai, 刘长海, 徐蓉 Xu Rong, 门涛 Men Tao, 温昌礼 Wen Changli, and 郭世平 Guo Shiping. "Theory and demonstration of amplitudetype multiplexed computergenerated hologram for modal wavefront sensing." High Power Laser and Particle Beams 25, no. 9 (2013): 2198–202. http://dx.doi.org/10.3788/hplpb20132509.2198.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Ma, Fuyin, Jiu Hui Wu, and Meng Huang. "Resonant modal group theory of membrane-type acoustical metamaterials for low-frequency sound attenuation." European Physical Journal Applied Physics 71, no. 3 (2015): 30504. http://dx.doi.org/10.1051/epjap/2015150310.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Guo, Shu Jun, Jun Fan, Ping Dong, and De Fu Xu. "Simulation Study on Dynamic Characteristics of Electrical Control Type Water Distributor Based on ADAMS." Key Engineering Materials 522 (August 2012): 396–99. http://dx.doi.org/10.4028/www.scientific.net/kem.522.396.

Texte intégral

Résumé :

There is a difficult technology problem of high-pressure differential multi-layer separate injection, which had given birth to after using the technology of water injection in the process of oil extraction, the electrical control type water distributor has been designed for the solving of this difficult technology problem. The dynamic characteristics for the executive body of electrical control water type distributor had been studied based on the technology of virtual prototyping and the theories of multi-rigid-body kinematics and modal analysis. The three-dimensional model and dynamics model

Styles APA, Harvard, Vancouver, ISO, etc.

22

Patera, Giuseppe, Dmitri Horoshko, and Mikhail Kolobov. "Quantum temporal imaging with squeezed light." EPJ Web of Conferences 198 (2019): 00002. http://dx.doi.org/10.1051/epjconf/201919800002.

Texte intégral

Résumé :

We consider a simple quantum temporal imaging system on the basis of a time lens implemented by a parametric nonlinear optical process with a chirped pump. We review the main results of the modal theory of temporal imaging, developed recently by us. We illustrate this theory by a concrete example of type-I non-collinear sum-frequency generation process, where the phase matching is limited by the temporal walk-off of the signal and the idler waves. We have shown that the temporal modal functions of such an imaging system are chirped Hermite-Gauss functions.

Styles APA, Harvard, Vancouver, ISO, etc.

23

Yang, Yu Chen, Lei Gu, Zhong Yi Zhu, Kai Qin, and Lin Zhang. "Study on Equivalent Damping Ratio of Shenzhen Baoan International Airport T3 Terminal." Advanced Materials Research 446-449 (January 2012): 871–77. http://dx.doi.org/10.4028/www.scientific.net/amr.446-449.871.

Texte intégral

Résumé :

Today, the structures constituted by different materials, increase more and more, especially the lower part is concrete, the upper is steel. For this type of structural system, modal damping matrix is non-diagonal matrix, the earthquake response equation is coupled on the modal damping matrix, the modal coupling of the non-proportional damping system leads to the traditional real modal analysis methods not be directly applied. For such structure, the changes of the damping ratio are analyzed in this article. Finally, the equivalent damping ratio of Shenzhen Airport is obtained using the energy

Styles APA, Harvard, Vancouver, ISO, etc.

24

Hongxian, Wang, Zhang Ming, and Nie Hong. "Analysis on Vibroacoustic Fatigue Life of Empennage in a Hypersonic Vehicle." Mathematical Problems in Engineering 2022 (August 23, 2022): 1–15. http://dx.doi.org/10.1155/2022/7027528.

Texte intégral

Résumé :

In this study, the fatigue life prediction in hypersonic vehicle noise environment is researched under the structural vibration caused by the engine jet noise and the aerodynamic noise. A finite element analysis model is first established, and then natural frequency and vibration mode are obtained. According to the modal analysis, the vibroacoustic coupling calculation is finished in the dynamic analysis software. Modal participation factor, modal displacement, and the power spectral density of the stress response on the coupled surface are acquired. The finite element, border component, and v

Styles APA, Harvard, Vancouver, ISO, etc.

25

Guha, Anirban, and Gregory A. Lawrence. "A wave interaction approach to studying non-modal homogeneous and stratified shear instabilities." Journal of Fluid Mechanics 755 (August 18, 2014): 336–64. http://dx.doi.org/10.1017/jfm.2014.374.

Texte intégral

Résumé :

AbstractHomboe (Geophys. Publ., vol. 24, 1962, pp. 67–112) postulated that resonant interaction between two or more progressive, linear interfacial waves produces exponentially growing instabilities in idealized (broken-line profiles), homogeneous or density-stratified, inviscid shear layers. Here we have generalized Holmboe’s mechanistic picture of linear shear instabilities by (i) not initially specifying the wave type, and (ii) providing the option for non-normal growth. We have demonstrated the mechanism behind linear shear instabilities by proposing a purely kinematic model consisting of

Styles APA, Harvard, Vancouver, ISO, etc.

26

Klímová, Eva. "La modalità e le frasi interrogative." Romanica Cracoviensia 22, no. 1 (2022): 103–14. http://dx.doi.org/10.4467/20843917rc.22.009.15641.

Texte intégral

Résumé :

Modality and Interrogative Sentences The article deals with the modal scheme of the interrogative sentence in Italian. For this purpose, the inflectional verbal mood in Italian is observed with the aim to describe the way in which it operates along with non-grammatical means in the act of indication of different illocutionary act and various modal meaning of the deontic and epistemic modality that may be associated with this sentence type. For this purpose the verbal mood is viewed within the modal scheme of a particular sentence type and as the modal centre of a type of utterance that may fun

Styles APA, Harvard, Vancouver, ISO, etc.

27

Font, Josep M., and Ventura Verdú. "A first approach to abstract modal logics." Journal of Symbolic Logic 54, no. 3 (1989): 1042–62. http://dx.doi.org/10.2307/2274764.

Texte intégral

Résumé :

AbstractThe object of this paper is to make a study of four systems of modal logic (S4, S5, and their intuitionistic analogues IM4 and IM5) with the techniques of the theory of abstract logics set up by Suszko, Bloom, Brown, Verdú and others. The abstract concepts corresponding to such systems are defined as generalizations of the logics naturally associated to their algebraic models (topological Boolean or Heyting algebras, general or semisimple). By considering new suitably defined connectives and by distinguishing between having the rule of necessitation only for theorems or as a full infer

Styles APA, Harvard, Vancouver, ISO, etc.

28

Shen, Chun Gen, Gui Cheng Wang, Shu Lin Wang, and Gang Liu. "Determining Structural Modes of HSK Tool System Based on FEM and EMA." Advanced Materials Research 139-141 (October 2010): 1479–84. http://dx.doi.org/10.4028/www.scientific.net/amr.139-141.1479.

Texte intégral

Résumé :

In this research, we computationally analyzed the structural modes of an HSK63E type tool system and verified the results with experimental modal analysis (EMA). The computation was implemented using the finite element method (FEM) based on a linear-elastic theory, with which we computed the natural frequency and obtained the modal shapes under both free and operating conditions. With the method of experimental modal analysis, we also obtained structural modal parameters including the natural frequency, modal shapes and damping ratio under the same free and operating conditions. The computatio

Styles APA, Harvard, Vancouver, ISO, etc.

29

Gratzer, Daniel, Evan Cavallo, G. A. Kavvos, Adrien Guatto, and Lars Birkedal. "Modalities and Parametric Adjoints." ACM Transactions on Computational Logic 23, no. 3 (2022): 1–29. http://dx.doi.org/10.1145/3514241.

Texte intégral

Résumé :

Birkedal et al. recently introduced dependent right adjoints as an important class of (non-fibered) modalities in type theory. We observe that several aspects of their calculus are left underdeveloped and that it cannot serve as an internal language. We resolve these problems by assuming that the modal context operator is a parametric right adjoint. We show that this hitherto unrecognized structure is common. Based on these discoveries we present a new well-behaved Fitch-style multimodal type theory, which can be used as an internal language. Finally, we apply this syntax to guarded recursion

Styles APA, Harvard, Vancouver, ISO, etc.

30

Zavodney, L. D. "Identification of Nonlinearity in Structural Systems: Theory, Simulation, and Experiment." Applied Mechanics Reviews 44, no. 11S (1991): S295—S303. http://dx.doi.org/10.1115/1.3121368.

Texte intégral

Résumé :

A procedure to identify nonlinear structural systems caused by quadratic or cubic stiffness nonlinearity, geometric asymmetry, internal resonance, and subject to parametric excitation is proposed. The method uses conventional instrumentation and modal analysis techniques to match observed behavior in the structural response to the behavior of nonlinear analytical models when subject to random, impulse, or harmonic excitations. Some of the structures studied in this paper behave linearly when subject to one type of excitation but exhibit uniquely nonlinear behavior when subject to other types o

Styles APA, Harvard, Vancouver, ISO, etc.

31

Fang, J., Y. R. Shiau, and W. C. Hung. "Innovative research on the application of TIRZ theory to multi-mode UAVs." Journal of Physics: Conference Series 2631, no. 1 (2023): 012012. http://dx.doi.org/10.1088/1742-6596/2631/1/012012.

Texte intégral

Résumé :

Abstract According to the current development of Unmanned Aerial Vehicles (UAVs), it can be known that there are no cases where underwater drones and aerial drones are used in parallel. They are all affected by air and water resistance and are easily disturbed in various environments, making it difficult to move effectively. This research uses TRIZ theory to create a multi-modal unmanned vehicle to innovate and improve the existing situation. The type of equipment produced through this research can effectively move in the air, land, and water. The scope includes TRIZ theory, bionic technology,

Styles APA, Harvard, Vancouver, ISO, etc.

32

Lin, Chao, Shan Zheng, and Mingdong Jiang. "Dynamic Analysis and Experiment of 6-DOF Compliant Platform Based on Bridge-Type Amplifier." Micromachines 11, no. 11 (2020): 1024. http://dx.doi.org/10.3390/mi11111024.

Texte intégral

Résumé :

In this paper, we establish a dynamic model of a six-degrees-of-freedom (6-DOF) compliant positioning platform based on bridge-type amplifiers. Based on the elastic beam theory and energy relationship, we derived the bridge-type amplifier’s dynamic model using the Lagrange equation. Then, we established a dynamic model of the compliant platform based on the equivalent mass and equivalent stiffness of the bridge-type amplifier, and the analysis formula of the natural frequency was derived. Finally, the analytical models of natural frequencies of the bridge-type amplifier and the compliant platf

Styles APA, Harvard, Vancouver, ISO, etc.

33

Konolige, Kurt. "Quantification in Autoepistemic Logic." Fundamenta Informaticae 15, no. 3-4 (1991): 275–300. http://dx.doi.org/10.3233/fi-1991-153-406.

Texte intégral

Résumé :

Quantification in modal logic is interesting from a technical and philosophical standpoint. Here we look at quantification in autoepistemic logic, which is a modal logic of self-knowledge. We propose several different semantics, all based on the idea that having beliefs about an individual amounts to having a belief using a certain type of name for the individual.

Styles APA, Harvard, Vancouver, ISO, etc.

34

Khoo, Justin. "Coordinating Ifs." Journal of Semantics 38, no. 2 (2021): 341–61. http://dx.doi.org/10.1093/jos/ffab006.

Texte intégral

Résumé :

Abstract Accounting for the behavior of conjoined and disjoined if-clauses is not easy for standard theories of conditionals that treat if as either an operator or restrictor. In this paper, I discuss four observations about coordinated if-clauses, and motivate a semantics for conditionals that reorients the compositional structure of the restrictor theory. On my proposal, if-clauses provide restrictions on modal domains, but they do so by way of a higher type intermediary—a set of propositions—that is collapsed by the modal. I argue that combining this view with an independently plausible typ

Styles APA, Harvard, Vancouver, ISO, etc.

35

Gao, Li Qiang, Ying Xi, Qiang Fu, Mei Hua Zhu, and Jin Sen Zhang. "Performance Analysis of a New Type of Wind Resistance Brake Mechanism Based on FLUENT and ANSYS." Advanced Materials Research 562-564 (August 2012): 1099–102. http://dx.doi.org/10.4028/www.scientific.net/amr.562-564.1099.

Texte intégral

Résumé :

Introduce a new type of non-adhesion braking mode - aerodynamic braking; Meanwhile we analyze the structure of the wind resistance brake mechanism. Based on commercial software Fluent, numeric simulation are applied to the flow field of high speed train with wind resistance brake mechanism in order to work out the pressure distribution law of wing plate and high speed train as well as wind resistance. Based on finite element theory, finite element model of wind resistance brake mechanism is built by ANSYS. Then we make static load analysis and modal analysis to the wind resistance brake mechan

Styles APA, Harvard, Vancouver, ISO, etc.

36

Deliyianni, Maria, Varun Gudibanda, Jason Howell, and Justin T. Webster. "Large deflections of inextensible cantilevers: modeling, theory, and simulation." Mathematical Modelling of Natural Phenomena 15 (2020): 44. http://dx.doi.org/10.1051/mmnp/2020033.

Texte intégral

Résumé :

A recent large deflection cantilever model is considered. The principal nonlinear effects come through the beam’s inextensibility – local arc length preservation – rather than traditional extensible effects attributed to fully restricted boundary conditions. Enforcing inextensibility leads to: nonlinear stiffness terms, which appear as quasilinear and semilinear effects, as well as nonlinear inertia effects, appearing as nonlocal terms that make the beam implicit in the acceleration. In this paper we discuss the derivation of the equations of motion via Hamilton’s principle with a Lagrange mul

Styles APA, Harvard, Vancouver, ISO, etc.

37

Li, Long, and Chun Zhang. "Based on ANSYS Controllable Start Planet Gear Reducer Planet Carrier Modal Analysis." Applied Mechanics and Materials 271-272 (December 2012): 597–600. http://dx.doi.org/10.4028/www.scientific.net/amm.271-272.597.

Texte intégral

Résumé :

The software of ANSYS for controllable start planet gear reducer type differential vibration characteristics and response characteristics of a more comprehensive analysis, the planet carrier of the first six vibration modes cloud and test results verify the correctness, so as to avoid resonance due to plant damage caused by such factors as a reference in theory, but also for the further study of controllable start planet gear reducer of the vibration of the differential to provide a theoretical reference.

Styles APA, Harvard, Vancouver, ISO, etc.

38

Huang, Zhi Cheng, and Ze Lun Li. "Modal Analysis of the Main Frame of Horizontal Type High-Pressure Grouting Machine Based on ANSYS." Applied Mechanics and Materials 170-173 (May 2012): 3059–62. http://dx.doi.org/10.4028/www.scientific.net/amm.170-173.3059.

Texte intégral

Résumé :

For understanding the dynamic characteristics and improving the stability of the main frame of the horizontal type high-pressure grouting machine, the finite element analysis software ANSYS is applied to the modal analysis of the main frame based on the theory of finite element and vibration mechanics, and the first six natural frequencies and the corresponding vibration modes of the main frame are obtained. The influence of each vibration mode to the working condition of the main frame is analyzed, and provides some reference to improve and enhance the design of the main frame of horizontal t

Styles APA, Harvard, Vancouver, ISO, etc.

39

Pham, Thanh Ngoc. "SOUND TRANSMISSION LOSS ACROSS A FINITE CLAMPED DOUBLE-LAMINATED COMPOSITE PLATE WITH POROELASTIC MATERIAL." Vietnam Journal of Science and Technology 57, no. 6A (2020): 150. http://dx.doi.org/10.15625/2525-2518/57/4a/14655.

Texte intégral

Résumé :

A theoretical study of sound transmission loss across a clamped double-laminated composite plate filled with poroelastic material is formulated. Biot’s theory is employed to describe wave propagation in elastic porous media. The two face composite plates are modeled as classical thin plates. By using the modal superposition theory, a double series solution for the sound transmission loss of the structure is obtained with the help of the Galerkin method. The analytical model is validated against previous experimental results of a single sound wave under normal incidence. The numerical results s

Styles APA, Harvard, Vancouver, ISO, etc.

40

Pham, Thanh Ngoc. "SOUND TRANSMISSION LOSS ACROSS A FINITE CLAMPED DOUBLE-LAMINATED COMPOSITE PLATE WITH POROELASTIC MATERIAL." Vietnam Journal of Science and Technology 57, no. 6A (2020): 150. http://dx.doi.org/10.15625/2525-2518/57/6a/14655.

Texte intégral

Résumé :

A theoretical study of sound transmission loss across a clamped double-laminated composite plate filled with poroelastic material is formulated. Biot’s theory is employed to describe wave propagation in elastic porous media. The two face composite plates are modeled as classical thin plates. By using the modal superposition theory, a double series solution for the sound transmission loss of the structure is obtained with the help of the Galerkin method. The analytical model is validated against previous experimental results of a single sound wave under normal incidence. The numerical results s

Styles APA, Harvard, Vancouver, ISO, etc.

41

Maula, Sam Alpha, Heraeni Tanuatmodjo, and Imas Purnamasari. "Dampak Modal Kerja Dalam Peningkatan Profitabilitas Pada Perusahaan Telekomunikasi." Strategic : Jurnal Pendidikan Manajemen Bisnis 18, no. 1 (2019): 12. http://dx.doi.org/10.17509/strategic.v18i1.17585.

Texte intégral

Résumé :

This study aims to determine the effect of working capital on profitability in telecommunications companies in Indonesia, namely PT. Indosat Tbk, PT. Smartfren Telecom Tbk, and PT. Bakrie Telecom Tbk 2006-2015. The type of research used is descriptive and verification. The sampling technique uses purposive sampling. Based on the results of the study indicate that there is a positive effect of working capital on profitability, which means that if there is a change in working capital it will affect the increase in profitability (ROA) of the telecommunications sub-sector. The difference in this r

Styles APA, Harvard, Vancouver, ISO, etc.

42

Anggrayni, Lilly. "The Role Of Social Capital In Increasing The Firm Performance." Jurnal Ilmiah Cendekia Akuntansi 7, no. 3 (2022): 1. http://dx.doi.org/10.32503/cendekiaakuntansi.v7i3.2812.

Texte intégral

Résumé :

ABSTRAK Penelitian ini bertujuan untuk menganalisis peran modal social dalam meningkatkan kinerja perusajaan. Penelitian ini menggunakan pendekatan kuantitatif yang bertujuan untuk menguji variabel yang dihipotesiskan. Spss digunakan untuk menganalisis data dalam penelitian ini. Sampel penelitian adalah industry pertambangan yang terdaftar pada Bursa Efek Indonesia (BEI) dan sampel dipilih menggunakan metode purposive sampling. Studi ini berkontribusi terhadap agensi teori dan teori stakeholder yang membahas konflik kepentingan antara shareholder, stakeholder dan manajemen perusahaan.&#x

Styles APA, Harvard, Vancouver, ISO, etc.

43

Torres-Martínez, Sergio. "Constructions as Triads of Form, Function, and Agency: An Agentive Cognitive Construction Grammar Study of English Modals." Cognitive Semantics 4, no. 1 (2018): 1–38. http://dx.doi.org/10.1163/23526416-00401001.

Texte intégral

Résumé :

The present article introduces anagentive cognitive construction grammarapproach to the analysis of English central modals. One of the premises of the new theory is that speaker meaning cannot be captured by looking at form-function relations only but through the integration of additional conceptual layers such as agency, embodiment, and argument structure construction. This theoretical turn is supported empirically by a corpus study aimed at identifying specific modal constructions in the 520 million wordCorpus of Contemporary American English. The results show that(i) English modals are reli

Styles APA, Harvard, Vancouver, ISO, etc.

44

Yuliantini, Yuliantini, Sumarlam Sumarlam, and Tri Wiratno. "Modalité des modaux du français dans les actes discours directifs dans BD Michel Vaillant en perspective sociopragmatique." Digital Press Social Sciences and Humanities 3 (2019): 00046. http://dx.doi.org/10.29037/digitalpress.43319.

Texte intégral

Résumé :

<p class="MsoNormal" style="text-indent:0in">This research aims to describe the type of modality of French modal verbs in directive speech acts in the comic Michel Vaillant and find its meaning. In French, modality it is seen in the use of modal verbs such as <i>devoir, pouvoir, vouloir,</i> and <i>falloir</i>. In addition to the semantic studies, the terms are also considered to be socio-pragmatic. This study describes the modality of modal verbs in directives speech acts in the data. Analysis of the modality types is mad

Styles APA, Harvard, Vancouver, ISO, etc.

45

CHAINBI, WALID, ABDELMAJID BEN-HAMADOU, and MOHAMED JMAIEL. "A BELIEF-GOAL-ROLE THEORY FOR MULTIAGENT SYSTEMS." International Journal of Pattern Recognition and Artificial Intelligence 15, no. 03 (2001): 435–50. http://dx.doi.org/10.1142/s0218001401000964.

Texte intégral

Résumé :

Agent-oriented techniques represent a promising approach for engineering complex systems where interaction is probably the most important single characteristic. Accordingly, the recent years have witnessed the emergence of different approaches for the study of intelligent agent-based systems. One such architecture views the system as a rational agent having certain mental attitudes of Belief, Desire and Intention (BDI). This paper explores a particular type of rational agent, a Belief-Goal-Role agent. Unlike most previous work, our approach has been to characterize the mental state of the agen

Styles APA, Harvard, Vancouver, ISO, etc.

46

Varga, Katalin, and Magda Várterész. "Computer Science, Logic, Informatics Education." JUCS - Journal of Universal Computer Science 12, no. (9) (2006): 1405–10. https://doi.org/10.3217/jucs-012-09-1405.

Texte intégral

Résumé :

Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called Bologna process. We survey the spread of logic in the computer science education. We draw special attention to the process resulting by 1987 in a comprehensive school in the international logic research called Computer Science Logic. It includes the investigation of research problems arising among others on such fields as programming theory, data- and knowledge base theory and, artificial intelligence as well. New directions have emerged during the problem so

Styles APA, Harvard, Vancouver, ISO, etc.

47

Griv, E. "Stability of a Collisionless Stellar Disk." Symposium - International Astronomical Union 169 (1996): 519–20. http://dx.doi.org/10.1017/s0074180900230246.

Texte intégral

Résumé :

The study of stability of the stellar disks of flat galaxies is the first step towards an understanding of the phenomena of spiral structure. To explain the spiral pattern, Lin and Shu (1964) further developed the Lindblad's idea of density waves by considering the spiral structure as the collective effect in a self-gravitating system. As an extension to the original Lin-Shu theory, unstable spiral modes have been obtained from an asymptotic analysis (e.g., Bertin [1980]). In such “modal theory”, the Jeans-type instability (even weak) is important to the maintenance of spiral structure.

Styles APA, Harvard, Vancouver, ISO, etc.

48

Sukma, Qorry Aini Zianida, Dwi Astutik, and Riadi Syafutra Siregar. "MANAJEMEN AGROWISATA JAMBU KRISTAL SEBAGAI IMPLEMENTASI TEORI MODAL SOSIAL JAMES COLEMAN." Jurnal Ilmu Sosial dan Ilmu Politik Malikussaleh (JSPM) 5, no. 2 (2024): 187. http://dx.doi.org/10.29103/jspm.v5i2.17457.

Texte intégral

Résumé :

Indonesia has abundant potential resources which are very beneficial for society and can be developed into a tourist destination. One potential area is Tengklik Hamlet, Polokarto Village, Polokarto District, Sukoharjo Regency, Central Java, which operates in the agricultural sector under the name Larasati Garden agrotourism. This research aims to examine James Coleman's social capital theory which can be implemented in the management of Larasati Garden agrotourism. A qualitative approach with a case study type was used in this research. The results obtained are that social capital plays an imp

Styles APA, Harvard, Vancouver, ISO, etc.

49

Atanasov, Marija Stamenković, Ivan R. Pavlović, Julijana Simonović, Cristina Borzan, Ancuţa Păcurar, and Răzvan Păcurar. "Forced Dynamics of Elastically Connected Nano-Plates and Nano-Shells in Winkler-Type Elastic Medium." Applied Sciences 15, no. 5 (2025): 2765. https://doi.org/10.3390/app15052765.

Texte intégral

Résumé :

Nano-structures play a crucial role in advancing technology due to their unique properties and applications in various fields. This study examines the forced vibration behavior of an orthotropic nano-system consisting of an elastically connected nanoplate and a doubly curved shallow nano-shell. Both nano-elements are simply supported and embedded in a Winkler-type elastic medium. Utilizing the Eringen constitutive elastic relation, Kirchhoff–Love plate theory, and Novozhilov’s linear shallow shell theory, we derive a system of four coupled nonhomogeneous partial differential equations (PDEs) d

Styles APA, Harvard, Vancouver, ISO, etc.

50

Sterling, Jonathan, and Robert Harper. "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules." Journal of the ACM 68, no. 6 (2021): 1–47. http://dx.doi.org/10.1145/3474834.

Texte intégral

Résumé :

The theory of program modules is of interest to language designers not only for its practical importance to programming, but also because it lies at the nexus of three fundamental concerns in language design: the phase distinction , computational effects , and type abstraction . We contribute a fresh “synthetic” take on program modules that treats modules as the fundamental constructs, in which the usual suspects of prior module calculi (kinds, constructors, dynamic programs) are rendered as derived notions in terms of a modal type-theoretic account of the phase distinction. We simplify the ac

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!