多功能键盘设计

文中讨论的是多功能键盘，它是以ＡＴ８９Ｃ２０５１单片机为控制器，带有本地键盘和远程无线遥控键盘，适用于特殊场合的一种微机系统智能键盘。文中较详细地介绍了多功能键盘的设计思想、工作原理及软件控制过程等。     

Rank order filters and priority queues

Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency. Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming. Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming.     

层状催化剂颗粒的优化设计——双组分等温平行反应体系

针对双组分等温平行反应体系,分析讨论了以提高催化剂活性和选择性为目标时催化剂活性组分的最优分布形式(为δ-函数分布),并给出了确定这种反应体系的催化剂的最佳活性层位置的计算方法。结果表明:以提高选择性为目标的最佳活性层位置比以提高活性为目标的要更靠近催化剂核心,实用的最优位置应介于二者之间。最后,本文还研究了反应动力学级数、本性选择性以及内扩散模数(Thiele 模数)等因素对最佳活性层位置的影响。     

单元系T—p相图的数学结构

作者以化学元素的稳定单质为基准,推演出了任意物质M_i(相态Ω)的热力学生成活度{相态Ω)的函数形式:?D_Ω数值的大小体现着相态Ω的热力学相对稳定性.根据集合论原理沿D(稳定性)座标取极大值的方法把物理性质互不连续的各个异相态连结在一起,建立了单元系在T-p面上的优势分布方程(PSDE):■作者以H_2O为实例,计算了T-p相图,与实验相图基本一致.     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

一种图文数据库系统的设计与实现

随着计算机技术的发展和水平的提高，图像，声音，图形等多媒体信息逐步应用于管理信息系统之中。文章中提出了图文数据库系统设计中存在的三个基本问题。讨论了介绍了图文数据库系统的设计方法和实现技术。     

DX型数据采集与无线传输系统

DX型数据采集与无线传输系统能对油井压力、温度、载荷和流量等参数进行自动采集 ,并通过无线传输向总站提供实时参数 ,为及时决策提供信息。数据采集系统采用STD总线 ,测量精度高、故障低 ;无线传输系统采用短波电台和具有自动纠错功能的数传机 ,抗噪能力强、可靠性高。文章介绍了DX型数据采集与无线传输系统的组成、工作原理、功能和主要技术指标     

The design of experiments when there are errors in all the variables

The Error-in-Variables Model (EVM) applies to a large class of problems in parameter estimation in which there is error in all the variables. This property makes it of more general applicability than the widely used technique of ordinary Least Squares. While there is a voluminous literature on EVM there is nothing on a general method for designing experiments when EVM applies. In this paper we present an extension of the concept of D-optimality to provide such a general method. It is illustrated by applying it to the estimation of copolymer reactivity ratios and to fitting an ellipse.     

Investigation of the Interaction of Sodium Chloride and Two Amino Sulfonic Acids,HEPES and MOPSO,by EMF Measurements

Ionic interactions in the two systems NaCl-HEPES (N-2-hydroxyethylpiperazine-N′-2-ethanesulfonic acid) and NaCl-MOPSO (3-(N-Morpholino)-2-hydroxypropanesulfonic acid) have been studied in terms of their mutual influence on the respective activity coefficients of each component. Activity coefficients for each component of the two systems and for corresponding buffers are calculated from emf measurements of solutions containing NaCl, the aminosulfonic acid, and its conjugate base in a NalSE/solution/AgCl-Ag cell at 5, 15, 25, and 37 °C.     

一种新型有机锗化合物的合成及其抗癌性

癌症是当今人类疾病中的第一杀手,寻找新的药物预防和医治癌症是21世纪有机化学的重要研究课题之一。本文报道了一种新型有机锗化合物的合成,它对肺腺癌细胞生长抑制率达88%。