初等函数可验证赋值及误差分析

  

研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区… …   相似文献

刘剑  唐敏  曾霞  曾振柄 《计算机科学》2015,42(4):25-30

数学形态法在超宽带SAR 道路边缘检测中的应用

  总被引：1，自引：1，他引：0

超宽带SAR由于杂波模型多样化,当使用传统的基于单一杂波统计模型进行边缘检测时容易造成虚警高,定位精度差,边缘不连续,处理时间长等问题。基于数学形态学思想, 提出了一种多方向多尺度结构元素的二值形态学边缘检测算法,先对原始图像进行二值化处理,再运用多方向多尺度结构元素进行循环闭-… …   相似文献

卫蒙  常文革 《中国图象图形学报》2010,15(10):1555-1560

支持依赖修复的热部署技术

  

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。为了解决这个问题,介绍一种支持依赖修复的热部署技术。在首次部署… …   相似文献

李海骋  曹春  吕军  陶先平 《计算机科学》2014,41(11):141-145

基于生理舌头模型的语音可视化系统

  

目的 目前针对舌头的语音同步动画技术还未得到广泛的研究。在此背景下,提出了一种基于生理模型的舌头动画合成方法。方法 首先构建了一个精细的、能够在肌肉激励下产生逼真舌头变形的舌头生理模型;其次利用该舌头模型合成了大量的舌头运动样本,并据此通过学习得到一个从肌肉激励到舌头轮廓的转换模型;然后对采集的动态2维舌头轮廓数据进行运动参数估计以得到与音素对应的体素(肌肉激励序列和刚体位移序列);最后将体素按一定的排列方式输入到舌头生理模型进行仿真以生成相应的舌头动画。结果 该系统可以合成听觉效果逼真的语音和视觉效果逼真且与合成语音同步的舌头动画。结论 本文方法可以根据汉语普通话或其他语言的2维舌头轮廓数据构建音素—体素数据库,并据此合成该语言对应的高真实感的3维舌头动画。… …   相似文献

江辰  於俊  罗常伟  李睿  汪增福 《中国图象图形学报》2015,20(9):1237-1246

关于交替的ω─有穷自动机的接受条件

下载全文  

到目前为止,交替的ω－有穷自动机的接受条件仅有６种,本文给出了６种新形式的接受条件,并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．  相似文献

周清雷  周文俊  庄雷  苏锦祥 《软件学报》1994,5(9):56-58

应用多个正交视角轮流逼近3维目标的坐标

下载全文  总被引：1，自引：0，他引：1

为实现目标的快速、精确3维定位和跟踪,提出一种正交摄像机视频定位系统及其坐标轮流逼近的迭代定位算法。系统中平面摄像机光轴按照正交方式布置,拍摄方向均指向原点。不同于现有的大部分计算机视觉方法,本算法中没有影响定位效率和精度问题的图像配准操作。证明了迭代算法的收敛性。数值验证和实际… …   相似文献

顾人舒  顾宏斌  汤勇 《中国图象图形学报》2011,16(11):1996-2001

基于印刷字符模糊结构分析的字符预分类方法

下载全文  总被引：2，自引：0，他引：2

提出了一种用于字符预分类的模糊逻辑分析法.对文本字符作印刷结构分析,给出了一个带有 容差分析的文本行字符基线精确测定算法,其他有效参考线则是通过聚类分析而获得.模糊逻 辑用于确定各字符类的隶属值以保证字符的正确预分类.实验结果表明,这种模糊印刷字符预 分类法在SUN 4/490工作站上每秒可有效地处理10⁴以上字符,并对不同大小的字符和不同 字体的处理结果令人满意.… …   相似文献

卢达  谢铭培  浦炜 《软件学报》2000,11(10):1397-1404

基于数学模型的原木节子视频识别理论研究

  总被引：1，自引：0，他引：1

论述原木节子视频检测方法,提出节子视频特征和内部分布的数学模型。通过对节子图像进行修正、增强、边缘检测等处理,提取节子的形状特征参数。利用数学模型模拟节子的三维图像,实现节子的计算机模拟和定位。为原木加工中的节子自动化剔除处理和避开节子最优下锯定位提供基础理论和视频检测技术,为制… …   相似文献

任洪娥 《计算机应用研究》2006,23(3):136-137

带数据约束实时系统的模型检测

  

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系… …   相似文献

倪水妹  曹子宁  李心磊 《计算机科学》2014,41(5):254-262,269

面向领域的学术文献检索框架

下载全文  

在学术文献检索中,如果检索系统根据用户提交的查询返回相关领域的文献,并将文献按重要程度进行排序,可以帮助用户快速了解相关学术领域.提出一个面向领域的学术文献检索框架,结合引用网络分析和内容分析来发现并排序相关领域重要文献.该框架设计了一个评分函数进行检索,包含两个方面:(1)论文… …   相似文献

邱江涛  唐常杰  李庆 《软件学报》2013,24(4):798-809

交通网络最短路径标号算法的实现与效率分析

  总被引：6，自引：0，他引：6

标号算法是交通网络最短路径算法族中应用最广泛的算法,其中以各种D ijkstra算法为核心的标号设定算法是各种商用G IS平台网络分析算法的首选。然而,同样隶属于标号算法的标号改正算法在交通网络路径分析中却罕有应用。为了将标号改正算法应用于交通网络路径分析,首先讨论了标号算法的基… …   相似文献

陈洁  陆锋 《中国图象图形学报》2005,10(9):1134-1138

基于Twitter Storm平台并行挖掘最稠密子图

  

在大规模图结构数据中发现最稠密子图具有极其广泛的应用,如社区发现、垃圾邮件检测和论文引用关系抽取等。基于带标签的无向图,提出了查询标签集的概念,设计了一个可以快速发现最稠密子图的近似算法DSFLC(Densest Subgraph Finding based on Labelse… …   相似文献

王金明  王远方 《计算机科学》2014,41(1):274-278

工作流模型中多粒度时间约束描述及其分析

下载全文  总被引：10，自引：0，他引：10

流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了M… …   相似文献

杜栓柱  谭建荣  陆国栋 《软件学报》2003,14(11):1834-1840

一种简单的估算植被覆盖度和恢复背景信息的方法

  总被引：31，自引：0，他引：31

植被覆盖度是评估生态环境的一个重要参数,其对于全球环境变化和监测研究具有重要意义．如何从遥感资料估算植被覆盖度,并提高估算精度是建立全球或区域气候、生态模型的基础工作．该文从分析土壤、植被光谱信号的特点出发,根据植被覆盖度的定义,推导出计算植被覆盖度的方法,并进一步提出了计算植被… …   相似文献

唐世浩  朱启疆  周宇宇  白香花  帅艳敏 《中国图象图形学报》2003,8(11):1304-1308,F008

一种具有最大推荐非空率的关联规则挖掘方法

下载全文  总被引：4，自引：0，他引：4

为了提高个性化推荐的质量,简化推荐规则生成过程中相关参数的设置,讨论了应用于个性化推荐中的关联规则的性质,定义了\"推荐非空率\"这一新的推荐测度以及\"1-支持频繁项集\"和\"k最大关联规则\"的概念,提出了\"在1-支持频繁项集中生成k最大关联规则\"的思想,设计了满足该思… …   相似文献

王大玲  于戈  鲍玉斌 《软件学报》2004,15(8):1182-1188

自然语言中时间信息的模型化

下载全文  总被引：3，自引：0，他引：3

在自然语言理解中,时间一个重要的语境因素,本文提出一种独立于句子表层形式的多层次时间语义结构,浅层语义结构是时间描述的最化语义表示,深层语义结构描述事件的动态属性和存在特征,该时间语义模型表示时刻和时段,将时间基点明确区分为物理时间基点和说话者时间基点,并提供通用的时间语义计算方… …   相似文献

郭宏蕾  姚天顺 《软件学报》1997,8(6):432-440

基于受限汉语的数据库自然语言接口技术研究

下载全文  总被引：24，自引：0，他引：24

介绍了一种新的基于受限汉语的数据库自然语言接口NLCQI(natural language (Chinese) query interface)的系统模型及设计框架.给出系统实现中具有特色的多栈结构的中间语言以及以关联路径搜索方法实现的中间语言向SQL转换的策略.实验表明,该系统… …   相似文献

许龙飞  杨晓昀  唐世渭 《软件学报》2002,13(4):537-544

大规模层次化视频点播存储系统的设计与管理

下载全文  总被引：6，自引：0，他引：6

近来计算机和通信技术的发展使得视频点播（video-on-demand,简称VOD)在技术和经济上成为可能.连续媒体的特性使得VOD系统需要大规模的存储服务器.层次化存储体系是减少系统费用的合理方案.文章提出了一种层次化的存储模型和磁盘cache的概念.根据这个模型,提出了基于访… …   相似文献

李勇  吴飞  陈福接 《软件学报》1999,10(4):356-358

无向图的边极大匹配并行算法及其应用^*

下载全文  

在EREW PRAM(exclusive-read and exclusive-write parallel random access machine)并行计算模型上,对范围很广的一类无向图的边极大匹配问题,给出时间复杂性为O(logn),使用O((n+m)/logn)处理器的最佳、高速并行算法.… …   相似文献

马军  岩间一雄  顾谦平 《软件学报》1999,10(1):107-110

基于多维流量特征的IRC僵尸网络频道检测

  

针对IRC僵尸网络频道的检测问题,提出一种基于流量特征的检测方法。分析了僵尸网络频道数据流在不同周期内流量的聚类性、相似性、平均分组长度、流量高峰和协同流量高峰等特征,并以此作为僵尸网络频道检测的依据。检测过程中,采用改进的最大最小距离和k-means聚类分析算法,改善了数据聚类… …   相似文献

闫健恩  袁春阳  许海燕  张兆心 《通信学报》2013,34(10):6-55