发表咨询:400-808-1731
订阅咨询:400-808-1751
北大期刊
影响因子 0.51
人气 23554
北大期刊
影响因子 0.94
人气 20241
部级期刊
影响因子 1.03
人气 13495
北大期刊
影响因子 3.18
人气 11591
统计源期刊
影响因子 0.55
人气 10972
北大期刊
影响因子 0.79
人气 9677
省级期刊
影响因子 0.41
人气 9473
省级期刊
影响因子 0.57
人气 9301
省级期刊
影响因子 0.15
人气 9102
统计源期刊
影响因子 0.47
人气 8341
摘要:由中国计算机学会和华中科技大学主办的2005年中国计算机大会已于2005年10月15日在武汉圆满闭幕.本次大会是在国家倡导节约、创新的大环境下召开的,持续3天的本次大会也厉行创新、节约.在充分吸取以往大会的经验和教训基础上,2005年中国计算机大会在组织形式上做了许多改革,提高了会议的效率及吸引力,保证了高的学术水平.具体地说,首先,改革程序委员会的组织形式,按领域设置程序委员会副主席,充分尊重程序委员会副主席的自主权.其次,综合考虑各种因素,本次大会缩短分组报告,扩大特邀报告在大会中的分量.第三,改变分组报告的形式.分组报告不再是分组所有录用文章的报告,而是分组特邀报告、分组推荐论文报告及讨论等多种形式的组合.安排分组特邀报告及讨论的目的是为了提供对领域进一步深入发展的观点.安排分组推荐论文做报告是为了再次保证推荐论文的质量.最后,倡导节约,改变论文集的出版形式,将纸质出版物和电子出版物相结合.其中第一、三项措施跟推荐文章密切相关,推荐到各期刊的文章是在这些措施的有力保证下遴选出来的.
摘要:随着网络上多媒体数据的爆炸性增长和集群技术的快速发展,设计并实现了一个基于PC集群的高性能集群多媒体存储系统(cluster multimedia storage system,CMSS),CMSS系统采用高自治、自维护的集群策略,提高了系统的并行性和可扩展性;采用逻辑元数据管理技术,即实现了单一名字空间,又避免了单点失效;采用服务器数据备份技术,即提高了系统的数据安全性,也解决了服务器之间的负载平衡.在详细介绍了CMSS系统设计方案的同时,进行了相应的实验测试和性能分析。
摘要:基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.
摘要:提出了一种基于图划分的全基因组并行拼接算法.该算法巧妙地将数据划分问题转化成图划分的问题,解决了传统数据划分算法中存在的节点负载不平衡的问题.同时,算法在建立关系图时有效地利用了WGS测序中所提供reads之间的长度信息和配对信息,使reads关系图能更准确地反映出数据之间的关系特性,从而提高了数据划分的准确性.实验结果表明,该算法可以准确地划分各种模拟数据、真实数据的数据集,相对于传统数据划分算法划分质量有了明显改善.
摘要:序列的多重比对是生物序列分析研究中的一个重要内容.基于免疫系统的疫苗接种和受体编辑模型,结合粒子群优化方法提出了一种免疫粒子群优化算法,将该算法用于隐马尔可夫模型的学习过程,进而构建了一种基于隐马尔可夫模型和免疫粒子群优化的多序列比对算法,从BAliBASE比对数据库中选取了一些比对例子进行了模拟计算,并与Baum-Welch算法进行了比较.结果表明,所提出的方法不仅提高了比对的准确程度,而且缩减了比对所花费的时间。
摘要:笔式用户界面是Post-WIMP界面的一种重要形态,有自然、易学、易用等潜在性优点,但是在开发笔式交互系统时,以应用为中心的设计方法无法保证笔式用户界面继续拥有这些优点.为此,首先分析了软件设计的交流模型,在此基础上提出了一种以用户为中心的笔式交互系统的设计方法,并结合科学跳水训练管理系统对该方法进行了详细描述.从实际应用系统的评估结果来看,该设计方法在提高笔式交互系统的可用性方面非常有效.
摘要:工作流监控是处理工作流运行期各种例外、保证工作流实例正确高效执行的有效方法.基于状态的工作流监控方法不仅可以实时处理实例执行过程中出现的各种例外、消除实例运行的阻塞,并能对任务执行进行必要的干预.但这类监控也经常造成工作流模型及实例的不一致,如不加以调整,会导致后续任务无法执行.在对ADEPT模型及过程实例进行形式化定义基础上,给出用于验证过程模型正确性和过程实例一致性的判定规则;提出一个基于状态的实时监控方法,该方法由一组状态转换原语和过程实例转换算法组成.采用该监控方法并结合上述判定规则,在完成各种监控任务的同时,保证了模型的正确性和过程实例的一致性.最后讨论了原语操作的完备性和一致性.
摘要:随着网络教育逐步得到人们认可,各种满足不同教学需求的教学软件、工具以及网络教育平台不断出现.针对网络教育系统集成所面,临的异构性、互操作性、可扩展性等问题,提出了一种松耦合、易集成的网络教育系统集成框架IFESJ.该集成框架将各种网络教育应用系统的通用服务剥离出来,分别从界面、业务和数据3方面将它们有机地集成起来,支持全过程的网络教学活动.实际应用和性能测试结果均表明:IFESJ集成框架设计合理,基于该集成框架的网络教育系统的性能能够满足正常使用的并发性要求.
摘要:针对XML网页特点,提出了计算XML文档结构相似性、文档关键词出现的位置以及关键词频度的方法,根据计算的结果提取XML网页特征,同时设计了一种基于支持向量机的XML网页多类分类算法.算法通过XML文档的训练样本集为每一类文档建立基于相似公共特征的聚类核,计算测试样本中的文档与每个聚类核的相似度,判断该文档的所属类.实验证明该分类算法具有比较高的分类查全率和查准率,能够较好地解决XML文档同时属于多个类的问题.
摘要:为了实现科研工作者之间的文献知识的共享,结合语义网技术,提出了一种从文档中提取参考文献元数据信息的方法.该方法采用模式匹配方式,可以从文档中提取作者、标题、出版时间、期刊名等信息,并使用OWL本体描述语言进行形式化,为进一步的语义搜索奠定基础.实验数据证明了该方法的有效性.
摘要:软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态.然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题.分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望.
摘要:研究了对等网络拓扑构造和变化与人类社会社区构造和变化的对应关系.参照人类社会组织,提出一种以共享和需求为目的的社区结构,从节点服务他人和满足自身的双重视角构造对等网,实现节点以较小代价获取所需资源以及被其他节点检索.根据提出的自组织构造算法SOMA,各节点周期性地利用空闲时间调整拓扑连接,动态配置节点所属的社区,适应节点资源和需求的不断变化.仿真结果表明,提出的对等网自组织构造方法能自动优化网络,带来搜索性能的极大改善,具有良好的扩展性和自适应性.
摘要:针对组播安全通信以及动态控制组成员通信关系的问题,提出将密钥包含在授权信息中分发给用户的授权算法.用户通过认证身份获取相应组播地址上的发送、接收权限,由控制中心动态更新通信结点授权,并采用加密算法与类型字映射表以增大破解难度.验证结果表明,采用该算法的组播安全传输系统能够做到在控制中心对机密组进行实时的划分和调整,以达到控制用户通信关系或动态抗破解的目的.
摘要:提出了一类基于三重分组链接的单向散列函数(HTBC),并论证了其安全性.HTBC算法的速度比常用单向散列函数(SHA和MD系列算法等)快.依赖性测试表明:HTBC算法是完备的;其雪崩效应度约为0.9993;其严格雪崩准则度约为0.992.频率测试表明,可以认为HTBC算法的输出服从均匀分布.二进制矩阵秩测试表明。可以认为HTBC算法的输出子序列间线性独立.Maurer通用统计测试表明,HTBC算法的信息压缩损耗不显著.连续(run)、频谱、非重叠字(non-overlapping template)匹配、重叠字匹配、Lempel—Ziv压缩、线性复杂度、系列、近似熵、累积和、随机游程以及随机游程变量等测试结果都满足要求.由此说明,HTBC算法具有很好的伪随机性,这就从统计评估的角度验证了HTBC算法的安全性.
摘要:多候选人电子选举方案在许多实际环境下具有重要的应用价值,但现有绝大多数方案由于技术限制只能进行“两选一”投票.设计了一种新型的选票结构,在一个多精度数中隐藏“m选k”形式的选票。对m个候选人至多可以投k个赞成票;将多精度计算及安全多方求和协议应用于投票和计票,选举过程中不需要可信任第3方,任何投票人都可以计票.与一般方案相比,该方案具有更强的安全性,包括选票的完全保密性和无收据性、计票的公平性和无争议性、系统的健壮性等;无需使用传统的加密技术.对n个投票人,计算的位复杂性为O ( nm (log2 n )),其效率优于现有方案且容易实现.