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

  

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

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

基于最大互信息的多模医学图象配准

  总被引：35，自引：2，他引：33

介绍了一种基于最大互信息原理的图象配准技术,并就实施最大互信息配准法的一些重要技术问题进行了研究,其中包括不增加新数据点的格点采样子集、不产生分数灰度值的ＰＶ插值技术和出界点策略等。该方法在搜索策略上采用了无需计算梯度的Ｐｏｗｅｌｌ算法。由于计算互信息的关键技术与有效的搜索策略的… …   相似文献

罗述谦  李响 《中国图象图形学报》2000,5(7):551-558

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

  

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

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

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

下载全文  

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

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

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

下载全文  

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

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

基于线程的Java程序自动并行转换技术

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

Java程序的并行化研究是一个重要课题.提出一种Java程序的自动并行转换技术,并充分利用Java语言本身提供的多线程机制,通过操作冲突性检测等方法将串行化的Java程序自动转化成并行化程序.使得转化后的并行化程序在多处理机操作系统的支持下,能在共享内存的多处理机系统上运行,从而… …   相似文献

刘英  刘磊  张乃孝 《软件学报》2001,12(3):390-397

关联图与主动规则集的终止性分析

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

终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合,定义了更为一般的关联图(rela… …   相似文献

左万利  刘居红  刘淑芬 《软件学报》2001,12(2):276-282

利用角度签名进行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