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.

     

一种新型通用化图像处理系统的设计

提出了一种基于FPGA+DSP的通用化嵌入式图像处理模块,可以用于不同的项目,只需要针对不同的项目设计不同的AD、DA和接口就可以了。该处理模块具有高性能、低功耗、低成本、可扩展、可重构、灵活性强等优点,可以大大降低开发成本和设计周期。     

埋置框架质量检测的探讨

提出了埋置框架的回传射线矩阵法,研究了方波脉冲轴向作用、水平作用和斜向作用下有缺陷埋置框架和无缺陷埋置框架的速度波．结果表明;横向速度波不能识别埋置框架的基桩缺陷,轴向速度波可以识别,而且基桩缺陷信号很强烈;脉冲水平作用不能识别基桩缺陷,轴向或斜向作用可以识别．     

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作为系统实现的平台;明确了需求和目标,设计出系统的整体方案,并搭建了系统的程序框架;再根据系统程序框架的设计,详细地设计并实现了各个子功能模块,其中主要的功能模块有视频采集与视频回显模块,视频预处理模块,视频编解码模块和视频存储模块等;最后,对整个系统进行了综合测试,验证了其功能的完整性,得出系统的性能表现数据。经实验证明,所设计系统使用便利,需求中指定的功能也基本实现,程序的运行稳定高效可靠,能达到预期效果,具有一定的实用性和研究意义。