发表咨询:400-808-1731
订阅咨询:400-808-1751
北大期刊
影响因子 0.65
人气 24509
省级期刊
影响因子 0.67
人气 24253
北大期刊
影响因子 0.51
人气 23694
北大期刊
影响因子 0.99
人气 23187
北大期刊
影响因子 0.94
人气 20364
部级期刊
影响因子 0.98
人气 18612
北大期刊
影响因子 0.95
人气 18006
部级期刊
影响因子 1.03
人气 13556
部级期刊
影响因子 0.38
人气 12775
省级期刊
影响因子 0.16
人气 12262
摘要:线程池被广泛地应用在中间件如Web应用服务器、事务监控器等的实现中。实现线程池的方法主要有半同步/半异步(Half-Sync/Half-Asyn)模式和领导者/跟随者(Leader/Follower)模式。实现了这两种线程池,从理论上分析了它们的性能,并进行了性能实验。实验数据表明Leader/Follower模式具有较高的性能优势。
摘要:为了有效地解决客户序列视图数据库的数据挖掘问题,借鉴了关联规则挖掘最大频繁项目集DMFIA算法的相关思想。详细阐述了该算法,针对原算法不能有效地解决客户序列视图数据库的数据挖掘这一问题,在原算法的基础上结合序列模式提出了改进的DMFIA算法,并在原算法的基础上有了较大的改进。为了验证算法的正确性,运用0ra-cle9i数据库的PL/SQL进行了相应的验证。实验结果证实了改进算法的有效性和实用性,并具有较好的创新性和理论价值。
摘要:过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为,资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
摘要:基于n阶形式背景核的概念格同构生成是一种新的概念格获取方法。其中n阶形式背景核的构造是基础。根据n阶形式背景核的概念,提出了n阶形式背景核的基本算法,并通过限制冗余形式背景的生成,对算法进行了改进,最后经过实验,验证了改进算法相对基本算法效率更高。
摘要:拉曼光谱分析中,噪声的存在常影响分析的准确度和检测限,现有滤波方法在光谱信号除噪方面有种种缺陷,使用自适应小波阈值函数滤噪法和平移不变量小波去噪法两种方法,并分别与传统方法平均算法相结合,实现了信号与噪音的有效分离,均取得了很好的效果。即使对信噪比小于1的高噪声信号也能够很好地保留了信号的细节,获取满意的处理结果.
摘要:在嵌入式处理器中,Cache功耗所占的比重越来越大。提出了一种可重构的低功耗数据Cache,能够利用程序运行过程中的空间和时间局部性以及高频数据值局部性来节省功耗。Mibench和Mediabench的仿真结果表明,对于多媒体应用为主的测试程序,采用基于高频值的可重构低功耗数据Cache与普通Cache相比,平均能量消耗降低34.45%,平均能量延迟乘积降低27.50%。
摘要:基于蚁群算法建立了一个多用户检测问题的模型,在这个模型中,蚁群算法得到了简化并且更加利于并行计算。随后将基于优化排序的蚂蚁系统用于多用户检测,并通过分析算法的缺陷提出了一种蚁群算法与进化规划相结合的混合算法,扩大了搜索空间,降低了搜索陷入局部极小的概率。通过对多用户检测问题的试验仿真表明,改进算法不仅操作简单,而且全局搜索能力有了显著的提高。
摘要:结合Metropolis准则,对模拟退火算法进行了研究。阐述了模拟退火算法的基本原理及其实现过程,在Visual C++编译环境下实现了该算法。并将其运用到解决旅行商问题的优化之中。介绍了TSP的问题特征、一般形式及其数学描述,确定了其VC++环境下的模型实现步骤。实例仿真的结果表明了该方法能够对函数进行全局寻优,有效克服了基于导数的优化算法容易陷入局部最优的问题。该方法既可以增加对C++语言的掌握又可以加深对模拟退火过程的认识,并达到以此来设计智能系统的目的。
摘要:提出了一种基于本体的ETL设计方法,通过建立各数据源的局部本体和目标数据仓库的全局本体以及本体间的映射,得出以OWL表示的各数据源和目标的映射关系。用本体元数据指导数据抽取、转换和加载过程,解决数据源ETL过程中的语义异构问题,实现了企业数据语义程度的集成。
摘要:阐述了基于gini系数的决策树构造算法——CART算法。为了使算法能处理递增的数据,引入递增式学习方法,提出了一种改进算法。递增式学习的主要思想是测试函数提升。首先使用己有的数据用CART算法生成一棵决策树,然后使用递增的数据和递增式学习的方法来修改己有的决策树。最后从理论和实践两方面证明了改进算法的正确性和有效性。
摘要:在内存数据库中数据存储的基本单位是页面,空闲页面管理的好坏,直接关系到系统性能的高低。在数据量大和数据组织形式多的情况下,表现尤其突出。针对内存数据库中空闲页面的两种管理方法:可用空间表和位示图法进行了详细的论述,描述了两种不同的数据结构,重点对空闲页面的管理策略进行了讨论,对不同系统选择数据库管理提供了有效的参考依据。
摘要:PKI的目的是证明对于确定的用户而言,公开密钥是否可信。与集中式目录相比,对等网络如何处理分布式的PKI中关于数字证书的询问,证明公开密钥的真实性。通过引入Chord协议,一个能够解决这个问题的分布式查询协议,提高了验证的效率。并进行了一种以可扩展Chord为查找协议的公钥验证的设计和实现。
摘要:对蠕虫扫描策略及其传播效率进行了深入分析;并提出了“带宽限制型+部分预定义目标地址列表+基于路由扫描+随机均匀扫描”的快速扫描策略。分析了各种蠕虫传播过程模拟方法和蠕虫流量模拟方法的优劣;并从统计意义上建立了“延迟限制型”蠕虫的周期性突发的扫描流量模型,结合混合层次模拟方法,能够为蠕虫模拟、检测和应对技术提供基础,同时减少了蠕虫模拟的复杂性。
摘要:匹配规则和匹配概率精度直接影响入侵检测系统的性能。Hofmeyr曾提出一个基于r-连续位匹配规则的匹配概率的近似公式,但这个公式存在明显的误差。通过匹配系数矩阵Aij的提出,一个更精确的匹配概率公式将会修正误差,并准确地计算匹配概率,这个概率有助于得到交叉反应阈值r的最优解。通过快速匹配算法,使得构建高效入侵检测系统成为可能。
摘要:利用椭圆曲线上Weil配对的双线性性质和Euler准测,提出了一种新的基于身份认证的签名加密方案。它集密钥交换、数字签名、和数据加密解密功能于一体,不仅可以获得较快的加密解密速度,辨别消息的真伪,还能抵抗重发密文的攻击。该方案降低了公钥的存储和管理成本,签名长度大约是Guillou-Quisquater签名长度的1/4。利用该方案构造了一种安全的离线电子支付系统,能够有效地防止重复消费、窃听、篡改和高手段的犯罪,并对该系统进行了安全性和有效性分析。
摘要:数字证书是实现电子政务和电子商务中实体的信任及信任验证的关键元素。CA实际可能会根据不同的情况而导致证书的意外作废或撤销,那么应使要使用证书的用户尽可能获知最新的证书情况,这对于实现PKI系统的可信性至关重要。通过分析国内外通常采用的CRL和OCSP这两种基本的证书撤销、查询方法,总结了它们的优缺点以及在实际应用过程中遇到的难点。最后提出了相应的改进措施,使用户能及时获得最新的证书状况,为电子政务和电子商务提供更可靠的安全性。
摘要:为了适应电子商务中迅速变化的流程环境和系统负载,需要在多个工作流引擎中分配工作量,以保证工作流引擎在高负载条件下可以保持一个可接受的性能。基于中间件技术的工作流负载平衡子系统是提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如没有从优先级的角度来区分流程,没有精确定义系统的负载,分析了工作流的主要特点,设计了基于优先级队列的,实现任务共享的,自适应负载系统,并通过实验定义了一个综合考虑系统处理能力和工作流负载特点的因子,这种设计已经在中科院软件所软件工程中心研制的OncePI工作流系统中得到实现,并在实际运用中检验了其可用性。
摘要:随着时间同步服务的盛行,它越来越成为恶意攻击的目标。鉴别了各种针对同步法则的攻击。因为这些攻击是多种多样的,而且许多难以预见的攻击能够迂回过传统的安全防范策略,所以建立一个针对故意破坏相对健壮的同步法则是个理想的选择。提出了一个能够容忍攻击的健壮的统计方法:它不需要参考节点,而是全网同步于一个虚拟时钟;采用最小中值平方的算法;能够建立成对、簇内和全网的有一定攻击容忍度的同步。