一体化的信号源分析仪

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

Zur Verantwortung des Informatikers-Militärische Anwendungen der Informatik

Ohne Zusammenfassung     

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.     

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.