内部审核在计量体系中的作用

介绍内部审核制度在计量测试工作中的目的和作用，提出了内部审核工作应注意的事项，如内部审核工作计划的完整性，内部审核工作的有效性，管理者工作内容的全面性，以及后续工作的完善性。     

CORBA~( ):一个具有自卫智能体的扩展CORBA

将自卫机制加入OOP成为AOP以提高CORBA中软件的强健性和防卫能力,在CORBA这个异构环境中,一个对象申请服务之后就需等待,如果应答迟迟不到则有可能永远等待下去,为避免这种现象的产生和蔓延,在客户和服务方的行为中加入超时机制(timeout mecha-nism)并采用利己或利他策略,使得对象可独立地根据当前环境和时间决定下一步骤,将这种在协作者失败的情况下仍能生存的对象称为自卫智能体,加入白卫智能体的CORBA称为CORBA~( ),由于智能体可在任何条件下生存,CORBA~( )可为用户提供可靠的服务,也就能实现CORBA~( )中软件构成的强健性。     

类型γ射线能谱指纹的识别机理

放射源的辐射指纹能起到标识和鉴别放射性物体的作用.在涉及核弹头不可逆销毁过程的深度核裁军核查中,核弹头的辐射指纹对标识和鉴别裁减下来的核弹头将起到关键作用.预先研究辐射指纹的有关技术,如识别机理的研究,将有助于深度核裁军的核弹头核查技术发展.以实验室放射源为研究对象,探索了类型γ射线能谱指纹的同一性识别机理.类型γ射线指纹识别机理的研究,就是要找出一种合适的方法,以较高的置信度,描述两个正在进行比较的γ射线指纹是否为同一放射源的指纹.采用了谱形比较法,并用谱相似度概念来描述两个指纹的相似程度.在谱形比较思想的指导下,编制了放射源类型指纹识别软件,并通过放射源同一性的识别实验验证了软件的有效性,同时研究了谱相似度随统计涨落和测量条件,如时间、源强和本底等因素的变化情况.研究结果表明:1)用相似度概念来描述两个指纹的相似程度,回答两个待比较的γ射线能谱是否代表同一类型放射源,是切实可行的;2)该识别机理只具备识别放射源类型的能力,而对同一类型、差异甚微的放射源个体还不能识别 关键词： γ射线能谱指纹 辐射指纹 识别机理 核查技术     

IPv4/IPv6翻译网关的研究

In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.     

基于三维矩阵重构争论有向图的域间路由振荡检测算法

边界网关协议(Border G atew ay P rotoco l,BGP)是当前In ternet域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性.V aradhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡.针对该问题,G riffin利用稳定路径问题(S tab le Path P rob lem,SPP)模型形式化的抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息和对BGP协议改动太大以及浪费网络资源的问题.本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态的检测系统中是否存在策略冲突.该方法采纳了G riffin的理论基础,同时由于巧妙的运用了安全多方计算协议,可以完全解决G riffin算法的问题,具有很好的实用性.     

Windows下基于TCP/IP协议的多媒体数据通信

在讨论ＴＣＰ／ＩＰ协议模型、编址方式、ｓｏｃｋｅｔ编程界面的基础上，研究了Ｗｉｎｄｏｗｓ环境下异步接收／发送数据的方法，针对ＡＶＩ多媒体文件格式讨论了音频和视频数据的获取方法和媒体间的同步技术，在Ｎｏｖｅｌｌ网上实现了Ｗｉｎｄｏｗｓ９５环境下基于ＴＣＰ／ＩＰ对等站点之间的实时视频音频通信     

我国粘度计量工作中存在的问题

指出我国粘度计量工作中存在的一些问题，在修订粘度计检定规程，规范标准粘度的名称和有效期以及加强对粘度计检定工作的管理等方面的出了建议，强调了在标准粘度液证书中应给出不同温度下的运动粘度和粘度值，以满足粘度计检定工作的需要。     

Quality assurance and statistical control

In scientific research laboratories it is rarely possible to use quality assurance schemes, developed for large-scale analysis. Instead methods have been developed to control the quality of modest numbers of analytical results by relying on statistical control: Analysis of precision serves to detect analytical errors by comparing thea priori precision of the analytical results with the actual variability observed among replicates or duplicates. The method relies on the chi-square distribution to detect excess variability and is quite sensitive even for 5–10 results. Interference control serves to detect analytical bias by comparing results obtained by two different analytical methods, each relying on a different detection principle and therefore exhibiting different influence from matrix elements; only 5–10 sets of results are required to establish whether a regression line passes through the origo. Calibration control is an essential link in the traceability of results. Only one or two samples of pure solid or aqueous standards with accurately known content need to be analyzed. Verification is carried out by analyzing certified reference materials from BCR, NIST, or others; their limited accuracy of 5–10% make them less suitable for calibration purposes.     

对在建标技术报告中正确贯彻《测量不确定度表示指南》的理解

针对计量人员在贯彻《测量不确定表示指南》,尤其是在撰写“建标技术报告”时遇到的一些体问题,进行了探讨。     

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

We present a technique for bounded invariant verification of nonlinear networked dynamical systems with delayed interconnections. The underlying problem in precise bounded-time verification lies with computing bounds on the sensitivity of trajectories (or solutions) to changes in initial states and inputs of the system. For large networks, computing this sensitivity with precision guarantees is challenging. We introduce the notion of input-to-state (IS) discrepancy of each module or subsystem in a larger nonlinear networked dynamical system. The IS discrepancy bounds the distance between two solutions or trajectories of a module in terms of their initial states and their inputs. Given the IS discrepancy functions of the modules, we show that it is possible to effectively construct a reduced (low dimensional) time-delayed dynamical system, such that the trajectory of this reduced model precisely bounds the distance between the trajectories of the complete network with changed initial states. Using the above results we develop a sound and relatively complete algorithm for bounded invariant verification of networked dynamical systems consisting of nonlinear modules interacting through possibly delayed signals. Finally, we introduce a local version of IS discrepancy and show that it is possible to compute them using only the Lipschitz constant and the Jacobian of the dynamic function of the modules.