线点包容检测算法

提出的算法是先以快速的方法判断线与多边形是否有交点,如有,则求出线与多边形的各个交点,将交点进行排序,将此线按交点顺序分为多段;如果无交点,则此线只有一段。检测各段中点是否位于多边形内,如果位于内部,则此段在内,否则此段在外。以倾斜射线法检测点的包容性,其特点是此射线不与多边形的顶点或边重合,无须作特殊情况的处理,计算区域小,因而计算量小,对自相交多边形及带孔多边形等多类情况同样适用。通过编写程序计算验证表明,此算法简单有效、稳定可靠,适用于多类情况。     

基于支持向量机的手写体数字识别系统设计

数字识别是光学字符识别技术里发展比较早的一种技术,是OCR的一个分支。数字识别又分为手写数字识别和非手写数字识别,提到的手写数字识别是指脱机手写数字识别。支持向量机是近几年来模式识别领域中的一个新技术,它被广泛应用到文字识别、人脸识别等应用中,是模式识别领域中的研究热点,把支持向量机技术应用到手写数字识别系统中,以期提高识别系统的性能。     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

特殊变换多小波构造的浮点数编码遗传算法

浮点数编码具有精度高、便于高维大空间搜索的优点,在函数优化和约束优化领域明显有效于其他编码。浮点数编码遗传算法在操作环境中产生的噪音和对算法性能的影响尚不被人们所认识。将小波用于浮点数编码遗传算法的消噪变异是解决该问题的有效途径。单一小波对浮点数编码消噪变异泛化能力低,且对浮点数编码遗传算法性能改进有一定的局限性。研究证明了用酉变换可构造正交多小波,将正交多小波用于浮点数编码遗传算法的消噪变异,提出了FGAMW方法,并进行了实验。理论研究和实验结果表明,提出的FGAMW方法理论上是可靠的,技术上是可行的,对于拓展浮点数编码遗传算法的应用空间具有积极的意义。     

针对白车身轻量化系数的结构灵敏度分析与软件开发

为实现白车身轻量化,以白车身零件厚度为优化变量,建立参数化模型。定义白车身静态扭转刚度工况并进行有限元分析,得到扭转刚度响应和轻量化系数,采用解析法推导轻量化系数对厚度的灵敏度。基于HyperMesh二次开发完成灵敏度分析流程自动化,求解白车身轻量化系数的灵敏度。根据灵敏度排序对白车身零件厚度进行优化,实现轻量化系数降低,扭转刚度提高,白车身质量减轻。     

日汉机器翻译中词的自动切分技术

本文阐述NDJCMT系统中词的自动切分技术, NDJCMT是我们实现的一个日汉机器翻译实验系统, 词的自动切分是日语词素分析、句法及语义分析的基础, 是一项日本语计算机信息处理的基础性研完课题, 它涉及对语言本身的研究。日语和汉语类似, 词及词之间无分隔符, 通常假名、汉字混写, 给词的切分造成了困难。作者根据日语的特点, 提出了一种“ 句节数最少” 词的自动切分方法, 使用语言编程且在一机上获得实现。     

一类时滞线性系统的变结构控制

研究一类状态变量具有时滞的线性系统的变结构控制问题,指出传统的切换函数在时滞系统中应当是一个切换泛函,给出了在系统谱能控条件下具有稳定滑动模态的切换泛函的设计方法.并利用趋近律设计了相应的变结构控制器.得到了一般时滞系统能够变换为所需要的时滞系统的条件.     

多维QoS在基于MOM的QoS管理模型中的应用

服务质量QoS管理是满足分布式环境中端到端QoS需求的关键,而中间件是一种分布式系统中的主要交互平台.首先对中间件和QoS的相关概念进行介绍,在分析传统QoS管理模型的基础上,提出一种基于消息中间件(MOM)的QoS管理模型,重点分析多维QoS在该模型中的应用,最后结合一个实例说明多维QoS在实际系统中的应用.     

Robust stability analysis of adaptation algorithms for singleperceptron

The problem of robust stability and convergence of learning parameters of adaptation algorithms in a noisy environment for the single preceptron is addressed. The case in which the same input pattern is presented in the adaptation cycle is analyzed. The algorithm proposed is of the Widrow-Hoff type. It is concluded that this algorithm is robust. However, the weight vectors do not necessarily converge in the presence of measurement noise. A modified version of this algorithm in which the reduction factors are allowed to vary with time is proposed, and it is shown that this algorithm is robust and that the weight vectors converge in the presence of bounded noise. Only deterministic-type arguments are used in the analysis. An ultimate bound on the error in terms of a convex combination of the initial error and the bound on the noise is obtained.     

SOC软硬件划分系统中的关键算法

设计并实现了SOC软硬件划分系统,搭建了软硬件协同设计的平台并描述了软硬件协同设计的流程。运用多目标遗传算法对目标系统的价格、功耗、速度进行优化,采用了基于Pareto支配的适应值赋值、精英保持和密度计算截断操作的方法进行多目标寻优。针对单任务图描述多CPU系统结构的不足,提出采用多任务图来描述的方法,并提出了MTLS性能评估算法,验证系统软硬件划分的优劣。在对比实验中将NSGA2算法运用到本系统中,结果证明论文的多目标寻优算法获得的非支配解80%比NSGA2的非支配解优。     

Redundancy and data compression in recursive estimation

The problem of the existence of redundancy in the data in a recursive estimation problem is investigated. Given a certain data rate, should the estimator be run at the same rate? It is shown that under certain conditions there is redundancy in the data and the estimator can be run at a lower rate using compressed data with practically the same performance as when no data compression is utilized. It is also pointed out that, although at the higher rate there is redundancy in the data, the performance deteriorates noticeably when the data rate is lowered. Conditions for the existence of redundancy in the data and the procedure to remove it are presented. The procedure to compress the data is obtained such as to preserve the information in the sense of Fisher. The effect of data compression is a reduction in the computation requirements by a factor equal to the compression ratio. Such a reduction might be important in real-time applications in which the computing power is limited or too expensive. The application of this technique to the tracking of a reentry vehicle with a linearized filter is discussed in more detail and simulation results are presented.     

卷积检测:一种新FFT的故障检测机制

首先分析了ＦＦＴ阵一中蝶形单元的故障模式,提出了一致故障的概念,并根据傅立叶变换的性能,提出一个新的故障检测机制：卷积检测,并证明了该机制对单输出端故障和一致性瓣覆盖为１００％。     

压阻式矢量水听器声敏感结构的阻尼设计分析

用声学、流体力学理论,结合振动学的理论分析声敏感结构的阻尼特性,找出设计应遵循的一些基本原则。通过声学分析,得出了系统的阻尼与质量振动体的质点振速、阻尼介质参数、质量块的表面积和振动频率有关。对于相同的质量块结构,由于表面积相同,则在空气中的声辐射阻小于在液体中的辐射阻,可以得出质量块在空气中的阻尼系数小于在液体中的阻尼系数的结论,并有声系统中辐射阻的作用与拾振系统中阻尼的作用可以等效的结论。对于一维平动、一维非平动、二维有限平板情况,阻尼系数的表达式具有基本相同的形式,阻尼系数与结构参数有关,与板间距h三次方成反比,与材料的粘滞系数成正比。     

空间相关MC算法的VTK实现

移动立方体是面绘制的经典算法,但要求对所有空间所有体素进行处理,执行效率不高.通过对空间相关性进行研究,即六面体体素如果与等值面相交,则等值面一定会在该六面体的6个面的方面延续,对标准的MC算法进行改进,只处理那些与等值面相交的六面体体素.可视化工具包封装了许多常用的可视化算法,为研究人员提供了极大的便利.通过空间相关性,对VTK中已有库函数vtkMarchingCubes进行改进,提高了原有算法的执行速度,同时又扩充了VTK已有的类.     

基于LabVIEW虚拟滤波器去除噪声VI设计

本文详细介绍了虚拟滤波器去除噪声的LabVIEW程序的设计和开发过程。在PC机LabVIEW软件中模拟产生一个接近于实际信号的带噪声的信号,生成一个带噪声的信号发生装置,选择滤波速度较快的无限冲激响应滤波器IIR,对于滤波后的信号以数组的方式得到,通过合理的显示方式,显示滤波前后的时域波形。     

应用统计过程控制监控软件测试过程

统计过程控制(SPC)是通过使用控制图来制定过程决策和预测过程行为的一种质量控制方法.SPC的方法用于软件过程,可以通过描述过程行为来监控过程的稳定性.讨论了将SPC应用于软件测试过程,针对测试过程中所度量的不同分布形式的数据而采用不同计算方式应用SPC的控制图,然后根据控制图判断测试过程是否稳定,并分析可能存在的可归属原因.     

利用SOM网络模型进行聚类研究

自组织特征映射（SOM）是Kohonen提出的一种人工神经网络模型,其整个学习过程是在输入样本空间内进行．并以欧氏距离为度量。本文先介绍了SOM网络模型的来源,接着对SOM网络的结构与学习过程进行了介绍,最后给出了一个SOM网络模型在聚类中的程序实例。     

Partial shape recognition: a landmark-based approach

A method of recognizing partially occluded objects is presented in which each object is represented by a set of landmarks. Given a scene consisting of partially occluded objects, a model object in the scene is hypothesized by matching the landmarks of the model with those in the scene. A measure of similarity between two landmarks is needed to perform this matching. A local shape measure, sphericity, is introduced. It is shown that any invariant function under a similarity transformation is a function of the sphericity. To match landmarks between the model and the scene, a table of compatibility is constructed. A technique, known as hopping dynamic programming, is described to guide the landmark matching through the compatibility table. The location of the model in the scene is estimated with a least-squares fit among the matched landmarks. A heuristic measure is then computed to decide if the model is in the scene     

基于MAS的CSCL角色分配的研究与实现

为研究CSCL的角色分配,在CSCL中引入角色模型,并在角色模型的基础上,研究了在CSCL中运用MAS进行角色分配,设计了用于角色分配的MAS模型、Agent的内部结构以及角色分配的算法。此研究工作对研究基于Web的仿真CSCL,实现计算机支持的智能角色分配有积极重要的意义。     

分形编码的等级特性探讨

讨论了分形编码的一个重要特性－分辨率独立性。首先介绍分辨独立性产生的原因,然后从理论上进行了推导,最后指出了它的重要应用价值。