基于精细化梯度的无线传感器网络汇聚机制及分析

下载全文  

信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网络流量分析复杂化.提出一种精细化梯度模型,通过引入加权平均… …   相似文献

朱红松  孙利民  徐勇军  李晓维 《软件学报》2007,18(5):1138-1151

基于多点触摸的交互手势分析与设计*

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

提出了基于多点触摸的交互手势分析与设计方法。引入触摸手势元动作,采用接触面类型和状态及运动方式描述触摸手势,给出了简单触摸手势的统一描述框架,并提出了交互手势与交互任务的映射规则,将手势定义和手势意图联系起来。向交互设计者提供一种系统化和标准化的方法,提高了交互手势设计的通用性。… …   相似文献

张国华  衡祥安  凌云翔  老松杨 《计算机应用研究》2010,27(5):1737-1739

专家证据文档识别无向图模型

下载全文  

专家证据文档识别是专家检索的关键步骤.融合专家候选文档独立页面特征以及页面之间的关联关系,提出了一个专家证据文档识别无向图模型.该方法首先分析各类专家证据文档中的词、URL 链接、专家元数据等独立页面特征以及候选专家证据文档间的链接和内容等关联关系;然后将独立页面特征以及页面之间… …   相似文献

毛存礼  余正涛  吴则建  郭剑毅  线岩团 《软件学报》2013,24(11):2734-2746

时间约束Petri网及其可调度性分析与验证

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

时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度… …   相似文献

宋巍  窦万春  刘茜萍 《软件学报》2007,18(1):11-21

多角色与虚拟场景的运动融合

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

在基于运动捕获的计算机动画中,已提出的各种运动编辑的方法大都针对单个角色运动进行处理,而且角色的运动多数是事先规划好的,缺乏对外界环境变化的响应能力.为了提高角色对环境的感知、响应能力以及角色间的自主协同能力,提出将多个结构化环境下捕获的单角色运动融合到同一个非结构化虚拟环境下的… …   相似文献

罗忠祥  庄越挺  潘云鹤  李岳梅 《软件学报》2003,14(3):635-642

面向参数化LTL的预测监控器构造技术

下载全文  

介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称P_ALTL)公式运行时预测监控器构造方法.一方面研究P_ALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀.… …   相似文献

赵常智  董威  隋平  齐治昌 《软件学报》2010,21(2):318-333

XML Schema在科学数据库元数据互操作中的应用*

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

XML Schema是XML的Schema语言,用来描述XML文档的合法结构、内容和约束。以科学数据库元数据标准建设为背景,介绍了XML Schema及其在科学数据库元数据互操作中的应用情况,并展望了科学数据库元数据互操作研究的发展方向。  相似文献

刘飞  黎建辉  阎保平 《计算机应用研究》2005,22(5):199-201

基于分析特征与动态步长的微博排序学习算法

下载全文  

目前,微博搜索大多应用向量空间模型计算查询词与文档间的相关程度,通常使用TF-IDF（termfrequency-inverse document frequency）统计方法来确定词的权重.然而仅使用词进行微博搜索并不能检测到某条微博的信息含量,而这些往往是查询用户所关注的问题… …   相似文献

周诗龙  徐俊刚 《软件学报》2013,24(S2):150-161

一种基于Petri网化简的工作流过程语义验证方法

下载全文  总被引：15，自引：2，他引：15

过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,… …   相似文献

周建涛  史美林  叶新铭 《软件学报》2005,16(7):1242-1251

基于隐马尔可夫模型的运动目标轨迹识别 *

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

引入改进的隐马尔可夫模型算法,针对真实场景中运动目标轨迹的复杂程度对各个轨迹模式类建立相应的隐马尔可夫模型,利用训练样本训练模型得到可靠的模型参数;计算测试样本对于各个模型的最大似然概率,选取最大概率值对应的轨迹模式类作为轨迹识别的结果,对两种场景中聚类后的轨迹进行训练与识别。实… …   相似文献

潘奇明  程咏梅 《计算机应用研究》2008,25(7):1988-1991