On numerical algorithm and interactive visualization for optimal control problems

We present methods for the visualization of the numerical solution of optimal control problems. The solution is based on dynamic programming techniques where the corresponding optimal value function is approximated on an adaptively refined grid. This approximation is then used in order to compute approximately optimal solution trajectories. We discuss requirements for the efficient visualization of both the optimal value functions and the optimal trajectories and develop graphic routines that in particular support adaptive, hierarchical grid structures, interactivity and animation. Several implementational aspects using the Graphics Programming Environment ‘GRAPE’ are discussed. Received: 4 December 1997 / Accepted: 5 August 1998     

MC68HC908QT4单片机键盘模块原理及应用

本文分析了MC68HC908QT4单片机键盘模块的结构原理和寄存器功能，结合其键盘模块的特点，给出了具体的键盘应用实例。     

Efficient and optimal exponentiation in finite fields

Optimal sequential and parallel algorithms for exponentiation in a finite field containing F _q are presented, assuming thatqth powers can be computed for free.     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

H-MCM-68分子筛的合成及其对联苯异丙基化反应的催化性能

 水热法合成了H-MCM-68分子筛并对其进行脱铝处理。采用XRD、SEM、NH3-TPD等对脱铝前后的H-MCM-68进行了表征。以联苯和丙烯为原料,考察H-MCM-68和脱铝H-MCM-68催化剂对联苯的异丙基化反应合成线性4,4'-二异丙基联苯的催化活性。结果表明,脱铝H-MCM-68(n(Si)/n(Al)=120)催化剂对联苯的异丙基化反应表现出高的催化活性和高的4,4'-二异丙基联苯选择性。在573 K、0.8 MPa、反应时间4 h的条件下,联苯的转化率达到81.2%,4,4'-二异丙基联苯选择性达到70.5%。     

Dynamic modeling and simulation of absorption of carbon dioxide into seawater

In order to elucidate the dynamic performance of the CO₂ ocean disposal process, effects of operating parameters, such as gas flow rate, salinity and temperature, on the absorption of CO₂ into seawater were examined. The rate-based model consisting of the rates of chemical reaction and gas-liquid mass transfer was developed for simulating dynamic process of CO₂ ocean disposal. In modeling, non-ideal mixing characteristics in the gas and liquid phases are described using a tanks-in-series model with backflow. Experiments were performed to verify dynamic CO₂ absorption prediction capability of the proposed model in a cylindrical bubble column. The operation was batch and continuous with respect to liquid phase and gas phase, respectively. Experimental results indicate that the CO₂ gas injection rate increased the absorption rate but the increase in salinity concentration caused inhibition of the absorption of CO₂. The proposed model could describe the present experimental results for the dynamic changes and the steady-state values of dissolved CO₂ concentration and hydrogen ion concentration. The proposed model might effectively handle the prediction of the absorption of CO₂ into seawater in the CO₂ ocean disposal.     

68Ga标记成纤维细胞活化蛋白抑制剂的生物分布和胶质瘤模型micro-PET显像

为研究⁶⁸Ga标记的成纤维细胞活化蛋白抑制剂（⁶⁸Ga-FAPI-04）在正常小鼠和胶质瘤裸鼠模型体内的生物学分布及micro-PET显像,以DOTA修饰的成纤维活化蛋白抑制剂为前体合成⁶⁸Ga-FAPI-04。放射性HPLC测定其标记率,考察放化纯度及体外稳定性,通过测定⁶⁸Ga-FAPI-04脂水分配系数评估其水溶性。将20只ICR小鼠随机分为5组,尾静脉注射3.7 MBq ⁶⁸Ga-FAPI-04后5、15、30、60、120 min后处死并取出各脏器,称重并测定放射性计数,计算各组织器官的放射性摄取率。建立U87MG胶质瘤荷瘤鼠模型,进行生物分布及micro-PET显像研究。结果表明,⁶⁸Ga-FAPI-04的标记率为97.38%±1.32%（n=3）,放化纯度为100%,体外稳定性好,亲水性强。ICR正常小鼠生物分布实验显示,⁶⁸Ga-FAPI-04血液清除快,肾脏为主要排泄器官,脑部放射性摄取低。U87MG荷瘤裸鼠生物分布及micro-PET均显示肿瘤部位有较高的放射性摄取率,⁶⁸Ga-FAPI-04注射后90 min时肿瘤部位放射性摄取率达到（2.50±0.00）%ID/g。注射后30、60、90、120 min时,肿瘤与正常脑的肿瘤本底比(tumor-to-background ratio, TBR)分别为（6.26±0.09）、（5.06±0.02）、（5.54±1.47）、（5.51±0.03）。研究表明,⁶⁸Ga-FAPI-04制备简易方便、标记率高、体外稳定性好,主要通过肾脏排泄,在胶质肿瘤模型中具有较好的肿瘤靶向性,micro-PET显像清晰,是潜在的脑肿瘤显像剂。     

三相多功能复费率电能表

文中详细介绍ADE7758计量芯片及其特性,提出以M68HC908LJ12微处理器为基础的三相多功能复费率电能表的硬件和软件设计,具有电路简洁、可靠性高、开发周期短等优点.     

H68合金退火料温对其晶粒度的影响(续)

2试验方案和退火工艺 2．1试验方案 根据前节分析,H68合金属单相α高锌合金,第一再结晶温度低,第二晶粒易长大。结晶理论指出,原始晶粒粗大,加工退火后再结晶晶粒亦大,H68合金在成品冷轧前需经两次中间退火（6．5mm热轧卷坯退火,2．3mm冷轧卷坯退火）,     

Gastgewerbe; Bedürfnisse der Bewohner; Zielgruppen?nderung; (keine) res judicata

Kam der Art der Nutzung eines Gastgewerbes bei der rechtskr?ftigen Versagung der Baubewilligung entscheidendes Gewicht zu (hier: im Zusammenhang mit den wirtschaftlichen, sozialen oder kulturellen Bedürfnissen der Bewohner), stellt ein Zielgruppenwechsel (hier: von einer nur für M?nner zug?nglichen "Cafe-Bar" zu einer "allgemein" zug?nglichen Bar) eine wesentliche Sachverhalts?nderung dar, der keine res judicata entgegen steht.