国家自然科学基金委员会信息科学部计算机科学处2004年度重点项目评审与资助状况分析

下载全文  

重点项目是国家自然科学基金资助的一种项目类型,它以推动学科发展、促进国民经济与社会的可持续发展为目标,每年年初集中受理一次.介绍了2004年度国家自然科学基金委员会信息科学部计算机科学处重点项目受理及资助情况,给出了评审原则,分析了存在的问题,并针对问题提出了建议.  相似文献

徐琳  刘志勇  刘克 《软件学报》2005,16(2):324-326

中国图像工程：2004

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

该文是“中国图像工程”的年度文献综述系列之十。为了使国内广大从事图像工程研究和网像技术应用的科技人员能够较全面地了解国内图像工程研究和发展的现状,并能够方便地查询有关文献,现从2004年在国内15种有关图像工程重要中文期刊的共108期上发表的2473篇学术研究和技术应用文献中,选… …   相似文献

章毓晋 《中国图象图形学报》2005,10(5):537-560

基于视点转移和视区追踪的图像显著区域检测

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

借鉴心理学中有关视觉注意的研究成果,提出了一个基于视点转移和视区追踪的显著区域检测模型.它首先通过视点转移利用全局显著性度量找到显著区域的位置,然后通过视区追踪利用局部显著性度量确定显著区域的尺寸,并通过视点转移与视区追踪的循环交替依次得到一系列显著区域.根据该模型开发出了一个新… …   相似文献

张鹏  王润生 《软件学报》2004,15(6):891-898

一种基于二部图和节点角色划分的社交网络推荐方案

  

针对现有社交网络用户推荐方案中大规模网络个体相似性计算复杂度高以及个体节点无差异对待的问题,本文提出一种基于二部图和节点角色划分的推荐方案.首先,通过划分重叠群体简化原生社交网络结构,并进一步构建群体-个体二部图模型;其次,通过群体-个体二部图所反映的拓扑特征,结合节点自身属性特… …   相似文献

肖云鹏  刘瀚松  刘宴兵 《电子学报》2017,45(10):2425-2433

分布式系统下挖掘关联规则的两种方案*

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

对关联规则的分布式挖掘问题进行了探讨,给出了两种实现方案。一是采用局部－局部的通信模式,各个站点的通信负载比较均衡;二是采用局部－全局的通信模式,减少了各局部站点的通信负荷,实现了各局部站点的完全异步,但对全局站点的性能要求较高。  相似文献

邹丽  孙辉  李浩 《计算机应用研究》2006,23(1):77-78

有限精度时间自动机的可达性检测

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

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence… …   相似文献

晏荣杰  李广元  徐雨波  刘春明  唐稚松 《软件学报》2006,17(1):1-10

有界模型检测同步多智体系统的时态认知逻辑

下载全文  

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(bounded model checking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL*的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKL_n.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKL_n的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.… …   相似文献

骆翔宇  苏开乐  杨晋吉 《软件学报》2006,17(12):2485-2498

C程序控制流程模型的提取技术与实现

  

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正… …   相似文献

杨昌坤  许庆国 《计算机科学》2014,41(5):208-214

一种面向分布式虚拟环境的分层迭代负载平衡算法

下载全文  

为了支持大规模用户共享虚拟环境,多服务器结构被应用到分布式虚拟环境系统中,每个服务器负责虚拟环境的一个区域划分.由于用户不可预知的移动和交互,可能会导致某些服务器负载过重.现有的负载平衡算法注重于将负载在服务器间重分配,但引入开销过大,影响系统交互性能.提出一种分层迭代的动态负载… …   相似文献

王少峰  周忠  吴威 《软件学报》2008,19(9):2471-2482

子共代数与共同余共关系

下载全文  

共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明了集合范畴上的子共代数都是正则子共代数.进一步利用共同余共关系与子共代数之间的对应,给出了… …   相似文献

周晓聪  舒忠梅 《软件学报》2006,17(4):713-719

使用资源利用率作为负载平衡系统的负载指标

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

一个可以正确反映当前系统负载情况的负载指标对一个成功的动态负载平衡系统来说是至关重要的．但是,很少负载平衡系统对其选定给出一个实验说明,而且多数系统使用资源队列长度（即ＣＰＵ队列长度）作为负载指标．本文说明了这种负载指标存在的缺点,并对一种新的负载指标－资源利用率进行了讨论．实验… …   相似文献

鞠九滨  杨鲲  徐高潮 《软件学报》1996,7(4):238-243

网构软件的Wright-Fisher 多策略信任演化模型

下载全文  

网构软件是开放网络环境中软件系统基本形态的一种抽象,其信任关系本质上是最复杂的社会关系之一.为了增强信任演化模型的自适应性,提高预测的准确性以及有效地抑制自私节点的产生,结合差异化服务和演化博弈理论,提出了一种符合开放网络特征的信任演化模型:(1)建立基于差异化服务的实体全局收益… …   相似文献

印桂生  王莹洁  董宇欣  崔晓晖 《软件学报》2012,23(8):1978-1991

信息物理融合系统的动态多优先级调度

  

信息物理融合系统(Cyber-physical Systems,CPS)的复杂和异构性给设计者带来了不少挑战,其中任务的多样性使得传统的调度策略不能满足CPS的性能需求.提出了专门针对基于大规模传感器网络的CPS的动态多优先级调度策略.根据任务类型分配4级缓存队列:第1级是来自控… …   相似文献

刘纯尧  张立臣 《计算机科学》2015,42(1):28-32

一种基于可变多簇结构的动态概率粒子群优化算法

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

针对传统粒子群优化算法中全连接型拓扑和环形拓扑的特点,引入了一种粒子群信息共享方式——多簇结构,进而基于多簇结构提出了动态可变拓扑策略以协调动态概率粒子群优化算法的勘探和开采能力,并从理论上分析了最优信息在各种拓扑中的传播,同时从图论角度分析了几种经典拓扑以及动态可变多簇结构的统… …   相似文献

倪庆剑  张志政  王蓁蓁  邢汉承 《软件学报》2009,20(2):339-349

智能存储及管理技术探析*

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

为了实现高性能、低成本管理和适应信息爆炸性增长的需求,存储系统应向存储智能化、管理自动化、存储容量无限方向发展。介绍了目前智能  相似文献

韩德志  刘昊 《计算机应用研究》2005,22(2):5-7

中国图象工程：1998

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

此文是关于中国图象工程的度度文献综述系列之四。考虑到目前我国图象工程的研究,图象技术的应用和有关文献的分布情况,我们查看了１９９８年发表在国内１５种有关图象工程重要中文期刊上的近１４００多篇学术研究和技术应用论文,并从中选出３００多篇根据其主要内容进行了分类和统计,  相似文献

章毓晋 《中国图象图形学报》1999,4(5):427-438

基于命题投影时序逻辑的单调速率调度算法模型检测

下载全文  

提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调… …   相似文献

田聪  段振华 《软件学报》2011,22(2):211-221

能量均衡的无线传感器网络非均匀分簇路由协议

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

提出了一种能量高效均衡、非均匀分簇和簇间多跳路由有机结合的无线传感器网络分布式分簇路由协议DEBUC(distributed energy-balanced unequal clustering routing protocol).该协议采用基于时间的簇头竞争算法,广播时间取决于… …   相似文献

蒋畅江  石为人  唐贤伦  王平  向敏 《软件学报》2012,23(5):1222-1232

Inf引导安装中快捷方式的自动建立方法

下载全文  

1 问题的提出 文件安装时通常涉及到自动建立程序组和快捷方式的问题。利用Inf格式文件进行应用程序文件引导安装时也不可避免地需要解决在一些特定位置建立程序组和快捷方式的问题。其实通过编写Inf文件,在安装时,能在“开始程序”菜单、“开始”菜单、桌面、启动组、快速启动区等位置建立程… …   相似文献

杜青  丁志斌  丁健  张居正  聂永平  张万军 《计算机系统应用》2002,11(10):70-73

软件测试研究

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

软件测试是保证软件质量和提高软件可靠性的重要手段.随着软件程序量和复杂度不断地增加,人们对软件质量的要求也在不断提高,软件测试在软件开发过程中占据的位置也变的越来越重要了,同时软件测试的工作量也显得越加艰巨.系统介绍了软件测试的概述包括软件测试的定义、阶段、过程模型和目的,并分析… …   相似文献

薛冲冲  陈坚 《计算机系统应用》2011,20(2):240-244