大学物理课程网络辅助教学系统的构建与应用

本文介绍了上海交通大学大学物理课程网络辅助教学系统的设计思想、整体结构和主要的功能模块，概述了运用网络辅助教学系统实施“课堂教学＋网络辅助教学”：这种教学模式的应用情况．     

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.     

Large deviation analysis of the single server queue

We establish the large deviation principle (LDP) for the virtual waiting time and queue length processes in the GI/GI/1 queue. The rate functions are found explicitly. As an application, we obtain the logarithmic asymptotics of the probabilities that the virtual waiting time and queue length exceed high levels at large times. Additional new results deal with the LDP for renewal processes and with the derivation of unconditional LDPs for conditional ones. Our approach applies in large deviations ideas and methods of weak convergence theory.This work was supported in part by AT&T Bell Labs.     

Rate conservation laws: A survey

We survey the rate conservation law, RCL for short, arising in queues and related stochastic models. RCL was recognized as one of the fundamental principles to get relationships between time and embedded averages such as the extended Little's formulaH=G, but we show that it has other applications. For example, RCL is one of the important techniques for deriving equilibrium equations for stochastic processes. It is shown that the various techniques, including Mecke's formula for a stationary random measure, can be formulated as RCL. For this purpose, we start with a new definition of the rate with respect to a random measure, and generalize RCL by using it. We further introduce the notion of quasi-expectation, which is a certain extension of the ordinary expectation, and derive RCL applicable to the sample average results. It means that the sample average formulas such asH=G can be obtained as the stationary RCL in the quasi-expectation framework. We also survey several extensions of RCL and discuss examples. Throughout the paper, we would like to emphasize how results can be easily obtained by using a simple principle, RCL.     

Stationary queues with one autonomous server

Given a stationary stochastic continuous demand of service σ(θ_tω) dt with ∫ σ(ω)P(dω) < 1, we construct real stationary point processes $\text{(T}{}_{\mathrm{n}}\text{, n ∈}\text{Z}\text{)[T}{}_{\mathrm{n}}\text{< T}{}_{\mathrm{n}}\text{+1, lim}{}_{\mathrm{\pm \infty }}\text{T}{}_{\mathrm{n}}\text{= ±∞]}$ such that

for a given constant D \2>0. These point processes correspond to a service discipline for which a single server services during the time intervals [T_n, T_n+1[ the demand of service accumulated during the proceding intervals [T_n?1, T_n[ and take a rest of fixed duration D.     

基于ATCA架构的加固服务器主模块设计技术

为了解决传统加固服务器主模块可靠性差和稳定性差的问题,提出了一种基于ATCA架构的加固主模块设计方法;该方法包括了基于冗余-48V的高性能服务器处理器供电电路设计技术、基于ECC校验的DDR2高带宽数据存储电路设计技术、基于SATA的高速存储技术等关键技术;经过了大量的测试和试验验证,该种新型的加固服务器主模块能够在恶劣环境下稳定运行,可靠性和稳定性都有了很大的提升。     

Impact of proliferation strategies on food web viability in a model with closed nutrient cycle

A food web model with a closed nutrient cycle is presented and analyzed via Monte Carlo simulations. The model consists of three trophic levels, each of which is populated by animals of one distinct species. While the species at the intermediate level feeds on the basal species, and is eaten by the predators living at the highest level, the basal species itself uses the detritus of animals from higher levels as the food resource. The individual organisms remain localized, but the species can invade new lattice areas via proliferation. The impact of different proliferation strategies on the viability of the system is investigated. From the phase diagrams generated in the simulations it follows that in general a strategy with the intermediate level species searching for food is the best for the survival of the system. The results indicate that both the intermediate and top level species play a critical role in maintaining the structure of the system.     

Orientational and electro-optical properties of liquid crystal aligned with a directly spinnable carbon nanotube web

We investigated the orientational and electro-optical properties of a nematic liquid crystal (LC) aligned with a directly spinnable carbon nanotube (CNT) web functioning both as an electrode and as an alignment layer. The LC molecules were uniformly oriented along the drawing direction of the CNT web and the spatially averaged birefringence was comparable to a rubbed polyimide sample. The CNT web sample also showed smaller residual DC and hysteresis compared to the polyimide sample.     

合肥光源逐圈束流位置监测系统中的定时系统

 定时系统是合肥光源逐圈束流位置监测和相空间测量系统中的重要组成部分,其主要目的是为数据采集卡提供与环内电子束团同步的时钟信号。该系统包含高速ECL时钟成形、分频电路、程控延时电路、控制模块等部分。可实现延时范围0～220ns,最小延时步距0.5ns,调整精度0.1ns,时钟抖动小于200ps。系统控制软件基于客户/服务器结构,操作灵活、方便。