•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9881-9900项 搜索用时 116 毫秒
[首页] « 上一页 [490] [491] [492] [493] [494] 495 [496] [497] [498] [499] [500] 下一页 » 末  页»
9881.
下载全文  总被引:4,自引:1,他引:4
在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:ThlSign的反射余极限.… …   相似文献
刘富春 《软件学报》1999,10(2):197-200
9882.
  
海量空间信息的处理需要分布式协同工作的GIS平台支持。为解决空间数据源的异构和分布式网络中的计算能力共享问题,设计了分布式空间信息的协同计算模型,分析了分布式空间信息协同计算具备的基本特征;从空间数据分布存储模型、空间数据分布式计算协同和分布式空间数据并行索引等方面讨论分布式空间… …   相似文献
9883.
CIMBASE是为计算机集成制造系统而设计的一个异构分布式数据库管理系统.CIMBASE的重要用户接口之一是它的C预编译程序.它允许用户在C里访问远程数据库,是用户开发计算机集成制造系统的重要编程接口.在这篇论文里,我们先介绍它的主要功能,而后集中讨论有关它的实现技术.特别是必要… …   相似文献
9884.
下载全文  总被引:5,自引:0,他引:5
本文介绍了用NetFlow对网络异常流量的特征进行了深入的分析,并提出了如何在网络层面对网络异常流量采取防护措施。  相似文献
9885.
  
对于多分类问题,大多是经二分类器组合进行训练的,在分类类别多、特征维数高时,存在识别准确率不高和训练速度较慢的问题。将超球支持向量机应用到多类问题,为每个类建立一个超球体模型,通过多个超球体划分样本空间。采用改进的基于排挤的小生境遗传算法(improved crowding ni… …   相似文献
9886.
下载全文  总被引:1,自引:1,他引:1
最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationandd… …   相似文献
沈武威  唐稚松 《软件学报》1996,7(6):321-330
9887.
  
当前群体发现研究主要利用通联关系挖掘用户群体, 未能充分利用网络中所隐含的用户社交关系, 致使挖掘的群体不能真实反映用户在社会生活中的群体关系。提出一种基于用户位置信息的群体发现方法, 利用序列模式挖掘算法挖掘用户位置规律序列, 建立位置序列相关性度量标准, 以位置规律相关性揭示… …   相似文献
9888.
  
在分析现有功率控制算法的基础上,针对基于路损功率补偿算法中存在的系统吞吐量和小区干扰水平互为矛盾的问题,提出了一种基于差分路损补偿功率控制的改进算法。通过数值仿真证明,该算法具有更好的提高系统吞吐量和降低小区干扰水平的优点,能够使两者达到最佳折中,从而对于提高频谱效率具有更强的性… …   相似文献
9889.
  总被引:2,自引:0,他引:2
将基于案例推理(CBR)技术与XML结合,提出了基于XML的案例表示方法,给出了DTD定义,分析了它与传统数据库相比的优势,并以Snort规则的基于XML的案例化为例,证明了该方法的有效性.所做工作为CBR的研究提供了一些新的思路.  相似文献
9890.
在无线局域网的快速切换过程中,当存在多个可选的目标接入,点(access point,AP)时,为了均衡负载,提出一种结合AP剩余带宽、信号强度以及AP当前负载比的目标AP选择方法。在所有可能的邻接AP中,若AP的剩余带宽小于移动终端所需带宽,则对这些AP不予考虑,否则,利用其邻… …   相似文献
9891.
下载全文  总被引:21,自引:0,他引:21
本文提出一种确定任意多边形凸凹顶点的算法.该算法的时间复杂性为O(n2logn)次乘法和O(n2)次比较.  相似文献
周培德 《软件学报》1995,6(5):276-279
9892.
  
为了准确地建模突触前刺激引起的谷氨酸信号和突触后刺激引起的峰电位信号,并将这两个信号用于STDP突触模型的验证,提出一种谷氨酸信号和后向传播树突信号的离子通道动力学模型。模型的仿真结果不仅得到了实际生理学机理下的谷氨酸信号和树突信号,而且对STDP突触模型的验证还得到了STDP突… …   相似文献
9893.
  总被引:1,自引:0,他引:1
针对现有的微阵列数据集成分类方法分类精度不高这一问题,提出了一种Bagging-PCA-SVM方法。该方法首先采用Bootstrap技术对训练样本集重复取样,构成大量训练样本子集,然后在每个子集上进行特征选择和主成分分析以消除噪声基因与冗余基因;最后利用支持向量机作为分类器,采用… …   相似文献
9894.
有效的消息通讯是提高分布存储器并行计算机性能的关键因素.点对点通讯和广播通讯是2种常用的消息通讯方法,而多播通讯(Multicasting)是指从一个源节点同时给任意多个目标节点发送消息,这种通讯比点对点和广播2种方式更具一般性,适用于很多实际应用的需求.本文针对PAR95并行计… …   相似文献
9895.
随着集群搭建的高性能计算中心快速发展,海量数据处理中CPU和内存的速度已经有了质的飞跃,但是I/O部分的速度仍是制约整个系统性能的瓶颈。本论文目的在于通过深入研究流媒体系统的特性,来提取出一种高效、均衡的文件存储分配策略,增大服务并行度并且减小服务延时。首先对媒体文件进行特征评估… …   相似文献
9896.
嵌入式数据库SQLite是一个基于磁盘文件系统的关系数据库,具有占用内存小、速度快、效率高及可移植等特点,非常适合于硬件资源有限的嵌入式系统。本文介绍了SQLite的特点,详细分析了SQLite的体系结构、工作机制和内部结构,并针对作者所开发的基于ARM-Windows CE平台… …   相似文献
9897.
  
研究了一类不确定离散多时滞系统的鲁棒H∞控制问题。针对具有多状态时滞和不确定参数的离散系统,利用Lyapunov稳定性理论和线性矩阵不等式方法,设计无记忆鲁棒H∞状态反馈控制器,给出了状态反馈控制器的设计方法和闭环时滞系统渐近稳定且满足给定H∞性能指标的充分条件。最后,通过MAT… …   相似文献
9898.
  总被引:4,自引:0,他引:4
提出一种新的空闲状态检测方法,以训练集中各类运动想象样本的类内散度和正确检测率为指标,结合接收机曲线确定分类阈值,设计最佳三分类器,并采用模糊化技术对预测标签进行处理。将该方法应用于2005年BCI竞赛数据IVc,测试的均方误差为0.278 7。实验结果验证了该方法的有效性。… …   相似文献
9899.
中国科学院超级计算环境是整合了包括总中心、分中心和所级中心计算资源的3层架构超级计算环境.为提升超级计算环境的可靠性,提供稳定、可靠的计算服务,其容错机制的研究成为超级计算环境的一个研究重点.在对容错基本思想及各类计算机容错技术进行充分调研的基础上,提出一种适用于超级计算环境的容… …   相似文献
赵毅  曹宗雁  朱鹏  迟学斌 《软件学报》2013,24(S2):89-98
9900.
  
车载Ad hoc网络是专用自组织网络中研究和应用最为活跃的领域,其中如何实现车辆节点的Internet接入,进行车载Ad hoc网络网关的研究十分必要。主要分析了网关发现策略中主动式的网关发现机制,对主动网关发现机制现存的问题进行了分析。同时针对车载Ad hoc网络的特殊性以及主… …   相似文献
王磊  杨扬  王宁 《计算机应用研究》2012,29(8):3085-3087
[首页] « 上一页 [490] [491] [492] [493] [494] 495 [496] [497] [498] [499] [500] 下一页 » 末  页»