气垫导轨上运动物体加速度测量方法的改进

利用计数计时测速仪测量气垫导轨上滑块运动的加速度,其测量精度直接依赖于2个光电门之间距离的测量,而在实验中该距离的测量往往不易达到很高的精度,致使加速度的测量精度不高.对计数计时测速仪的电路和单片机程序稍加修改,使之能测出滑块从一个光电门运动到另一个光电门所需时间,就无需测量2个光电门之间的距离,因而提高了加速度的测量精度,节约单片机的资源并缩短运行时间.     

中法激光时间比对和探测基本物理的相关空间计划

激光时间比对T2L2(Time Transfer by Laser Link)是法国蔚蓝海岸天文台(OCA)和法国空间中心(CNES)进行的新一代的时间传递计划,将于2008年年中随Jason-2卫星发射上天,并开始观测。它利用激光脉冲在空间的传播来实现地面—卫星,地面—地面远距离时钟的同步,精度比现有的微波比对方式提高1~2个数量级。中国拥有5个固定激光测距站和2个流动激光测距站,基于良好的地理位置和中法双方比较成熟的激光测距技术,中法激光站之间的时间比对和中国内部激光站之间的时间比对是该计划的重要内容。本文系统描述了T2L2的主要内容和关键技术,初步估算了该计划的精度和稳定度,对中法之间的时间比对做出了初步的观测规划。同时,简单介绍了目前世界上精密时钟的发展现况、T2L2的应用前景及正在研究中的TIPO、ASTRODⅠ、ACES、EGE等探测基本物理的相关空间计划。     

Non-neural BOLD variability in block and event-related paradigms

Block and event-related stimulus designs are typically used in fMRI studies depending on the importance of detection power or estimation efficiency. The extent of vascular contribution to variability in block and event-related fMRI-BOLD response is not known. With scaling, the extent of vascular variability in the fMRI-BOLD response during block and event-related design tasks was investigated. Blood oxygen level-dependent (BOLD) contrast data from healthy volunteers performing a block design motor task and an event-related memory task requiring performance of a motor response were analyzed from the regions of interest (ROIs) surrounding the primary and supplementary motor cortices. Average BOLD signal change was significantly larger during the block design compared to the event-related design. In each subject, BOLD signal change across voxels in the ROIs had higher variation during the block design task compared to the event-related design task. Scaling using the resting state fluctuation of amplitude (RSFA) and breath-hold (BH), which minimizes BOLD variation due to vascular origins, reduced the within-subject BOLD variability in every subject during both tasks but significantly reduced BOLD variability across subjects only during the block design task. The strong non-neural source of intra- and intersubject variability of BOLD response during the block design compared to event-related task indicates that study designs optimizing for statistical power through enhancement of the BOLD contrast (for, e.g., block design) can be affected by enhancement of non-neural sources of BOLD variability.     

An ultra-fast smoothing algorithm for time–frequency transforms based on Gabor functions

Gabor functions, Gaussian wave packets, are optimally localized in time and frequency, and thus in principle ideal as (frame) basis functions for a wavelet, windowed Fourier or wavelet-packet transform for the detection of events in noisy signals or for data compression. A major obstacle for their use is that a tailored efficient operator acting on the transform coefficients for altering the width of the wave packets does not exist. However, by virtue of a curious property of the Gabor functions it is possible to change the width of the wave packets using just one-dimensional convolutions with very short kernels. The cost of a wavelet-type transform based on the scheme presented below is similar to that of a low order wavelet transform for a compact kernel and significantly less than the algorithme à trous. The scheme can hence easily be employed for the processing of signals in real time.     

线性离散事件动态系统的可达性

可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。     

关于独立事件的一个存在性准则

本文建立关于独立随机事件的一个存在性准则，这一准则适用于任意的概率空间；同时，应用这个准则可以得到关于数论的一个十分有趣的命题．     

A comprehensive approach of planning and scheduling based on petri nets

The main results available on the use of black-and-white Petri nets for modelling, planning and scheduling manufacturing systems are presented. In the first part of the paper, the basics of Petri nets necessary to understand the subsequent presentation are introduced. Particular attention is paid to event graphs, a particular type of Petri nets used for modelling and evaluating ratio-driven systems. The second part of the paper is devoted to ratio-driven systems, their modelling and their scheduling. Job-shops, assembly systems, and KANBAN systems are used to illustrate this section. Finally, the general case is investigated of manufacturing systems subject to changing demands. An approach based on conflict-free Petri nets with input and output transitions is proposed for planning and scheduling this type of system.     

广义测不准关系与Reissner Nordstrom de Sitter黑洞熵

针对Reissner Nordstrom de Sitter时空背景，利用经广义测不准关系改进的薄层brick wall方法计算了黑洞熵。结果表明，由这种方法得到的黑洞熵上限与它的外视界和宇宙视界面积之和成正比，和人们预期的结果相符。从中揭示了黑洞 熵与视界面积之间的内在联系，也进一步表明了黑洞熵是视界面上量子态的熵，是一种量子效应。由广义测不准关系的引入看到，brick wall方法与引力场量子化可能存在着一些内在的联系。     

Applying copula models to individual claim loss reserving methods

The estimation of loss reserves for incurred but not reported (IBNR) claims presents an important task for insurance companies to predict their liabilities. Recently, individual claim loss models have attracted a great deal of interest in the actuarial literature, which overcome some shortcomings of aggregated claim loss models. The dependence of the event times with the delays is a crucial issue for estimating the claim loss reserving. In this article, we propose to use semi-competing risks copula and semi-survival copula models to fit the dependence structure of the event times with delays in the individual claim loss model. A nonstandard two-step procedure is applied to our setting in which the associate parameter and one margin are estimated based on an ad hoc estimator of the other margin. The asymptotic properties of the estimators are established as well. A simulation study is carried out to evaluate the performance of the proposed methods.     

Modeling,analysis and performance evaluation for fault diagnosis and Fault Tolerant Control in bottle-filling plant modeled using Hybrid Petri nets

In this paper, an approach to achieve fault diagnosis and Fault Tolerant Control in a typical bottle-filling plant using event based techniques is discussed. For this purpose, the plant is modeled using Hybrid Petri nets which enable study and analysis with regard to the working of the plant. Once effective modeling is done based on two different case studies considered, new algorithms are proposed to achieve fault diagnosis and Fault Tolerant Control on the models developed. Finally, performance measures with regard to the models proposed are evaluated to check the correctness of the models developed. Both analytical and numerical results are obtained which are highly useful to understand plant behavior.