面向嵌入式实时软件的需求规约语言及检测方法

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

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.… …   相似文献

舒风笛  毋国庆  李明树 《软件学报》2004,15(11):1595-1606

一种基于背景自学习的高光谱图像生物信息提取方法

  

为了提取指纹、癌变区域等重要的生物信息,传统方法一般是使用物理、化学手段直接作用在信息载体上,这不仅需要较长时间,容易对原有信息及载体造成破坏,而且提取过程不可重现、精度较低.高光谱成像技术避免了获取信息时物理接触造成的破坏,能多次稳定获取图像,成为了一种优秀的生物信息采集途径.… …   相似文献

张玉香  高旭杨  王挺  张乐飞  杜博 《计算机科学》2015,42(4):292-296

图像轮廓波变换及变换域隐马尔可夫模型的应用

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

鉴于2维张量积小波已被证实不能为分片光滑图像提供理想表达,从而促使了近年来各种“超越小波”的变换理论和方法的出现。其中轮廓波变换因其理论新颖、技术思想先进、实效显著而具有深入研究的前景和潜力。为了使人们对轮廓波变换有一概略了解,首先以轮廓波变换原理及变换域隐马尔可夫模型为主线,并… …   相似文献

宋晓阳  宋克欧  陈亚珠 《中国图象图形学报》2009,14(9):1721-1731

一种用于流交换的代理重签名方案

下载全文  

为了解决大规模复杂网络环境下流交换的安全问题,首次将代理重签名技术应用到安全流交换中,提出一种用于流交换的基于陷门Hash函数的代理重签名方案.首先,针对陷门Hash函数在流交换应用中存在的密钥泄露问题,提出一种新的基于椭圆曲线的无密钥泄露的陷门Hash函数(EDL-MTH),并… …   相似文献

孙奕  陈性元  杜学绘  陈亮  徐建 《软件学报》2015,26(1):129-144

基于细节层次与最小生成树的三维地形识别与检索

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

图像、视频、音频和图形等均是多媒体数据流中的信息载体,对上述数据所蕴涵的内容进行分析,可以极大地方便人们对它们的使用与管理.基于内容的图像(视频)和音频检索已经取得了不少进展,但是对于图形,特别是3D图形进行识别与检索的有效方法还很少见.提出了对相似3D物体识别与检索的算法,在这… …   相似文献

肖俊  庄越挺  吴飞 《软件学报》2003,14(11):1955-1963

基于FP-Tree的反向频繁项集挖掘

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

在拓展现有反向频繁挖掘问题定义,探索反向频繁项集的3个具体应用后,提出了一种基于FP-tree的反向频繁项集挖掘方法.该方法首先采用分治思想,将目标约束划分为若干子约束,每步求解一个子线性约束问题,经过若干步迭代后找到一个满足整个给定约束的目标FP-tree;然后根据目标FP-tree生成一个仅含频繁项的临时事务数据库TempD;最后通过向TempD中撒入非频繁项得到目标数据集.理论分析和实验表明该方法是正确的、高效的,且与现有方法仅能输出1个目标数据集相比,该方法能够输出较多的目标数据集.… …   相似文献

郭宇红  童云海  唐世渭  杨冬青 《软件学报》2008,19(2):338-350

一种改良的CAN查询策略

  

CAN为一种具有可扩张性、失效恢复能力、完全自组织的一种P2P实现。但是由于其路由表的构造缺乏灵活性,结合物理拓扑的实现能力较弱。通过引入对其路由表及路由策略的改进,使之具有结合物理拓扑的实现能力,进而可以降低节点间通信的延时。  相似文献

蔡明  谢振平 《计算机应用研究》2005,22(7):81-83

基于高级SET协议的电子商务安全

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

在充分分析安全电子交易的前提下,针对目前流行的SET标准协议进行分析,指出了SET协议在交易过程中的各种缺陷,进而提出了SSET协议,并对SSET协议的工作流程进行详尽阐述。SSET协议增强了原有SET协议的安全性和不可否认性,满足了交易原子性、隐私保护性,并提出了信用等级制度和… …   相似文献

张国权  宋明秋  邓贵仕 《计算机应用研究》2006,23(3):105-107

二阶多面体网格中关键特征控制的表面重建技术

  

针对基于二阶多节点多面体网格的表面重建过程中存在的准确拓扑及绘制、传输代价等问题,提出了一种基于关键特征控制的表面重建技术.研究并分析了二阶多节点多面体单元等参插值函数的性质特征,在网格单元棱边插值计算曲面轮廓点,在网格表面及体内提取曲面的几何特征关键点;根据3类插值关键点间的逻… …   相似文献

刘鹤丹  王成恩 《计算机科学》2015,42(1):38-43

面向多跳无线网络的无冲突MAC协议

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

多跳无线网络中隐藏节点导致节点之间的冲突频繁、数据重传率高、网络吞吐量下降.而802.11 DCF 中的RTS/CTS(ready-to-send/clear-to-send)机制不能有效地防止隐藏节点,特别是随着网络中节点通信速率的提高,由于节点的信噪比要求也相应提高,接收节点… …   相似文献

张克旺  张德运  杜君 《软件学报》2009,20(7):1895-1908

分布式交互仿真中的异步时钟一致性控制方法

下载全文  

提出了在分布式交互仿真中基于回拨时钟的异步时钟一致性控制模型,利用节点间时钟的异步性对系统时间资源进行重新分配,达到了在保证原有系统功能正确性的前提下有效提高系统整体性能的目的.根据上述模型,首先提出了基于全局信息的快速拟合法,并证明了该算法的有效性;之后又根据实际网络情况提出了… …   相似文献

张伟  周航军  彭宇行  李思昆 《软件学报》2010,21(6):1208-1219

由矩形确定摄像机内参数与位置的线性方法

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

提出了一种求解摄像机内参数及确定摄像机位置的线性方法.首先通过空间平面上两个非平行矩形的图像来计算圆环点的图像,进而由圆环点对摄像机内参数的约束方程标定摄像机内参数,并给出了此约束方程具有惟一解的充要条件.摄像机方位是通过计算图像与空间平面间的单应矩阵来确定的.另外,还给出了在相… …   相似文献

吴福朝  王光辉  胡占义 《软件学报》2003,14(3):703-712

用于指针逻辑的自动定理证明器

下载全文  

提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL 的工具中得以实现.APL 自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器.  相似文献

王振明  陈意云  王志芳 《软件学报》2009,20(8):2037-2050

一个加强的NAT-PT模型

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

NAT-PT(network address translation + protocol translation)允许IPv6节点与IPv4节点之间进行通信.NAPT-PT则通过一定的映射方法以充分复用注册地址的所有端口,应用NAPT-PT模型,每个注册V4地址最多可建立63K… …   相似文献

曾立安  程朝辉  凌力 《软件学报》2003,14(12):2037-2044

一种通用的渐变镜头检测方法*

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

针对渐变的特点,提出了一种基于非相邻帧差的通用渐变镜头检测方法,该方法利用非相邻帧差有效地突出了渐变的特征,利用窗口最大值准确地找到渐变的中心位置,该方法不用设置全局阈值,与具体的渐变转换效果无关,适应性强。实验表明该算法取得了良好的检测效果。  相似文献

周艺华  曹元大  张洪欣 《计算机应用研究》2006,23(2):250-252

标准模型下通用可组合的口令认证密钥交换协议

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

通过构造不可延展的、可提取的且是弱模拟可靠的陷门承诺体制,以及相应的平滑投射Hash函数簇,设计了一个高效的通用可组合(universal composable,简称UC)安全的两方口令认证密钥交换(password authenticated key exchange,简称PA… …   相似文献

胡学先  张振峰  刘文芬 《软件学报》2011,22(11):2820-2832

一类实际网络中的最小截算法

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

讨论了节点和边都有容量限制的无向平面网络中的两点间的最小截问题.传统方法是把节点和边都有容量的网络中的最小截问题转化为只有边有容量的问题,但该方法用在平面网络时不能保持网络的平面性,因此网络的平面性不能得到利用.使用传统方法的计算时间为O(n²logn)(其中n为网络的节点数).给出了可以充分利用网络平面性的方法.对源和汇共面的s-t平面网络,把最小截问题转化为平面图上两点间的最短路径问题,从而可以得到O(n)时间的算法;对一般的平面网络,给出了新的将节点和边都有容量的问题转化为仅边有容量问题的方法,这种转化方法不破坏网络的平面性,从而可以利用平面网络中仅边有容量问题的计算方法,使原问题在O(nlogn)时间内获得解决.… …   相似文献

张宪超  万颖瑜  陈国良 《软件学报》2003,14(5):885-890

面向对象软件回归测试技术研究

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

回归测试的目标之一是在程序修改后,只对进行修改的部分重新测试,从而达到与完全测试相同的测试覆盖.利用数据流或部分数据流技术,对结构化程序进行回归测试的技术已相继提出.随着面向对象方法的逐渐成熟,对面向对象软件测试技术的研究有了迫切的需求.通过分析对象系统的特性,定义了对象之间的依… …   相似文献

方菲  孙家骕  王立福  杨芙清 《软件学报》2001,12(3):372-376

统计测试的软件可靠性保障能力研究

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

研究了统计测试对不同软件的测试能力,提出将测试有效性信息综合到软件可靠性评估模型中,以提高可靠性估计的针对性和精度.通过实验证明了该方法的合理性.该方法为高可靠性的软件质量保障要求提供了途径和可能.  相似文献

赵亮  王建民  孙家广 《软件学报》2008,19(6):1379-1385

主存OLAP系统中what-if查询处理策略

下载全文  

What-If分析能够提供比传统的OLAP(on-line analysis processing)分析更加有意义的决策支持信息.基于历史数据的应用场景假设分析需要更加有效的what-if数据视图生成机制的支持.在传统的delta表合并算法的基础上,提出了基于内存记录指针的del… …   相似文献

张延松  肖艳芹  王珊  陈红 《软件学报》2010,21(10):2494-2512