Single-server queues with spatially distributed arrivals

Consider a queueing system where customers arrive at a circle according to a homogeneous Poisson process. After choosing their positions on the circle, according to a uniform distribution, they wait for a single server who travels on the circle. The server's movement is modelled by a Brownian motion with drift. Whenever the server encounters a customer, he stops and serves this customer. The service times are independent, but arbitrarily distributed. The model generalizes the continuous cyclic polling system (the diffusion coefficient of the Brownian motion is zero in this case) and can be interpreted as a continuous version of a Markov polling system. Using Tweedie's lemma for positive recurrence of Markov chains with general state space, we show that the system is stable if and only if the traffic intensity is less than one. Moreover, we derive a stochastic decomposition result which leads to equilibrium equations for the stationary configuration of customers on the circle. Steady-state performance characteristics are determined, in particular the expected number of customers in the system as seen by a travelling server and at an arbitrary point in time.     

A Family of Fifth-Order Runge-Kutta Pairs

The construction of a Runge-Kutta pair of order with the minimal number of stages requires the solution of a nonlinear system of order conditions in unknowns. We define a new family of pairs which includes pairs using function evaluations per integration step as well as pairs which additionally use the first function evaluation from the next step. This is achieved by making use of Kutta's simplifying assumption on the original system of the order conditions, i.e., that all the internal nodes of a method contributing to the estimation of the endpoint solution provide, at these nodes, cost-free second-order approximations to the true solution of any differential equation. In both cases the solution of the resulting system of nonlinear equations is completely classified and described in terms of five free parameters. Optimal Runge-Kutta pairs with respect to minimized truncation error coefficients, maximal phase-lag order and various stability characteristics are presented. These pairs were selected under the assumption that they are used in Local Extrapolation Mode (the propagated solution of a problem is the one provided by the fifth-order formula of the pair). Numerical results obtained by testing the new pairs over a standard set of test problems suggest a significant improvement in efficiency when using a specific pair of the new family with minimized truncation error coefficients, instead of some other existing pairs.

     

QMX: A versatile environment for hybrid calculations applied to the grafting of Al2Cl3Me3 on a silica surface

We present a new software to easily perform QM:MM and QM:QM' calculations called QMX. It follows the subtraction scheme and it is implemented in the Atomic Simulation Environment (ASE). Special attention is paid to couple molecular calculations with periodic boundaries approaches. QMX inherits the flexibility and versatility of the ASE package: any combination of methods namely force field, semiempirical, first principle, and ab initio, can be used as hybrid potential energy surface (PES). Its ease of use is demonstrated by considering the adsorption of Al₂Cl₃Me₃ on silica surface and by combining different levels of theory (from standard DFT to MP2 calculations) for the so‐called High Level cluster with standard PW91 density functional theory calculations for the Low Level environment. It is shown that the High Level cluster must contain the silanol group close to the aluminum atoms. The bridging adsorption is favored by 58 kJ mol^?1 at the MP2:PW91 level with respect to the terminal position. Using large clusters at the MP2:PW91 level, it is shown that PW91 calculations are sufficient for structure optimization but that embedded methods are required for accurate energy profiles. © 2013 Wiley Periodicals, Inc.     

基于FCS的海水痕量元素的通用测定平台

为了对海水痕量营养盐与重金属进行测定,基于FCS的设计思想,采用流动注射分光光度法研制了具有自适应外界设备、快速组建多种仪器及全数字化通信等特点的软硬件一体化的通用测定平台。平台以ARM(S3C2416)处理器为核心,Linux为操作系统,LCD作为人机交互显示,触摸屏或者USB鼠标完成输入控制,构成完整的嵌入式工控机系统;采用CAN总线并制定CAN应用层协议管理设备,提高了系统的可靠性及抗干扰能力。实际测试和应用证明,该平台自动化程度高,通用性、重用性及可扩展性均较强,可组建成亚硝氮、硝氮、氨氮、活性磷、铁等多种痕量元素的实验室、船载和原位分析系统,检测限为nmol/L级别。平台对样品的测试准确度与商品专用仪器无显著性差异。     

基于嵌入式的工业控制人机界面系统研究

针对工业控制系统网络化和良好人机交互性的需求,构建和开发了基于ARM9微处理器的通用工业控制人机界面系统。硬件部分主要讨论了以S3C2440微处理器为核心的硬件电路设计,外围电路模块包括SDRAM及Flash存储器电路、以太网电路、RS-232/RS-422电路、触摸屏及LCD接口等电路,在分析了硬件系统信号完整性的前提下,完成了6层PCB的设计工作。软件部分主要研究了U-Boot移植和内核裁剪技术,编写了相关的硬件设备驱动程序,设计了基于QT/Embedded的人机界面和相关应用程序。论文研究最终实现了工业控制系统的人机交互和控制需求。     

基于Modbus/TCP的配电网自动化远方终端设计

为了提高对现代雷达系统的故障诊断能力,开发了一种融合在雷达系统内部的嵌入式测试系统;系统通过在雷达内部布设测试设备,设置故障监测点和加入测试信号,对雷达各部分的工作状态、性能进行监测,用于雷达系统的性能检测和故障诊断,缩短平均维修时间（MTTR）; 硬件选用精密的测量仪器和先进的总线通讯技术保证测试精度,软件采用先进的算法,融合了加电BIT、周期BIT和维护BIT等测试手段,保证故障隔离的准确,该系统已在多种雷达系统中得到成功的应用。     

基于物联网的新型视频监控系统的设计与实现

为了实现包括服务端和客户端的一套简单、稳定、可靠的新型视频监控系统。首先分析了视频监控系统的发展历史和趋势,提出基于移动互联网的视频监控系统方案,并选定Android作为系统实现的平台;明确了需求和目标,设计出系统的整体方案,并搭建了系统的程序框架;再根据系统程序框架的设计,详细地设计并实现了各个子功能模块,其中主要的功能模块有视频采集与视频回显模块,视频预处理模块,视频编解码模块和视频存储模块等;最后,对整个系统进行了综合测试,验证了其功能的完整性,得出系统的性能表现数据。经实验证明,所设计系统使用便利,需求中指定的功能也基本实现,程序的运行稳定高效可靠,能达到预期效果,具有一定的实用性和研究意义。     

基于现场总线的高隔离度可调直流电源嵌入式控制器设计

模块级联是用于绝缘实验所需的高性能对称双极型矩形波脉冲电源的一种方法,为实现级联,需要有能够协调工作的高隔离度直流电源。设计出嵌入到各电源的板级嵌入式控制器BEC,使各BEC作为从节点利用RS485接口和ModBus协议与嵌入式主控制器EHC构成一个主从式现场总线网络,并在主节点EHC的控制下协调工作。利用BEC内的STM32F103C8处理器产生隔离DC-DC桥的互补PWM控制信号和高隔离输出电压,并进行电流和输出电压的隔离检测。由基于电流切换的变参数增量式数字PI算法来确定脉冲宽度值,产生Buck调压电路的闭环PWM控制信号,实现输出电压的调压和稳压控制。实验结果表明该嵌入式控制器能够满足级联式对称双极型矩形波脉冲电源对高隔离度可调直流电源的需要。     

科学仪器工作状态监测装置的设计与实现

建立了支持网络通讯的科学仪器工作状态监测装置。该检测装置以单片机系统为核心,运用信号检测技术获取仪器的工作状态信息,实现有效机时的记录。基于自制编码表对数据进行BASE64编码,保证了记录信息的安全;支持嵌入式互联网技术将被监测仪器的实时状态上传到远程服务器,实现大型科学仪器的网络化监测。