This study deals with the thesis that conceivability implies possibility. Confronted with alleged counterexamples to this thesis, some philosophers have turned to what may be called “idealized” or “more demanding” notions of conceivability. I argue that in turning to such notions, they have made the thesis useless to limited beings like us for attaining modal knowledge. However, in refusing to identify conceivability with demanding or idealized notions, we cannot maintain that conceivability always implies possibility. Essentially, there are two ways to proceed: to view conceivability as a mere guide to possibility, or to argue that the conceivability thesis is a local truth, i.e., a truth with respect to a certain class of statements. I defend the latter alternative. This class of statements employs concepts with respect to which doubt concerning the conceivability thesis is to be regarded as general skepticism, not as skepticism relating to the conceivability thesis itself. I proceed by outlining an interpretation of strict possibility—i.e., the kind of possibility that I take the conceivability thesis to be about—according to which modal truths depend essentially on conceptual relations, as opposed to obtaining purely in virtue of properties of things themselves. Given this account, on which both ideal conceivability and strict possibility have a conceptual ground, I argue that these notions are not only coextensional but relate to one and the same property of statements. I further argue that the impossible is unimaginable, but that it is conceivable in the sense that one can misdescribe the contents of imagination.

<p>The present thesis is devoted to theoretical studies of light pulse propagation through different linear and nonlinear media. One dimensional holographic photonic crystals and one dimensional impurity band based photonic crystals are investigated as linear media. The effects of angular dependence of the band structures and pulse delay with respect to the light polarization are analyzed. A strict theory of nonlinear propagation of a few strong interacting light beams is presented and applied in the field of nonlinear optics. The key idea of this approach is a self-consistent solution of the nonlinear wave equation and the density matrix equations of the material beyond the so-called rotating wave approximation. The results of numerical studies led to a successful interpretation of recent experimental data [<i>Nature</i>, 415:767, 2002]. A theoretical study of the NO molecule by means of two-color infrared -- X-ray pump probe spectroscopy is presented. It was found that the phase of the infrared field strongly influences the trajectory of the nuclear wave packet, and hence, the X-ray spectrum. The dependence of the X-ray spectra on the delay time, the duration and the shape of the pulses are studied.</p>

The present thesis is devoted to theoretical studies of light pulse propagation through different linear and nonlinear media. One dimensional holographic photonic crystals and one dimensional impurity band based photonic crystals are investigated as linear media. The effects of angular dependence of the band structures and pulse delay with respect to the light polarization are analyzed. A strict theory of nonlinear propagation of a few strong interacting light beams is presented and applied in the field of nonlinear optics. The key idea of this approach is a self-consistent solution of the nonlinear wave equation and the density matrix equations of the material beyond the so-called rotating wave approximation. The results of numerical studies led to a successful interpretation of recent experimental data [Nature, 415:767, 2002]. A theoretical study of the NO molecule by means of two-color infrared -- X-ray pump probe spectroscopy is presented. It was found that the phase of the infrared field strongly influences the trajectory of the nuclear wave packet, and hence, the X-ray spectrum. The dependence of the X-ray spectra on the delay time, the duration and the shape of the pulses are studied. / QC 20101207

Målet med denna studie var att studera hur elever lär sig på bästa sätt, om det är genom praktisk eller teoretisk inlärning i ämnet naturvetenskap eller om det är genom att använda sig av båda inlärningsformerna. Studien är baserad på observationer och intervjuer i en klass i årskurs tre. Eleverna fick göra ett för- och eftertest som analyserades. Testerna kompletteras med hjälp av analyserade intervjuer.   Studien visade blandade resultat. Vid några frågor sågs det tydligt att eleverna som hade haft en praktisk undervisning hade förstått, medan eleverna i den andra gruppen med teoretisk undervisning inte hade förstått. Resultatet visade också att vid vissa fall var resultaten tvärtom. Intervjuerna visade att majoriteten av eleverna tyckte att det praktiska arbetet var mer intressant och roligt. En slutsats var att vissa uppgifter förstår eleverna lättare med hjälp av praktisk undervisning och ibland tvärtom.   Resultaten diskuteras sedan i relation till den tidigare forskning som presenteras i del nummer två i uppsatsen. Diskussionsdelen i uppsatsen kommer att presentera metoddiskussionen, praktisk inlärning, teoretisk inlärning och ämnet naturvetenskap.

<p>Syftet med denna studie är att undersöka ett litet antal låg- och mellanstadielärares samt elevers tankar kring frågan ”Är skolan för teoretisk”? Arbetet baseras på fallstudier som består av intervjuer. Inför studien har jag fördjupat mig i Säljös, Dysthes, Jönssons och Åbergs teorier gällande ämnesföreningssamarbete genom arbetslag, utveckling och lärande. Den metod jag har tillämpat är kvalitativa intervjuundersökningar. Mitt syfte att ta reda på om elever och lärare upplever att inslagen av kombinerad teori och praktik är tillräcklig. Slutligen vill jag resonera kring några faktorer som försvårar en kombination av teori och praktik. I studien intervjuades fyra lärare och 12 elever, både pojkar och flickor, från låg- och mellanstadiet. Intervjuerna visar att lärarna och eleverna tycker att det ska finnas ett starkare samband mellan teori och praktik. De elever som jag har intervjuat var väl medvetna om sitt behov av mer praktiska inslag i sin teoretiska utbildning. Med praktiskt menar eleverna studiebesök, laborationer och experimeter av olika slag. Enligt lärarna som deltog i min undersökning har ämnesinriktad lärarutbildning funnits sedan 1988. Trots det arbetar en majoritet av lärare som traditionella klasslärare dvs. med ansvar för de flesta ämnena. Alla deltagarna i studien anser att behovet av kombination av praktik, teori och fortbildning är stort. I dagsläget saknas ofta det praktiska inslaget i undervisningen. Det är många faktorer som spelar in för att alla barn ska utvecklas och lära sig på bästa sätt. Denna studie visar på flera hinder i användandet av en kombination av teori och praktik i dagens skolundervisning. Resultaten av studien visar att pedagoger ser på den pedagogiska miljöns betydelse som oerhört viktig. Under intervjuerna framförde både lärarna och eleverna den fysiska och den psykiska miljöns betydelse t.ex. storleken på klassen, hur barnen mår och att de är trygga. De nämner också att det är viktigt att lärarna är trygga i sin lärarroll samt att lärarna erbjuder eleverna olika undervisningsmetoder.</p>

Syftet med denna studie är att undersöka ett litet antal låg- och mellanstadielärares samt elevers tankar kring frågan ”Är skolan för teoretisk”? Arbetet baseras på fallstudier som består av intervjuer. Inför studien har jag fördjupat mig i Säljös, Dysthes, Jönssons och Åbergs teorier gällande ämnesföreningssamarbete genom arbetslag, utveckling och lärande. Den metod jag har tillämpat är kvalitativa intervjuundersökningar. Mitt syfte att ta reda på om elever och lärare upplever att inslagen av kombinerad teori och praktik är tillräcklig. Slutligen vill jag resonera kring några faktorer som försvårar en kombination av teori och praktik. I studien intervjuades fyra lärare och 12 elever, både pojkar och flickor, från låg- och mellanstadiet. Intervjuerna visar att lärarna och eleverna tycker att det ska finnas ett starkare samband mellan teori och praktik. De elever som jag har intervjuat var väl medvetna om sitt behov av mer praktiska inslag i sin teoretiska utbildning. Med praktiskt menar eleverna studiebesök, laborationer och experimeter av olika slag. Enligt lärarna som deltog i min undersökning har ämnesinriktad lärarutbildning funnits sedan 1988. Trots det arbetar en majoritet av lärare som traditionella klasslärare dvs. med ansvar för de flesta ämnena. Alla deltagarna i studien anser att behovet av kombination av praktik, teori och fortbildning är stort. I dagsläget saknas ofta det praktiska inslaget i undervisningen. Det är många faktorer som spelar in för att alla barn ska utvecklas och lära sig på bästa sätt. Denna studie visar på flera hinder i användandet av en kombination av teori och praktik i dagens skolundervisning. Resultaten av studien visar att pedagoger ser på den pedagogiska miljöns betydelse som oerhört viktig. Under intervjuerna framförde både lärarna och eleverna den fysiska och den psykiska miljöns betydelse t.ex. storleken på klassen, hur barnen mår och att de är trygga. De nämner också att det är viktigt att lärarna är trygga i sin lärarroll samt att lärarna erbjuder eleverna olika undervisningsmetoder.

The electronic structures of complex systems have been studied by theoretical calculations of soft x-ray spectroscopies like x-ray photoelectron spectroscopy, near edge x-ray absorption fine structure, and x-ray emission spectroscopies. A new approach based on time dependent density functional theory has been developed for the calculation of shake-up satellites associated with photoelectron spectra. This method has been applied to the phthalocyanine molecule, describing in detail its electronic structure, and revealing the origin of controversial experimental features. It is illustrated in this thesis that the theoretical intepretation plays a fundamental role in the full understanding of experimental spectra of large and complex molecular systems. Soft x-ray spectroscopies and valence band photoelectron spectroscopies have proved to be powerful tools for isomer identification, in the study of newly synthesized fullerene molecules, the azafullerene C48N12 and the C50Cl10 molecule, as well as for the determination of the conformational changes in the polymeric chain of poly(ethylene oxide). The dynamics of the core excitation process, revealed by the vibrational fine structure of the absorption resonances, has been studied by means of density functional and transition state theory approaches. / QC 20100929

Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. This method automatically establishes correctness of the system model with mathematical rigor. In order to apply mechanical procedures to determine whether the system satisfies the requirements, we first have to model the validated part of the system in a mathematical form. This thesis deals with one such formalism - timed automata - and investigates different types of infinite state structures arising in the verification procedures related to this formalism. There are two different views which open the door for introduction of such structures. First, we turn outwards and extend timed automata with additional infinite data structures - unbounded queues. These queues serve different purposes. In one case, the queues contain computation tasks and, together with a timed automaton, model a real-time system with tasks. The problem of interest in this setting is schedulability analysis. We investigate the decidability boundary in presence of various features such as preemption, variable computation times of tasks, and communication between the timed automaton and the task queue. In the other case, we use queues for asynchronous communication between timed automata running synchronously in parallel. These queues store messages issued by one automaton and waiting to be read by another automaton. Such situations occur among other cases in real-time control systems where several concurrently running tasks communicate via buffers. We study the decidability border for reachability analysis depending on various communication topologies of these systems. Secondly, we turn inwards and study a peculiar feature of timed automata which allows them to enforce behaviors where time distances between events monotonically grow while being bounded by some integer. This feature can be characterized by unbounded counters recording the number of such enforced increases. When we switch from the dense time semantics used for modeling to an implementation with a fixed clock rate (sampled semantics), only behaviors which correspond to a bounded usage of these counters are preserved. We describe operation of these counters as a new type of a counter automaton and prove that one can effectively check whether the counters are used in a bounded way. As a result, it is possible to check for a given timed automaton whether there is an implementation with a fixed sampling rate which preserves all qualitative behaviors.

No description available.

Diss. (sammanfattning) Uppsala : Univ., 2004. / Härtill 5 uppsatser.