Search results for "Integra"
showing 10 items of 5314 documents
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
A wideband car-to-car channel model based on a geometrical semicircular tunnel scattering model
2013
In this paper, we present a wideband single-input single-output (SISO) car-to-car (C2C) channel model based on a geometrical semicircular tunnel (SCT) scattering model. Starting from the geometrical scattering model, a reference channel model is derived under the assumption of single-bounce scattering in line-of-sight (LOS) and non-LOS (NLOS) propagation environments. In the proposed channel model, it is assumed that an infinite number of scatterers are uniformly distributed on the tunnel wall. Starting from the geometrical scattering model, the time-variant transfer function (TVTF) is derived and its correlation properties are studied. Expressions are presented for the two-dimensional (2D)…
Modulation of excitatory and inhibitory circuits for visual awareness in the human right parietal cortex.
2005
The balance of specific patterns of excitation and inhibition in critical regions of both hemispheres could be relevant in orienting attention over the extrapersonal space. In the present study a group of normal subjects had to detect small rectangular stimuli presented briefly on a computer screen in three different conditions: unilateral presentation either to left or right visual periphery or bilateral simultaneous presentation. Paired transcranial magnetic stimulation (TMS), was applied over the right parietal cortex 150 ms after the presentation of the visual stimuli with different inter-stimulus intervals (ISIs: 1, 3,5 and 10 ms). When paired TMS was applied 150 ms, but not 100 ms, af…
Effect of a social intervention of choice vs. control on depressive symptoms, melancholy, feeling of loneliness, and perceived togetherness in older …
2016
Objectives: This study examined effects of a social intervention on depressive symptoms, melancholy, loneliness, and perceived togetherness in community-dwelling Finnish older people. Method: Promotion of mental well-being in older people (GoodMood; ISRCTN78426775) was a single-blinded randomized control trial lasting 1.5 years. Two hundred and twenty-three persons aged 75–79 years reporting symptoms of loneliness or melancholy were randomized into intervention and control groups. The intervention group was allowed to choose among supervised exercise, social activity, or personal counseling. Follow-up measurements were conducted at the end of 6-month intervention, and at 3, 6, and 12 months…
Nurse‐led counseling for coronary artery disease patients: A 1‐year follow‐up study
2021
Nurse-led counseling and systematic follow-up has been shown to reduce cardiovascular risk factor levels. The study aim was to investigate if cardiovascular risk factor levels could be reduced in patients with coronary artery disease with a nurse-led intervention and to report patients’ evaluations of nurse-led counseling. The study design was a real-life longitudinal follow-up counseling intervention. Data were collected from November 2017 to May 2020. The nurse-led intervention and patients’ follow-up time was one year. Of the 78 patients recruited, 74 completed the study. The most significant findings were in the levels of total cholesterol, low-density lipoprotein cholesterol and trigly…
Path integral quantization for massive vector bosons
2010
A parity-conserving and Lorentz-invariant effective field theory of self-interacting massive vector fields is considered. For the interaction terms with dimensionless coupling constants the canonical quantization is performed. It is shown that the self-consistency condition of this system with the second-class constraints in combination with the perturbative renormalizability leads to an SU(2) Yang-Mills theory with an additional mass term.
Statistical Mechanics of the Integrable Models
1987
There is an infinity of classically integrable models. The only ones we can consider here, and these only briefly, are: the sine-Gordon (s-G) model $${\phi _{{\rm{xx}}}}{}^ - {\phi _{{\rm{tt}}}} = {{\rm{m}}^2}\sin \phi ,$$ (1.1) the sinh-Gordon (sinh-G) model $${\phi _{{\rm{xx}}}}{}^ - {\phi _{{\rm{tt}}}} = {{\rm{m}}^2}\sinh \phi ,$$ (1.2) and the repulsive and attractive non-linear Schrodinger (NLS) models $${}^ - {\rm{i}}{\phi _{\rm{t}}} = {\phi _{{\rm{xx}}}}{}^ - 2{\rm{c}}\phi {\left| \phi \right|^2}.$$ (1.3) The “attractive” NLS has real coupling constant c 0; φ is complex. In (1.1) and (1.2) m is a mass (ħ = c = 1) and φ is real. These 4 integrable models are in one space and one time …
Quantum and Classical Statistical Mechanics of the Non-Linear Schrödinger, Sinh-Gordon and Sine-Gordon Equations
1985
We are going to describe our work on the quantum and classical statistical mechanics of some exactly integrable non-linear one dimensional systems. The simplest is the non-linear Schrodinger equation (NLS) $$i{\psi _t} = - {\psi _{XX}} + 2c{\psi ^ + }\psi \psi $$ (1) where c, the coupling constant, is positive. The others are the sine- and sinh-Gordon equations (sG and shG) $${\phi _{xx}} - {\phi _{tt}} = {m^2}\sin \phi $$ (1.2) $${\phi _{xx}} - {\phi _{tt}} = {m^2}\sinh \phi $$ (1.3)
Frequency conversion of propagating surface plasmon polaritons by organic molecules
2008
We demonstrate frequency conversion of surface plasmon polaritons (SPP) by utilizing the coupling between organic dye molecules and SPP. Launching of SPPs into a plasmonic waveguide is done in two ways: by optically excited molecules and by quantum dots (QDs). QDs are demonstrated to overcome the major problem of bleaching occurring with molecules. The SPP propagates tens of micrometers and clear frequency conversion is observed in the SPP spectrum after passing an area of converter molecules. The use of molecules and QDs as elements of all-plasmonic devices has the potential for high integration and use of self-assembly in fabrication. Peer reviewed
Electromagnetic Full-Wave Simulation of Partial Discharge Detection in High Voltage AC Cables
2019
Partial discharge (PD) activity in the insulation system of an electrical equipment can determine the failure of the whole apparatus. PD sensors are widely used in high-voltage electrical systems as the main elements of a detecting system oriented to real time monitoring. Recently, non-invasive sensors have been proposed in industrial applications for cable and other sensitive electrical parts: they are based both on capacitive and on the electromagnetic radiating coupling. In order to assess the real performance of a new sensor produced by a high voltage AC cables manufacturer, the paper proposes electromagnetic fullwave simulation results.