Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "higher order" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 74
Tytuł:
Higher order efficiency and duality for multiobjective variational problem
Autorzy:
Kumar, P.
Sharma, B.
Powiązania:
https://bibliotekanauki.pl/articles/206150.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
higher order duality
variational problem
efficiency of higher order
Opis:
In this paper, multiobjective variational programming problem is considered. Mond-Weir type higher order duality results are established by using the efficiency of higher order as the optimization tool. In order to prove these results, we propose the notion of generalized higher order (F,ρ,θ,m,h)−invexity.
Źródło:
Control and Cybernetics; 2017, 46, 2; 137-145
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
(F, ρ)-invexity of higher order for multiobjective fractional variational problem
Autorzy:
Kumar, P.
Sharma, B.
Powiązania:
https://bibliotekanauki.pl/articles/206168.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
multiobjective
fractional
variational problem
efficiency of higher order
invexity
optimality
higher order duality
Opis:
Multiobjective fractional variational problem is considered and sufficient optimality conditions, characterizing efficiency of higher order, are obtained under the assumptions of (F,ρ)−invexity of higher order on the functionals involved. Parametric higher order dual of the above stated problem is proposed. Duality theorems are proved to relate efficient solutions of higher order for primal and its dual problem using generalized class of functionals.
Źródło:
Control and Cybernetics; 2018, 47, 2; 131-146
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Higher-order quantum dynamics of a generic quadratically-coupled optomechanical system: entanglement, antibunching and spin squeezing
Autorzy:
Mukherjee, K.
Jana, P. C.
Powiązania:
https://bibliotekanauki.pl/articles/173448.pdf
Data publikacji:
2017
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
higher-order nonclassicality
entanglement
antibunching
Opis:
To investigate the existence of higher-order intermodal entanglement, higher-order single-mode antibunching, higher-order intermodal antibunching and spin squeezing, a first order analytic operator solution of the Hamiltonian of quadratically-coupled optomechanical system is constructed using short time approximation for different field modes. Temporal variations of these nonclassical properties under different coupling strengths are studied, neglecting the effect of optical losses, environmental effects and also dissipation. With an increasing order number, the depth of these nonclassical properties is increased. Spin squeezed states are observed in any direction, i.e., either in Sx or Sy direction.
Źródło:
Optica Applicata; 2017, 47, 4; 651-663
0078-5466
1899-7015
Pojawia się w:
Optica Applicata
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödels Ontological Argument
Autorzy:
Benzmüller, Christoph
Fuenmayor, David
Powiązania:
https://bibliotekanauki.pl/articles/750054.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
computational metaphysics
ontological argument
higher-order modal logic
higher-order logic
automated reasoning
modal ultrafilters
Opis:
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the utilization of suitably adapted notions of (modal) ultrafilters, and a careful distinction between extensions and intensions of positive properties.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Exemplary Uses of Technology in Education
Autorzy:
Bolton, David L.
Powiązania:
https://bibliotekanauki.pl/articles/29520349.pdf
Data publikacji:
2006-12-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
Educational Technology
Constructivism
Higher-order Thinking
Opis:
Traditional education in the United States has been largely influenced by the Industrial Revolution. Educational technology helped prepare students for the industry. The modern information technology revolution has created a need for a different type of education, one that helps the student acquire the skills to process and use information to solve problems. One approach to education that does this is constructivism, an approach to education that helps students learn the structure of knowledge. Exemplary use of educational technology can be used to accomplish this goal. Exemplary lessons stimulate higher-order thinking to solve problems. Examples are provided that demonstrate this.
Źródło:
The New Educational Review; 2006, 10; 227-243
1732-6729
Pojawia się w:
The New Educational Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pre-assembly of FEM n-th order triangular elements
Autorzy:
Sowa, M.
Typańska, D.
Powiązania:
https://bibliotekanauki.pl/articles/377713.pdf
Data publikacji:
2014
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
assembly
finite element method
higher order elements
Opis:
The paper presents a method of preparing data, which can be used to simplify the procedure of formulating local stiffness matrices in the finite element method (the part of preparing this data is hence referred to as the pre-assembly). For the presentation of the methodology non-curvilinear triangular elements have been chosen, where it has been taken into account that any order can be selected for the elements. The paper presents a mathematical basis of how the auxiliary data is prepared. The appropriate relations to the final FEM equations are also given.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2014, 77; 133-139
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Assessment of High-Order-Mode Analysis and Shape Optimization of Expansion Chamber Mufflers
Autorzy:
Chiu, M. C.
Chang, Y. C.
Powiązania:
https://bibliotekanauki.pl/articles/178079.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
higher order wave
eigenfunction
optimization
genetic algorithm
Opis:
A substantial quantity of research on muffler design has been restricted to a low frequency range using the plane wave theory. Based on this theory, which is a one-dimensional wave, no higher order wave has been considered. This has resulted in underestimating acoustical performances at higher frequencies when doing muffler analysis via the plane wave model. To overcome the above drawbacks, researchers have assessed a three-dimensional wave propagating for a simple expansion chamber muffler. Therefore, the acoustic effect of a higher order wave (a high frequency wave) is considered here. Unfortunately, there has been scant research on expansion chamber mufflers equipped with baffle plates that enhance noise elimination using a higher-order-mode analysis. Also, space-constrained conditions of industrial muffler designs have never been properly addressed. So, in order to improve the acoustical performance of an expansion chamber muffler within a constrained space, the optimization of an expansion chamber muffler hybridized with multiple baffle plates will be assessed. In this paper, the acoustical model of the expansion chamber muffler will be established by assuming that it is a rigid rectangular tube driven by a piston along the tube wall. Using an eigenfunction (higher- order-mode analysis), a four-pole system matrix for evaluating acoustic performance (STL) is derived. To improve the acoustic performance of the expansion chamber muffler, three kinds of expansion chamber mufflers (KA-KC) with different acoustic mechanisms are introduced and optimized for a targeted tone using a genetic algorithm (GA). Before the optimization process is performed, the higher-order-mode mathematical models of three expansion chamber mufflers (A-C) with various allocations of inlets/outlets and various chambers are also confirmed for accuracy. Results reveal that the STL of the expansion chamber mufflers at the targeted tone has been largely improved and the acoustic performance of a reverse expansion chamber muffler is more efficient than that of a straight expansion chamber muffler. Moreover, the STL of the expansion chamber mufflers will increase as the number of the chambers that separate with baffles increases.
Źródło:
Archives of Acoustics; 2014, 39, 4; 489-499
0137-5075
Pojawia się w:
Archives of Acoustics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oscillation of a forced higher order equation
Autorzy:
Kosmala, Witold
Powiązania:
https://bibliotekanauki.pl/articles/1311648.pdf
Data publikacji:
1994
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
oscillation
nonlinear higher order equation
nonlinear functional
Opis:
We state and prove two oscillation results which deal with bounded solutions of a forced higher order differential equation. One proof involves the use of a nonlinear functional.
Źródło:
Annales Polonici Mathematici; 1994-1995, 60, 2; 137-144
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inventory for Measuring Higher-Order Thinking Learning Environment
Autorzy:
Bisri, Hasan
Rahmawati, Yuli
Ridwan, Achmad
Powiązania:
https://bibliotekanauki.pl/articles/20311759.pdf
Data publikacji:
2023-09-30
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
higher-order thinking
inventory
instrument
learning environment
Opis:
The research aims to obtain empirical evidence of the reliability, dimensionality, and validity of instruments of higher-order thinking learning environment inventory (HOTLEI). Data was collected using quantitative methods with the Rasch model analysis. The numbers sample is 1361 students from 15 junior high schools in DKI Jakarta, West Java, and Banten. The research concluded that the measurement reliability was at a good level and excellent in extensive trials. The HOTLEI fulfils unidimensionality adequacy based on raw variance explained of 31.6% and 42.3%, and eigenvalues less than 3.0. A mount of 32 valid items is categorised as productive for HOTLEI measurement.
Źródło:
The New Educational Review; 2023, 73; 162-174
1732-6729
Pojawia się w:
The New Educational Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Normalizing constants for a statistic based on logarithms of disjoint m-spacings
Autorzy:
Czekała, Franciszek
Powiązania:
https://bibliotekanauki.pl/articles/1340224.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
asymptotic normality
higher-order spacings
step density function
Opis:
The paper is concerned with the asymptotic normality of a certain statistic based on the logarithms of disjoint m-spacings. The exact and asymptotic mean and variance are computed in the case of uniform distribution on the interval [0,1]. This result is generalized to the case when the sample is drawn from a distribution with positive step density on [0,1].
Źródło:
Applicationes Mathematicae; 1995-1996, 23, 4; 405-416
1233-7234
Pojawia się w:
Applicationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of higher order Hamiltonian approach to nonlinear vibrating systems
Zastosowanie metody Hamiltona wyższego rzędu w zagadnieniu drgań układów nieliniowych
Autorzy:
Askari, H.
Nia, Z. S.
Yildirim, A.
Yazdi, M. K.
Khan, Y.
Powiązania:
https://bibliotekanauki.pl/articles/279297.pdf
Data publikacji:
2013
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
higher order Hamiltonian approach
Duffing equation
analytical solutions
Opis:
The higher order Hamiltonian approach is utilized to elicit approximate solutions for two nonlinear oscillation systems. Frequency-amplitude relationships and the model of buc kling of a column and mass-spring system are scrutinized in this paper. First, second and third approximate solutions of examples are achieved, and the frequency responses of the systems are verified by exact numerical solutions. According to the numerical results, we can conclude that the Hamiltonian approach is an applicable method for solving the nonlinear equations, and the accuracy of this method in the second and third approximates is very high and reliable. The achieved results of this paper demonstrate that this method is powerful and uncomplicated for solving of sophisticated nonlinear problems.
W pracy przedstawiono zastosowanie metody Hamiltona wyższego rzędu do wyznaczania przybliżonych rozwiązań analitycznych dla dwóch nieliniowych układów drgających. Szczegółowej analizie poddano charakterystyki amplitudowo-częstościowe modelu ściskanej belki oraz dyskretnego układu sprężysto-inercyjnego. Otrzymano przybliżone rozwiązania pierwszego, drugiego i trzeciego rzędu, a odpowiedzi częstościowe układów porównano z dokładnymi rezultatami symulacji numerycznych. Na ich podstawie oceniono, że metoda Hamiltona jest stosowalna dla układów nieliniowych, a przybliżenia drugiego i trzeciego rzędu stanowią rozwiązania analityczne o wysokiej dokładności. Uzyskane w pracy wyniki przekonują, że zaproponowana metoda jest prostym i jednocześnie bardzo skutecznym narzędziem rozwiązywania nieliniowych problemów układów mechanicznych o dużym stopniu złożoności.
Źródło:
Journal of Theoretical and Applied Mechanics; 2013, 51, 2; 287-296
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Natural transformations of higher order cotangent bundle functors
Autorzy:
Kurek, Jan
Powiązania:
https://bibliotekanauki.pl/articles/1311887.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
higher order cotangent bundle
jet
pth power transformation
Opis:
We determine all natural transformations of the rth order cotangent bundle functor $T^{r*}$ into $T^{s*}$ in the following cases: r = s, r < s, r > s. We deduce that all natural transformations of $T^{r*}$ into itself form an r-parameter family linearly generated by the pth power transformations with p =1,...,r.
Źródło:
Annales Polonici Mathematici; 1993, 58, 1; 29-35
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Henkin semantics for reasoning with natural language
Autorzy:
Hahn, M.
Richter, F.
Powiązania:
https://bibliotekanauki.pl/articles/103815.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
Henkin semantics
reasoning
reducing higher-order reasoning
first-order reasoning
Opis:
The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists. Whereas linguists employ expressive higher-order logics in their theories of meaning, the most successful logical reasoning strategies with natural language to date rely on sophisticated first-order theorem provers and model builders. In order to bridge the fundamental mathematical gap between linguistic theory and computational practice, we present a general translation from a higher-order logic frequently employed in the linguistics literature, two-sorted Type Theory, to first-order logic under Henkin semantics. We investigate alternative formulations of the translation, discuss their properties, and evaluate the availability of linguistically relevant inferences with standard theorem provers in a test suite of inference problems stated in English. The results of the experiment indicate that translation from higher-order logic to first-order logic under Henkin semantics is a promising strategy for automated reasoning with natural languages.
Źródło:
Journal of Language Modelling; 2015, 3, 2; 513-568
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Reducing the Number of Higher-order Mutants with the Aid of Data Flow
Autorzy:
Ghiduk, A. S.
Powiązania:
https://bibliotekanauki.pl/articles/384156.pdf
Data publikacji:
2016
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
mutation testing
first-order mutants
higher-order mutants
data-flow analysis
Opis:
Higher-order mutants are created by injecting two or more mutations into the original program, while first-order mutants are generated by seeding single faults in the original program. Mutant generation is a key stage of mutation testing which is computationally very expensive, especially in the case of higher-order mutants. Although many mutation testing techniques have been developed to construct the first-order mutants, a very small number of techniques have been presented to generate the higher-order mutants because of the exponential growth of the number of higher-order mutants, and the coupling effect between higher-order and first-order mutants. To overcome the exponential explosion in the number of higher-order mutants considered, this paper introduces a new technique for generating a reduced set of higher-order mutants. The proposed technique utilizes a data-flow analysis to decrease the number of mutation points through the program under test and consequently reduce the number of higher-order mutants. In this technique only positions of defs and uses are considered as locations to seed the mutation. The generated set of higher-order mutants consists of a reduced number of mutants, which reduces the costs of higher-order mutation testing. In addition, the proposed technique can generate the higher-order mutants directly without generating the first-order mutants or by combining two or more first-order mutants. A set of experiments are conducted to evaluate the effectiveness of the proposed technique. The results of the conducted experiments are presented and compared with the results of the related work. These results showed that the proposed technique is more effective than the earlier techniques in generating higher-order mutants without affecting the efficiency of mutation testing.
Źródło:
e-Informatica Software Engineering Journal; 2016, 10, 1; 31-49
1897-7979
Pojawia się w:
e-Informatica Software Engineering Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Development of Deconstructive Learning History Model to Promote the Higher Order Thinking Skill of University Students
Autorzy:
Sariyatun, -
Joebagio, Hermanu
Humin, M.
Abid, Nur Fatah
Sutimin, Leo Agung
Powiązania:
https://bibliotekanauki.pl/articles/1972187.pdf
Data publikacji:
2018-03-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
higher order thinking skill
learning history
learning model
deconstructive
Opis:
The presented research develops a deconstructive learning history model to promote the Higher Order Thinking Skill (HOTS) of university students. According to Thiagarajan, Semmel, & Semmel’s (1974) approach, the model was developed in four stages: defining, design, development, and dissemination. The research participants were 120 students of the History Education Department, Sebelas Maret University, Indonesia. The authors found the main problems related to the aspects of chronological thinking, students’ passive attitude, and the availability of learning path. Based on those problems, the author designed a deconstructive learning history model, consisting of four learning stages: problem statement, deconstruction, construction, and articulation. At the development and summative evaluation stages, the learning model proved feasible and effective in promoting the HOTS, thus, the learning model can solve the problems of time orientation and students’ passive attitude. Considering the findings and results of the research, the authors state that the learning model becomes a decisive factor in provoking students to reach the higher cognitive level in Bloom’s taxonomy.
Źródło:
The New Educational Review; 2018, 51; 19-29
1732-6729
Pojawia się w:
The New Educational Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 74

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies