浅谈虚拟仪器技术的演化与发展

虚拟仪器技术是现代仪器技术与计算机技术相结合的产物。本文较为全面系统地介绍了虚拟仪器技术的发展，包括虚拟仪器的定义、虚拟仪器系统的构成、虚拟仪器的软件开发平台以及虚拟仪器技术的具体应用．     

基于虚拟仪器的电能质量网络监测系统的实现

基于虚拟仪器的电能质量网络监测系统是把网络技术与虚拟仪器相结合，构成的网络虚拟仪器系统，本文介绍了系统的网络结构，虚拟仪器的总体设计，论述了部分电能质量参数监测的软件设计，最后论述了实现远程监测的方法。     

基于SOA的虚拟仪器共享平台

针对目前各高校间虚拟仪器实验教学系统集成度不足,实验资源难以共享的问题,提出了利用SOA与Web服务的技术优势,结合网络化虚拟仪器的技术特点,在.NET环境下设计实现了校际虚拟仪器实验教学共享平台和虚拟仪器实验教学系统的资源共享。     

基于VXI即插即用(VPP)技术的虚拟仪器系统的组建

本文结合实际系统组建的实例,介绍了基于VXI即插即用(VPP)技术的虚拟仪器系统组建的基本步骤与技术关键点,对虚拟仪器系统的组建有着重要的推广意义。     

基于PC总线虚拟仪器的特点及发展趋势

介绍基于PC总线的虚拟仪器系统．对虚拟仪器的概念、结构组成和技术特点进行了分析；并对基于PC总线虚拟仪器系统存在的问题及其今后的发展趋势作了阐述。     

基于VXI即插好用（VPP）技术的虚拟仪器系统的组建

本文结合实际系统组建的实例，介绍了基于VXI即插即用（VPP）技术的虚拟仪器系统组建的基本步骤与技术关键点，对虚拟仪器系统的组建有着重要的推广意义。     

虚拟仪器技术回顾与展望

在回顾虚拟仪器技术进步历程的基础上,介绍了虚拟仪器及其系统的构成、软件开发平台以及虚拟仪器的应用,并对虚拟仪器技术的发展前景作出展望和预测。     

基于USB总线的嵌入式虚拟仪器的设计

针对传统虚拟仪器不具有即插即用、热插拔等功能，提出了基于系统和USB总线技术构建嵌入式虚拟仪器的设计方案和具体实现。同时在分析传统虚拟仪器不足的基础上，构建了基于USB总线的虚拟仪器体系。该嵌入式技术可以把虚拟仪器的硬件集成在嵌入式电路板上，软件固化在Flash存储器上，完成A／D转换、D／A转换以及数字滤波和数字信号处理等功能，并给出了软、硬件设计方案。设计的虚拟仪器具有智能化和良好的系统扩展性，是未来虚拟仪器发展的方向。     

基于虚拟仪器三涡卷蔡氏混沌吸引子的研究

随着虚拟仪器技术的飞速发展,为研究非线性系统提供了新途径;讨论了基于虚拟仪器三涡卷蔡氏混沌吸引子的研究模式,设计了三涡卷蔡氏混沌吸引子的硬件系统及其软件系统,并给出了基于虚拟仪器技术实验系统的拓扑结构;证实了基于虚拟仪器技术为研究非线性系统提供了可行的方案,利用此方案进行实验,结果证明此实验系统具有良好的实验效果,与传统的自治混沌系统相比,此系统具有参数调节方便、易实现、可靠性高,实时性好等优点。     

虚拟仪器下的参数监控系统

介绍了虚拟仪器的基本概念 ,并利用虚拟仪器技术设计了一种参数监控系统。介绍了该系统的硬件及软件模块组成。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。