谓词μ演算和模态图的语义一致性

下载全文  

模态图是谓词μ演算的一种有效的图形表示形式.证明了谓词μ演算和模态图的语义一致性,详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.  相似文献

刘剑  林惠民 《软件学报》2003,14(10):1672-1680

一种高效的虚拟机快照管理系统

下载全文  

链式虚拟磁盘快照技术是广泛实现的一种支持虚拟机失效恢复的技术手段,针对链式结构磁盘快照技术引入多余I／O请求导致虚拟机性能低效问题,分析和研究了支持高效虚拟机快照实现的无链式关联磁盘快照技术,通过集成ZFS及OCFS2文件系统给出了无链式关联磁盘快照技术实现,并设计和实现了虚拟机… …   相似文献

邓换方  吴恒  张文博  许舒人 《计算机系统应用》2014,23(10):73-78

基于文本的信息隐藏算法

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

本文提出了一种新的基于文本的信息隐藏算法,算法利用人类的视觉系统(HVS)对标点符号和上下文之间 以及字与字之间的间隔并不敏感这一特点进行信息隐藏。大量的实验结果表明这一算法具有很好的隐藏效果。 每一个字可以隐藏一比特的密文信息。算法利用纠错交织分帧技术获得一定的抗增、删攻击能力… …   相似文献

白剑  杨榆  徐迎晖  钮心忻  杨义先 《计算机系统应用》2005,14(4):32-35

遗传算法在高校排课系统中研究与实现

下载全文  

随着高校的不断扩招和合并,由于教学资源的有限,合理的安排教学计划已经成为一个日益严峻的问题. 排课以及教室的合理利用已经成为教学计划管理的一项重要工作. 本文通过对遗传算法和高校排课需求的研究,从教室调度,冲突检测和时间规划三个方面进行深入分析,并且对对应算法的流程进行了详细的描… …   相似文献

马玉芳  张海娜  邵杰 《计算机系统应用》2014,23(5):112-115

带约束的摄像机定标方法

  

由于积累误差和摄像机内部参数的校正误差,基于视觉的摄像机定标结果尽管在图像上的重投影误差很小,但是重建的空间结构往往存在一定程度的扭曲。提出了一种带约束的摄像机定标算法,将场景中存在几何条件（如摄像机路径在一条直线上）作为约束条件,对摄像机定标结果进行再优化,使得重建的空间与真实… …   相似文献

高俊鑫  华炜  章国锋  秦学英 《中国图象图形学报》2010,15(3):536-540

基于MOF 的软件体系结构分析结果集成框架

下载全文  

  相似文献

陈湘萍  黄罡  宋晖  孙艳春  梅宏 《软件学报》2012,23(4):831-845

基于块Hankel矩阵构造的双基地MIMO雷达相干多目标定位

下载全文  

该文提出了一种相干多目标情况下双基地MIMO雷达的收发角度估计方法。利用接收协方差矩阵中的元素构造块Hankel矩阵,该矩阵的秩等于目标的总个数,而与目标源的相干性无关,并通过奇异值分解获取信号子空间,最后运用ESPRIT算法估计出目标的发射角和接收角。仿真结果表明：本文算法能有… …   相似文献

郑志东  王珽  张剑云  李小波 《电子与信息学报》2012,34(5):1082-1087

基于神经网络的交互式自动获取知识的N－R方法

下载全文  

本文为解决知识系统构造过程中的瓶颈问题──知识获取,提出了一种基于神经网络ＮＮ（ｎｅｕｒａｌｎｅｔｗｏｒｋ）的自动获取多级推理产生式规则的Ｎ－Ｒ方法,该方法采用了特有的ＮＮ结构模型和相应的学习算法,使得ＮＮ在学习过程中动态确定隐层节点数的同时,也产生了样例集中没有定义的新概念,学… …   相似文献

李奕  施鸿宝 《软件学报》1996,7(7):435-441

整合ChaCha20哈希运算的分块扩散自适应图像加密算法

  

目的 针对数字图像网络传输安全性和混沌加密算法自适应差的问题,提出一种基于ChaCha20哈希运算的分块扩散自适应图像加密算法(BDCH)。方法 BDCH算法首先通过分段线性混沌映射(PWLCM)产生的混沌序列填充明文图像,使其成为方形图像;其次,利用初始输入密钥及明文图像总和,通过ChaCha20哈希运算生成8×8的初始哈希矩阵,并与PWLCM混沌映射生成的伪随机序列作用,联合产生哈希密钥矩阵,PWLCM的迭代初值选取为初始密钥矩阵均值、初始密钥及明文图像归一化均值;然后,利用Arnold和PWLCM映射同步置乱扩散整幅图像,并分成互不重叠的8×8大小图像块;最后,采用哈希密钥矩阵对图像块进行两轮扩散,完成图像加密。结果 灰度及彩色图像的计算机仿真与性能分析表明,BDCH算法的信息熵、峰值性噪比、密钥敏感性指标优于其他加密算法,并且解决了直接使用初始哈希矩阵会产生的弱密钥问题,密钥空间大。结论 结合同步置乱扩散和哈希密钥矩阵非线性分块扩散的BDCH算法可有效抵抗各种攻击,安全性高、自适应性强,适合各种类型的灰度及彩色图像加密,潜在应用价值大。… …   相似文献

宋金林  张绍武 《中国图象图形学报》2016,21(6):698-710

基于网格的量子博弈聚类算法

  

量子博弈是对经典博弈的量子模拟,利用量子的纠缠态,可以使博弈参与人在博弈策略的选择过程中相互影响,从而得到与经典博弈不同的结果。将量子博弈运用于聚类问题,并提出一种基于网格的量子博弈聚类算法。算法将数据点看作是博弈的参与人,通过在收益矩阵中内嵌距离函数,使相似的数据点能够获得更大… …   相似文献

黄德才  汤胜龙 《计算机科学》2014,41(10):261-265

属性构造原则与时序计数算子的研究

下载全文  

包括计数算子在内的属性构造技术往往能够提高数据挖掘模型的预测精度,但不加条件地使用会导致属性关系不一致问题.为解决此问题,在提出了属性关系一致等3个属性构造原则后,给出了在时序相关模型下避免属性关系不一致问题的新算法——时序计数算子.时序增量计数算子在满足其假设条件下,可以较小的… …   相似文献

邵华  赵宏 《软件学报》2008,19(2):361-357

基于LTI射线追踪的改进的ART算法

  

CT反演常采用“直线重构模型”,即认为射线在震源和接收器之间走直线,这一条件只有在介质基本均匀的情况下近似成立。当介质中存在缺陷,射线行走路径不再是直线而是空间曲线时,若仍然采用“直线重构模型”进行反演,必然引入误差。本文提出了改进的ART算法,并在迭代的过程中利用基于旅行时的线… …   相似文献

赵祥模  李娜  关可  宋焕生 《中国图象图形学报》2009,14(5):859-865

网上证券交易系统的时序Petri网描述及验证

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

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统… …   相似文献

杜玉越  蒋昌俊 《软件学报》2002,13(8):1698-1704

噪声方差未知条件下的视频目标跟踪

  

目的 基于卡尔曼滤波的视频目标跟踪算法需要事先获得过程噪声和观测噪声方差,但在实际应用中,无法得知这两种噪声方差的准确值。此外,由于目标运动的随机性和视频场景中背景的复杂性,噪声方差也会随时间发生动态变化。如果设定的噪声方差不准确,跟踪精度会受影响,严重时会导致目标跟踪失败。考虑到上述问题,提出一种新的解决方法。方法 将带遗忘因子的推广递推最小二乘法(EFRLS)运用到视频目标跟踪研究领域。在该算法中,无需使用噪声方差,首先利用Mean Shift算法获得目标位置的初步估计,再利用EFRLS算法估计下一帧目标的位置。结果 该算法明显好于传统Mean Shift算法,并且与Kalman结合Mean Shift算法的跟踪性能相当。此外,在目标发生严重遮挡时,该算法优于Kalman结合Mean Shift算法,具有较好的跟踪性能。结论 本文算法无需设置噪声参数,可以实现目标在发生严重遮挡和遮挡后目标重新出现的情况下的准确跟踪,提高了跟踪的鲁棒性,具有一定的工程使用价值。… …   相似文献

陈金广  任冰青  马丽丽  温静 《中国图象图形学报》2015,20(7):906-913

一种基于非标定摄像机仿射变换的块匹配算法

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

针对\"平行视\"多视视频,提出了一种基于非标定摄像机仿射变换的块匹配算法.该算法采用Harris算子提取角点,依据特征跟踪法和线段仿射性质作为同名点匹配准则,利用同名点信息构造摄像机仿射变换矩阵,在此基础上实现视问块匹配.实验结果表明,该算法可有效提高\"平行视\"块匹配效果.… …   相似文献

吴谞  周军 《中国图象图形学报》2009,14(11):2378-2382

基于归一化相关矩的多分辨率遥感图象融合

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

多传感器数据融合技术已广泛应用于遥感图象处理方面 .针对遥感多光谱图象空间分辨率较低的问题 ,提出了一种基于归一化相关矩的多分辨率图象融合方法 .该方法首先对图象进行二维小波变换 ,然后根据所得到的高频小波系数的一阶、二阶统计特征来定义图象局部灰度相关矩 ,并以此作为图象融合测度… …   相似文献

谷延锋  张晔  张钧萍 《中国图象图形学报》2002,7(11):1220-1224

彩色图像缩放的四元数插值算法

  

将彩色图像像素点的3个颜色分量当作一个纯四元数来处理,在充分考虑了图像3个颜色分量的内在相关性、图像本身的非线性机制的基础上,构造了基于球面线性四元数插值方法和代数三角混合四元数插值样条方法的彩色图像插值算法.实验结果表明,四元数方法用于彩色图像插值时,所处理的图像清晰度和色彩亮… …   相似文献

苏本跃  盛敏 《中国图象图形学报》2009,14(12):2607-2610

速变服务网络行为特征分析

下载全文  

速变(Fast-Flux)服务网络通过返回不断变化的DNS解析结果,以大量被攻陷主机的IP地址作为服务地址,利用被攻陷主机进行重定向形成服务网络。长时间跟踪并记录了分布在全球6大洲的300个DNS服务器对23000多个域名的解析结果。根据DNS解析数据,文章对比其他研究成果从多个… …   相似文献

褚燕琴  应凌云  冯登国  苏璞睿 《计算机系统应用》2013,22(8):1-8,33

完善验证的凝聚力测量方法以提升软件品质

下载全文  

无适当使用软件测量将可能引起软件低品质且高成本的窘态.凝聚力是软件品质重要因子之一如同维护度,可靠度和再利用度.软件模组品质的优劣必影响整体系统之品质的优劣.为了设计和维护高品质软件,软件专案经理人和软件工程师无可避免需引用软件凝聚力测量以衡量和产生高品质软件.提出以活路跃变量及… …   相似文献

李明奇  施国琛  黄德胜  邓有光 《软件学报》2001,12(10):1447-1463

分布式多媒体系统服务质量管理机制的研究^*

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

分布式多媒体系统的发展向服务质量QoS(quality of service)管理机制提出了新的挑战.本文从分析现有网络系统在QoS管理方面的不足出发,引出分布式多媒体系统中有关QoS管理的基本观点,讨论各层QoS参数和QoS管理机制的功能组成,并且给出一个实例,最后得出结论.… …   相似文献

王兴伟  张应辉  刘积仁 《软件学报》1998,9(2):86-90