基于场景的联锁软件形式化模型生成方法

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

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动… …   相似文献

董昱  高雪娟 《计算机科学》2015,42(1):193-195,226

一种正交混合空时网络编码的中继通信算法

  

针对无线通信网络中频谱利用效率较低以及网络吞吐量不足等问题,提出一种正交混合空时网络编码的中继通信算法(QHNR)。该算法通过系统模型分析了在传输周期中的MAC阶段和BC阶段中的中继通信方式以及节点发送数据的出错率,采用分级增益的方法来提高信道利用效率,提升系统性能,并通过中继概… …   相似文献

刘艳  王子荣  朱性伟 《计算机科学》2014,41(11):192-194

基于网格的CG并行计算研究

下载全文  

分析了传统分布式并行计算和网格,以及并行计算技术应用中存在的问题,将LogＰ并行计算模型拓展到网格上,给出双层LogＰ模型和设计策略。针对网格特点对CG并行算法进行了改进,并取得了很好的效果。  相似文献

李代平  罗寿文  方海翔 《计算机应用研究》2005,22(7):73-75

二元约束满足问题求解的结点开销模型

下载全文  

提出了在二元约束满足问题中以搜索结点个数为衡量标准的求解开销模型,该模型被应用于随机二元约束满足问题的求解开销相变分析中,并且比较了模型所导出的理论开销和实际中的搜索结点个数、约束检查次数、求解时间3种衡量标准的开销之间的相似性.在模型的基础上,探讨了求解启发式减少求解开销的作用… …   相似文献

薛瀚宏  蔡庆生 《软件学报》1998,9(12):922-926

基于多核混合支持向量机的城市短时交通预测

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

城市道路交通的不确定性、非线性和时空相关性使得交通系统参数描述和知识获取极为困难,从而使短时交通预测难以获得满意结果。利用多核混合支持向量机识别和处理不同类别输入数据的能力,提出了一种基于多核混合支持向量机的城市短时交通预测方法。该方法在统计分析交通状态数据样本的基础上,继承了支… …   相似文献

欧阳俊  陆锋  刘兴权  段滢滢 《中国图象图形学报》2010,15(11):1688-1695

保险业务联机分析处理系统的实现

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

数据库技术的广泛应用以及数据仓库技术的出现为决策支持系统提供了新的发展方向.联机 分析处理(online analytical processing,简称OLAP)正是在数据仓库的基础上发展起来的 一门崭新的决策支持技术.在给出用于保险业务的中间数据库的设计、多维分析模型的实现 … …   相似文献

詹敏  孙玉芳 《软件学报》2000,11(11):1510-1515

工程数据库管理系统设计、实现的几个关键问题

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

本文针对工程领域的特点,提出基于关系／网状的语义超图模型描述,以表达工程中不同语义类的多对多复杂对象关系;将该模型描述和表达的管理机制和基本数据在内存中统一管理和运行,使工程数据的存取效率大为提高;增加了大量通用和特殊功能,形成了功能更强、使用方便的Ｃ语言界面．在上述基础上自行研… …   相似文献

顾宁  林宗楷  郭玉钗 《软件学报》1997,8(3):183-189

基于深度网络的多形态人脸识别

  

在实际的自动人脸识别系统中,输入的识别图像往往在表情、分辨率大小以及姿态方面呈现出多种变化。现在很多方法尝试通过线性或局部线性的映射来寻找由这些变化共享的统一的特征空间。利用由受限玻尔兹曼机(RBM)堆叠成的深度神经网络来发掘这些变化内在的非线性表达。深度网络能够学习高维数据到低… …   相似文献

王莹  樊鑫  李豪杰  林妙真 《计算机科学》2015,42(9):61-65

基于单元尺度的自适应码率控制算法

下载全文  

随着信息技术的快速发展,压缩编码已成为多媒体存储和传输领域的研究热点。针对视频压缩的编码效率问题,ITU-T与ISO/IEC两大标准组织于2003年联手推出了H.264/AVC视频编码标准。为了能够在目标带宽上有效地传输视频,就必须合理地控制码流的波动强度,以使其尽可能地接近目标… …   相似文献

邓勤耕  高新波  路文 《中国图象图形学报》2008,13(11):2093-2098

一种基于拷屏和压缩技术的屏幕共享方案

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

针对当前多媒体应用领域的一类特殊视频——全屏幕半运动非连续色调彩色视频的压缩和传输需求．提出了一种基于拷屏和压缩技术的解决方案．该方案主要利用拷屏和数据压缩技术来实现异地屏幕显示图象的共享,即首先使用拷屏技术从显卡直接获取屏幕图象．然后对拷屏图象进行降低颜色分辨率的处理;接着运用… …   相似文献

张丽萍  喻占武  肖进胜  胡瑞敏 《中国图象图形学报》2003,8(9):1095-1099

发现金融市场预测模型的计算智能方法

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

文章首先扼要论述了金融市场数据以及计算智能方法学的基本性质及其在数据发掘中的应用前景,提出了一个用遗传算法配合神经网络进行优化训练后,用于发现股票市场价格变化趋势和预测模型的实验系统．文章着重论述了这一系统的设计思想和实现技术．最后,随意选择上海中百一店股票行情为实验研究对象,给… …   相似文献

童兆页  费良俊 《软件学报》1999,10(4):395-399

基于局部混合滤波的SAR图像边缘检测

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

该文结合基于非下采样方向滤波-双树复小波变换(NonSubsampled Direction Filter Bank-Dual-Tree Complex Wavelet Transform, NSDFB-DTCWT)的局部混合滤波算法和Dempster-Shafet (DS)证据… …   相似文献

刘帅奇*  胡绍海  肖扬  安永丽 《电子与信息学报》2013,35(5):1120-1127

基于流形学习的彩色遥感图像分维数估算

下载全文  

目的 纹理特征提取一直是遥感图像分析领域研究的热点和难点。现有的纹理特征提取方法主要集中于研究单波段灰色遥感图像,如何提取多波段彩色遥感图像的纹理特征,是多光谱遥感的研究前沿。方法 提出了一种基于流形学习的彩色遥感图像分维数估算方法。该方法利用局部线性嵌入方法,对由颜色属性所组成的5-D欧氏超曲面进行维数简约处理;再将维数简约处理后的颜色属性用于分维数估算。结果 利用Landsat-7遥感卫星数据和GeoEye-1遥感卫星数据进行实验,结果表明,同Peleg法和Sarkar法等其他分维数估算方法相比,本文方法具有较小的拟合误差。其中,其他4种对比方法所获拟合误差E平均值分别是本文方法所获得拟合误差E平均值的26.2倍、5倍、26.3倍、5倍。此外,本文方法不仅可提供具有较好分类特性的分维数,而且还能提供相对于其他4种对比方法更加稳健的分维数。结论 在针对中低分辨率的真彩遥感图像和假彩遥感图像以及高分辨率彩色合成遥感图像方面,本文方法能够利用不同地物所具有颜色属性信息,提取出各类型地物所对应的纹理信息,有效地改善了分维数对不同地物的区分能力。这对后续研究各区域中不同类型地物的分布情况及针对不同类型地物分布特点而制定区域规划及开发具有积极意义。… …   相似文献

王洪波  罗贺  王晓佳 《中国图象图形学报》2015,20(8):1110-1121

多一次Paillier求逆问题与并发安全的鉴别方案

下载全文  

从计算难解性的角度重新考察Paillier的陷门单向函数,并提出多一次Paillier求逆问题这一关于Paillier求逆问题的推广问题.从计算难解性的角度考察了多一次Paillier求逆问题与Bellare等人提出的多一次RSA求逆问题之间的关系,并证明了在计算难解性的意义上。… …   相似文献

宋焰 《软件学报》2008,19(7):1758-1765

偏微分方程约束的基于模块的图像修复模型

下载全文  

为了对大规模目标区域的图像进行修复,提出了一种既能保持线性特征和纹理信息,又能应用于大规模目标区域的基于模块的图像修复模型。该模型首先使用像素切向等照度线强度约束修复优先级,由于切向等照度线方程在图像边缘宽度约束下扩散,因此具有很好的线性特征保持性能。这种扩散具备形态学不变性,可… …   相似文献

仵冀颖  阮秋琦 《中国图象图形学报》2007,12(11):1980-1987

一种新的边缘保留各向异性扩散方法

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

由于超声图像中的斑点严重影响了图像质量,也增加了临床诊断与治疗的困难,因此对于噪声图像,往往要先用高斯卷积对图像进行一定的平滑,再通过求微分来检测边缘。为了更好地滤除超声图像中的斑点,通过构造基于高斯卷积的结构张量,并将其引入到各向异性扩散方法中,实验结果表明,这种新的各向异性扩… …   相似文献

郭圣文 《中国图象图形学报》2008,13(2):209-213

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

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

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

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

Java语言的绘图功能

下载全文  

本文主要对Ｊａｖａ语言的绘图功能进行了介绍,对如何利用Ｊａｖａ语言类库中的Ｊａｖａ．ａｗｔ．ｉｍａｇｅ（ＡＷＴｉｍ－ａｇｅＰａｃｋａｇｅ,ＡＷＴ图形包）绘制图形和显示图形及字体进行了介绍。  相似文献

玛依拉  王克宏 《中国图象图形学报》1998,3(6):515-517

一种应用GA的墨扩散效果仿真新方法

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

对中国水墨画进行仿真研究是非照片真实感绘制领域的一个具有挑战性的课题。通过分析中国水墨画作画工具特性及水墨笔迹扩散的机制,提出一种基于遗传算法的水墨画墨扩散仿真方法,用以实现墨扩散艺术效果。该方法借鉴种群个体,二进制编码,基因变异等遗传算法基本概念,完成输入笔迹仿真模型的构建,并… …   相似文献

唐棣  臧超 《中国图象图形学报》2009,14(3):537-542

一种平面移动对象的时空数据模型

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

提出了一种平面移动对象的时空数据模型--OPH模型.在该模型中,平面移动对象由3种几何表示,即平面对象的观测几何O,目前存在的几何P以及平面移动对象的历史几何H.通过几何点集的差、并、交,研究并得出OPH的递归计算和更新策略.通过分析对象之间的空间拓扑关系和时间关系,得出两个平面… …   相似文献

易善桢  张勇  周立柱 《软件学报》2002,13(8):1658-1665