发表咨询:400-808-1731
订阅咨询:400-808-1751
北大期刊
影响因子 0.65
人气 24447
省级期刊
影响因子 0.67
人气 24019
北大期刊
影响因子 0.51
人气 23554
北大期刊
影响因子 0.99
人气 22963
北大期刊
影响因子 0.94
人气 20241
部级期刊
影响因子 0.98
人气 18183
北大期刊
影响因子 0.95
人气 17885
部级期刊
影响因子 1.03
人气 13495
部级期刊
影响因子 0.38
人气 12696
省级期刊
影响因子 0.16
人气 12159
摘要:根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG。
摘要:热传导反问题在国内研究起步较晚,研究方法有很多,但通常方法很难较好地接近全局最优。在介绍经典的微粒群优化算法(PSO)的基础上,研究基于量子行为的微粒群优化算法(QPSO)的二维热传导参数优化方法,具体介绍依据目标函数如何利用上述的算法去寻找最优参数组合。为了提高算法的收敛性和稳定性,在具体应用中对算法进行了改进,并进行了大量实验,结果显示在解决热传导反问题优化问题中,基于QPSO算法的性能比经典PSO算法更加优越,证明QPSO在热传导领域具有很大的实际应用价值。
摘要:根据负载的变化,对数据库系统所提供的可调参数或选项进行手动调节是一项很困难的任务。把以概率推理为基础的图形化模型.影响图应用到数据库参数的自调节中,主要分为以下5个步骤:影响图模型的设计,实验数据集的获取,实验数据集的离散化,影响图参数的学习,影响图的评价及使用。以Oracle的重做日志模块的参数调节做实验,结果表明,影响图可以很好地解决这类问题。
摘要:介绍了一种改进的基于AABB包围盒的碰撞检测算法,通过对对象不断的分割逐步构造出贴近对象的层次包围盒,在碰撞检测阶段对其逐层遍历以实现精确而快速的碰撞检测。实验结果表明,与层次包围球算法相比,该方法在构造二叉树和进行精确的碰撞检测时,性能都有较为明显的提高。
摘要:给出了一种确定性素性判别方法——雅克比和素性判别方法的软件实现,并对其中最关键的多项运算给出了一种快速算法。同时,通过对另一种确定性素性判别方法——AKS算法的存储复杂度的分析,指出AKS算法在PC机上实现的各种困难。最后给出了雅克比和素性判别算法在奔腾IV 1.8G上的实现结果。
摘要:软件度量学是软件工程领域的一个重要研究方向。通过软件度量,可以改进软件的体系结构,采用合适的软件开发过程,从而降低软件开发的成本,提高软件开发的效率,保证软件能满足用户的需求,开发出高质量的软件。分析了面向对象软件度量的特点,阐述了常用的面向对象软件度量方法,并在此基础上提出了以切片为中心的度量方法。
摘要: 依据生物免疫的防御层次结构,分析了网络入侵的多层防御体系。引入生物学中残余抗原理论,结合入侵检测过程中存在的残余抗原,提出了一种新的基于残余抗原理论的动态记忆算法。在此基础上,分析了算法的设计思想,给出了算法的具体实现过程。实验数据表明:该算法实现了识别器记忆的动态性和持久性,并且能够提高系统资源的利用率。
摘要:由于CSP(cryptographic service provider)和PKCS#11是目前PKI体系中应用最广泛的两种基于硬件加密设备的接口标准,因此让这两者之间兼容具有重要的现实意义。介绍了CSP和PKCS#11的概念,分析了两者在密钥管理、数据保存和安全机制方面的不同,提出了由CSP调用PKCS#11。在PKCS#11中自定义一个接口,主要由该接口来实现CSP中的容器、密钥管理等功能。最后展开阐述了实现PKCS#11与CSP互通的具体操作方法。
摘要:Web服务已成为新一代电子商务的框架,其安全问题是不可忽视的问题,需要一种灵活高效的访问控制来保护。通过分析可扩展访问控制标记语言(XACML)和授权管理基础设施(PMI),给出了一种适合于Web服务安全的访问控制系统模型。该系统模型基于属性证书和策略集,用XACML作为描述访问控制决策的语言,适用于Web服务的动态性、异构性等特点。
摘要:数字签名已经成为网络信息时代身份认证的基本手段之一,为提高基于零知识证明技术的签名方案的安全性,对基于零知识概念的签名方案中签名者伪造签名问题进行了研究,分析了其中存在的潜在问题,提出了一种在不增加计算复杂性的情况下达到抗击签名者伪造签名的简单修改方案,并对该修改方案的可行性、安全性和计算复杂性做了具体分析。
摘要:对DES S盒的输入输出分布特性进行了深入分析,利用DES加密准则及一系列函数的定义,给出S盒的输入输出分布表达式。分析了f函数及S盒的输入输出分布特性,结果表明,相邻两个S盒的输入是独立均匀分布的,但其输出并不是均匀的。运用这种特性可对DES进行已知明文的攻击。
摘要:移动Adhoc网络中的多路径路由协议能够减小路由发现延迟,提高网络生存时问,受到了人们的广泛关注,详细分析了AOMDV多路径路由协议的机制和特点,针对多径路由协议在负载均衡时采用的随机转发策略,提出了一种改进的基于AOMDV协议的负载均衡传输方案,该方案能够避免TCP在多径传输时的乱序。仿真结果表明,在不影响UDP性能的情况下,该方法能显著改善TCP的传输性能。
摘要:在SIP网络出现之前,以IP网络为传输系统的H.323网络已得到广泛应用,因此,必须考虑SIP网络和H.323网络的互联问题。通过分析两个协议互通过程中需要解决的地址解析和映射、消息映射、媒体能力协商等问题,并深入研究它们的状态图,然后分别以SIP向H.323终端发起呼叫以及H.323向SIP终端发起呼叫为模型,模拟两协议的互通实现,经实践证明此方案是合理可行的。
摘要: 研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性。该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量。
摘要:介绍了基于光纤的γ遥测数据远程通信系统的设计与实现,包括系统拓扑结构、通信软件设计。该系统充分利用光纤介质的优势,采用简便的点到点结构,通信分为串口通信和网络通信,串口通信为基于API的多线程编程方式,网络通信为应用Socket的C/S模式,实现了γ遥测数据的远程可靠传输,并扩展为多业务综合数据通信系统。系统应用于科研试验中,增强了遥测系统数据通信的可靠性,效果良好。
摘要:SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用“知识”和“信念”的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有“动作”,不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法。
摘要:针对高速网络的发展和利用哈希技术在识别长流时难以还原主机信息的问题,提出了利用报文抽样和可逆的B100mFilter识别长流的算法。采用带有部分主机信息的哈希函数,利用哈希串的重叠和数量上的一致性,能够很方便的还原出主机的信息。给每个哈希函数独立的存储空间,在很大程度上减少了哈希过程所带来的内部冲突。实验结果表明,这种算法可以精确地获得长流的标识与长度信息。
摘要:服务发现是Web服务应用中极其重要的环节。随着Web服务数目的增长,提供相同功能的服务越来越多,现有的基于服务功能描述的服务发现机制越来越难以满足实际需求,于是向Web服务描述内部加入非功能性描述的成为Web服务应用的一个新研究方向。提出了一种基于反馈信息的QoS量化的Web服务发现和选择模型,采用了反馈机制对注册服务QoS进行量化,通过引入概念相近权重,实现了服务质量动态排序,满足了用户的个性化需求,提高服务的查准率。