一体化的信号源分析仪

与美国同行争分夺秒抢占市场先机不同,欧洲测量仪器厂商Rohde&Schwarz公司的产品策略则相对稳健,他们的产品更专注于功能的多样化     

Zur Verantwortung des Informatikers-Militärische Anwendungen der Informatik

Ohne Zusammenfassung     

Agility through discipline: a debate

While Beck asserts that agility is only possible through greater discipline on the part of everyone involved, Boehm counters that you don't broaden the definition of "discipline" by rejecting parts of it. Yet, from inside extreme programming, it seems that the only way to achieve the desired results is to view the world in 'both-and" terms instead of "either-or" terms.     

On the suitability of agricultural by-products for the manufacture of granular activated carbon

An investigation of several agricultural by-products revealed that their suitability for activated carbon production is not determined by general material-specific features (elemental composition) but by type-specific features. A coarse-cellular structure (as in wood), which is indicated by porosities of the raw materials higher than 35% is disadvantageous. A specific change in the properties of cokes (porosity, density, hardness) is possible by varying the conditions of pyrolysis. By rapid heating in the pyrolysis step, for instance, macroporous residues are produced. Temperature and burnoff have the greatest influence on the quality of the activated carbon during the activation step. Of the investigated materials, coconut shells yield granular activated carbon of the highest quality. The following order of suitability of raw materials for activated carbon production was established: coconut shells> peach stones> plum stones> hazelnut shells> walnut shells> cherry stones.     

Dynamic thermographic imaging for estimation of regional perfusion in the tuberculin reaction in healthy adults

A sensitive method for measurement of the volume of blood flow through the skin, based on the kinetics of reheating after localised cooling, is described in this paper. This method has been used to study the tuberculin reaction as a model of cutaneous delayed-type hypersensitivity (DHS) in man. Over the positive reaction there is accelerated reheating similar in kinetics and extent to that seen after maximal hyperaemia induced by intradermal injection of histamine or prostaglandin E2. The earlier phase of reheating (10-100 s) is more dependent on blood flow, whereas the later phase (100-300 s) is apparently more dependent on non-perfusion heat exchange mechanisms, including conduction. The reheat kinetic method is largely dependent on blood flow in the deep dermal vessels (diameter > 50 microns), whereas the alternative approach of measurement of the velocity of flow of erythrocytes in the microcirculation by laser Doppler (LD) flowmetry gives results biased towards the most superficial dermal circulation. Previous studies with LD flowmetry have shown that the blood velocity is greatest at the centre of weak and strong reactions, while in the most intense reactions it is raised at the centre but maximal at the periphery (central relative slowing, CRS) raising the possibility of central ischaemia. The reheat kinetics approach has now indicated that the deep dermal circulation is not impaired in CRS reactions. It is concluded that there must be partial obstruction of the parts of the microcirculation communicating between the deep and superficial dermal plexuses, presumably from the accumulation of exudate oedema in the most intense tuberculin reactions.     

CMOS on FZ-high resistivity substrate for monolithic integration ofSiGe-RF-circuitry and readout electronics

The choice of a highly resistive substrate for silicon millimeter-wave integrated circuits (SIMMWIC) imposed by the requirement of low RF-substrate losses requires the adaptation of a CMOS process on float zone silicon (FZ). A comparison of n- and p-channel devices realized on high resistivity substrate (p-type, 5000 Ω·cm) and standard CMOS substrates (CZ, n-type, 4-6 Ω·cm) is given. Using careful process design, we obtained device characteristics on FZ-substrates that are closely similar to those on standard material, thus allowing direct transfer of existing circuit designs     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.