运算构造和检验系统FC的设计和实现

  

运算构造和检验系统FC(function constructor)是形式规约获取系统SAQ(specification acquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍… …   相似文献

陈海明 《软件学报》1998,9(10):755-759

基于关联规则的自动构词算法研究

  

词语是中文文本的基本元素,汉语语言模型在中文文本挖掘中起关键作用。中文文本挖掘是高维度的数据处理技术,挖掘算法对维度的大小比较敏感,因此挖掘效果依赖于词库的质量。另外,现存的汉语语言模型一般都是基于统计的,比如N-gram语言模型以及各种改进模型都具有较高的计算复杂度。为降低语言… …   相似文献

王鉴全  季绍波 《计算机科学》2014,41(11):256-259

梯度向量场通量能量驱动的主动轮廓模型

下载全文  

提出了一种基于梯度向量场通量能量的水平集图像分割算法.通过加入约束符号距离函数的能量项,并极小化该能量函数得到的变分表达式主要具有4条优于传统主动轮廓模型的优点.一是可以克服分割弱边界目标的困难;二是水平集函数不但可以灵活初始化,而且可避免在演化过程中重新初始化为符号距离甬数;三… …   相似文献

杨勇  徐春  潘伟民 《中国图象图形学报》2009,14(12):2534-2538

基于双曲线边界的多处理器实时任务可调度性判定

下载全文  

Lopez等学者求解出基于单调速率算法和首次适应分派策略的多处理器实时任务可调度性判定边界.该边界在所有O(m)复杂度的判定边界中是最优的.基于Bini等学者针对单处理器提出的双曲线可调度性判定方法,给出了一种多处理器实时任务可调度性判定边界.新边界在相当数量的利用率分布下明显优… …   相似文献

王洪亚  尹伟  宋晖  徐立群  王梅 《软件学报》2012,23(8):2223-2234

利用角度签名进行3维表面配准

下载全文  

3维表面的配准在3维物体重建、场景检测和物体识别过程中起着重要的作用。为此提出了一种新的3维表面表示方法——角度签名(angle signature),并将其用于3维表面配准。该表示方法将表面的局部几何信息表示成为1维的向量,具有对刚体变换的不变性。由于其简洁的表示方式,可以实现… …   相似文献

王子璇 《中国图象图形学报》2008,13(8):1538-1543

Web-GIS的设计与实现

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

地理信息系统要想有更大的发展,必须走开放式的道路。Ｗｅｂ－ＧＩＳ软件由于采用了当前主流的通信、应用协议和体系结构,大大增强了ＧＩＳ软件的开放性。该文主要从Ｗｅｂ－ＧＩＳ的特点、设计和实现的角度阐述了在开发Ｗｅｂ－ＧＩＳ中应考虑的各个要素,详细分析了Ｗｅｂ－ＧＩＳ的体系结构及其各种… …   相似文献

赵霈生  杨崇俊 《中国图象图形学报》2000,5(1):75-79

一种高效有向无线充电器的布置算法

下载全文  

传统的传感器节点通常采用电池供电,有限的电池能量限制了传感器网络整体的寿命.无线能量传输技术可将能量以无线方式从充电器发送至传感器,从而可以彻底解决这一问题.无线可充电传感网中的一个重要问题是无线充电器的布置问题,即,如何有效地布置充电器,使得传感器网络的整体充电效用最大化.已有的工作主要考虑的是全向充电器的布置问题,且充电器可布置的位置受限,如只能布置在三角形顶点或网格中的格点处,因此具有相当的局限性.首次考虑了有向充电器的一般布置问题,即,充电器充电区域为扇形,并且充电器可布置在区域内任何位置处,其朝向可任意调节.另外,首次基于实测数据建立了有向充电器的充电模型,并提出一系列创新方法将问题进行转化,设计了一种近似比为(1-1/e)/(1+e)的高效算法——CDG(charger deployment-greedy)算法来解决这一问题.仿真实验结果说明了CDG算法的有效性.与其他提出的两种随机算法相比,CDG算法的性能分别提升了将近300%和100%.… …   相似文献

戴海鹏  陈贵海  徐力杰  刘云淮  吴小兵  何田 《软件学报》2015,26(7):1711-1729

CPS拓扑结构节点重要性排序方法

  

信息物理融合系统(Cyber-physical Systems,CPS)拓扑结构中节点重要性排序是CPS拓扑分析的重要方面。针对CPS内在结构特征,构建一种CPS拓扑结构模型——交互网络模型。然后结合CPS信息交互特点定义节点交互介数作为衡量具体节点重要性度量,阐明该测度能够反映… …   相似文献

杨志才  裘杭萍  权冀川  雷智朋 《计算机科学》2015,42(8):128-131

一种基于块邻接图的手写体文本格线删除及笔画重构算法

下载全文  

格线删除是计算机自动笔迹鉴定系统预处理过程中的关键步骤。在分析已有的手写汉字文本格线删除算法利弊的基础上。采用Pavlidis提出的块邻接图表示法来进行格线删除。并提出了格线删除后的笔画重构算法。该算法首先采用链表结构将笔迹图像保存为块邻接图;然后根据该邻接图搜索出满足条件的连通… …   相似文献

饶晓波  邹北骥 《中国图象图形学报》2006,11(4):549-554

结合软硬数据的连续型多点地质统计渗透率图像模拟方法

下载全文  

渗透率图像的预测模拟对油田的开发具有重要意义。充分利用条件数据可以提高渗透率模拟的精度,因此提出一种基于连续型多点地质统计法和软硬数据的渗透率图像模拟方法。首先,利用过滤器得分操作对渗透率图像降维,所有的过滤器得分形成了一个过滤器得分空间;其次,通过两步划分法将得分空间划分,得到… …   相似文献

汪彦龙  张挺  刘金华 《中国图象图形学报》2011,16(5):835-843

HybSim:一种混合型流媒体存储的仿真系统

  

高性能和低功耗的特点使闪存逐渐赢得广泛关注,而最常见的闪存使用方式是和内存、磁盘一起构成混合型存储系统,对于流媒体这样对存储容量和访问性能要求都非常高的应用来说尤其如此。但是,目前还缺少准确、全面的混合型存储仿真工具来支持混合存储的研究工作。首先,在对基于闪存缓存的混合存储的体系… …   相似文献

柴云鹏  杨楠 《计算机科学》2012,39(9):1-4

回归测试中测试用例集缩减问题的研究

  

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法… …   相似文献

陈翔  顾庆  陈道蓄  蒋峥峥 《计算机科学》2014,41(9):196-204

一类全不连通分形图的构造

下载全文  

为构造一类全不连通的分形图 ,利用了适当的类康托集 ,将某一迭代函数系统升腾为高维空间上的升腾迭代函数系统 ,并通过参数调整构造出大量造型上全不连通的分形图 ,同时发现了类康托集的结构和分形图的结构之间的变化关系 ,实验结果表明 ,该方法简单易用 .  相似文献

章立亮 《中国图象图形学报》2003,8(7):744-747

面向普适计算的动态自适应中间件模型

下载全文  

为了提高普适计算系统的开发效率, 设计了一个基于OSGi框架的动态普适计算中间件模型. 该中间件模型以OSGi框架为基础, 建立移动管理器管理用户和服务的移动, 利用上下文管理器来管理上下文, 动态调整自己的行为, 支持上下文感知应用. 通过标准的接口实现各种异构普适设备间的互操… …   相似文献

曾宪权 《计算机系统应用》2013,22(4):129-133

基于本体的飞机设计知识组织模型

下载全文  

为了解决飞机设计中知识信息量大和表现形式多样的问题,提出了一种基于本体的知识组织模型构建方法.起初论述了知识组织和本体的有关概念,然后在此基础上提出基于本体的ABC反馈方法,并构造飞机设计知识模型来验证研究成果的正确性和有效性,同时描述了基于本体构建知识模型的优点.  相似文献

关煜杰  赵罡  吕炎杰  周雷 《计算机系统应用》2015,24(1):35-41

基于Lucene和LSA的法律咨询系统

下载全文  

本文设计的法律咨询系统,结合法律行业的现状,以中文问答系统为原型,结合了开源数据检索项目Lucene.net,扩展了数据的存储类型. 本文借助中科院研发的中文分词系统,集成到Lucene.Net平台上,弥补了其分词不足. 并使用互信息技术,使同义的法律相关词语优先进行检索. 在中… …   相似文献

尹芝芳  王鑫  蔡文正  李鹤  阮玲玲 《计算机系统应用》2014,23(4):52-56

关于Peterson—Fischer二进程算法的断言式证明

下载全文  

本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。  相似文献

苏运霖 《软件学报》1993,4(3):53-57

基于公平性对偶理论的多小区下行协同波束成形算法

  

为了实现最大化最差用户速率准则下的多小区下行协同波束成形优化,首先基于拉格朗日对偶理论推导出了多小区下行波束成形最差用户信干噪比最大化优化问题的虚拟上行对偶问题,进而提出了一种联合利用二分法和几何规划有效迭代解决该虚拟上行对偶问题的算法。通过把对偶上行链路优化问题的解转换到原始下… …   相似文献

何世文  黄永明  杨绿溪 《通信学报》2013,34(1):69-76

电子商务中的一种潜在信任关系预测方法

  

信任关系在用户寻找可靠信息方面扮演了重要角色。已有信任关系预测方法主要基于信任的传递性和用户间的相似度。然而,在电子商务应用中,不同声誉度的用户对于商品的评价会对其他用户的购买行为产生不同的影响,用户声誉度的差异性会在较大程度上影响用户间建立信任关系的可能性。因此,针对电子商务应… …   相似文献

马霄  甘早斌  鲁宏伟  马尧 《计算机科学》2014,41(12):138-142

基于分数阶傅里叶变换和扩展变换抖动调制的鲁棒数字水印算法

  

针对现有分数阶傅里叶变换水印算法在透明性和鲁棒性等方面的不足,提出了一种基于分数阶傅里叶变换和扩展变换抖动调制的鲁棒数字水印算法。首先对载体图像进行提升小波分解,将低频子带均匀分割,并对各子块进行分数阶傅里叶变换。然后,从频率角度构造载体向量,选择幅值系数的中低频系数构成每个子块… …   相似文献

张燕华  马小虎 《计算机科学》2016,43(11):200-204