DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述

  

Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件… …   相似文献

马莉  钟勇  霍颖瑜 《计算机科学》2014,41(4):184-189

基于骑士巡游变换的数字图象细节隐藏技术

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

为了研究一种不致引起他人破解欲望只置乱图象细节。而不破坏图象总体形象的数字图象隐藏技术,首先给出了骑士巡游问题及骑士巡游矩阵的概念,并提出了一种新的图象置乱变换--骑士巡游变换,同时分析了该变换方法隐藏图象细节的原理;然后,给出了图象细节隐藏的实验结果,实验结果表明,该方法不仅达… …   相似文献

柏森  曹长修  曹龙汉  王田  汪纪锋 《中国图象图形学报》2001,6(11):1096-1100

高维稀疏数据频繁项集挖掘算法的研究

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

传统挖掘算法不适用于挖掘高维稀疏数据集.提出了一种针对高维稀疏数据的频繁项集挖掘算法FIHS.FIHS引入了一种新的数据结构用来存储频繁项集,该结构不但可以减少存储空间,而且可以降低计数代价.该算法只需扫描一次数据集,通过优化连接剪枝操作避免产生非频繁的候选项集,基于K-频繁项集… …   相似文献

闫珍  皮德常  吴文昊 《计算机科学》2011,38(6):183-186

基于离散粒子群算法的动态Web服务组合

  

随着互联网中Web服务数量急剧增加,如何从大量候选服务中快速、动态地选择出满足用户QoS需求的服务组合是亟待解决的关键问题.提出一种基于离散粒子群智能优化算法的DDPSO算法,以解决动态Web服务组合问题.首先引入Skyline技术来剔除冗余候选服务,以降低服务选择时空开销.其次… …   相似文献

张燕平  荆紫慧  张以文  钱付兰  石磊 《计算机科学》2015,42(6):71-75

函数型程序的并行计算模型及任务划分

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

通过分析得出了函数型程序的并行计算模型——任务树,并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响,提出了优化的任务划分算法,最后给出了在一个分布符号处理系统PARLisp中的实现结果.  相似文献

周一萍  郑守淇  白英彩 《软件学报》1998,9(12):932-936

基于差分图象的人脸检测

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

提出了两种基于差分图象的人脸检测算法：扫描法和投影法,实验表明它们是准实时的、非常有效的人脸检测算法,可以作为人脸自动输入的有效途径,用于构造诸如安全检查、保安管理等应用视觉系统  相似文献

艾海舟  王栓  何克忠 《中国图象图形学报》1998,3(12):987-992

基于云技术的智慧城市中大规模房屋数据处理

下载全文  

在智慧城市中传感器和设备收集各种数据,实现增值服务.主要关注来自智慧城市中的智能房屋数据,提出用于存储和处理大规模房屋数据的Scallop4SC平台,实现智慧城市服务.房屋数据分为房屋日志数据和房屋配置数据,分别使用HBase和MYSQL管理.通过HBase键值以schemale… …   相似文献

曾羽琚  陈明辉 《计算机系统应用》2014,23(12):94-100

交通视频序列阴影检测算法研究

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

针对交通视频序列中的阴影检测问题,在分析目前常用的几种阴影检测算法的基础上,提出了一种基于交通视频流的灰度图阴影检测算法。该算法首先通过建立一个具有鲁棒性和自适应性的背景模型来获取背景,同时对阴影进行初步模糊滤除,然后再通过车体的重构来准确去除阴影。实践表明,该算法准确度高,具有… …   相似文献

万峻甫  刘建伟  向怀坤  曹泉  王钧生 《中国图象图形学报》2008,13(3):472-476

标志树文法及其语法分析

下载全文  

树文法是一种高维文法,能够用来表达二维以上复杂对象的构造规则．在模式识别、图式语言等领域有着广泛的应用前景．本文在树文法有关概念基础上提出了标志树、连接标志、标志树文法等概念,构造了标志树的匹配和识别算法,并成功解决了标志树文法的语法分析器构造问题．  相似文献

方林  程景云 《软件学报》1995,6(10):637-641

单目人体图像序列的运动及结构参数估计

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

利用人体行走的单目动态图像序列,估计手臂及腿部的运动及结构参数.在物体中心坐标的运动表示方式下,提出了基于弹性连接概念的非刚体运动模型,通过加入弹性系数的方法,使非刚体运动模型和刚体运动模型得到了良好的统一.在此模型的基础上,用Levenberg-Marquardt方法实现了运动… …   相似文献

汪亚明  汪元美  楼正国 《软件学报》2001,12(11):1732-1738

计算机支持的协同工作系统的时序逻辑模型

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

为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述… …   相似文献

史元春  徐光佑 《软件学报》1998,9(3):169-173

在数据库中发现具有时态约束的关联规则

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

目前,国际上的关联规则研究尚未考虑时间因素.然而,时间是现实世界的固有属性,许多现实 世界数据库都存在时态语义问题.该文考察称为有效时间的时态约束问题,提出了时间区间延 展与归并技术以及新的时态关联规则发现算法,从而进一步推广了关联规则的应用.  相似文献

欧阳为民  蔡庆生 《软件学报》1999,10(5):527-532

面向水下图像的质量评价方法

  

目的 针对目前水下图像质量评价方法少和现有方法存在局限性等问题,提出一种无参考并且无需手工设计特征的水下图像质量评价方法。方法 提出的水下图像质量评价方法将深度学习网络框架与随机森林回归模型相结合,首先采用深度神经网络提取水下图像的特征;然后使用提取的特征和标定的水下图像质量分数训练回归模型;最终,利用训练好的回归模型预测水下图像的质量。结果 在本文收集的水下图像数据集和水下图像清晰化算法处理结果上评测本文方法,并与多种质量评价方法进行比较,其中包括预测结果与主观质量分数比较、水下图像清晰化结果评测比较、预测结果与主观质量分数相关性比较、鲁棒性比较等。主观实验结果表明本文的评价方法可以相对准确地给出符合人类视觉感知的水下图像质量分数,并且具有更好的鲁棒性。定量实验结果表明本文方法与其他方法相比,预测的图像质量分数与主观分数具有更高的相关性。结论 提出的水下图像质量评价方法无需参考图像,省去了手工设计的特征,充分利用了深度学习网络的学习和表征能力。本文方法的准确性较好,普适性和鲁棒性较高,预测的质量分数与人类视觉感知具有较高的一致性。本方法适用于原始的水下图像和水下图像清晰化算法的处理结果。… …   相似文献

郭继昌  李重仪  张艳  顾翔元 《中国图象图形学报》2017,22(1):1-8

基于圆结构光的复杂深孔内轮廓尺寸测量方法

  

涡流法、超声法测量深孔截面轮廓尺寸精度低,而光学单点扫描法测量效率低。介绍了一种基于圆结构光的复杂深孔内轮廓3维测量系统,提出了一种采用FFT分析和差分分析进行测试数据处理的方法,能够实现快速高精度测量。测试系统主要由圆结构光发生器、扩束锥镜、成像锥镜、镜头和CCD组成,对于获取… …   相似文献

冷惠文  徐春广  冯忠伟  肖定国 《中国图象图形学报》2010,15(7):1084-1090

基于特征散度的自适应FCM图像分割算法

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

图像分割是模式识别、图像理解、计算机视觉等领域的重要研究内容。基于模糊C均值聚类(FCM)的图像分割是应用较为广泛的方法之一,但其存在距离测度鲁棒性差、需预先给出初始聚类数目、未考虑图像局部相关特性等问题。为克服上述缺点,通过引入特征散度进行距离测度,并结合聚类有效性指数自适应确… …   相似文献

王向阳  王春花 《中国图象图形学报》2008,13(5):906-910

利用确定性退火技术的旅行商问题求解算法^*

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

将确定性退火技术及聚类方法应用于旅行商问题,给出了求解旅行商问题的一种启发式算法.该方法将旅行商问题的离散模型转化为连续模型去求解,通过求解一系列随温度变化的物理系统的自由能函数的局部极小来获得旅行商问题的解,并给出了一个简单的显式迭代公式.算例表明,该算法性能良好.  相似文献

杨广文  郑纬民  王鼎兴  李晓明 《软件学报》1999,10(1):57-59

电动物流车远程监控系统

下载全文  

设计了一种电动物流车远程监控系统．该系统综合运用全球卫星定位系统（GPS）、公共移动通讯网（GPRS）、互联网（Intemet）和地理信息系统（GIS）等技术,对运行车辆状态和位置进行实时监控．系统的主控制器采用XC2267单片机,对GPS定位模块接收的车辆位置信息和CAN总线采… …   相似文献

王龙辉  罗远招 《计算机系统应用》2013,22(12):47-50,74

LTE-A飞蜂窝网络自相似业务流的端到端时延边界分析

  

LTE-A是一种4G移动通信标准,可满足移动数据业务对传输带宽的要求。为解决移动通信网络中室内信号质量较差的问题,LTE-A标准采用飞蜂窝技术作为室内无线接入解决方案。针对LTE-A飞蜂窝网络的时延边界问题,运用随机网络演算方法分析业务流的自相似性质和MIMO信道的时变特性,构建… …   相似文献

司远  陈昕  刘宗奇 《计算机科学》2015,42(2):70-75

基于微观图像的加工表面3维形貌重建算法研究

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

切削加工表面由于微观不平度及镜面效应的存在,使得照射其上的光线具有多次散射及后向散射的特性,从而影响了以工件表面图像3维重建形貌的精度。提出了一种基于二向反射分布函数的表面重建算法,构造了以Hapke模型表达的金属切削表面重建方程。该算法以重建方程离散化为手段,计算出光源和物体的… …   相似文献

孙林丽  李言  郑建明 《中国图象图形学报》2010,15(6):887-892

基于矩阵初等变换的量子可逆逻辑电路双向综合算法

  

基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆逻辑电路。与其它同类算法相比,由于不需要穷尽搜索,该算法的时… …   相似文献

王冬  刘强  李善治 《计算机科学》2014,41(9):18-23