•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7461-7480项 搜索用时 122 毫秒
[首页] « 上一页 [369] [370] [371] [372] [373] 374 [375] [376] [377] [378] [379] 下一页 » 末  页»
7461.
信息系统实施过程中,由于需要其他系统基础数据支持,因此根据项目的实际情况同步数据。以一个数据整合项目为例,提供了一个不同数据库之间的数据自动导入和同步的解决方案。  相似文献
7462.
使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessorsP即使在出现硬件错误的情况下运行,也能满足性质SpecP.… …   相似文献
郭亮  唐稚松 《软件学报》2003,14(1):54-61
7463.
  总被引:2,自引:0,他引:2
考虑到滚动轴承振动信号的非平稳特征和实际应用中典型故障样本不易获得等原因,而在实际应用中,故障程度识别和故障类型诊断一样重要,提出一种滚动轴承故障类型及故障程度识别方法。首先对原始振动信号进行EMD分解,对含故障特征的IMF(intrinsic mode function)分量进… …   相似文献
7464.
  
提出了一种complex moment的圆度测量方法。作为图像的形状特征,该方法易于计算,并可以减少形状提取时的大量计算,对噪声和狭窄区域有很好的鲁棒性。使用图像结构相似度度量方法 FSIM,结合complexmoment的圆度特征、图像的相位特征、相位不变性特征,既弥补相位不变… …   相似文献
7465.
下载全文  总被引:14,自引:0,他引:14
BDI(信念、期望和意图)逻辑是当前agent理论研究的热点课题之一,相关研究工作较少涉及对agent间通信的描述.文章旨在提出一个能表示和推理多agent间基于言语行为理论的通信行为的扩展BDI逻辑.该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑,除了包含标准BDI… …   相似文献
7466.
提出一种短流优先的公平带宽分配机制FPIP(fair PIP).通过区别处理短流和长流的报文,FPIP能够将带宽优先分配给短流,然后将剩余的带宽在长流之间公平分配.此外,FPIP采用主动队列管理机制AQM(active queue management)检测拥塞并控制队列长度.仿… …   相似文献
张鹤颖  蒋杰  窦文华 《软件学报》2007,18(3):765-774
7467.
下载全文  总被引:4,自引:0,他引:4
加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench… …   相似文献
丁一强 《软件学报》1999,10(10):1103-1107
7468.
J2EE技术在业界内被一致认为是非常优秀的软件构架,并在许多大型项目中得到了广泛应用,本文分析了基于J2EE技术的表现层开源构架Struts,业务层开源构架Spring和数据持久层开源构架Hibernate的相关技术特点,并把这种基于Struts Spring Hibernate… …   相似文献
7469.
蠕虫通过发送网络服务请求搜寻感染目标,主机的异常网络服务请求可以作为蠕虫检测的依据.提出了一种蠕虫检测系统,基于阳性选择算法构造自体字符串集合描述主机的正常网络行为.自体字符串集合采用Bloom filter过滤器的形式表示,用于监视主机的网络行为以发现网络中可疑的网络服务请求.… …   相似文献
洪征  吴礼发 《软件学报》2010,21(4):816-826
7470.
下载全文  总被引:1,自引:0,他引:1
对2005年度国家自然科学基金委员会信息科学部计算机科学处面上项目的申请和资助情况进行了总结.提出了2006年项目申请建议.  相似文献
徐琳  刘志勇  刘克 《软件学报》2005,16(11):2021-2028
7471.
下载全文  总被引:5,自引:0,他引:5
交互式并行化系统通过提供友好的交互功能并引入用户知识来协助程序的并行化,是解决自动并行化能力不足的一条有效途径.描述了一个并行化系统交互环境TIPSIE(interactive en vironment of Tsinghua interactive parallelizing … …   相似文献
杨博  王鼎兴  郑纬民 《软件学报》2001,12(5):698-705
7472.
下载全文  总被引:1,自引:0,他引:1
在无线Ad Hoc网络中,拓扑控制算法能够使节点的传输功率小于最大传输功率,从而可以节省网络能量,提高网络容量.由于节点分布的随机性,在节点较为稀疏的区域,拓扑控制算法存在着局限性,因而提出了移动控制算法来改善拓扑控制算法的性能.在保证网络连通性的前提下,算法首先根据收集到的信息… …   相似文献
公维宾  常义林  沈中 《软件学报》2011,22(10):2335-2345
7473.
  总被引:1,自引:1,他引:0
对标准模型下可证安全的基于身份认证密钥协商协议进行安全分析,指出由于传送消息存在冗余,协议不能抵御伪装攻击。为解决上述安全漏洞,提出一个改进的基于身份认证密钥协商协议,并在标准模型下分析其安全性。结果表明,新协议满足基于身份认证密钥协商协议的所有安全要求。  相似文献
7474.
下载全文  总被引:7,自引:2,他引:7
数据压缩是提高多维数据仓库性能的重要途径,联机分析处理是数据仓库上的主要应用,Cube操作是联机分析处理中最常用的操作之一.压缩多维数据仓库上的Cube算法的研究是数据库界面临的具有挑战性的重要任务.近年来,人们在Cube算法方面开展了大量工作,但却很少涉及多维数据仓库和压缩多维… …   相似文献
高宏  李建中 《软件学报》2001,12(6):830-839
7475.
针对资源受限多项目整体进度优化问题,考虑资源分配过程中的资源闲置成本,提出了一种集成工期延迟和资源闲置成本的多目标调度协同优化模型。通过该模型提高了资源的利用效率,理论上实现了多项目在目标成本最小情况下的整体进度方案。综合利用模拟退火算法和遗传算法的优点,设计退火遗传算法对该模型… …   相似文献
7476.
下载全文  总被引:3,自引:1,他引:3
局部搜索法在SAT问题上的成功运用已引起越来越广泛的重视,然而,它在面对不可满足问题例时的局限性不能不被考虑.分级重排搜索算法MSRA(multi-stagesearchrearrange-mentalgorithm)正是为克服局部搜索法的不完备性而提出的,准确地讲,它是几种算法… …   相似文献
刘涛  李国杰 《软件学报》1996,7(4):201-210
7477.
聚类分析是Web个性化应用的一种重要技术手段,本文分析了K-means、MCA、Buildclassification三种典型的聚类算法.考虑到学习知识的循序渐进性,引入一个时间分量,提出一种基于时间序列性的推荐算法.在这个算法中,综合利用了三种聚类算法,将资源的后继资源在最准确… …   相似文献
7478.
下载全文  总被引:4,自引:0,他引:4
联机分析处理OLAP(online analytical processing)查询作为一种复杂查询,当使用SQL(structured query language)语句来表述时,通常都包含多表连接和分组聚集操作,因此提高多表连接和分组聚集计算的性能就成为ROLAP(relat… …   相似文献
7479.
成本核算是企业经常进行的一项繁杂工作,需要对组成产品的所有零部件成本进行核算,这涉及大量的基础数据。以样例数据详细阐述基于产品结构(或称物料清单)——BOM(Bill of Material)的成本卷积逻辑,为企业的成本核算提供一种企业资源计划(ERP-Enterprise Re… …   相似文献
7480.
  
在大数据环境下,当利用机器学习算法对训练样本进行分类时,训练数据的高维度严重制约了分类算法的性能。文中应用L1准则的稀疏性,提出了一种在线特征提取算法,并用该算法对训练实例进行分类。利用公开数据集对算法的性能进行了分析,结果表明,提出的在线特征提取算法能准确地对训练实例进行分类,… …   相似文献
[首页] « 上一页 [369] [370] [371] [372] [373] 374 [375] [376] [377] [378] [379] 下一页 » 末  页»