Generalization of bar induction BID and the inductive generation processes to trees over species

1973 ◽  
pp. 129-133
Author(s):  
Horst Luckhardt
Keyword(s):  
Inductive Generation

Projective and inductive generation of abstract logics

Studia Logica ◽  
1976 ◽  
Vol 35 (3) ◽  
pp. 249-255 ◽  
Author(s):  
Stephen L. Bloom
Keyword(s):  
Abstract Logics ◽  
Inductive Generation

scholarly journals Design and Analysis High Gain PHEMT LNA for Wireless Application at 5.8 GHz

2015 ◽  
Vol 5 (3) ◽  
pp. 611
Author(s):  
Kamil Pongot ◽  
Abdul Rani Othman ◽  
Zahriladha Zakaria ◽  
Mohamad Kadim Suaidi ◽  
Abdul Hamid Hamidon ◽  
...  
Keyword(s):  
Return Loss ◽  
Noise Figure ◽  
High Gain ◽  
Low Noise ◽  
Low Noise Amplifier ◽  
Output Terminal ◽  
Wireless Application ◽  
Noise Amplifier ◽  
The Stability ◽  
Inductive Generation

This research present a design of a higher  gain (66.38dB) for PHEMT LNA  using an inductive drain feedback technique for wireless application at 5.8GHz. The amplifier it is implemented using PHEMT FHX76LP transistor devices.  The designed circuit is simulated with  Ansoft Designer SV.  The LNA was designed using  T-network as a matching technique was used at the input and output terminal,  inductive generation to the source and an inductive drain feedback. The  low noise amplifier (LNA) using lumped-component provides a noise figure 0.64 dB and a gain (S<sub>21</sub>) of 68.94 dB. The output reflection (S<sub>22</sub>), input reflection (S<sub>11</sub>) and return loss (S<sub>12</sub>) are -17.37 dB, -15.77 dB and -88.39 dB respectively. The measurement shows the  stability was at  4.54 and 3-dB bandwidth of 1.72 GHz. While, the  low noise amplifier (LNA) using  Murata manufactured component provides a noise figure 0.60 dB and a gain (S<sub>21</sub>) of 66.38 dB. The output reflection (S<sub>22</sub>), input reflection (S<sub>11</sub>) and return loss (S<sub>12</sub>) are -13.88 dB, -12.41 dB and -89.90 dB respectively. The measurement shows the  stability was at  6.81 and 3-dB bandwidth of 1.70 GHz. The input sensitivity more than -80 dBm  exceeded the standards required by IEEE 802.16.

scholarly journals QUANTUM INCREASING SEQUENCES GENERATE QUANTUM PERMUTATION GROUPS

2019 ◽  
Vol 62 (3) ◽  
pp. 631-639 ◽  
Author(s):  
PAWEŁ JÓZIAK
Keyword(s):  
Permutation Groups ◽  
Increasing Sequences ◽  
Inductive Generation

AbstractWe answer a question of Skalski and Sołan (2016) about inner faithfulness of the Curran’s map of extending a quantum increasing sequence to a quantum permutation. Roughly speaking, we find a inductive setting in which the inner faithfulness of Curran’s map can be boiled down to inner faithfulness of similar map for smaller algebras and then rely on inductive generation result for quantum permutation groups of Brannan, Chirvasitu and Freslon (2018).

The lunar dynamo

Science ◽  
2014 ◽  
Vol 346 (6214) ◽  
pp. 1246753 ◽  
Author(s):  
Benjamin P. Weiss ◽  
Sonia M. Tikoo
Keyword(s):  
Magnetic Field ◽  
Magnetic Fields ◽  
The Moon ◽  
Planetary Interiors ◽  
Mechanical Stirring ◽  
Lunar Rocks ◽  
Order Of Magnitude ◽  
Global Magnetic Field ◽  
Dynamo Process ◽  
Inductive Generation

The inductive generation of magnetic fields in fluid planetary interiors is known as the dynamo process. Although the Moon today has no global magnetic field, it has been known since the Apollo era that the lunar rocks and crust are magnetized. Until recently, it was unclear whether this magnetization was the product of a core dynamo or fields generated externally to the Moon. New laboratory and spacecraft measurements strongly indicate that much of this magnetization is the product of an ancient core dynamo. The dynamo field persisted from at least 4.25 to 3.56 billion years ago (Ga), with an intensity reaching that of the present Earth. The field then declined by at least an order of magnitude by ∼3.3 Ga. The mechanisms for sustaining such an intense and long-lived dynamo are uncertain but may include mechanical stirring by the mantle and core crystallization.

A structural investigation on formal topology: coreflection of formal covers and exponentiability

2004 ◽  
Vol 69 (4) ◽  
pp. 967-1005 ◽  
Author(s):  
Maria Emilia Maietti ◽  
Silvio Valentini
Keyword(s):  
Structural Investigation ◽  
Point Of View ◽  
Locally Compact ◽  
Cover Relation ◽  
The Given ◽  
Formal Topology ◽  
Inductive Generation

Abstract.We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal topologies are coreflective into inductively generated formal covers.The second result is that unary formal covers are exponentiable in the category of inductively generated formal covers and hence, thanks to the coreflection, unary formal topologies are exponentiable in the category of inductively generated formal topologies.From a localic point of view the exponentiability of unary formal topologies means that algebraic dcpos are exponentiable in the category of open locales. But, the coreflection theorem states that open locales are coreflective in locales and hence, as a consequence of well-known impredicative results on exponentiable locales, it allows to prove that locally compact open locales are exponentiable in the category of open locales.

Sign in / Sign up

Export Citation Format

Share Document