Proofs, Lambda Terms and Control Operators

1997 ◽  
pp. 309-347 ◽  
Author(s):  
Helmut Schwichtenberg
Keyword(s):  
And Control ◽  
Control Operators

Exponential bases in Sobolev spaces in control and observation problems for the wave equation

2000 ◽  
Vol 130 (5) ◽  
pp. 947-970 ◽  
Author(s):  
S. A. Avdonin ◽  
S. A. Ivanov ◽  
D. L. Russell
Keyword(s):  
State Space ◽  
Control Systems ◽  
Sobolev Spaces ◽  
Fourier Method ◽  
Exponential Families ◽  
Control Space ◽  
Space State ◽  
Exponential Bases ◽  
And Control ◽  
Control Operators

The Fourier method in control systems reduces the study of controllability/observability to the study of related exponential families. In this paper we present examples of such systems, specifically those for which we can prove that the related exponential families form a Riesz basis in corresponding appropriately defined Sobolev spaces. This makes it possible to choose ‘natural’ pairs of spaces: the state space observability space and the control space state space, depending on whether an observation or a control problem is studied, respectively, so that the observation and control operators are isomorphisms.

Experimentation and Challenge

2007 ◽  
pp. 161-175
Author(s):  
Raffaella Sette
Keyword(s):  
Criminal Law ◽  
Control Strategies ◽  
Knowing That ◽  
Difficult Time ◽  
On Line ◽  
University Course ◽  
And Control ◽  
Real Challenge ◽  
Control Operators

The on-line course on criminological topics carried out in an undergraduate course for “Security and Social Control Operators” (Faculty of Political Science “Ruffilli”, University of Bologna) represented a real challenge for three different reasons: 1) it was inserted in the syllabus of a three year undergraduate course which was the first university course in Italy intended for the training of operators to carry out an activity which calls for being able to manage modern investigative, security and control strategies; 2) it dealt with the teaching of criminology and it is useful to emphasise that, in Italy, criminology has a difficult time freeing itself from similar disciplines (legal medicine, criminal law, sociology, psychology), even while knowing that it has to maintain a good relationship with them; and 3) it dealt with one of the first on-line courses activated at the Faculty “Ruffilli”. The case study describes and critically analyses the implementation of the online criminology course.

scholarly journals Induction by Coinduction and Control Operators in Call-by-Name

2013 ◽  
Vol 127 ◽  
pp. 101-112
Author(s):  
Yoshihiko Kakutani ◽  
Daisuke Kimura
Keyword(s):  
And Control ◽  
Control Operators

Evaluation of Tools to Aid Command and Control Operators in Chat-Based Communication Monitoring

2011 ◽  
Author(s):  
Kelly Satterfield ◽  
Victor Finomore ◽  
Courtney Castle ◽  
Joel Warm
Keyword(s):  
Command And Control ◽  
And Control ◽  
Control Operators

Control of Metal Alloy Oxidation with Electric Fields

1973 ◽  
Vol 31 ◽  
pp. 164-165
Author(s):  
R. R. Dils ◽  
P. S. Follansbee
Keyword(s):  
Electric Fields ◽  
Oxidation Process ◽  
Base Alloy ◽  
Oxide Surface ◽  
Platinum Electrodes ◽  
Insulating Layer ◽  
Iron Base Alloy ◽  
Alloy Oxidation ◽  
Aluminum Oxide Layer ◽  
And Control

Electric fields have been applied across oxides growing on a high temperature alloy and control of the oxidation of the material has been demonstrated. At present, three-fold increases in the oxidation rate have been measured in accelerating fields and the oxidation process has been completely stopped in a retarding field.The experiments have been conducted with an iron-base alloy, Pe 25Cr 5A1 0.1Y, although, in principle, any alloy capable of forming an adherent aluminum oxide layer during oxidation can be used. A specimen is polished and oxidized to produce a thin, uniform insulating layer on one surface. Three platinum electrodes are sputtered on the oxide surface and the specimen is reoxidized.

Evidence for a Blood Ganglion Barrier in the Superior Cervical Ganglion of the Rat

1982 ◽  
Vol 40 ◽  
pp. 204-204
Author(s):  
D. M. DePace
Keyword(s):  
Blood Vessels ◽  
Superior Cervical Ganglion ◽  
Peripheral Nerves ◽  
Time Schedule ◽  
Transmission Electron ◽  
Cervical Ganglion ◽  
The Central Nervous System ◽  
Cervical Ganglia ◽  
Capillary Circulation ◽  
And Control

The majority of blood vessels in the superior cervical ganglion possess a continuous endothelium with tight junctions. These same features have been associated with the blood brain barrier of the central nervous system and peripheral nerves. These vessels may perform a barrier function between the capillary circulation and the superior cervical ganglion. The permeability of the blood vessels in the superior cervical ganglion of the rat was tested by intravenous injection of horseradish peroxidase (HRP). Three experimental groups of four animals each were given intravenous HRP (Sigma Type II) in a dosage of.08 to.15 mg/gm body weight in.5 ml of.85% saline. The animals were sacrificed at five, ten or 15 minutes following administration of the tracer. Superior cervical ganglia were quickly removed and fixed by immersion in 2.5% glutaraldehyde in Sorenson's.1M phosphate buffer, pH 7.4. Three control animals received,5ml of saline without HRP. These were sacrificed on the same time schedule. Tissues from experimental and control animals were reacted for peroxidase activity and then processed for routine transmission electron microscopy.

Effects of renovascular hypertension on rat adrenal zona glomerulosa

1978 ◽  
Vol 36 (2) ◽  
pp. 582-583
Author(s):  
G. Mazzocchi ◽  
P. Rebuffat ◽  
C. Robba ◽  
P. Vassanelli ◽  
G. G. Nussdorfer
Keyword(s):  
Renovascular Hypertension ◽  
Left Kidney ◽  
Renin Angiotensin System ◽  
Plasma Renin ◽  
Zona Glomerulosa ◽  
Ultrastructural Changes ◽  
Albino Rats ◽  
Left Renal Artery ◽  
Angiotensin System ◽  
And Control

It is well known that the rat adrenal zona glomerulosa steroidogenic activity is controlled by the renin-angiotensin system. The ultrastructural changes in the rat zona glomerulosa cells induced by renovascular hypertension were described previously, but as far as we are aware no correlated biochemical and morphometric investigations were performed.Twenty adult male albino rats were divided into 2 experimental groups. One group was subjected to restriction of blood flow to the left kidney by the application of a silver clip about the left renal artery. The other group was sham-operated and served as a control. Renovascular hypertension developed in about 10 days: sistolic blood pressure averaged 165 ± 6. 4 mmHg, whereas it was about 110 ± 3. 8 mmHg in the control animals. The hypertensive and control rats were sacrificed 20 days after the operation. The blood was collected and plasma renin activity was determined by radioimmunological methods. The aldosterone concentration was radioimmunologically assayed both in the plasma and in the homogenate of the left capsular adrenal gland.

Sign in / Sign up

Export Citation Format

Share Document