首页>中文会议>工业技术>自动化技术与计算机技术>2004年全国理论计算机科学学术年会
2004年全国理论计算机科学学术年会

2004年全国理论计算机科学学术年会

  • 召开年:2004
  • 召开地:武汉
  • 出版时间:

主办单位:中国计算机学会

会议文集:计算机科学

会议论文

热门论文

全部论文

全选(0
  • 摘要:近30年来,随着计算机科学的迅速发展,复杂性理论(ComplexityTheory)的研究受到了越来越多的关注,也取得了许多很有价值和广泛应用的研究成果.本文将以概率图灵机作为计算模型,讨论一些介于P和PSPACE之间的语言类.基于概率图灵机模型,人们定义了很多介于P和PSPACE之间的语言类:ZPP,RP,BPP,PP,关于它们之间的关系也已经有了很多工作[4].我们首先就ZPP和PP展开研究,考虑不同的出错概率,提出了两个与ZPP和PP等价的定义.另外,我们对BPP和PP做更进一步的研究,引入了两类介于它们之间的复杂性类:BP1和BP2.2语言类RP3语言类ZPP4语言类PP5语言类BPP
  • 摘要:随着科学技术的日新月异,互连网的发展越来越完善,它已经成为人类生活不可缺少的组成部分.由于Java语言有可移植性和编译后程序代码很小等特点,使Java成为网上最流行的编程语言,特别是近几年,随着网上编程技术不断成熟,Java也慢慢地产生了许多超出人们预想的相关运用.本文主要通过对Java源程序的编译和运行过程进行了大量的实验之后,论述了Java的Package机制和在源程序的编译过程中所使用的技巧以及应注意的一些问题.
  • 摘要:.NET是个全新的策略:是建立下代应用程序的蓝图,提供了解决未来计算需求的工具..NET不仅进一步消除"DLL噩梦"现象,还去除了组件相关注册表设置的需求,其中"安装卸载零影响"巨大优点吸取了DOS的精华..NET与JAVA一样是跨平台的,但相对于JAVA而言,它青出于蓝之处就是跨语言的特性.
  • 摘要:随着Internet的普及,计算机开始转向支持商务过程,最初的应用软件是基于在操作系统平台上开发的,这大大限制了企业的更深远的发展.所以,随着应用规模的不断扩大,常规的应用软件对企业的发展起到瓶颈作用,因而有必要引入工作流管理系统(WorkflowManagementSystem,WfMS).工作流技术是实现企业业务过程建模、业务过程仿真分析、业务过程优化、业务过程管理与集成,从而最终实现业务过程自动化的核心技术。工作流管理技术作为一种过程建模和过程管理的核心技术,可以与其他应用系统有效结合,生成符合企业需求的各种业务管理系统。 目前,基于 Web的工作流管理系统受到广泛关注,本文是在通用企业框架器(General SoftwareFramework Builder for Enterprise,GSFB)基础上完成工作流管理系统的设计和实现的。
  • 摘要:在计算机软件开发领域,多年的经验积累得出这样的结论:在软件过程中软件测试占有最大百分比的技术工作量.并且伴随着软件功能的极度提高和软件规模的扩大,这种趋势还在加剧.为此科技人员作了大量的研究工作,无论是在传统的生命周期方法学中,还是在面向对象方法学中,已经研究出了一系列比较成功的软件测试技术.本文通过与传统的生命周期方法学以及面向对象方法学的比较,对嵌入式实时系统的特点作了综合描述。针对嵌入式实时系统所具有的特点,提出了一种基于Petri网模型的嵌入式实时系统软件测试技术。在嵌入式系统应用领域不断扩大和嵌入式实时系统软件复杂度不断增加的情况下,对于软件质量保证具有很好的实用价值。
  • 摘要:随着信息技术的发展和其应用领域扩大,人机对话系统遍布各行各业,已成为辅助人类进行日常生活、科学研究、管理决策的重要工具.在日常交流中人们所使用的语言是自然语言,它是人类知识的载体,也是人类获取知识和进行通讯的工具.因此,人与计算机交互就变得尤为重要了.而人与计算机进行交流,最自然的方式莫过于人类早已习惯的自然语言,只有把自然语言与计算机可以识别的形式语言融合,才能实现人与计算机的智能对话系统和以人为本的发展目标.但是目前计算机还不能理解自然语言,它只能接受形式语言也就是一系列机器指令的组合.本文的目的就是用模糊语言、可拓语言、集对语言、使自然语言和形式语言智能交融,从而有利于人机对话.
  • 摘要:20世纪90年代初,著名学者钱学森等人提出了开放的复杂巨系统及其方法论--从定性到定量的综合集成法.按照开放的复杂巨系统理论,人是一个复杂巨系统,信息网络是一个开放的复杂巨系统,因而作为人机共栖的舰船设备远程故障诊断系统,完全具备了开放的复杂巨系统的特征,是一个人-机-网相结合的开放的复杂巨系统.本文从巨系统角度出发,在借鉴信息科学、人工智能等相关学科研究成果的基础上,探讨舰船设备远程故障诊断问题。
  • 摘要:现有的考试软件多数是处理以选择题和简单的填空题为主的试题,应用于个别的课程和个别的题型,如英语、计算机基础课等,对于军队院校的绝大多数课程来说,这种标准化的试题无法反映相关考试和课程知识的全貌,无法考查学生分析和解决综合性问题的能力.因此,考试系统必须突破单一的选择题和填空题的设计模式,在试卷中吸纳计算题和证明题,力求使机考的试卷结构与传统考试基本一致.为此,考试系统应利用人工智能的技术,实现智能化的组卷和阅卷评分等工作.
  • 摘要:人工智能和博弈论可追溯到1912年,数学家策墨洛在第5届国际数学会议上发表了<关于集合论在象棋博弈理论中的应用>的著名论文,第一次把数学与象棋联系起来,博弈论因此而诞生. 本文从理论上分析中国象棋弈棋程序设计的一些问题,如胜弈机的存在性问题,完美弃棋程序的设计方法和实战弈棋程序的若干设计思路等,不讨论如何编写对弈程序。
  • 摘要:本文对M矩阵的并行判定算法进行了研究,并通过具体的演算和推断详细介绍了其算法设计、算法分析以及其实验结果。
  • 摘要:多元多项式因式分解是计算机代数研究的主要内容之一,对这样一古老问题,一直被国内外众多学者研究,已有古老的算法,也有现代的算法.它们的共同之处都是用于处理多项式的精确分解,不适合多项式系数是浮点型的因式分解.于是,文[5]提出了多项式近似分解的概念及近似分解算法,该算法虽可行,易于实现,从一元多项式入手,利用Hensel提升的方法,来实现其多元多项式因式分解,若初值选择不当,有可能达不到因式分解的目的,即算法的稳定性较差.于是,提出了代数神经网络,给出了基于代数神经网络的多元多项式近似因式分解学习算法,但在实际应用中,当多项式次数过高时,存在着网络结构过于复杂,隐结点过多,运算量大,导致网络的逼近能力有限等缺陷.本文给出的多元多项式近似分解的泛函网络模型及学习算法,具有网络结构简单,算法稳定性好等特点.
  • 摘要:随着分布式人工智能技术(DAI)的发展,多A-gent技术的研究将成为其一个重要分支,源于人工智能的Agent技术受到了许多领域内学者的广泛关注,许多学者都在尝试利用Agent技术的优点为自己的研究服务.如作为一个人机联合监控与诊断系统,要求人机界面应灵活可变,具有智能自适应能力.它的结构应适应多变的决策流程,能够适应不同的用户模型.对各个用户,也要进行在线检测,确定用户的熟练程度,据此确定相应的对话模式,对于缺乏计算机或系统使用知识的用户,应提供恰当的、及时的引导帮助.从这些要求来看,具有自主性、自学习、自适应能力的Agent是实现智能自适应交互界面的极好方式.智能的Agent系统可以根据用户的喜好和需要配置具有个性化特点的应用程序.基于Agent的交互界面系统成为当前用户界面领域研究的热点与关键.
  • 摘要:最优分组周游路线问题是一类物流智能调度问题,是众多的计算难度极大的组合爆炸问题之一.自从运输问题最早由Hitchcock在1941年提出[2,4]后,人们对这一类问题给予了极大的关注并进行了大量的研究,提出了有效解决问题的优化算法--单纯形法的变形[2].但由于问题规模的扩大,纯数学方法在允许的时间和空间上都很难找到问题的最优解,于是人们开始转向寻找问题的近似最优解,遗传算法以其在求解最优化问题中的独特的自组织性、自适应性很快进入人们的视野.经典的遗传算法对于求解多目标的NP完全性问题非常有效,但对于有多个限制条件的多目标最优化问题缺显得有点力不从心,很难得到稳定度较高、收敛较快的解.本文提出的双层遗传算法模型给这一类问题提供了一个很好的解决方法,虽然建模条件限制了描述的问题的通用性,有待推广,但它能有效利用问题的领域知识,提高了求解效率,保证了解的可行性和最优性,算法思想极具推广潜力,可在其它物流智能调度问题求解算法设计中借鉴.
  • 摘要:人脸识别是模式识别领域中的重要研究课题之一,也是目前一个非常活跃的研究方向.人脸图像的特征一般可以分为四类:(1)直观特征、(2)灰度统计特征、(3)变换系数特征和(4)代数特征.人脸的直观特征主要是指人脸器官之间的几何关系;变换系数特征方法是将每一类人脸向某个空间作投影,将所得的投影系数作为这类人脸的特征值;将人脸图像看作矩阵,然后用代数的方法(如矩阵分解、求解特征值和特征向量等)则可求得人脸图像的代数特征.本文提出了基干多分辨小波分析的入脸图像小波矩特征提取方法,并讨论了这种矩特征所具有的特性;鉴于各个尺度空间中的小波矩特征具有较强的相关性,提出了基于K-L变换的最优鉴别特征选取方法。最后,利用最小距离分类器对NUSTFDBI人脸图像库作了图像的有效鉴别特征提取及识别实验,并与其它特征提取方法作了比较,实验表明小波矩特征是一种有效的鉴别特征。
  • 摘要:感知器(perceptron)是由美国学者F.Rosen-blatt于1957年提出的,其目的是为了模拟人脑的感知和学习能力.感知器是最早提出的一种神经网络模型,是一个具有单层神经元的网络,网络的激活函数是线性阈值单元.原始的感知器算法只有一个输出结点,相当于单个神经元.早期的研究人员试图用感知器模拟人脑的感知特征,但后来发现感知器的学习能力有很大的局限,如只能对线性可分的输入向量进行分类,以致于人们对它的能力和应用前景得出了十分悲观的结论.尽管如此,这种神经网络的出现对早期神经网络的研究,以及后来许多种神经网络的出现产生了极大的影响,就目前来看它仍然是一种十分有用的神经网络模型.感知器特别适用于简单的模式分类问题,当它用于两类模式分类时,相当于在高维样本空间中,用一个超平面将两类样本分开.Rosenblatt已经证明,如果两类模式是线性可分的(存在一个超平面将它们分开),则算法一定收敛. 本文以硬限幅函数单神经元感知器为例,介绍它的分类功能,它的分类功能很弱,只能对线性可分的输入向量进行分类。紧接着介绍了硬限幅函数二层单输出感知器的分类功能,它可以对位于凸空间内部和外部的两类模式实现无误划分。并给出了计算实例。
  • 摘要:关联分析是数据挖掘十分重要的分析方法和研究领域,关联规则的研究比较广泛和深入.典型的关联规则挖掘算法多属于数据库遍历类算法.Savasere和H.Toivonen等人提出的算法都不同程度地改进了规则的挖掘过程.但是这些算法通常都需要遍历数据库来求取支持度,在算法的执行过程中需要频繁地进行数据库的操作.本文提出一种基于数据库特征矩阵的关联规则挖掘算法,使关联规则挖掘算法的效率得到提高.
  • 摘要:在人工智能领域内,博弈是很重要的一个研究分支.通过对博弈的研究,可以解决很多实际问题,使电脑智能向人类智能迈进一大步.1997年,世界头号国际象棋大师卡斯帕罗夫与IBM的超级计算机"深蓝"较量后不得不俯首称臣,让人脑第一次尝到了在电脑面前失败的滋味.博弈理论在这场人机大战中起了关键性的作用.博弈理论已被用于很多棋类游戏的设计中.本文以五子棋问题为例,讨论了一个基于博弈树的五子棋算法及其具体实现,在实现中应用了α-β剪枝法和最大最小树原理进行搜索发现最好的下子位置.针对广度搜索层数的增加所带来的五子棋算法的低效性,进而提出了基于多线程搜索策略和分布式搜索策略的改进方法.
  • 摘要:需求工程是软件生命周期中极其主要的一个环节.目前,与软件需求相关的方法和文献有几十种之多,且新的方法层出不穷.但由于软件需求自身所固有的模糊性和不确切性,不管采用哪种非形式化的分析、规约和验证技术,软件需求的完整性、一致性、正确性、可靠性等都难以得到有效的保证.另外,由于软件需求所固有的抽象性,无法像程序代码一样进行直接的测试,导致软件需求的质量始终无法有质的突破,形成了所谓的质量顶峰(qualityceiling)[2].与此同时,软件在系统中的作用越来越重要,软件自身也越来越复杂,特别对于航天、医疗等领域的软件系统,更要求有可证明的软件质量保证.为此,学术界和工业界又先后开发了多种形式化的软件需求方法与技术,以期具有严格数学基础的形式化技术能补充现有的如走查、审查、复审等非形式化的需求质量保证技术,从实质上提高软件需求的质量,降低软件修正和维护的费用. 本文首先概述软件需求形式化方法,接着对各种软件需求形式化进行了分类和比较,然后通过一个实例介绍了两种典型的软件需求形式化方法,最后讨论软件需求形式化的优缺点并总结全文。
  • 摘要:函数逼近有一致逼近和平方逼近,有多项式逼近或三角函数逼近,常用的逼近方法有函数按正交多项式展开、最小二乘法、傅立叶(Fourier)逼近等.本文讲述利用泰勒(Taylor)展开式求取函数近似最佳一致逼近多项式的算法以及泰勒展开式次数降低的方法.
  • 摘要:PCA(PrincipleComponentAnalysis)是一种统计学方法,在许多领域已经得到了应用.它的目的在于特征提取和数据压缩,其基本思想是提取出空间数据的主要特征(主元),减少数据冗余,使得数据在一个低维的空间被处理.PCA神经网络较好地实现了PCA思想,尤其对于海量数据和在线数据.目前大多数算法都是基于Hebbian规则.Oja首次提出第一个主元提取的神经网络.此后,PCA神经网络迅猛发展.PCA神经网络研究的一个重点是收敛性分析.过去常用连续微分方程间接证明,最近发现学习算法与相应的微分方程并不等价,因此离散的学习算法的直接分析是必要的.本文将对此进行讨论.
  • 摘要:人工智能的研究目标是:探讨智能基本机理,研究如何利用计算机来模拟人的思维和行为,使计算机从事推理、规划、设计、思考、学习等思维活动,解决只有人类才能完成的智能任务.智能故障诊断是指:将人工智能的理论和方法应用于故障诊断领域,发展智能化故障诊断技术.智能化故障诊断技术是设备故障诊断的一条新的途径,是当前故障诊断领域研究的主要方向.专家系统(ES)和人工神经网络(ANN)是人工智能研究的主要内容之一,并且在故障诊断领域已经得到了广泛的应用.2基于神经网络的专家系统3神经网络与专家系统的局部结合4神经网络与专家系统的全面融合
  • 摘要:旅行商问题(TravelingSalesmanProblem,简称为TSP)是一个典型的组合优化问题,并且是一个NP完全问题,其可能的路径数目为(n-1)!,至今尚未找到有效的解决办法.虽然在理论上可以采用枚举法来解决这一问题,但是当n较大时,实际所需的时间会大到使对此问题的求解变得毫无意义.因此设计出一种时间多项式算法来求得TSP问题的最优解或近似最优解就具有重大的意义.TSP问题是经典NP完全问题,也有很多的实际应用。本文提出将免疫的思想引入遗传算法中求解TSP问题,既避免了同类中优秀个体的丢弃,又很好地保持了个体的多样性。因此该算法对于求解具有多个离散变量的优化问题及多结点的网络问题等一些工程中存在的问题具有很好的实用价值。
  • 摘要:最短路径问题一直是计算机科学、地理信息学、交通工程学等学科的一个研究热点.在关于最短路径算法的各种研究中,能取得比经典Dijkstra算法好的结果却很少.在Dijkstra算法以后提出的很多最短路径算法研究文献都愿意与Dijkstra算法进行对比,本文也不例外.Dijkstra算法复杂度为O(n2).通过扩展编码路径视图结构,给出了一个支持最短路径查询的层次模型,但在算法中需要进行一定的预先计算,所以当图被修改时,还需要重新计算,当图中节点很多时,尚需要相当长时间.通过预先计算"组成分层"的结构以达到提高查找最短路径的效率,并与Dijkstra算法进行了比较,但该算法在某些类型的图中其效率没有Dijkstra算法好,且同样存在当图发生改变时需要重新计算的问题.
  • 摘要:随着海量信息的出现和不断增加,同义词控制显得更加重要,它是实现概念检索的一个途径,具有概念检索功能的网络信息检索工具可借助于一个同义词表对用户输入的关键词自动添加同义词,有助于提高查全率,但不降低查准率.对同义词识别的研究最初主要来自于情报界,同义词控制作为一种有效的检索后控制方式已被越来越多的信息检索系统所采用.20世纪末,由于网络信息的快速膨胀,用户在查找网络信息遇到许多问题,为了提高查全率,许多搜索引擎都推出同义词扩展检索,但实际运用的效果不是很明显.同义词的识别、挖掘研究将成为计算机界、情报界的一个新的研究热点。 针对基于字面相似度识别方法的不足提出基于语义分类体系的同义词识别方法。实验结果表明,基于《词林》语义体系的同义词识别方法从效率和质量上都要优于基于字面和词素的识别方法,尤其在识别复合词上,优势更为明显。对同义词的识别研究涉及到汉语语言学,计算语言学等许多相关知识,文本依据现有的语义分类体系还存在一些问题,如语义排歧问题、义类词典的更新与维护,需要进行深入研究。
  • 摘要:需求分析的研究已经有近30年的历史,需求工程的提出也有10多年了,但仍处于比较稚嫩的阶段.目前国内外MIS系统开发的需求分析主要采用结构化方法,基本上由手工完成,费时费力,且容易出错.目前使用的工具都以图形交互的方式或某种严格的形式语言(UML,ERL等)对需求分析提供辅助,它们都没有自然语言处理的能力,不能处理用自然语言描述的需求分析.虽然由于目前技术上的限制,计算机还不能完全理解自然语言,但是采用折中的受限自然语言应是一种可行方案. 针对这个问题,本文将受限汉语弓卜需求分析,再结合结构化分析方法,来辅助进行需求分析。我们研究了基于受限汉语的需求分析辅助生成系统。该系统将用受限汉语描述的需求分析报告自动转化为符合国家标准的软件规格说明书。工作的中心是受限汉语的定义和自然语言篇章理解。系统首先通过分词输入法实现汉语分词与标注,然后根据语义结构文法产生相应的表层语义网络,最后将表层语义网络转换为需求规格说明书,即数据流图和数据字典。
  • 摘要:组合化学是一项近年来在化学制药和分子识别领域中新兴的技术,它把原来在实验室中进行的分子设计与计算建模结合在一起,大大缩短了新药品的设计周期.组合化学研究的主要依据在于分子的很多性质与分子的拓扑结构直接相关,例如分子的沸点等很多性质就与分子的WienerIndex密切相关.组合化学的中心问题就是根据给定的物理或化学性质构造出分子的结构,由于分子的物理和化学性质可以由拓扑系数定量地表示,因此此问题就转化为由给定的拓扑系数来构造具有此拓扑系数的化合物的结构。本文首先分析了树的W,L,N值三者之间的关系,并通过这种关系改进了树的(W,L,N)逆问题算法,又通过新算法对树的Wiener Index判定逆问题和构造逆问题的算法做出了改进,使其在计算量、程序复杂性和运行速度方面明显优于已有算法。可以进一步进行的研究包括:建立W,L,N之间更为精确的关系,从而进一步缩小搜索空间,加快运行速度;实现上述算法并使其更有效率,例如并行对多组(W,L,N)值进行分拆,当发现第一组可行解时退出程序等等。
  • 摘要:设基因组序列S={T1,T2,…,Tk},其中Ti为DNA序列,是由A、G、C、T四种字符组成的序列,这里称为主串.任意两个主串均不相同,Ti≠Tj,i≠j.记S的总长度为L.所谓引物是指与待扩增核酸片段两端互补的寡核苷酸,即其也是由四种碱基组成的序列.在引物设计中,随机引物序列的出现次数是指引物在多少个基因中出现,这里定义为引物次数,用p来表示.pi意为ui在S中的pi个主串中出现,如图1所示,u在S中的引物次数为3.本文根据随机引物序列选择这一实际问题,以最简单直接的算法为基础,提出了基干 Hash的快速、简单的统计算法,并在数据结构上进行了进一步优化,为生物学研究中的引物选择提供了有力的工具。经多次实验验证,本文提出的优化算法稳定、高效,对类似于子串查找和统计的问题具有重要价值。
  • 摘要:图灵于20世纪30年代提出了一个理想化的计算模型-图灵机模型,该模型用一个无限长的带子作为存储,有一个能在带子上读写和前后移动的读写头.该模型形式简单,对现代计算理论的发展具有非常重要的意义,它奠定了计算理论的基础.利用该模型,定义了如下两类问题:1.N类问题;2.NP类问题。本文从以下四个方面分析了NP完全问题及其应用:1.NP完全性的形式定义及其重要定理。2.NP完全问题的最新应用。3.NP完全问题的相变现象。4.NP完全问题解决策略。
  • 摘要:1970年Buchanan&Headrick发表了<关于人工智能和法律推理若干问题的考察>一文,拉开了对法律推理进行人工智能研究的序幕.专家系统在法律中的第一次实际应用是D.沃特曼和M.皮特森1981年开发的法律判决辅助系统(LDS).国内研究具代表性的是,1986年由朱华荣、肖开权主持的<量刑综合平衡与电脑辅助量刑专家系统研究>,在建立盗窃罪量刑数学模型方面取得了成果.在计算机技术快速发展的推动下,尽管在很短的时间内取得了许多令人振奋的成果,但从我国的实际情况看:起步晚,没有现成的理论和方法作指导,而且其研究大多停留在实验室领域,还没有在司法实践中加以应用.本文采用BP网络来设计法律案例智能判决子系统,分析了BP网络和GA算法的优缺点,对GA算法进行了改进,并在此基础上设计了GA-BP算法,大大加快了收敛速度,同时当网络陷入局部极小点时能及时地跳出。测试结果表明网络的自学习能力很强、速度快,法律案例判决的准确率得到了提高。值得注意的是GA-BP算法具有很好的通用性和扩展性,本子系统在辅助司法审判、促进司法公正等方面提供了有力的工具,在专家系统领域有广泛的应用和推广价值,应用前景看好。
  • 摘要:本文从以下几个方面研究了一种基于模糊理论的体育动作分析和识别方法:1.人体动作元及性质。2.人体动作的数学表示。3.人体动作的模式识别。
  • 摘要:首先简单介绍一下IP(InteractiveProof)证明系统.IP证明系统包括两个部分:证明方和验证方;它们共同完成一次证明.交互性和随机性是IP证明系统很重要的特性.本文从以下方面研究了GNI问题的PAM协议:1.完美AM证明系统和GNI(图不同构问题)。2.Hash函数和Isolation定理。3.GNI的PAM协议。
  • 摘要:安全性是一个普遍性的问题,几乎影响着分布式对象计算的每个方面.CORBA作为一种标准的基于分布式对象计算的面向对象应用程序体系规范,同样也面临着安全以及对相应安全服务修订的问题,其中访问控制是一个重要的方面.在应用层访问控制应用中,策略的管理和将外部授权集成到应用中是一个需要解决的问题。通过对策略、被访问资源和授权进行细致、有针对性的语义描述,就可以在CORBA环境下实现一个能灵活访问异构资源,动态、透明地改变访问控制参数,集安全性、扩展性和协同性于一体的访问控制模型。
  • 摘要:在软件开发中,人们越来越清楚地认识到软件需求工程(以下简称需求工程)是软件生产自动化的关键环节,故需求工程近几年来已成为软件工程领域中一个新的而又十分重要的研究领域.由于大规模和复杂的软件系统必须涉及到许多相关人员,这些人员由于各自的背景知识、职责和出发点不同,因而会从不同的角度和立场来提出自己的观点和需求,从而形成不同的视点需求.此外,在需求建模的过程中,用户或系统分析员也可能会使用不同的需求描述模式与技术.如何分析和集成不同的需求描述模式和技术,以获取较完全的和高质量的软件需求模型或需求归约,这已经成为需求工程中有待研究和解决的问题,而且这也是不可避免和难度很大的研究课题.为了便于集成不同风格的需求描述模式和检测多需求模型或归约,本文提出了视点代理的概念和基于多视点代理的集成语言及其模型。特别是基语言的研究能把不同风格的需求描述模式的语法和语义有机地结合到一起,从而有利于多需求模型或归约的集成和检测。
  • 摘要:组合拍卖是由一个拍卖人和若干个投标人按一定拍卖规则组成的博弈.组合拍卖与一般的拍卖不同之处在于,组合拍卖中投标人是对拍卖品组合整体报价,而不是对单个拍卖品报价.通过对组合拍卖中的经济属性、计算属性及其相互关系的讨论,总结了两者之间相互矛盾的关系。针对具有经济上有效性的瓦尔拉斯均衡,讨论了瓦尔拉斯均衡存在的情形下的计算复杂性。并证明了瓦尔拉斯均衡在LP4下总是存在的结论。通过本文将会发现,机制设计在具体应用中的实现需要靠设计者在经济上的有效性和计算上的有效性之间进行权衡。本文的工作能给其他分布式优化问题提供简单、稳定和健壮的解决方案。
  • 摘要:应用热动力学最小自由能量方法从RNA序列预测其二级结构起始于Tinoco等人,Zuker将动态规划算法用于复杂的Tinoco模型,设计了Mfold算法,算法的时间复杂度为O(n3).Mfold算法不允许伪结点存在,但伪结点在几种已知RNA中具有重要功能.包含伪结点的RNA二级结构预测问题是NPC问题.Rivas与Eddy提出了简化的包含多个伪结点的热动力学模型,并首次相应的多项式时间算法,算法的时间复杂度为O(n6).B.1yngs(φ)等人提出仅包含一个平面伪结点的模型及算法,其时间复杂度为O(n5),空间复杂度为O(n3). 本文提出了一个新算法,其时间复杂度为O(n5),空间复杂度为O(n4)。算法使用六段子序列的组合表示包含伪结点的**A二级结构,并利用Lsnns巾算法的一个计算技巧,可预测包含多个平面伪结点和一个非平面伪结点的二级结构。
  • 摘要:生物测定技术是通过普通生理特征如指纹、掌纹、虹膜、DNA等鉴别个人身份的科学.指纹的唯一性和稳定性,以及其所具有的便于采样、可靠性高的优点使得指纹识别已经成为身份认证的最有效手段.一个有效的指纹识别系统是多种因素的共同作用.对于大容量的指纹库,指纹分类是指纹识别的基础,通过分类可以有效地对数据库进行管理和减少指纹匹配的时间.本文的中心思想是结合遗传算法和BP神经网络两者的优点设计算法,以提高指纹分类和指纹识别系统的有效性.
  • 摘要:随着高科技的迅速发展,其应用深入到人们生活的各个领域,信息检索,文本分类,自动文摘,人机对话等对自然语言处理(NLP)提出越来越高的要求,使NLP研究成为最热门的学科之一.众所周知,自然语言是由句子构成,而一个句子有句法结构,也有语义结构.句法结构是表层结构,语义结构是深层结构,两者是形式和内容的关系.句法分析是传统的理解自然语言的处理技术之一,它已经被广泛地应用于不同的自然语言研究领域中.通过严格地定义句法结构,我们能相对容易地得到自然语言文本的句法结构,但句法结构仅仅从形式上分析了句子的成分,并没有对句子的内在涵义作更进一步的分析,这就要求我们在句法分析的基础上进行语义分析.自然语言处理的核心技术就是语义分析技术,即将句子(数量无限)变换成由词语(数量可控)及其抽象形式(数量有限)构成的用某种数据结构(句法树、复杂特征集或语义网络)表示的内部形式(数量有限).语义分析的目标是分析自然语言句子的内在意义,找出成分之间的语义关系,得到比句法分析更有意义的语义知识表达形式,从而推动自然语言文本的理解到一个更高的层次.在NLP领域中,语义分析是自然语言处理的重点和难点.早期的研究人员提出的一些语义理解模型,如语义网和概念依存理论,在一些小型的原型系统中取得了成功.近年来,一些大规模、可计算的语义知识库,包括WordNet、MindNet、FrameNet、HowNet等的开发和利用,为进行大规模的真实文本的语义分析和理解提供了有利的支持.
  • 摘要:对于数据库领域,不管是传统的管理信息系统,还是数据挖掘系统,数据的正确性一直是人们非常关心的问题.人们使用了许多的方法来对数据进行约束,例如:通过定义列的数据类型、大小等来限制列值;让用户自己定义数据类型;使用加上了一些简单约束被绑定到列上的规则,使用触发器等.上述方法虽然起到很大作用,但由于受到数据库本身结构的限制,仍存在一定的缺陷,这就是大多数都是用表中的语法关系来进行数据约束,不能充分地利用数据库所描述问题的领域知识对数据的正确性进行判断.为了克服这些缺陷,把数据库和人工智能技术结合起来,给出了一种新的维护数据正确性的方法--基于知识的数据校验.
  • 摘要:由于字符编码的问题,微软记事本(MicrosoftNotepad)出现一个漏洞,本文结合编程中的乱码问题,探讨分析了ANSI、Unicode、bigendianUnicode和UTF-8四种常见编码,说明了微软记事本漏洞出现的原因,讨论了.NET四种字符编码在C#编程中的处理,并用C#实现了一个可自动识别字符编码并自动对不同编码文本的读写和转换的记事本.
  • 摘要:带赋值符号迁移图(SymbolicTransitionGraphwithAssignment,简称STGA)用符号化方法解决了传值问题,STGA图中的状态和迁移都可以带有参数.本文将阐述如何从STGA图中生成同步序列,并且提出若干覆盖率标准来指导同步序列的选择,最后通过一个实例来研究这种方法的测试效率,并且与基于LTS的同步序列生成方法进行比较.
  • 摘要:对软件复用和软件构件的研究始于20世纪60年代后期,30年来人们一直关心的两个问题是:(1)如何有效地表示可复用软件构件?(2)如何在已有的大量构件中找到所需的构件?关于此两问题的研究已经取得一定的进展,如青鸟系统中可复用构件的表示与查询方法就是较为成功的例子之一.青鸟构件库描述语言JB_CDL从九个方面对构件进行了规约:即功能移出、模板参数、特例化实例化描述、协作规约、成员规约、规约互联、协作对象、成员对象、对象互联.构件的查询不仅需要有一定的查准率,更需要有一定的查全率.本文在功能规约基础上针对构件的查全率提出了一种基于构机库功能集的模糊查询方法.2构件库功能集3基于构件库功能集的查询
  • 摘要:随着计算机软硬件系统日趋复杂,提高系统可靠性的验证技术日益受到重视.模型检测(modelchecking)以自动化程度高,实用性强而引人注目,并成功地应用于芯片设计、数字电路、通信协议、控制系统等诸多领域.如Intel,IBM,Lucent,Motorola等公司已经将该技术应用于产品的实际研发过程.模型检测已经成为形式化方法工业应用的典范之一.模型检测是一种形式验证技术,目的是检测系统是否具有所期望的性质.通常针对系统的核心模块以及对可靠性有重大影响的属性.其策略是通过穷举系统的状态空间来检测属性是否得到满足.在当前对正确系统的开发和证明缺乏成熟有效理论和方法支持的情况下,针对部分模块和属性验证的模型检测技术显得尤为重要.软件系统因自身过于复杂而难于应用该技术,相关研究进展缓慢.2000年左右,出现了一批实用性驱动的软件模型检测(后文简称SMC)工具,如Bandera,JPF,SLAM等,为SMC的研究注入了新鲜的血液,其中SLAM已有了初步的工业级应用.本文将在第2节探讨SMC的面临的困难及一些新的研究途径,第3节以SLAM为例,介绍SMC研究从目标选取到设计实现的全过程,分析目标定位及实现策略,讨论相关理论和技术,简述SLAM的相关组件及工作流程,最后在第毛节通过SLAM设计思想的总结,得到一些SMC研究中值得借鉴的经验。
  • 摘要:随着面向对象软件的广泛应用,面向对象软件的质量逐渐成为人们普遍关注的问题,面向对象软件的度量也随之受到了越来越多的关注.最早的软件度量是LOC(代码行),由Wolverton提出,用以描述程序员的开发效率.随后出现了Halstead的软件科学,McCabe的环复杂度以及Albrecht的功能点度量.面向对象软件开发技术与传统软件开发技术在软件生命周期,系统结构,软件项目管理等方面有显著不同.早期的度量主要是针对传统的结构化软件,并不能完全适用于面向对象软件.根据面向对象软件的特点,Chidamder和Kermerer于1994年提出了基于继承树的C&K度量套件,Lorenz和Kidd基于面向对象类提出了一组度量,Abreu于1995年提出了MOOD度量套件,J-YChen和J-FLiu提出的Chen和Liu方法在很多方面和C&K度量套件有相似之处.本文总结了软件质量属性和度量属性的相关性的研究成果,概括了对它们的关系进行建模的方法。在模型构造中,通过对软件设计信息的分析获取软件结构特性;在度量活动中采用的模型是基于软件结构特性的,故整个度量活动是基于客观属性的。通过度量模型这种经验式的指导可以帮助用户在软件开发早期对软件质量进行预测,使用户在产品还没开发出来时就能对软件质量进行控制,从而降低了开发风险,提高了生产效率,具有一定的实践意义。
  • 摘要:一些软件工程任务需要缩小程序的大小或将一个大程序分解为更小的部件,如软件调试、软件测试、程序理解、代码重构以及软件复用等.通过使用程序切片技术,可以将对程序研究的范围缩小到根据切片准则得到的一个原程序的子集,从而达到以上目的,使我们能更准确地理解程序以及提高分析程序的效率.基于切片技术的软件测试是一种全新的软件测试技术,它把对整个程序的测试转化为只对某个程序切片的测试。与传统的测试方法相比,它具有效率高、准确性好等优点。除了简单的程序切片外,当前结合静态分析以降低模型检测复杂性的切片工具不多。可以对此做进一步的研究和工具的开发。
  • 摘要:有限自动机(FA)和正规表达式(RE)都是正则语言(RL)的描述模型.FA擅长语言的识别,而RE比FA更简单,更容易处理,而且这种表达式更容易,更接近语言的集合表示和语言的计算机表示,因此,RE使用起来更方便一些.RE已经被广泛地应用于文本检索系统,数据库查询语言等.例如KMP匹配算法,UNIX中的grep命令都是RE的具体应用.
  • 摘要:"不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.
  • 摘要:在众多的决策树归纳学习问题中,属性取值一般被认为有两种.一种称之为"符号"值属性,另一种称之为"连续"值属性.对这两种值属性均有较成熟的处理方法,如基于最小不确定性的Min-A算法、基于最小分割信息熵的处理连续值属性的ID3算法.而区间值或模糊值作为属性值将提供一种特殊的不精确信息,区间值能充分保证模糊数据所包含的信息的完整性,而且这种以区间值表示的数据广泛存在于我们现实的生活中,如病人的创口大小、用药周期等.目前的大多数模糊决策树示例学习都是在假定属性取值及分类值是以隶属度确定的前提下建立的.本文采用区间值为属性来表示、处理这种不确定性,并通过备选割点优化选取,以增进这种学习方法在以区间值表示的不确定性信息处理方面的优势,特别是提高分类决策的效率,降低计算复杂度.本文使用基于类的信息熵极小来选择区间值扩展属性,通过覆盖频繁点和非频繁点分析改进了算法的效率.
  • 摘要:模式识别分类器的设计中,智能主体学习以及数据挖掘的信念网络的学习都离不开概率密度函数,而现实中概率密度函数往往是未知的,概率密度函数的估计便成为解决这类问题的有效途径.应用统计决策理论设计分类器,当概率密度函数未知时,首先要对它进行估计,这就将模式识别问题转化为概率密度函数估计问题.如果这个估计问题可以很好地解决,则模式识别问题相应得到解决.我们希望当样本数目N→∞时,基于样本的分类器能收敛于理论上的结果.为做到这一点,实际只要说明N→∞时,(^p)(x|wi)收敛于p(x|wi).作为数理统计中的一个基本问题,概率密度函数的估计虽然有一套较完整的理论和方法,但是实际应用中,并不那么简单.它广泛应用于众多领域当中.
  • 摘要:本文介绍了在.NET平台下用C#语言实现向24位图中嵌入相同格式的水印文件,类似地可以对声音、文本等其他多媒体文件进行基于Web服务的水印嵌入和提取。数字水印 Web服务的实现,解决了在Web服务中多媒体文件的处理问题,丰富了Web服务的内容。
  • 摘要:基于构件的开发(Component-BasedDevelopment,简称CBD)或基于构件的软件工程(Component-BasedSoftwareEngineering,简称CBSE)是一种新的软件开发模型.目前还没有给出明确的定义,对其比较详细的解释为:它是在一定的构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合手段高效率、高质量地构造应用软件系统的过程.CBSE不仅仅是简单地应用对象要求代理建立一个代码库、或者从Internet上下载相关控件,还需要系统地进行全局考虑和规划,主要包含了系统分析、构造、维护和扩展的各个方面.由于以分布式对象为基础的构件实现技术日趋成熟,CBSE已经成为现今软件复用实践的研究热点,被认为是最具有潜力的软件工程发展方向之一.
  • 摘要:为了对软件可靠性进行评估,需要对其失效数据进行统计处理.随着软件测试工作的进行,软件可靠性呈现增长趋势,对此人们常常采用可靠性增长模型来描述软件可靠性的变化规律.自20世纪70年代以来,人们根据软件测试的特点建立了许多软件可靠性增长模型,利用软件测试数据对模型进行拟合,从而得到有关可靠性指标的估计.对于可靠性要求不太高的软件,其测试过程中失效数据较多,模型与测试数据的拟合效果及参数估计都具有较好的统计性质.但是对于高可靠性软件,由于其测试失效数据较少且离散性强,这些模型对该类软件的可靠性评估就存在着一定的局限性.认为高可靠性软件失效的发生实际上是稀有事件,因而提出采用极值分布来对高可靠性软件的测试数据进行处理,但文中所采用的统计处理方法存在着一些不足之处. 对此,本文分别采用了最小二乘估计、极大似然估计和最优线性无偏估计,最后通过一个实例说明了参数估计过程并进行了模拟。
  • 摘要:遗传算法(GeneticAlgorithm,GA)是一种基于自然群体遗传演化机制的高效搜索算法,由美国的Holland教授于1975年首先提出.遗传算法摒弃了传统的搜索方式,模拟自然界生物进化过程,采用人工进化的方式对目标空间进行随机化搜索.它将问题域中的可能解看作是群体的一个个体或染色体,并将每一个体编码成符号串形式,模拟达尔文的遗传选择和自然淘汰的生物进化过程,对群体反复进行基于遗传学的操作(选择、交叉和变异),根据预定的目标适应度函数对每个个体进行评价,依据适者生存、优胜劣汰的进化规则,不断得到更优的群体,同时以全局并行搜索方式来搜索优化群体中的最优个体,求得满足要求的最优解.作为一种新的全局优化搜索算法,遗传算法以其简单通用、鲁棒性强、适于并行处理以及高效、实用等显著特点,在各个领域得到了广泛应用,取得了良好效果,并逐渐成为重要的智能算法之一.
  • 摘要:随着网络通信技术的迅猛发展,网格正逐渐成为一个解决大规模复杂性问题的新兴的高性能计算平台.由于网格资源在广域上分布、本质上异构、由不同的个人或组织拥有、有不同的存取策略和花费模式、负载和可用性动态变化等原因,使得网格环境下的资源管理十分复杂且具有挑战性.利用经济机制管理网格资源具有灵活、高效和公平等特点,因而越来越引起人们的关注.资源分配较为常用的经济模型有多商品市场、合同网和拍卖等.与传统的网格资源管理系统偏重效率,以实现系统中任务执行时间的最小化为目标不同,经济机制的固有特点使得它在管理和分配网格资源时不仅注重效率而且兼顾公平.网格中对公平的定义至今还未形成统一的标准,但是公平对网格资源分配的重要性却是有目共睹的.公平性能够保证网格的服务质量(QoS),实现网格资源的优化配置,维持网格系统全局的稳定,并最终促进网格平台计算效率的提高.总之,随着网格应用的增多和类型的多样化,公平性必将成为评价网格资源管理系统性能必不可少的因素之一.在众多用于网格资源分配的经济机制中,多商品市场模型以微观经济学中的一般均衡理论为基础,通过建立网格资源市场,调节资源价格使资源的供需达到均衡,来实现对网格资源的优化配置."均衡"意味着"公平"这在经济理论中早已是不争的事实,因此,对基于多商品市场模型的网格资源分配的公平性进行分析将有助于加深我们对网格资源管理系统公平性需求的认识和理解.
  • 摘要:近几年,随着网络计算技术的发展,Internet使得在全球范围开展各种协同工作成为可能,新应用(虚拟企业、电子商务、远程医疗等)和新技术(软件组件、agent/多agent系统、移动agent等)不断产生,一方面给协同科学的研究和应用提供了强有力的支持,另一方面也对建立协调与协作系统提出了更高要求.本文的内容,主要是在分析目前多agent社会组织设计方法的基础上,按照开放系统的设计需求,提出一个通用的多级组织规范。在此基础上,分析医疗协作领域的主要概念和相互关系,研究医疗协作机制和协作策略,建立医疗协作模型,以探讨如何利用agent技术提高医疗服务领域不同专业人员的协作和协同工作的能力。
  • 摘要:对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,如何提高接入效率仍然是一个关键性技术.TD-SCD-MA的随机接入过程是由数据链路层支持的移动终端接入规则.通过随机延迟,该过程降低了接入碰撞的概率,进而提高接入效率.通过对TD-SCDMA协议的随机接入过程的形式化描述,本文给出了其基于时间自动机的系统模型。利用实时模型检测工具UPPAAL的系统验证和仿真,我们讨论和分析了影响整个系统接入性能的三个因素:移动终端的个数,最大随机延迟重试次数和随机延迟的时间设定。
  • 摘要:一条线性DNA双链分子是由不完整的DNA分子链按照碱基互补原则沿着一个方向匹配形成的.Kari等将这个过程形式化为粘贴操作,并籍此建立了粘贴系统模型,其中讨论了DNA片段与DNA单链分子或带粘性末端DNA片段粘贴匹配的情形.利用特定的连接酶将具有粘性末端的DNA片段进行连接是线性DNA分子进行自装配的过程.本文即是运用粘贴系统的基本理论对粘性末端DNA片段之间的匹配计算进行分析,将DNA分子的自装配特性与粘贴系统理论结合起来,并讨论了粘性末端DNA片段匹配的语言生成能力.
  • 摘要:在面向对象的程序设计(OOP)中,问题空间和解空间存在一致性,对象可以和现实世界中的事物相对应,符合人们的思维习惯,使得设计者很容易找到问题空间和解空间的映射,建立问题模型,从而方便了程序的设计.这一进步使得面向对象技术获得了迅速的发展,成为了当今程序设计的最重要技术.虽然OOP能够很好地解决对象的数据抽象和封装的问题,但在应用中也已暴露出其不足之处.我们发现许多编程问题无论使用过程性或面向对象的编程技术都不足以清晰地捕获某些程序必须实现的设计部分,这成为OO面临的难以解决的困难和障碍.新问题的发现和解决必将导致新的程序设计技术的出现乃至新语言的诞生,如面向方面、面向主题(subject-oriented)和框架技术(FrameTechnolo-gy)等,它们在解决此类问题的过程中,已经提高到新的抽象层次,呈现出向新一代语言发展的趋势.其中,面向方面的方法逐渐斩露出其优势,尤其在近期的发展中日渐成熟.
  • 摘要:贝叶斯分类是机器学习和数据挖掘中最有效的学习算法之一,它的时间复杂性仅仅是线性的,空间复杂度也很低,只需要遍历训练数据一次.朴素贝叶斯分类在分类中非常有效,试验表明,朴素贝叶斯分类算法预测能力和决策树C4.5一样好.贝叶斯分类总是基于这样一种看似不现实的假设:对于给定的类,所有属性的分布是相互独立的.随着网络应用的迅猛发展,网络的安全问题也显得越来越突出.传统的网络入侵检测技术的局限性越来越明显,使用传统手工分析和编码的方式已经不能适应网络新攻击层出不穷和数据量日益增大的趋势,也不便于分布式分析和协同工作.本文主要讨论了朴素贝叶斯分类算法及其在网络入侵检测中的应用.
  • 摘要:安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥、电子交易数据等).安全协议的安全性质包括认证性(Au-thenticity)、秘密性(Secrecy)、完整性(Integrity)、不可否认性(Non-repudiation)等.
  • 摘要:随着Internet的迅猛发展和WWW的兴起,分布式计算已成为计算机技术的关键研究领域.但不论是基于过程还是面向对象的分布式计算环境,它们都采用了传统的客户/服务器模式,实现分布计算的关键技术是通过远程过程调用(RPC)或对象引用(object-reference)实现跨平台的互操作,这种模式适合于传统的相对稳定的网络环境和应用程序.但在处理爆炸性的网络信息资源及移动计算、信息服务等新兴应用领域,这种客户/服务模式存在着可靠性差、负载不均衡、灵活性差、可扩展性弱,以及缺乏智能和动态的信息处理能力.移动agent的研究目前存在一系列的难题,知识库的构建、移动agent安全都是其中的重要问题。本文提出将语义Web表达语义的思想应用于移动agent中以解决这些间题。
  • 摘要:当前,互联网上的信息是如此的丰富以至于用户试图通过浏览Web来发现自己需求的信息已经变得非常困难,往往花费了很多时间却所获甚少.在这种情况下,如何有效地检索Web信息,以帮助用户从大量文档信息集合中找到与给定查询请求相关的文档子集,也就成为一项重要而迫切的研究课题.网页自动分类已成为一项具有较大实用价值的关键技术,是组织和管理数据的有力手段.近年来,基于内容的信息检索已成为信息处理领域的研究热点问题,国内外许多学者和研究机构开展了这一领域的研究和开发工作,并取得了许多成果.对网页内容的理解或特征提取一般具有两种方式:基于文本的和基于结构的(如HTML的title,head,超链接等).目前关于文本分类的文献较多,如Lewis的线性分类器、Cohen的权值更新休眠专家算法、Lin的词语关联语义方法等.近年来关于网页自动分类的研究备受重视.本文考虑用Bayes理论对Web网页已知类别的样本集进行分类器设计.
  • 摘要:基于案例推理(Case-BasedReasoning简称CBR)是近十几年来人工智能中发展起来的,有别于基于规则推理的一种新的推理模式,它是指借用已有的事例或经验来解决新问题,评价解决方案,解释异常情况或理解新情况.采用基于规则的人参病虫害专家系统存在系统难于维护,系统不会学习,维护耗时,知识难于获取和推理脆弱性等问题,而CBR在进行问题求解时,使用以前求解类似问题的经验进行推理的方法,其核心在于历史案例的相似性抽取和推理.在人参病虫害专家系统中,进行人参病虫害诊治时将已有的人参病虫害诊治实例应用于待诊治的人参病虫害中,这种诊治思路一方面与实际的诊治过程有相似之处,另一方面在人参病虫害诊治时可充分地利用以往的诊治经验,避免了一部分重复性工作.
  • 摘要:车辆优化调度问题(VehicleRoutingProblem,简称VRP)是由Dantzigand.Ramser于1959年首次提出.VRP是一个有约束的组合优化问题,属于NP难题.有时间窗的车辆优化调度(VehicleRout-ingProblemwithTimeWindows,简称VRPTW)是增加了时间约束条件的VRP问题,有较强的实践性和理论性.本文按照如下的结构:首先对于 VRPTW问题进行描述,然后在分析GA和HNN的局限性的基础上,提出了基于GA-HNN对子VRPTW进行求解,给定设计的基本思路、框架图、详细的步骤和参数的分析。最后通过实验分析和统计分析,验证该方法可以获得优化性能和时间性能的双赢。
  • 摘要:一般认为,信息融合就是把来自于多个信息源的目标信息合并归纳为一个具有统一表示形式输出的处理过程,基本方法是利用多个信源在时间或空间上的冗余性和互补性对这些信息进行综合处理,以获得对被测对象具有一致性的解释和描述,使得该信息系统获得比它的各个组成部分更优越的性能.然而,实际系统所处的环境往往是复杂的和不确定的,这些不确定的因素主要有:(1)传感器测量的不精确性;(2)传感器测量的不充分性;(3)目标信息处理的不确定性;(4)环境对传感器测量的干扰. 统计学习理论是由 Vladimir N.VaPnik等人提出来的关于有限样本条件下机器学习问题的理论。本文将该理论引入到信息融合的研究中,提出了一种基于SVM理论的信息融合模型,探讨了融合算法的样本容量问题,并针对人脸识别问题(这是一个典型的小样本、高维模式识别问题),分别用最小距离分类器、最近邻距离分类器、最大相关分类器和径向基函数网络分类器基于上述融合模型设计了多特征多分类器融合算法对ORL人脸图像库作融合识别实验,取得了较高的整体识别性能(如可靠性,识别率等)。
  • 摘要:随着设备结构的日趋复杂,其故障的影响因素也愈来愈多,甚至一些故障的机理尚不清楚,这就导致了故障信号的非平稳性、故障的不确定性和故障与征兆之间的非线性对应关系.小波变换、神经网络和模糊诊断作为新技术,在故障诊断领域越来越引起人们的重视,其应用研究也越来越多.但目前的研究基本上只是它们各自独立地在故障特征提取或故障诊断中的应用,这里将改进的小波包变换、神经网络和模糊技术相结合,应用于导航设备的故障诊断中.
  • 摘要:随着软、硬件技术的发展,计算机的应用领域越来越广泛,软件也随之变得越来越复杂,这就使保证软件的质量、保证软件的高度可靠性面临巨大的挑战.特别是在军事、航空航天、通信等行业,软件的微小瑕疵就可能造成不可估量的严重损失,因此,软件测试越来越受到人们的重视,要提高软件的质量,软件测试是极其重要的一个环节.本文主要介绍了软件测试过程中的单元测试、集成测试、确认测试和系统测试。但是,它们的考察范围是不同的,单元侧试主要测试模块内部接口、数据结构、逻辑、异常处理等对象。集成测试主要测试模块之间的接口和异常。系统测试主要测试整个系统相对于用户的需求。
  • 摘要:少自由度机器人具有自由度少,结构简单,经济等优点,越来越受到人们的重视,发展很快.黄真教授曾给出用影响系数法研究机构的速度、加速度,郭希娟教授等给出RSSR_SC机构的影响系数矩阵.本文在此基础上,绘制出速度、加速度曲线,并通过仿真模型来验证影响系数法的正确性,同时验证了给出的速度和加速度性能指标的正确性,于是可以根据速度、加速度曲线的差异从中选择出尺寸优良的机构.
  • 摘要:ERP(EnterpriseResourcePlanning企业资源计划)是一种先进的现代企业管理模式,它是以计算机和网络通信为工具,对企业各方面的资源进行管理,并合理调配、准确利用,使企业在激烈的市场竞争中全方位地发挥出能量,从而取得最佳的经济效益.随着生产规模的不断扩大,客户需求的不断增加和变化,企业也必须适应这些市场变化的规律.ERP是近几年在MRP的基础上发展起来的,是当前最先进的也是最科学的管理信息系统.它实现了企业内部资源和与企业相关的外部资源的信息集成.ERP实现了企业内部全部信息的集成,而且走出了封闭的"自我",把管理信息系统拓展到企业的外部,实现同外部各种相关信息集成.为企业更加全面的决策提供了丰富、更为全面的、更有价值的信息,是现代企业在激烈的市场竞争中保持其生机的重要手段.
  • 摘要:在生产活动和城市规划中,经常会遇到设备定位的问题.即开设某些设备,每个设备为距离它最近的客户提供服务,使得整个成本最小.对成本的度量,最直接的方法就是计算客户到为它提供服务的设备之间的距离之和,这称为服务成本.此外开设设备所需的成本称为设备成本,k-median问题即是其中的一种.在k-median问题中,最多允许开设k个设备,全部服务成本为每个客户到与之最近的设备之间的距离之和,目的是使这个成本最小.局部搜索技术是算法设计中一个重要的技术。它首先找出问题的一个随机解,然后对当前的解施与给定的变换,使改进的解成为新的当前解。重复执行类似变换,直到再无变换能改善当前解为止。本文就通过局部搜索技术得出卜me山an问题的一个近似解。
  • 摘要:在一些工程应用中,经常会碰到这样的数据处理问题:要对大量相近数据进行排序,要求数据之间不能重复.比如在股票分析中每个股票都要对一大批指标数据进行排序,同时合并其中相同的数据;在地质信息处理中,分析某地区某元素的分布成因就需要对大批数据进行相似处理.
  • 摘要:在运筹学的运输问题模型中,经常讨论的是已知各需求点与各供给点之间具有不同的运输成本,如何安排各供给点至各需求点的物资运输量,以使总的运输成本最小的问题.在该模型中,缺乏对各需求点与各供给点之间的运输成本矩阵如何准确、实时地获取的研究.而对诸如政府实施的救灾行动,军队的战役行动,军队的战略机动等运输问题,准确、实时地获取运输费用矩阵(费用可以指时间)显得尤为重要.GIS具有强大的网络分析功能,本文结合GIS建立网络拓扑模型,在此基础上优化了最短路算法并将该算法应用于运输模型中,取得了较好的效果.
  • 摘要:支持向量机(SVM)是一种学习机制,是统计学习理论的新发展,1995年由Vapnik首先提出.可用于模式识别和回归估计.目前国内外对支持向量机的研究处于发展阶段.根据统计学习理论,在分类器的形式确定以后,要使学习机的实际输出与理想输出间的偏差尽可能小,则机器应当遵循结构风险最小化的原理而不仅是经验风俭最小化.这使得SVM方法比基于经验风险最小化的人工神经网络具有更好的泛化能力.另一方面,支持向量机算法是一个凸优化问题,因此局部最优解一定是全局最优解.这些特点是其它学习算法,如人工神经网络学习算法所不及的.
  • 摘要:人工智能是应用科学,人工智能系统是否得到广泛应用是评价这门学科的重要标准.能够实际应用的关键是系统的性能,这包括系统解决问题的能力以及系统的开发效率等问题.我们的思路是为了在提高系统性能方面找到一条可行之路,针对广泛应用于各行各业的基于关系数据库的管理信息系统,将数据库转化成知识库,建立服务于数据库的人工智能系统.它不但把人工智能技术与传统计算机主流技术集成结合起来,使系统能充分利用数据库的已有数据资源和应用领域,提高了系统的开发效率,而且又可使用人工智能技术为数据库服务,扩展了系统的应用.
  • 摘要:任务调度就是根据一定的调度规则和调度策略,把组成并行程序的一组任务按照一定执行时序分配到并行分布系统的多个计算节点上,以最小化并行应用程序的完成时间.当前,基于任务复制的调度已成为研究热点.任务复制是指在不同处理机上执行相同的任务,从而可以减少任务间的通讯时间.一般来说,基于任务复制的调度绝对优于不是基于任务复制的调度.然而,无论任务是否复制,多处理机相关任务调度问题始终是一个NP完全问题.现已有许多基于任务复制的调度算法在任务满足某些条件时能产生最优调度.任务复制可以通过任务的冗余减少通信时间,现已成为一种新的研究方法。当通信开销较小时,现已有许多基于任务复制的调度算法能产生最优调度。但其最优条件要么比较苛刻,要么比较复杂。因此,本文提出一个简单有效的新调度算法,不仅其最优条件简单、宽松,而且算法具有更小的时间复杂度O(dVIOgd),其中,V和d分别表示任务集中任务的个数和最大入度。
  • 摘要:作为椭圆曲线的一个推广,Koblitz在1989年第一次提出了超椭圆曲线密码体制(HCC:hyperel-lipticcurvecryptosystems).一条定义在Fq上亏格为g的超椭圆曲线的Jacobian群有大约qg个点,如果想在一台32-bit机上只用一个字节进行算术运算,只要选取g=5或g=6的超椭圆曲线就可以得到一个约为160~192bit大小的群.因此在同等安全水平下,HCC使得我们可以选择更短的密钥,这对于计算能力和存储能力有限的环境(如smart卡)来说,无疑是一个最佳的选择.但从已有的HCC的实现来看,超椭圆曲线密码体制的实现速度要比椭圆曲线密码体制慢上好几倍,主要原因之一就是超椭圆曲线上Jacobian群的基本运算比椭圆曲线群上的基本运算复杂得多,所以如何减少超椭圆曲线的Jacobian群上的点加和标量乘的计算量,从而提高超椭圆曲线密码体制的实现速度是超椭圆曲线密码走向实用的一个非常重要的问题,这也是本文所要讨论的重点.
  • 摘要:随着我国加入WTO,各商业银行间及中资银行与外资银行间的竞争将更激烈,管理现代化、决策科学化必将成为商业银行参与竞争、寻求发展的重要手段,而先进的计算机技术和网络通讯技术已成为科学化管理和参与竞争的必备工具和先决条件.信贷管理工作作为商业银行主要的核心业务工作,在商业银行的日常运作体系中处于十分重要的地位.在目前的情况下,一个商业银行整体经济效益的好坏,一个地区金融资产质量的高低,很大程度上取决于信贷管理水平的高低.为了强化信贷管理,实现商业银行信贷业务的集约化经营、科学化管理,规范业务操作流程,加大信贷资产的监管力度,降低信贷资产的风险,提高信贷预测和决策的科学性,受到相关单位的委托合作设计和开发信贷管理专家系统. 基于案例的推理是伴随着认知心理学的研究而发展起来的一种推理方法,是一种类比推理。它的出现丰富了构造专家系统的方法和手段,同时解决了基于规则推理所面临的困难和弊端。本系统采用了二级推理的模式,即基于案例推理和基于规则推理相结合的方法,一定程度上解决了案例不全、效率不高、对推理结果不满意等问题。但也仍然存在问题,例如:案例库的尺寸问题和知识的表示和获取问题,案例库太大将会影响匹配的速度,从而降低推理效率;案例库太小又会使得匹配的概率太小,降低了案例推理的有效作用。该系统现已处于开发阶段,采用Java语言编写,以提高该系统的可移植性和适应性。总之,对于一个专家系统的推理机的研究和改进是当前人们都在追求的方向,是一个非常值得研究的课题,同时也具有很好的应用前景。
  • 摘要:软件可靠性测试及评估在软件可靠性研究中占据着重要的位置.为提高软件的可靠性水平,减少软件所含错误或缺陷,分域测试是一种常用的统计测试方法.分域测试方法需要先将软件输入空间分成一系列分域,在每个分域内随机选择一个或多个测试用例用于软件测试,测试数据是分组数据.当软件质量较高时,测试数据常常是零失效的(即无失效数据).对于分域测试数据,目前较成熟的数据处理方法有Howden的假设检验方法、Parnas的二项分布方法和Miller的分域估计方法等,这些估计方法均假定软件操作剖面完全确定.但是对于大型软件而言,由于其系统功能强大,使用对象常常是不同的,因此软件的操作剖面也是不同的.对于这种在不确定操作剖面下的软件可靠性评估问题至今还未见有深入讨论. 本文试图研究不确定操作剖面下软件可靠性评估问题。给出不确定操作剖面的数学化描述,在假定分域测试数据为无失效数据情况下,给出了软件可靠性评估方法。最后通过实例分析,说明操作剖面对软件可靠性的影响。
  • 摘要:一个问题求解系统通常由三部分组成:知识表示、存储知识的数据结构和知识的推理.知识表示是知识推理的前提.一个规划器可以看成是一个问题求解系统,自然地也由相对应的三个部分组成:规划问题的定义、存储规划的数据结构(如规划图、状态空间图等)及规划的搜索.规划问题的定义是规划问题求解的前提,如果一个规划问题不能通过规划语言来表示,则任何一个规划器都不能对它进行求解,所以说规划语言的发展是智能规划发展的关键.1971年Fike和Nilson的STRIPS系统在智能规划中具有划时代的意义,因为它使得规划可以非常容易地进行描述和操作.但随着规划技术的应用,人们发觉STRIPS表示的表达能力非常有限,它不能满足一些实际问题的模型化要求.设计一种能够刻画、模型化一个实际问题的规划问题定义语言成为了规划技术应用的关键,1996年E.Pednault提出了动作描述语言--ADL(ActionDescriptionLanguage),ADL除了具有STRIPS的表达能力外,还能表达条件效果、量化效果等语言特征.1998年DrewMcDermott提出了问题定义语言(PDDL),它逐渐地成为公认的国际智能规划比赛(interna-tionalplanningcompetition)的标准.PDDL语言不仅给出了规划问题定义的语法,也从语义的角度给出了规划的定义.PDDL语言的表达能力非常强,能够刻画规划问题的时间和数值方面的属性,超过了现有的规划器所能处理的表达能力,给规划器的发展提出了挑战,指明了发展的方向.
  • 摘要:Ker-Ⅰ和UweSch(o)ning给出了NP的一个分解,定义了语言类(^L)pn和(^H)pn,并且证明了对每一个自然数n,若PH≠Δpn,则(^L)pn∩(^H)pn=φ.本文对该分解做进一步的探讨,考虑是否存在A∈NP-{φ,∑*},使得A(∈)(^L)pn且A(∈)(^H)pn?为此,先给出一些术语.本文所涉及到的集合,都是∑={0,1}上的语言.
  • 摘要:在实际问题中经常需要分类,模糊聚类分析就是应用模糊数学的方法把具有相似性质的事物区分开,并加以分类.FCM聚类算法最早由Dunn提出,并由Bezdek将之推广,目前该算法被引用于多种领域.但由于FCM算法是一种局部搜索算法,如果初始值选择不当,它就会收敛到局部极小点上.为了克服FCM算法的不足,人们提出将遗传算法(GA)与FCM算法相结合解决局部最优问题.遗传算法是一种借鉴生物界自然选择和进化机制发展起来的高度并行、随机、自适应的搜索算法,特别是在数量大、分类要求比较高、需要并行计算的场合,该方法显示出了FCM无法比拟的优越性.但是它也存在过早收敛(也称"早熟")和局部搜索能力较弱的明显缺点.
  • 摘要:中间件是在两层结构的基础上发展起来的一个概念,两层结构的实现在实践中有其现实的优越性,特别是对系统开发商来说,它简单、直观,容易实现.由于它实现环节较少,系统稳定性、出错可能性及可见性较强,因此它的存在有一定的市场,甚至在一定的系统中(较小型的应用系统中)有它的用武之地.但对于呼叫中心系统(特别是基于PBX的呼叫中心系统)来说,一般采用的是大型数据库系统,采用三层结构有它独特的优点.中间件作为一个系统的数据来源,是一个较为核心和关键的部分,它出现问题,系统的服务质量就明显下降,所以它的稳定性对系统起着决定性的作用。本文的设计方法已成功地应用于一些大型呼叫中心的系统中,取得了很好的效果。
  • 摘要:规划识别是指根据观察到的动作集合来推断agent的目标,并将这些观察到的动作组成一个关于该目标的规划.应用规划识别,agent可以从片段的、部分的观察动作中获得完整的规划.而agent不能观察到的动作和还没发生的动作则可以被预测.规划识别的应用领域非常广泛,如自然语言理解,故事理解,多agent协作,智能用户接口等.常用的规划识别的方法是建立一个规划库,然后通过搜索和匹配装置来获得规划.但由于所观察到的动作的片面性以及同样的动作经常出现在不同的规划中这一性质,使得确定一个无二义性的规划变得很困难.因此,研究者们提出了很多方法来解决此问题.本文给出了用带标记的反向搜索的算法解决规划识别问题的方法,该方法在解图的生成时采用从下往上动态生成解图的方法,同时完成计算和图的生成过程。同时还引入了一个阈值,这样我们可以对一些发生的可能性很小的规划及时地剪裁掉。而对于多个OR节点,则对它们进行了标记,这样做既减少了冗余节点,同时又解决了动态生成新的观察现象节点的问题,使得当新增加一个观察现象节点时,不用完全重新生成解图,只需增加一些边和动态更新可能性值和标记即可。 总之,这种方法同规划知识图方法相比,使得求解的结果更合理,更好地解释了观察到的现象。同时可以动态增加新节点。
  • 摘要:逻辑函数求补算法是集成电路逻辑综合优化的基础,单边函数求补算法与传统求补算法相比,该算法大大节省了计算机时间和内存空间,本文单边函数求补算法通过形成特性矩阵、状态矢量,并对特性矩阵进行列覆盖选取形成覆盖矩阵,依据覆盖矩阵、状态矢量最终形成求补矩阵.
  • 摘要:进化计算是一类借鉴生物遗传与进化思想发展起来的搜索方法.进化计算的特点是使用了一种群体搜索机制,使算法不易过早地陷入某个局部极值点.进化计算的算法设计简单、应用领域适应性广,适用于用传统方法难以处理的各种组合优化问题(尤其是NP难题).遗传算法是进化计算中使用最广泛的算法之一.但是,针对问题设计的遗传、变异、杂交等算法比较复杂,通用性不好,BalujaS提出的PBIL(Population-BasedIncrementalLearning)算法则比较好地解决了这个问题.该算法使用基因位的概率来描述群体信息,用概率来产生临时评价群体,并使用一个最优个体来修正概率的进化机制,因而使算法对不同问题的通用性更强.本文对该算法进行了一些改进(称为基因学习算法),并对该算法在一些组合优化问题中的应用进行了研究.
  • 摘要:UML是一种面向对象的建模语言,已经得到了广泛的应用.但是,它只是一种建模语言,而不是一种面向对象的建模方法,它没有规定如何进行系统建模.另外,UML异常庞大复杂,容易产生二义性.所以,人们进行了各种探索,将UML与其它精确的建模技术进行结合,以弥补UML的不足.Petri网是一种可用图形表示的组合模型,能够深刻、简洁地刻画系统,并具有直观、易懂和易用等优点。Petri网是严格定义的数学对象,借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析,又可以用于动态的行为分析。Petri网为并发提供了清晰的形式化描述,复杂的并发系统要求形式化以描述如非确定性、同步和并发等重要特征。利用Petri网对UML视图进行分析,可以分析UML所建立的构件模型中存在的冲突、竟争、并发等各种关系。
  • 摘要:在DNA克隆分类(DNAcloneclassification)技术中,常采用核酸分子杂交法,杂交双方是待测克隆及探针(Probe),此方法的关键步骤是对杂交实验产生的指纹数据进行聚类分析.n个克隆与L个探针之间杂交产生的数据形成一个n*L的实数矩阵,矩阵中的数据分为三类:阳性杂交数据、阴性杂交数据和无法确定是否产生了杂交的数据.最后一种数据称为不确定数据.在DNA克隆聚类分析算法中,现有的UPGMA,CLUSTER等方法直接分析实验原始数据,它们的共同缺点是:没有同等对待阳性杂交数据和阴性杂交数据,且大多数方法丢弃了不确定数据值,没有对这些数据进行分析.本文通过实验结果证明,基于 GCP对DNA克隆进行聚类分析,本文提出的基于链表的实现方式在速度上较快,并且也验证了在效率与准确度上,GCP算法要好于一些既有的算法。
  • 摘要:数据挖掘就是从大量的、不完全的、有噪声的、模糊的、随机的实际应用数据中,提取隐含在其中的、人们事先不知道的、但又是潜在有用的信息和知识的过程.数据挖掘是一个多学科交叉领域,它涉及到数据库技术、人工智能、机器学习、模式识别、统计学等学科.它的目标是高度自动化地分析企业原有的数据,做出归纳性的推理,从中挖掘出潜在的模式,预测客户的行为,帮助企业的决策者调整市场策略,减小风险,做出正确的决策.
  • 摘要:Agent来源于分布式人工智能(DAI)领域,随后引申到其它计算机技术研究中.蔡自兴等认为,"在信息技术,尤其是人工智能和计算机领域,可把Agent看作能够通过传感器感知环境,并借助执行器作用于环境的任何事物".Wooldridge和Jen-ning在文[2]中提出,"其具有自主性、社交能力,反应性,能动性等性质."单个Agent的能力是有限的,它大范围应用的关键在于MAS(multi-agentsystem)有效合理的利用."MAS是通过多个自主的Agent的交互与协调来解决复杂问题的大系统.本文主要讨论Agent的冲突与协调问题.通过人工智能与可拓学、模糊聚类分析及消错学的结合,提高MAS系统的工作效率,降低能量消耗.
  • 摘要:按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确性验证包括两个方面的问题:一是在准确给出程序的功能的情况下,对给出的功能一一验证;二是在没有准确给出程序功能的情况下,看给定的程序可以完成哪些功能.前者是功能验证,后者是功能检测.而本文所讨论的软件功能验证就可以归结为程序的功能验证,从而也就归属于程序的正确性验证问题.对程序的正确性验证问题,现在已经做了大量的工作,但大多数都是用逻辑的方法来研究的,这里,想简单介绍用逻辑方法验证程序的正确性,并提出另一种思路:用代数的方法来解决此问题,并从代数的角度来说明软件的优化问题.
  • 摘要:在以前,整个程序代码的编写工作一般都由一个或少数程序员来完成,但随着软件工业的不断发展,程序的内容变得越来越庞大冗长.这样整个程序的编写工作不再可能由一个或少数程序员来完成,必须由多个程序员分工完成,但同时又产生了另外一个问题,程序员怎么样才能将他们各自编写的程序很好地融合在一起呢?一种方法是每个程序员负责编写源代码中的一部分,但这样就无形地要求所有的程序员都采用相同的语言来编写代码.实际上,要求所有程序员都使用一种语言并不是一件易事.为了解决这个问题,程序员在各自的开发环境中将源代码编译成一种标准的目标文件,然后再将这些目标文件链接成可执行文件.为了进一步提高源代码的隐蔽性出现了静态链接(StaticLinking)技术以及后来更为灵活的动态链接技术(DynamicLink-ing).COM(组件对象模型)技术的出现更是统一了程序组件(模块)编写的规范,使得程序模块具有了更高的重用性和独立性.
  • 摘要:随着软件体系结构研究的发展,对软件系统结构的设计和说明也具有越来越重要的意义.目前,出现了一些体系结构描述语言ADL(ArchitectureDescriptionLanguage),这些语言具有很强的表达能力,但它们采用了专用的符号,很难与通用开发方法相结合.UML是一种通用的对象建模语言,它融合了多种面向对象开发方法优点,并且具有较强的扩展能力。通过UML的扩展机制对ADL语义进行扩展,充分发挥UML和ADL各自的优点,可以有效地将ADL与现有的形式化方法相统一。
  • 摘要:基本路径测试(或者基路测试,BasisPathTesting)是一种比较常用的结构测试方法.这种方法原理简单,而且测试的复杂度为线性.但是到目前为止,基于基本路径的测试都停留在手工或者半自动阶段.本文探讨了如何将基路测试自动化实现.本文的组织如下:第2部分介绍了基路测试的基本思想,第3部分分析了自动化测试的难点,第4部分探讨了自动化基路测试的一些方法.
  • 摘要:随着互联网的迅速发展和普及,Web技术越来越多地用于企业应用,基于Web技术的各种系统也应运而生,采用B/S(Browser/Server)结构的软件系统已经成为当前应用软件系统发展的趋势.B/S(Browser/Server)模式的软件同传统的C/S(Clien-t/Server)结构相比,有很多突出优点,在B/S结构的客户端不需要安装任何软件,只要有浏览器就可以工作.在客户端不用保存任何信息,只需要维护服务器,客户端就可以正常的工作了,特别适合跨平台的分布环境.Web的出现,使得企业应用系统有了一个简化的、低廉的、基本无需维护的客户端,从而使开发过程集中在服务器端,大大降低了开发及维护费用.
  • 摘要:在国内电信领域,长期以来,应用软件滞后于市场需求.传统的电信运营支撑系统以业务为中心,分散建设,分散管理,分散设计,缺乏统一的平台框架,缺少统一的客户信息,无法支持决策,难于统一企业经营思路和策略,难于建立企业的整体品牌形象,且存在着开发周期长,可维护性差等问题,很难满足以客户为中心的新一代电信运营支撑系统的需求. 本文结合电信管理论坛(TMF)对新一代电信运营支撑系统(NGOSS)的研究成果,针对国内NGOSS建设的实际需求,提出了国内NGOSS软件体系结构框架,并采用软件体系结构描述语言Wright对其中典型业务过程进行描述,最后总结了使用形式化方法对NGOSS软件体系结构进行描述的优点,并对其应用前景进行展望。
  • 摘要:当前电信运营企业的竞争日益加剧,随着硬件设施差距的减小,运营企业间的竞争将最终体现在服务上的竞争,即以优质、主动的个性化服务吸引客户,然而这些竞争措施离不开一套由计费、营业、帐务、客服等功能组成的电信运营支撑系统(OSS/BSS:OperationsSupportSystem/BusinessSupportSystem)的支持,以下简称支撑系统.支撑系统是一个复杂的系统,其建设不是一蹴而就的,是一个逐步完善的过程,然而市场的快速发展又要求支撑系统能及时调整与演变,以适应市场的发展变化.以上情形决定了必须加快支撑系统建设与完善的步伐.本文提出了基于模式系统构建电信运营支撑系统体系结构的方法,为构建中存在片面性及构建速度慢等问题提供了一种解决方案。文中通过研究通用软件体系结构的模式及模式系统,并通过分析支撑系统软件体系结构的组成特征,提出了针对支撑系统软件体系结构的模式系统建立方法,并以其中应用体系结构模式为例说明了具体模式的建立过程,对建立过程中涉及的具体组件及构建规则亦进行了详细研究,最后还给出了基于已建立模式的软件体系结构构建过程。该方法已在国内某运营商的建设中得到较好应用,能对实际工作起到指导作用。
  • 摘要:离散数学是研究离散量的结构及其相互间关系的一门学科,是计算机科学的数学基础.集合论中的有关关系的研究在计算机科学中得到了广泛的应用.关系的各种闭包运算实际上是获得具有良好性质的关系的方法,而由关系矩阵直接判断关系的传递性、求解关系的传递闭包是一个经常碰到但又不容易解决的问题.
  • 摘要:21世纪是信息化的时代,计算机技术是信息化时代的基础,人工智能技术是信息化时代的核心技术之一。要实现人工智能需要各种工具,例如计算机,专家系统开发工具等;尤其并行逻辑程序设计语言是人工智能的关键技术,是实现人工智能必不可少的工具。因此,它在下列方面具有广泛的应用前景:(1)各种专家系统和决策支持系统;(2)智能控制;(3)定理检验和证明;(4)系统程序和知识库;(5)智能计算和推理等。 本文阐述了人工智能与逻辑程序设计语言的关系,结合对并行逻辑程序设计语言KLI和KLIC的研究,重点介绍了KLI的语法描述,程序结构,数据类型与数据结构,以及KLIC的控制机构,并运用典型程序法对KLIC进行了性能测试和评价,最后指出了其应用前景。
  • 摘要:基于规则的产生式系统是人工智能的一个重要研究领域,其系统中规则库和事实库的规模往往很大,90%的运行时间都花费在了模式匹配中.因此,提高匹配的速度和效率尤为关键.RETE模式匹配算法解决了多模式/多对象的匹配中效率低的问题,并且已经成功地应用到ART,OPS5,OPS83,CLIPS,JESS等著名的产生式系统中.多处理机是当前计算机研究的一个重要领域,与单处理机相比,多处理机具有高可靠性与快速处理能力。因此RETE匹配算法在多处理机环境中的实现及其并行性改进成为当前研究的热点。 本文研究这一算法在多处理机中的实现,指出了实现时的瓶颈问题,有针对的提出了一种并行性实现算法ParaRete,并分析了这一算法的并行性表现。
  • 摘要:λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语.
  • 摘要:本文提出了基于软件质量度量模型的用户满意度预测模型,通过分析可以知道该模型具有一定可用性,CSMAM所获得的用户满意度的预测度量有利于进一步加强在软件开发过程中对软件的控制。但是,由于时间的限制和其他种种原因,该模型还在进一步优化和改进,许多具体算法还需要进一步的研究,这些有待进一步讨论研究的内容。
  • 客服微信

  • 服务号