一种分布式网络指纹识别系统

文章介绍了一种分布式网络指纹识别系统NBFIS(Network-BasedFingerprintIdentifyingSystem)。首先提出模型框架,并对其关键技术特别是指纹图像处理技术及面向对象的数据库技术进行讨论。实现了NBFIS系统的原型并给出实验和性能测试结果。     

一种基于EM非监督训II练的自组织分词歧义解决方案

摘要本文旨在提供一种基于非监督训练的分词歧义解决方案和一种分词算法。基于EM的思想,每个句子所对应的所有(或一定范围内)的分词结果构成训练集,通过这个训练集和初始的语言模型可以估计出一个新的语言模型。最终的语言模型通过多次迭代而得到。通过一种基于该最终语言模型的统计分词算法,对于每个句子至少带有一个歧义的测试集的正确切分精度达到85.36％(以句子为单位)。     

用于半自动视频对象提取的自适应网格图像分割

随着MPEG－4标准的发展和基于内容的视频处理研究,视频对象平面（VOP）的有效产生成为一个关键问题。本文提出一种基于区域的自适应网格彩色图像分割方法,可用于获得半自动视频对象跟踪和提取所需的初始VOP。该方法利用CIE L＊a*b＊色彩空间的特征量,对视频序列的第一帧进行三角形网格的分裂与合并。对MPEG－4标准测试序列的分割实验取得了较好的结果。     

电子商务安全隐患及其对策

分析了电子商务的安全需求、面临的主要安全问题,并在对入侵行为进行分类研究的基础上,对电子商务活动流程的描述和脆弱点分析中研究了其安全对策.     

Comparison of image reconstruction by using near‐field and far‐field data for an imperfect conductor

Image reconstruction by using near‐field and far‐field data for an imperfectly conducting cylinder is investigated. A conducting cylinder of unknown shape and conductivity scatters the incident wave in free space and the scattered near and far fields are measured. By using measured fields, the imaging problem is reformulated into an optimization problem and solved by the genetic algorithm. Numerical results show that the convergence speed and final reconstructed results by using near‐field data are better than those obtained by using far‐field data. This work provides both comparative and quantitative information. © 2001 John Wiley & Sons, Inc. Int J RF and Microwave CAE 11: 69–73, 2001.     

Computer-aided development of a real-time program

The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to a theorem-prover based refinement tool.     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

利用DSP实现的专用数字录音机

介绍一种使用ＤＳＰ芯片完成语音压缩的专用自动数字录音机的软、硬件设计方法,并详细讨论了语音压缩算法的选择和实现、数据库的功能以及可靠性设计的问题。     

PLC在高浓度冲稀自动控制系统的应用

本文在介绍高浓度冲稀自动控制系统的工作原理、特点、系统调校及日常维护要点的基础上,探讨了PLC在这种类型的系统中的应用。     

数字电路虚拟实验系统中虚拟器件的探讨

虚拟实验系统中,虚拟器件的设计是整个系统设计的难点和关键所在。本文介绍应用Simulink设计虚拟器件的一些方法和技巧。