•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8641-8660项 搜索用时 105 毫秒
[首页] « 上一页 [428] [429] [430] [431] [432] 433 [434] [435] [436] [437] [438] 下一页 » 末  页»
8641.
下载全文  总被引:2,自引:0,他引:2
本文介绍一种采用双重随机算法、交互组卷的题库管理系统的系统结构和功能。  相似文献
8642.
下载全文  总被引:2,自引:1,他引:2
近些年,多主体系统的理论及应用得到了人们的广泛关注,并得以迅速发展.研究者提出了很多基于多主体系统理论的模型,用于求解各种问题.AER(Agent-environment-rules)模型正是一个用于求解约束满足问题较为成功的例子.但是,主体的静态策略选择在一定程度上限制了模型的… …   相似文献
8643.
下载全文  总被引:1,自引:0,他引:1
操作系统原理课程普遍存在实践教学设备的缺乏和低效,为此,提出一种采用插桩技术的可视化操作系统虚拟实验室VOSLS(A Visual Operating System Virtual Lab Using Stub Method)。采用插桩方案调试用于实验的操作系统内核,将复杂的GD… …   相似文献
8644.
  
针对网络防火墙在私有云平台安全防护上的单调与缺陷, 提出了一种基于进程资源监控的安全监测方法(PAMon)。首先利用虚拟机监控器获取平台上虚拟机的物理资源信息; 然后通过映射表重构进程资源信息; 再对重构的进程信息从关键进程、进程隐藏和进程占用资源异常三方面分析恶意进程; 最后对… …   相似文献
8645.
  
本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性.  相似文献
林惠民 《软件学报》1997,8(5):321-326
8646.
  
随着在线社会网络规模的不断扩大,在线社会网络中的用户信息过载问题成为业界关注的焦点。社会网络中实体的复杂性和社交网络结构的复杂性给社交网站中的个性化推荐带来新的研究问题和挑战。提出一种基于博弈的预测模型,利用非合作博弈进行链接预测,设计了一个通过链接预测来实现个性化推荐的算法。最… …   相似文献
杨阿祧  汤庸  王江斌  李建国 《计算机科学》2015,42(9):191-194, 219
8647.
主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 ab≠? .… …   相似文献
李永明  李三江 《软件学报》2007,18(10):2458-2468
8648.
下载全文  总被引:5,自引:1,他引:4
本文讨论了我们自行开发的BPU-CLP(R)系统中推理机与约束求解器的协调技术.协调主要发生在回溯机制中.本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.  相似文献
张秀珍  刘椿年 《软件学报》1996,7(7):415-421
8649.
  
基于情感、动机的非语言交互是影响人—虚拟角色交互效果的重要因素,提出了基于云模型的人—虚拟角色非语言交互模型。以尊敬的交互为例,设计了基于云模型的三级尊敬分级模型,提出了基于云模型的交互按钮设计方法。提出了尊敬按钮云滴归属算法,使虚拟角色理解尊敬的过程符合人类认知的不确定性;提出… …   相似文献
8650.
  
针对移动对等网络中终端稳定性差、动态性高的特点,提出了一种基于动态角色属性的MP2P信任模型。该信任模型引入了交易稳定因子和时间经验值,根据不同时刻的节点时间经验值以及贡献值,动态地赋予网络节点不同的角色,并根据角色的重要性决定计算信任值时的权重和资源下载量。仿真证实,该模型能抑… …   相似文献
8651.
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了NL松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:NL与N等价;有N的证明则必有长度不超过它的NL证明。… …   相似文献
何锫  唐稚松 《软件学报》1993,4(4):51-55
8652.
  
为了减少老年人因跌倒而造成的伤害,及时有效地识别跌倒行为,提出了一种基于三轴加速度传感器的人体跌倒识别方法。首先将加速度传感器放置于人体腰腹位置,采集人在运动时的加速度变化数据;然后使用日常活动数据训练隐马尔科夫模型(HMM),利用老年人活动状态相对较少的特点,从测量数据与HMM… …   相似文献
8653.
  
针对目前很多三维表情合成算法计算量大、方法比较复杂、真实感不强的特点,结合人脸分布特征,提出了一种基于Delaunay三角剖分的三维表情合成新算法。该方法通过对人脸特征点集的快速三角剖分避免了病态三角网格,有效提高了合成后人脸表情的真实度,降低了算法复杂度。大量实际人脸表情合成的… …   相似文献
8654.
下载全文  总被引:6,自引:0,他引:6
针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于(m~-,p)弱硬实时约束,提出了一种基于裁剪的调度算法(cut-down based scheduling,简称CDBS).由于判断(m~-,p)约束是否满足需要遍历任务的整个执行序列,因此判… …   相似文献
吴彤  金士尧  刘华锋  陈积明 《软件学报》2008,19(7):1837-1846
8655.
  
为确保数字音频数据感知意义上的完整性,提出了一种新的音频认证水印算法。该算法把原始音频分帧,每帧分为两节,在第一节时域中嵌入同步码,将第二节进行DCT变换,计算邻帧关系向量,并将其作为水印信息嵌入其他帧第二节的DCT中频系数。认证时,计算邻帧关系误差,据事先设定的阈值来判断音频是… …   相似文献
8656.
  总被引:2,自引:1,他引:2
针对噪声环境下的语音识别问题,对现有的噪声鲁棒语音识别技术进行讨论,阐述了噪声鲁棒语音识别研究的主要问题,并根据语音识别系统的构成将噪声鲁棒语音识别技术按照信号空间、特征空间和模型空间进行分类总结,分析了各种鲁棒语音识别技术的特点、实现,以及在语音识别中的应用。最后展望了进一步的… …   相似文献
8657.
下载全文  总被引:2,自引:0,他引:2
提出了一种基于变分隐函数插值的连续多分辨率模型生成算法,通过递归地删除网格模型中的边得到连续的简化模型.算法采用变分隐函数插值的方法对网格模型分区域插值,生成原始模型的区域插值隐函数曲面,并以对应隐函数曲面上的采样点作为边折叠的目标点.算法建立了可调加权控制函数来控制边的简化顺序… …   相似文献
曹卫群  鲍虎军  彭群生  胡敏 《软件学报》2000,11(9):1248-1256
8658.
本文讨论多项式时间多一可化归度(p-m度)的分裂间题.主要结果是:存在非零的p-m度a,对任何自然数n≥1当a分裂成n+1个度a0,a1,…,an的并时,其中至少有n对(ai,aj)(i≠j;i,j≤n)不是极小对.从而推广了Ambos-Spies中关于存在非零p—m度a不能分裂成一个极小对的结果.… …   相似文献
郑锡忠 《软件学报》1994,5(4):53-59
8659.
下载全文  总被引:2,自引:0,他引:2
为了真实的模拟果树枝干形态,提出形态特征信息和参数L系统相结合的果树枝干可视化方法.以梨树的树体结构为研究对象,提炼其相关的形态结构特征以及生态生理等特性变化;应用L系统建模方法对梨树建立包含树枝的粗细、分叉角度等细节信息的模型;最后使用OpenGL三维建模技术将梨树生长几何信息… …   相似文献
8660.
算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在… …   相似文献
陈靖 《软件学报》2003,14(10):1681-1691
[首页] « 上一页 [428] [429] [430] [431] [432] 433 [434] [435] [436] [437] [438] 下一页 » 末  页»