Leon Battista Alberti as Author of <Emphasis Type="Italic">Hypnerotomachia Poliphili</Emphasis>

The enigmatic Hypnerotomachia Poliphili published anonymously in 1499 has long posed puzzles for historians and other scholars. This present text argues that the volume can credibly be attributed, not to Francesca Colonna as is often done, but to the Renaissance humanist and polymath Leon Battista Alberti. Evidence for this is found in the unravelling of arithmogrammatical evidence sprinkled throughout the work, similar to those found in other of Alberti’s works.     

Creating geometrically robust designs for highly sensitive problems using topology optimization

Resonance and wave-propagation problems are known to be highly sensitive towards parameter variations. This paper discusses topology optimization formulations for creating designs that perform robustly under spatial variations for acoustic cavity problems. For several structural problems, robust topology optimization methods have already proven their worth. However, it is shown that direct application of such methods is not suitable for the acoustic problem under consideration. A new double filter approach is suggested which makes robust optimization for spatial variations possible. Its effect and limitations are discussed. In addition, a known explicit penalization approach is considered for comparison. For near-uniform spatial variations it is shown that highly robust designs can be obtained using the double filter approach. It is finally demonstrated that taking non-uniform variations into account further improves the robustness of the designs.     

安钢SAP预留系统的开发与应用

本文简述了安钢信息化建设概况,介绍了安钢信息化建设中开发SAP预留系统的设计流程,阐述了预留系统实现的功能.     

计算机及网络技术与现代继续临床医学教育

计算机网络技术是现代信息技术的核心内容,其运用于现代临床医学教育前景广阔,不但适用范围广,教学效率也相当的高。计算机多媒体是现代临床教学的重要手段,而网络技术的使用特使教学内容噩方式发生根本性变革。根据目前计算机技术已深入到医学诊断、治疗及科研领域且发展迅速的现状,提出在继续医学教育中开展计算机知识学习的问题,并针对不同年龄段卫生工作者的具体情况进行了探讨并提出了相应的对策,这对于提高卫生工作者的综合素质也有着重要的意义。     

,,Location-based Services“ – Personalisierung mobiler Dienste durch Verortung

Zusammenfassung Im Zeitalter der Informationsgesellschaft, so wurde postuliert, spielten r?umliche Distanzen keine Rolle mehr und unsere r?umliche Mobilit?t n?hme ab. Die Mobilit?t in den letzten Jahren, speziell die Freizeitmobilit?t, hat hingegen zugenommen. Die Bereitstellung ortsbezogener Dienste – ,,Location-based Services“ – unterstützt und f?rdert dieses Verhalten.     

Parallel Lagrange interpolation on <Emphasis Type="Italic">k</Emphasis>-ary <Emphasis Type="Italic">n</Emphasis>-cubes with maximum channel utilization

This paper proposes an efficient parallel algorithm for computing Lagrange interpolation on k-ary n-cube networks. This is done using the fact that a k-ary n-cube can be decomposed into n link-disjoint Hamiltonian cycles. Using these n link-disjoint cycles, we interpolate Lagrange polynomial using full bandwidth of the employed network. Communication in the main phase of the algorithm is based on an all-to-all broadcast algorithm on the n link-disjoint Hamiltonian cycles exploiting all network channels, and thus, resulting in high-efficiency in using network resources. A performance evaluation of the proposed algorithm reveals an optimum speedup for a typical range of system parameters used in current state-of-the-art implementations.

Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules. This work has been mostly done while visiting CISS at Aalborg University in Denmark and has been supported by CISS and by ACI Cortos, a program of the French Ministry of Research.     

The Basic Constructive Logic for Negation-Consistency

In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic B_Kc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending B_Kc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.     

Continuous State Dynamic Programming via Nonexpansive Approximation

This paper studies fitted value iteration for continuous state numerical dynamic programming using nonexpansive function approximators. A number of approximation schemes are discussed. The main contribution is to provide error bounds for approximate optimal policies generated by the value iteration algorithm.      

Peristaltic micropump system with piezoelectric actuators

This work presents a driving system for a peristaltic micropump that is based on piezoelectric actuation. The effects of the actuation sequence on pump performance are also considered. A valveless peristaltic micropump based on piezoelectric actuation is designed and fabricated using microelectromechanical system technology. The pump has three parts––silicon, Pyrex glass and commercially available bulk PZT (lead zirconate titanate) chips. The peristaltic micropump actuated by PZT chips comprises three chambers that are in series. The driving system consists of an ATmega 8535 microprocessor, a high voltage power supply, three differential amplifiers, a phase controller, an A/D converter, a 555 oscillator and an LCD module. It is supplied via a 110 Vrms 60-Hz AC line and is programmable. The system can produce step-function signals with voltages of up to 100 V_pp and frequencies ranging from 10 Hz to 1 kHz, as the inputs for the pump. Fluid pumping with air is successfully demonstrated. Additionally, 3-, 4- and 6-phase actuation sequences for the pump are designed and used to study the effects on pump performance, as revealed by the flow rate and the displacement of a pump diaphragm. The experimental results show that the flow rate and the displacement of the diaphragm actuated by the 4-phase sequence exceed those actuated by the 3- and 6-phase sequences. A flow rate of 17.6 μl min⁻¹ and a displacement of 2.91 μm (peak-to-peak) in 4-phase peristaltic motion are achieved at 100 Hz and 100 V_pp. The results demonstrate that the pump actuated in the 4-phase sequence is the most efficient. Consequently, the actuation sequences can affect the pump performance.