·
搜索结果:找到“状态转换规则”相关结果15654条
排序: 按相关 按相关 按时间降序
  • 【期刊】 MonoLoop:CA城市模型状态转换规则获取的一种方法

    刊名:测绘与空间地理信息 作者:刘翠玲 ; 龙瀛 ; 王艳慧 关键词:Logistic回归 ; 多指标评价 ; 元胞自动机 ; 城市增长 机构:首都师范大学资源环境与旅游学院 ; 首都师范大学资源环境与旅游学院 ; 北京市城市规划设计研究院 年份:2013
    摘要:状态转换规则是元胞自动机(Cellular Automata,CA)的核心,如何获取并建立CA的状态转换规则是构建CA模型的关键。邻域作用是CA能够模拟复杂物理现象的核心驱动力,而在已有的用于城市增长模拟的CA城市模型中,因为邻域作用在模拟的过程中为时间动态的变量,其系数很难通过常用的Logistic回归方法识别,致使已有的CA城市模型的状态转换规则中,往往仅通过Logistic回归获取邻域作用之外的空间变量的模型参数,而邻域作用的参数通常采用主观赋值的方法。本文提出了CA城市模型的多指标评价(Multi-Criteria Evalua-tion,MCE)形式状态转换规则获取的一种新方法 MonoLoop,并针对北京市域1976~2006年的城市增长开展了该方法的实验。基于这种方法,一方面利用历史数据可以建立更为客观的状态转换规则;另一方面也可以大大降低模型参数识别的时间。
  • 【期刊】 状态图到规则转换

    刊名:小型微型计算机系统 作者:胡春丽 ; 毋国庆 ; 何峰 ; 蔡持峰 ; 李剑 关键词:需求描述模型 ; 实时系统 ; 规则集 年份:2001
    摘要:本文指出了在一个面向嵌入式实时系统软件的需求定义环境中 ,系统如何将可视的分层状态转换为形式化规则的方法 ,以及转换后的规则如何存放于模板中和被显示 .最后 ,本文也阐述了此工作的作用和意义 .
  • 【期刊】 UML状态图到B形式化规范的转换实现

    刊名:软件导刊 作者:滕飞 ; 杨静 关键词:UML状态图 ; B方法 ; 转换工具 ; UML2B 机构:贵州大学计算机科学与技术学院 ; 贵州大学计算机科学与技术学院 年份:2017
    摘要:统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UMI。模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UMI。状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。
  • 【期刊】 类型转换规则问题浅析

    刊名:电脑知识与技术 作者:印玲 ; 宋力立 关键词:编码规范 ; 规则检查 ; 类型转换 机构:上海航天电子技术研究所 ; 上海航天电子技术研究所 年份:2017
    摘要:论文阐述了类型转换所要遵守的规则,介绍此类问题的表现形式、种类,规则检查时的分析要点,并列举了一则航天型号软件中所发生的案例来说明类型转换可能产生数值误差,以及引发的代码质量问题.论文可用于指导航天型号软件代码规则检查.
  • 【期刊】 基于规则的OpenStreetMap数据模型转换

    刊名:测绘与空间地理信息 作者:江瑜 ; 周晓光 ; 李志盛 ; 赵肄江 关键词:VGI ; OpenStreetMap ; 模型转换 ; 规则库 机构:中南大学地球科学与信息物理学院 ; 中南大学地球科学与信息物理学院 年份:2016
    摘要:周边区域地理信息的获取是我国地缘环境研究中的一个难题,志愿者地理信息(volunteered geographic information,VGI)的兴起为解决该难题提供了一个可行的方法。在目前一系列的VGI项目中,OpenStreetMap(OSM)是比较领先的应用,但OSM数据模型不同于我国周边应用的专业矢量数据模型,因此,利用OSM数据时首先需要对其进行模型转换。有鉴于此,本文提出了一种基于规则的OSM数据到专业应用矢量数据模型转换方法。该方法首先利用OSM定义的几何类型与地物属性作为分类依据,建立了模型转换基本规则库;对于志愿者根据自己的理解自行标注未包含在基本规则库中的目标采用人机交互方式进行模型转换,并在此过程中不断完善规则库,利用越南与巴基斯坦数据进行实验,最终形成了包括2 344条转换规则的模型转换规则库,为OSM数据模型到专业应用矢量数据模型的转换提供了一条可行途径。
  • 【期刊】 扰动模糊有限转换状态

    刊名:计算机工程与应用 作者:彭家寅[1] 关键词:扰动模糊有限(转换)状态机;(强)同态;同余关系;容许关系;核 机构:内江师范学院数学与信息科学学院 ; 内江师范学院数学与信息科学学院 年份:2016
    摘要:引入了扰动模糊有限转换状态机和扰动模糊有限状态机的(强)同态的概念,研究了它们的相关性质。给出了Σ的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了Q上容许关系及强同态的核的概念,研究了它们的相关性质。
  • 【期刊】 SRM状态转换表和应用中新状态获取方法

    刊名:微特电机 作者:王吉华 ; 任传波 ; 曲金玉 ; 李超 关键词:开关磁阻电机 ; 状态转换表 ; 定转子位置关系 机构:山东理工大学 ; 山东理工大学 年份:2018
    摘要:针对有光电位置传感器的三相12/8开关磁阻电机(SRM),根据位置传感器、定子和转子位置关系,分析转子相对位置变换和传感器检测值,得出状态转换表,并分析其规律。考虑到读取传感器值来获取当前新状态的方法在实际应用中遇到的困难,根据状态转换表规律,提出捕捉传感器和查表的方法来获取新状态,并设计查询表。该方法在实际调速系统的各种转速下均得到运行验证。状态转换表分析和新状态获取的方法可为各种SRM调速系统设计和运行控制提供参考。
  • 【期刊】 广告过滤规则轻松转换

    刊名:电脑迷 作者:天涯衰草 年份:2011
    摘要:如今几乎每种安全类软件都有一套属于自己的过滤规则,当更换新的安全软件时,如果不想重新对广告过滤规则进行重新设置,就需要将旧软件的过滤规则导入到新的软件规则中。
  • 【期刊】 Cassie状态到Wenzel状态转换的能量分析

    刊名:化工学报 作者:隋涛 ; 汪家道 ; 陈大融 关键词:疏水性 ; 接触角 ; Wenzel状态 ; Cassie状态 机构:清华大学精密仪器与机械学系摩擦学国家重点实验室 ; 清华大学精密仪器与机械学系摩擦学国家重点实验室 年份:2011
    摘要:从能量的角度分析了液滴在具有圆柱形阵列的硅片表面上从Cassie状态向Wenzel状态转换的条件。通过理论计算得到了液滴在不同参数的圆柱阵列上发生状态转换所需克服的能量势垒与液滴体积之间的关系曲线,并通过实验对体积大于2μl的液滴做了验证。实验表明,对于体积大于2μl的液滴可以通过增大液滴重力势能的方式实现从Cassie状态到Wenzel状态的转化,也可以保持液滴体积不变,通过增大圆柱阵列的柱间距的方法实现液滴从Cassie状态到Wenzel状态转换。实验结果与理论分析保持一致。
  • 【期刊】 关联规则向Snort规则转换的应用研究

    刊名:计算机与数字工程 作者:李云 ; 刘学诚 ; 朱峰 关键词:网络安全 ; 入侵检测 ; 关联规则 ; Snort规则 机构:泰山学院数学与系统科学系 ; 泰山学院数学与系统科学系 年份:2010
    摘要:在入侵检测中的使用关联规则算法,在检测的时候需要重新计算一些统计数据,降低了检测的速度和准确度,所以它提出了一种把数据挖掘的关联规则转化成Snort规则库的方法,这样既提高了入侵检测的速度和准确率,也使得入侵检测具有了一定的自适应能力。
  • 【期刊】 基于DOM状态转换检测XSS漏洞

    刊名:北京工业大学学报 作者:王丹 ; 刘立家 ; 林九川 ; 赵文兵 ; 杜晓林 关键词:跨站脚本(XSS)漏洞 ; 文档对象模型(DOM) ; 状态转换图 ; 爬虫 ; Selenium 机构:北京工业大学信息学部 ; 北京工业大学信息学部 ; 公安部第三研究所信息网络安全公安部重点实验室 年份:2018
    摘要:为提升跨站脚本(cross site scripting,XSS)漏洞检测中对隐藏注入点的扫描覆盖率,有效判定是否存在XSS漏洞攻击,提出构建Web应用文档对象模型(document object model,DOM)状态转换图搜索XSS漏洞注入点的方法.该方法以DOM状态为节点,以浏览器事件为边对Web应用建模,结合页面分析和代理技术来识别漏洞注入点,提高XSS漏洞注入点判定准确率.首先分析页面中带参数的统一资源定位符(uniform resource locator,URL)和Form表单,并尝试触发页面元素的浏览器事件来检测其是否含有数据请求,以判定Web页面是否有疑似漏洞注入点;进一步利用探子向量进行测试,并根据探子向量的输出位置,对注入点进行分类并保存.之后,基于变异操作和过滤逃逸技术对XSS过滤逃避欺骗备忘单进行转换来设计攻击向量,对已发现的漏洞注入点进行测试,并设计多种方法对不同响应结果进行分析.最后,通过实验对比,验证了其有效性.
  • 【期刊】 英语词汇阅读中的形-音转换规则

    刊名:齐齐哈尔大学学报:哲学社会科学版 作者:党冀 关键词:词汇阅读 ; 形-音转换规则 ; 双通道模型 机构:吉林师范大学博达学院基础部 ; 吉林师范大学博达学院基础部 年份:2016
    摘要:表音文字中书写形式和读音之间存在一定的对应关系,这种关系具有一定的规则性,这叫做形-音转换规则(grapheme-phoneme correspondence/conversion,GPCrules),双通道词汇阅读模型认为阅读者可通过形-音转换规则来分解单词,通达语义。形-音转换规则会受到该语言正字法特性的限制。研究表明,早期阅读者掌握形一音转换规则对其阅读发展起到一定的预测作用。
上一页 1 2 3 4 5 6 7 8 9 10 下一页 跳转