元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

基于粘贴模型的两类全排问题的DNA算法

基于粘贴模型的巨大并行性,分别给出了线性全排列和圆周全排列问题的粘贴DNA算法;分析了两类问题的DNA算法的不同之处;通过一个实例给出了实验操作步骤,并对生化实验进行了模拟,得出了正确的结果,从而证明了算法的可行性。最后,对算法的操作复杂度进行了分析。     

几种三层小波提升方案及其在图像压缩中的应用

1 引言小波理论在图像压缩中已有成功的应用。在小波压缩系统中,有两个因素是至关重要的:一是小波滤波器,二是压缩编码算法。随着小波变换进入JPEG2000,与小波变换相配套的零树编码算法写进MPEG-4,小波理论在图像压缩中也占有越来越重要的地位。基于提升算法的第二代小波变换也日益受到研究者的广泛关注。与第一代小波变换相比,提升算法具有快速、高效的优点,并且提升滤波器的设计可直接在空域中完成。第一代小波变换可通过因数分解转换为提升方案,例如著名的Cohen和     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。     

粒子滤波算法综述

对粒子滤波算法的原理和应用进行综述．首先针对非线性非高斯系统的状态滤波问题．阐述粒子滤波的原理;然后在分析采样-重要性-重采样算法基础上．讨论粒子滤波算法存在的主要问题和改进手段;最后从概率密度函数的角度出发．将粒子滤波方法与其他非线性滤波算法进行比较．阐明了粒子滤波的适应性．给出了粒子滤波在一些研究领域中的应用．并展望了其未来发展方向．     

Experiments with a program timing tool based on source-level timingschema

Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularity extremes for the atomic elements of the timing schema. All overview of the tool is given, timing schema and code prediction are discussed, and machine analysis and timing tool design are examined. Experimental and validation results are reported. It was found that all the predicted times are consistent, and most are safe. Some predictions are fairly tight, while others are a little loose. There are clear technical reasons that explain the differences between measured and predicted times, and technical solutions that should minimize these differences within the timing schema framework are seen     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

K-winner networks.

A special class of mutually inhibitory networks is analyzed, and parameters for reliable K-winner performance are presented. The network dynamics are modeled using interactive activation, and results are compared with the sigmoid model. For equal external inputs, network parameters that select the units with the larger initial activations (the network converges to the nearest stable state) are derived. Conversely, for equal initial activations, networks that select the units with larger external inputs (the network converges to the lowest energy stable state) are derived. When initial activations are mixed with external inputs, anomalous behavior results. These discrepancies are analyzed with several examples. Restrictions on initial states are derived which ensure accurate K-winner performance when unequal external inputs are used.     

Compound solitons in fiber Bragg grating

Single soliton and compound solitons are described by coupled-mode equation. It is noted that three parameters, which are dimensionless group velocity, normalized frequency, and grating strength, influence formed solitons by emulation. The novel designs of parallel and serial multi-grating are advanced, and the compound solitons formed from parallel multi-grating are linear superposition; the compound solitons formed from serial multi-grating are nonlinear superposition, and finally two general formulae are obtained. Furthermore, it is theoretically shown that the compound grating solitons are prominent and flexible signals in optical communication.     

多体系统动力学的常用积分器算法

本文将以单步法中的广义 α族积分器和多步法中的BDF族积分器为主要讨论对象,详细介绍大型多体系统动力学软件中常见类型的积分器的算法细节.每族积分器都给出了不止一套计算公式,而且其对应求解微分代数方程组(DAE)的index可以为1、2或者3.除此以外,本文还着重介绍了微分代数方程组的误差估计、变阶变步长策略等关键技术;并讨论了大型DAE问题求解过程中的初始条件分析、Jacobian矩阵复用等重要环节的算法实现;对于BDF积分器族,文中还详细描述了高阶格式的非绝对稳定性、速度变量的误差估计等瓶颈问题的解决方案.全文以多体系统动力学软件的积分器程序实现为目标,强调在满足给定精度的条件下,如何提高计算效率和保证仿真运行的鲁棒性.另外,本文也简要介绍了在某些应用场合中有很大潜力的显式积分器族.通过分析和比较,文中还将指出各种算法的优缺点以及可能的改进方向,希望能够为研究人员和程序开发者提供一定的参考.由于篇幅限制,本文只列出了几个标准的算例比较,作为文中内容的补充;并给出了几种积分器性能比较的一般性结论.文中几乎所有方法都经由作者程序实现、测试和比较,并且相关算法的实现细节也都已尽量列出,可以很容易地编程实现并应用到实际问题的求解中去.     

基于贝叶斯滤波理论的自主机器人自定位方法研究

针对自主机器人定位问题，研究了基于贝叶斯滤波理论的自定位方法,从概率表达的角度介绍了贝叶斯滤波方法各种不同的实现形式，分析了各种不同定位方法的性能，指出了它们的优缺点，并对每种方法的改进方法进行了探讨和分析,最后总结了定位方法的基本特点，并对贝叶斯滤波理论在自主机器人领域中的应用前景进行了展望，探讨了未来的发展方向。     

Advances in interactive digital multimedia systems

This paper introduces basic concepts in digital multimedia systems and surveys recent literature. Background is provided regarding developments in interactive videodiscs, which first made images and video accessible through computer systems. Digital storage media, including optical, magnetic, and network options, are addressed. The characteristics of audio and video and their digital representations are discussed. Because these media are so demanding of space and channel bandwidth, compression methods are reviewed. Standards for digital multimedia are considered. Current multimedia systems are described, and future prospects are indicated     

网络控制系统研究综述与前景展望

介绍了网络化控制系统（networked control system, NCS）出现的背景，综述了NCS面临的基本问题和现状，整理了近年来NCS分析与综合方面的研究成果和最新进展．描述了NCS的模型、特点、时延、丢包、稳定性、网络调度等内容，归纳了现有的研究方法．对TrueTime和NS2等仿真工具做了比较详细的阐述．最后，论述了NCS研究中尚待解决的问题，展望了网络控制系统未来的发展前景．     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

大流识别方法综述

首先介绍大流识别方法的研究动机和国内外发展现状,根据采用技术的差异,将现有方法分为基于抽样的方法、基于计数的方法、基于最近最少使用算法的方法和基于哈希的方法,简要分析了几类方法的优缺点;然后分别选取经典算法进行剖析,并给出大流识别的典型应用;最后探讨了值得进一步研究的问题和可能的发展方向.     

多生物特征识别技术综述

介绍了生物认证的发展状况和多生物特征提出的背景，提出了多生物特征认证的整体框架和具体参数的表征，并对不同的整合方法做了比较，分析了各自的优缺点。提出了最后关于多生物特征识别发展的看法。     

几种典型的认证Diffie-Hellman型密码共识协议的分析与比较

文章讨论了几个目前较为受人关注的基于Diffie－Hellman问题的认证密钥共识协议,介绍了各协议的主要内容,对其在各种背景下的优缺点,包括有效性、安全性、方便性等进行了分析、评述和论证,并对它们进行了简单的比较。     

3D human face description: landmarks measures and geometrical features

Distance measures and geometrical features are widely used to describe faces. Generally, they are extracted punctually from landmarks, namely anthropometric reference points. The aims are various, such as face recognition, facial expression recognition, face detection, study of changes in facial morphology due to growth, or dysmorphologies. Most of the time, landmarks were extracted with the help of an algorithm or manually located on the faces. Then, measures are computed or geometrical features are extracted to perform the scope of the study. This paper is intended as a survey collecting and explaining all these features, in order to provide a structured user database of the potential parameters and their characteristics. Firstly, facial soft-tissue landmarks are defined and contextualized; then the various measures are introduced and some results are given; lastly, the most important measures are compared to identify the best one for face recognition applications.     

基于UG 的定型模工程图自动标注研究

针对定型模板块形状复杂不规则,内部孔特征多,尺寸标注工作量大且布局混乱等 问题,分析了定型模的结构特征,基于UG NX(Unigraphics NX)平台,开发了定型模工程图自动 标注系统。总结了定型模工程图标注需求,创建了工程图模板;基于特征提取,对定型模三维模 型自动转二维工程图时产生的冗余边线进行自动删除;基于提取的标注基准,对工程图中气孔、 水孔、定位键等特征的定位尺寸、定形尺寸进行了自动标注,并根据其位置,对工程图标注进行 合理布局。通过实例分析验证了该工程图自动标注系统的实用性。该研究简化了定型模工程图设 计流程,提高了其设计效率。     

酶传感器的应用

酶传感器是电化学生物传感器中研究最早、应用最广的一类传感器,也是近年来生物传感器研究的热点。简要介绍了酶传感器的发展历程,着重介绍酶传感器在食品工业、环境监测、生物医学、军事领域等方面的应用,并对酶传感器的发展进行了展望。