期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
实时系统动态行为模型的一种形式分析方法 被引量:1
1
作者 戎玫 《计算机应用研究》 CSCD 北大核心 2009年第9期3365-3368,共4页
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序... 提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。 展开更多
关键词 实时系统 动态行为模型 时间约束 统一建模语言UML 2.0 对象自动机
在线阅读 下载PDF
RoboCup中基于效果操作的动态行为规划模型 被引量:3
2
作者 李静 骆斌 +1 位作者 陈兆乾 陈世福 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第5期467-475,共9页
如何提高agent的学习能力、对手建模能力以及多agent团队运作能力是目前RoboCup研究所面临的3项挑战,在上述的挑战中,行为规划起了非常重要的作用.agent如何能够在动态实时的复杂环境中根据场景变化来动态规划自己的行为是RoboCup目前... 如何提高agent的学习能力、对手建模能力以及多agent团队运作能力是目前RoboCup研究所面临的3项挑战,在上述的挑战中,行为规划起了非常重要的作用.agent如何能够在动态实时的复杂环境中根据场景变化来动态规划自己的行为是RoboCup目前急需解决的问题.提出一种面向效果操作方法的动态行为规划模型,使队员能够在场景分析的基础上,根据经验动态选择和执行行为策略,且具有持续学习的能力.采用贝叶斯信念网络和基于示例推理相结合的方法来实现.实验结果表明,该方法有效提高了队员适应环境的能力. 展开更多
关键词 机器人世界杯足球赛 人工智能 ROBOCUP 效果操作 动态行为规划模型 贝叶斯信念网络 示例推理
在线阅读 下载PDF
用户动态键盘行为分析的网络安全模型
3
作者 潘仙张 郭文平 应国良 《计算机应用与软件》 2017年第11期310-315,共6页
提出一种用户动态键盘行为模型即KDM,它结合了用户敲击键盘的频率、习惯和用户登录密码的认证方式,能达到zero-FAR,而传统论文中误识率(FAR)比较高。它极大地提高了用户登录系统的安全性,FAR比拒识率(FRR)重要的多。在ROC曲线中,KDM能保... 提出一种用户动态键盘行为模型即KDM,它结合了用户敲击键盘的频率、习惯和用户登录密码的认证方式,能达到zero-FAR,而传统论文中误识率(FAR)比较高。它极大地提高了用户登录系统的安全性,FAR比拒识率(FRR)重要的多。在ROC曲线中,KDM能保证0%FAR的情况下改善FRR,没有用等错误率(ERR)这个指标,这一点和传统论文有很大的不同。通过历史数据,证明了提出的方法非常实用。KDM能在毫秒内分析用户的键盘行为特征,这对基于生物特征的系统安全认证非常有效。 展开更多
关键词 键盘动态行为模型 认证系统 登录安全 信息系统安全
在线阅读 下载PDF
基于记忆曲线的数据密集型动态用户行为建模 被引量:1
4
作者 尹子都 岳昆 +2 位作者 武浩 付晓东 刘惟一 《计算机科学与探索》 CSCD 北大核心 2016年第10期1376-1386,共11页
分析用户行为的历史数据,使用特定方法建立用户的偏好模型,是目前研究的热点和关键。考虑了数据产生的时序特征,以及具有时间特征的变量在用户行为模型中的影响,以心理学中的记忆曲线模型为依据,从用户的行为数据出发,给出了用户偏好的... 分析用户行为的历史数据,使用特定方法建立用户的偏好模型,是目前研究的热点和关键。考虑了数据产生的时序特征,以及具有时间特征的变量在用户行为模型中的影响,以心理学中的记忆曲线模型为依据,从用户的行为数据出发,给出了用户偏好的表示,并为用户的每个偏好建立一个记忆曲线模型,实时地表示用户的偏好。针对海量的用户行为数据,提出了基于MapReduce的模型参数增量更新算法和动态用户偏好计算方法,从而使得模型能反映动态变化的用户偏好。建立在真实数据上的实验结果表明,提出的模型和算法具有高效性、正确性和可用性。 展开更多
关键词 动态用户行为模型 用户偏好 记忆曲线 增量更新 MAPREDUCE
在线阅读 下载PDF
多阶段建模过程中可重用数学模型表示方法 被引量:1
5
作者 邢英 张宏军 +1 位作者 张睿 赵振南 《计算机应用研究》 CSCD 北大核心 2012年第11期4206-4209,共4页
为解决多阶段建模过程中数学模型重用性问题,分析多阶段建模过程中数学模型表示现状及MDA(model driven architecture,模型驱动体系结构)对数学模型的重用性和平台无关性需求,提出作战训练仿真数学模型广义定义和面向重用的数学模型表... 为解决多阶段建模过程中数学模型重用性问题,分析多阶段建模过程中数学模型表示现状及MDA(model driven architecture,模型驱动体系结构)对数学模型的重用性和平台无关性需求,提出作战训练仿真数学模型广义定义和面向重用的数学模型表示方法;通过建立可重用变量转换关系网络组织、管理和描述作战训练仿真数学模型中的变量转换关系(variable conversion relation,VCR),扩展MathML(math markup language,数学标记语言)语义并基于扩展的MathML语义对变量转换数学表达式进行表示。最后基于变量转换关系网络实现作战训练仿真数学模型动态逻辑行为模型生成。 展开更多
关键词 模型表示 模型重用 模型驱动体系结构 变量转换关系 数学标记语言 动态动作行为模型
在线阅读 下载PDF
体育消费行为理论探索 被引量:48
6
作者 陈华 《广州体育学院学报》 北大核心 2007年第6期50-53,共4页
主要采用文献资料法、逻辑推理法等研究方法,以消费者行为学理论为基础对体育消费行为理论进行探索,首先对将"体育消费"纳入"体育消费行为"研究范畴的必要性进行了阐述,其次对体育消费行为进行了概念界定及分类,最... 主要采用文献资料法、逻辑推理法等研究方法,以消费者行为学理论为基础对体育消费行为理论进行探索,首先对将"体育消费"纳入"体育消费行为"研究范畴的必要性进行了阐述,其次对体育消费行为进行了概念界定及分类,最后尝试建立起体育消费行为系统动态模型。其研究目的是对体育消费行为理论进行探索,为体育消费行为的实证研究构建理论支撑,改变现有的体育消费研究缺乏理论支撑的现状。 展开更多
关键词 体育消费行为 体育消费行为系统动态模型 体育消费行为决策
在线阅读 下载PDF
基于MDA的Web服务合成
7
作者 刘峰 谭庆平 杨艳萍 《计算机科学》 CSCD 北大核心 2006年第8期138-143,共6页
随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题,针对Web合成的动态行为建模部分,提出... 随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题,针对Web合成的动态行为建模部分,提出建立基于UML的平台无关Web服务动态行为模型的方法,并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。 展开更多
关键词 WEB服务合成 MDA 动态行为模型
在线阅读 下载PDF
Centrifuge modeling of dynamic behavior of pile-reinforced slopes during earthquakes 被引量:5
8
作者 于玉贞 邓丽军 +1 位作者 孙逊 吕禾 《Journal of Central South University》 SCIE EI CAS 2010年第5期1070-1078,共9页
A series of centrifuge model tests of sandy slopes were conducted to study the dynamic behavior of pile-reinforced slopes subjected to various motions.Time histories of accelerations,bending moments and pile earth pre... A series of centrifuge model tests of sandy slopes were conducted to study the dynamic behavior of pile-reinforced slopes subjected to various motions.Time histories of accelerations,bending moments and pile earth pressures were obtained during excitation of the adjusted El Centro earthquake and a cyclic motion.Under a realistic earthquake,the overall response of the pile-reinforced slope is lower than that of the non-reinforced slope.The histories of bending moments and dynamic earth pressures reach their maximums soon after shaking started and then remain roughly stable until the end of shaking.Maximum moments occur at the height of 3.5 m,which is the deeper section of the pile,indicating the interface between the active loading and passive resistance regions.The dynamic earth pressures above the slope base steadily increase with the increase of height of pile.For the model under cyclic input motion,response amplitudes at different locations in the slope are almost the same,indicating no significant response amplification.Both the bending moment and earth pressure increase gradually over a long period. 展开更多
关键词 EARTHQUAKE SLOPE stabilizing pile dynamic behavior centrifuge modeling earth pressure ACCELERATION bending moment
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部