scholarly journals A reconfigurable concurrent function block model and its implementation in real-time Java

2002 ◽  
Vol 9 (3) ◽  
pp. 263-279 ◽  
Author(s):  
Robert W. Brennan ◽  
Xiaokun Zhang ◽  
Yuefei Xu ◽  
Douglas H. Norrie
Keyword(s):  
Real Time ◽  
Block Model ◽  
Function Block

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

2017 ◽  
Vol 60 (1) ◽  
pp. 63-84 ◽  
Author(s):  
Josh Newell ◽  
Linna Pang ◽  
David Tremaine ◽  
Alan Wassyng ◽  
Mark Lawford
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Function Block

Some Recent Results in Quiescent Prominence Spectrometry

1979 ◽  
Vol 44 ◽  
pp. 41-47
Author(s):  
Donald A. Landman
Keyword(s):  
Real Time ◽  
Computer System ◽  
Spectral Response ◽  
Absolute Intensity ◽  
Solar Observatory ◽  
Target Size ◽  
Small Target ◽  
Signal Averaging ◽  
Quiescent Prominence

This paper describes some recent results of our quiescent prominence spectrometry program at the Mees Solar Observatory on Haleakala. The observations were made with the 25 cm coronagraph/coudé spectrograph system using a silicon vidicon detector. This detector consists of 500 contiguous channels covering approximately 6 or 80 Å, depending on the grating used. The instrument is interfaced to the Observatory’s PDP 11/45 computer system, and has the important advantages of wide spectral response, linearity and signal-averaging with real-time display. Its principal drawback is the relatively small target size. For the present work, the aperture was about 3″ × 5″. Absolute intensity calibrations were made by measuring quiet regions near sun center.

Video real-time imaging of artificial membranes during freeze-drying by cryo-electron microscopy

1988 ◽  
Vol 46 ◽  
pp. 16-17
Author(s):  
Alan S. Rudolph ◽  
Ronald R. Price
Keyword(s):  
Real Time ◽  
Self Assembly ◽  
Freeze Drying ◽  
Video Capture ◽  
Drying Process ◽  
Artificial Membranes ◽  
The Past ◽  
Cryo Electron Microscopy ◽  
Spherical Structures ◽  
Capture Techniques

We have employed cryoelectron microscopy to visualize events that occur during the freeze-drying of artificial membranes by employing real time video capture techniques. Artificial membranes or liposomes which are spherical structures within internal aqueous space are stabilized by water which provides the driving force for spontaneous self-assembly of these structures. Previous assays of damage to these structures which are induced by freeze drying reveal that the two principal deleterious events that occur are 1) fusion of liposomes and 2) leakage of contents trapped within the liposome [1]. In the past the only way to access these events was to examine the liposomes following the dehydration event. This technique allows the event to be monitored in real time as the liposomes destabilize and as water is sublimed at cryo temperatures in the vacuum of the microscope. The method by which liposomes are compromised by freeze-drying are largely unknown. This technique has shown that cryo-protectants such as glycerol and carbohydrates are able to maintain liposomal structure throughout the drying process.

Sign in / Sign up

Export Citation Format

Share Document