地形图扫描文件的纠正方法

该文提供一种地形图扫描文件的纠正方法,可使变形的位图获得纠正。地形图扫描文件的变形是图纸的收缩变形和扫描过程中变形的总和。该文采用的变形纠正数学模型与航测中改正像点坐标系统误差的数学模型相同。实践证明该方法可行。     

The perceived effect of breakdown and repair on the performance of multiprocessor systems

It is argued that classical measures of computer system performance, for example mean response time, are inadequate in the context of fault-tolerant system design. Alternative, perception-based measures are proposed and theorems established describing their properties. Focus is directed upon the homogeneous M/M/m system in which total processor power is constrained by budget and processors are subject to failure and repair. A numerical technique for extracting both classical and perception-based measures from the associated two-dimensional Markov process is offered, along with bounds on time and space required for its execution. It is seen that the perception-based approach to system design can call for twice as many processors as the classical approach.     

生成式程序设计研究概述

随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U．Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计：基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分：问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期：一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。     

浅析实现与测试网构软件的方法

本文阐述网构软件的构成及测试,并提出了具体的实现方式。概括了基于互联网服务的网构软件的实质,网构软件与传统软件间的差异,提出了在互联网上实现网构软件的趋势及实现网构软件的测试方法。     

Industrial Requirements for Distributed SCM Tool

As software development comes to be viewed more and more as an engineering discipline, Software Configuration Management is increasingly recognised as a key technology in the development of software. The Esprit VISCOUNT project¹ aim is to implement an innovative Software Configuration Management (SCM) tool to use in a geographically distributed software development environment, a Virtual Software Corporation (VSC). The features implemented by the tool will be the following: ·Configurable process modelling ·Inter-working capabilities with COTS SCM tools ·Selective replication of archives ·Open to include plug-in applications (security mechanism, encryption, etc) This paper is based on the work undertaken as part of the VISCOUNT project, partially funded by European Union's Esprit Programme, and it describes the SIA (Societa' Italiana Avionica) requirements defined in the framework of VISCOUNT. This revised version was published online in August 2006 with corrections to the Cover Date.     

PE文件动态加壳技术的研究与实现

对可执行文件加壳是保护软件的一种有效方法。但常用的加壳软件采用的是一种静态加壳技术,所有被加壳后的可执行文件都具有部分相同的代码,这样就增加了软件被破解的可能性,不能完全满足PE文件保护的需求。针对这一不足,在分析PE文件格式和加载机制的基础上,提出PE文件动态加壳的思想,设计和实现了一种PE文件动态加壳软件。试验结果表明其可以有效地提高PE文件的自我保护能力。     

基于MATLAB的AVI视频影像分解与压缩

为了实现对AVI(Audio Video Interleaved)文件中视频影像的分析和处理,提出了一种根据AVI文件的存储结构、利用Matlab中的音视频处理函数aviread等编程的方法,将AVI文件中的视频数据流读出并存储为一系列BMP文件,再进行小波变换压缩后写入AVI文件.利用该方法,实现了AVI视频影像的分解、合成及压缩,编程简单、数据处理可靠、程序运行高效.     

一种基于PCI总线的缓存磁盘存储控制卡的设计及实现

结合一块用于新型高速缓存磁盘（DCD）系统的PCI存储控制卡的设计,阐述了PCI设备配置空间的功能并给出其配置方法,同时还介绍了Linux操作系统下设备驱动程序访问该PCI扩展卡的编程接口。     

Domino服务器系统设计

本文主要介绍OA Domino服务器系统设计,内容包括其安装与配置方法。     

软件配置管理理论与实践

近年来随着软件开发项目的规模和复杂度的不断增加,人们不得不更加关注软件开发中的配置管理问题。目前软件配置管理已经成为软件开发中的一个关键过程域并贯穿于软件生命周期的始末。讨论配置的基本理论和技术,并进一步给出一种配置管理的实现方法。