基于VC6的船用监视设备软件设计

当前各国之间联系日益紧密,贸易额度不断增加,作为重要运输工具的远洋船舶也不断朝着大型化、现代化发展,在减少运输成本的同时也带来了如何在航行过程中即时监视船舶自身设备状况的问题;介绍了一种可即时监视船舶各设备状态的船用监视设备,对监视设备的软件开发作了详细介绍,分析了设备软件的结构和各部件功能,着重介绍了VC6开发环境下的一系列图形显示特效技术;该设备安装于某型船舶,使用简便生动,可有效满足船舶监视需求。     

风速测量系统设计

个人计算机加上一块数据采集卡就可成为研究和在线数据采集强有力的工具，本文在此基础上绍如何运用MFC开发小型的实时监控软件，同时总结了数据采集软件中经常运用的一些关键性技术。本系统在为一风速测量实验提供了技术支持，取得了良好的效果。     

基于LabWindows/CVI的USB总线微波功率计软件设计

介绍了基于USB总线的微波功率计工作原理以及基于虚拟仪器技术的功率测试软件组成.实现了基于LabWindows/CVI软件开发平台的USB总线微波功率计测试软件;详细介绍了VISA和多线程技术具体应用,描述了利用VIS驱动器生成向导安装USB驭动程序步骤,给出了使用VISA函数实现USB通讯的主要函数代码,并说明了在LabWindows/CVI环境下使用多线程的方法;经过实际测试与应用,软件运行稳定可靠.具有一定的实用性和推广应用价值.     

Windows NT环境下多线程技术在测控软件中的应用

论述了WindowsNT环境下多线程的应用,介绍了Deldpdhi中多线程的编程方法,举出了应用多线程技术编写测控软件的实例。     

Java编程中多线程缓冲技术的应用研究

本文介绍了Java多线程技术的基本方法，以及应用它实现线程缓冲池的设计原理与实现方法。     

多线程ARM虚拟机的设计与实现

虚拟机技术广泛应用于代码移植、跨平台计算和模拟硬件机器、嵌入式系统模拟等领域.该技术以软件的方式构建通用机器的硬件的仿真环境,实现机器指令在处理器中的运算过程.在介绍了虚拟机原理的基础上,设计并实现了基于多线程的ARM虚拟机,初步模拟了ARM9的指令执行过程.     

支持IPTV高清码流连续平滑播放的多级缓冲区设计与实现

把流媒体系统作为一个复杂的控制系统进行研究,给出支持多级反馈控制机制的系统框图,重点分析媒体播放器从流接收到播放的全过程.同时,为了提高用户体验质量,实现音视频流在接收端的连续平滑播放,设计了多级缓冲机制以减少IP网络抖动和丢包产生的影响,实现了根据接收端的解码能力,自适应地选择解码层次和调整帧播放速率.最终采用多线程技术实现了MPEG-2 TS复用H.264高清视频流的解码播放,并给出试验结果.     

多线程技术下的Delphi通用查询编程

本文系统地介绍了使用多线程技术实现通用查询,并运用数据库技术、Delphi进行了编程实现.对于提高查询速度、实现软件代码的重用、增加应用系统的响应能力、增强应用系统的灵活性和伸缩性具有重要作用.     

某型机载数字音视频记录系统的软件设计与开发

介绍了某型飞机机载音视频记录系统的组成、系统的功能、硬件特点.详细地描述了根据系统功能与硬件特点的软件设计和在Linux平台上的实现.该系统软件经过了一系列的测试,达到了国家军用标准中软件部分的要求.     

基于WinCE的电梯多媒体系统通信设计与实现

探讨了基于WinCE的电梯多媒体系统的通信设计与实现,并结合多线程和面向对象技术,详细介绍了软件部分中数据接收驱动和数据处理。系统目前已投入实际运行,并取得了良好的效果。     

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集成定制实现的关键步骤及方法。     

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

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

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]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

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

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

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.