您的位置: 专家智库 > >

陕西省自然科学基金(2009-JM8002-1)

作品数:6 被引量:5H指数:1
相关作者:安毅生赵祥模李人厚罗冰洁贺冰花更多>>
相关机构:长安大学西安交通大学更多>>
发文基金:陕西省自然科学基金国家自然科学基金长江学者和创新团队发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇协同设计
  • 2篇角色
  • 2篇赋色PETR...
  • 1篇遗传程序设计
  • 1篇遗传算子
  • 1篇游戏
  • 1篇任务管理
  • 1篇设计方法
  • 1篇算子
  • 1篇汽车
  • 1篇汽车检测
  • 1篇汽车检测线
  • 1篇权限
  • 1篇网模型
  • 1篇迷宫游戏
  • 1篇模糊集
  • 1篇模糊集理论
  • 1篇模糊推理
  • 1篇模糊推理算法
  • 1篇检测线

机构

  • 6篇长安大学
  • 3篇西安交通大学

作者

  • 6篇安毅生
  • 3篇李人厚
  • 3篇赵祥模
  • 2篇贺冰花
  • 2篇罗冰洁
  • 1篇袁绍欣

传媒

  • 2篇计算机与数字...
  • 1篇计算机集成制...
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇计算机系统应...

年份

  • 4篇2012
  • 1篇2011
  • 1篇2010
6 条 记 录,以下是 1-6
排序方式:
一种基于活动序列的协同设计访问控制模型被引量:1
2012年
为了确保在多用户协同设计环境中对文档及视图访问权限的动态分配与回收、提出了基于活动序列的访问控制模型,采用赋色Petri网描述并实现了模型中活动序列依赖关系约束、角色构造、分配与回收,权限冲突检测等功能。该模型将共享的文档和视图空间按照活动序列划分,把角色分配、回收与活动序列相关联,解决了使用单用户设计软件协同设计中授权用户对访问对象具有持久权限的问题。最后,以协作角色申请过程为例,说明了模型是如何实现访问权限动态分配与回收,以此说明该模型能够适应协同设计中权限随活动变化的访问控制需求。
安毅生罗冰洁赵祥模李人厚
关键词:访问控制角色赋色PETRI网
基于Cocos2D框架的交互式迷宫游戏设计与实现被引量:3
2011年
随着苹果公司在消费电子领域取得巨大成功,越来越多的人采用iPad或iPhone进行娱乐休闲或者移动办公,由此带来了苹果应用程序需求也在迅速攀升。为了实现迷宫搜索算法在苹果iOS环境下的应用,文章采用Cocos2D-iPhone框架,在Xcode环境下设计并实现了一个基于右手法则的交互式迷宫搜索游戏,对开发过程中的一些关键技术进行了讨论,在iPhone/iPad环境下完成了真机调试,程序运行流畅,响应用户触碰及时准确,达到了设计目标。
安毅生刘卫方
基于受控时间Petri网的车辆检测过程模型
2012年
针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。
安毅生贺冰花袁绍欣
关键词:汽车检测线
协作权限动态管理的赋色Petri网模型与验证
2012年
针对多用户环境中协作权限动态分配与回收,及可靠性验证问题,提出基于活动、角色的协作权限动态管理机制,采用赋色Petri网建立形式化模型并分析.该模型将共享的协作文档和视图空间按照活动序列划分,角色的分配、回收与活动相关联,解决了传统访问控制中授权用户对访问对象具有持久权限的问题.最后,基于状态空间的分析表明,该模型能够实现活动依赖关系,活动角色绑定可达性及协作权限申请中死锁避免等约束条件的验证,能够满足协同设计中变化频繁的协作权限访问控制需求.
安毅生罗冰洁赵祥模李人厚
关键词:赋色PETRI网角色
协同设计中任务管理的不确定性表示与验证被引量:1
2010年
针对协同设计中如何提高任务执行的并行度和平稳性,确保任务管理的质量和可靠性等问题,提出了基于模糊集理论的任务管理方法,以及表示与验证的对象化模糊Petri网。通过分析对象化模糊Petri网结构网的可达图,验证任务间的依赖关系,采用改进的对象化模糊Petri网模糊推理算法,分别验证任务项被确定和被完成的可信度。实例表明了基于对象化模糊Petri网的任务管理表示及验证方法的有效性。
安毅生李人厚赵祥模
关键词:协同设计任务管理模糊集理论PETRI网模糊推理算法
基于块同步模型的并行遗传程序设计方法
2012年
采用并行计算方法可以有效避免遗传程序设计执行周期长的缺点。在分析遗传程序设计原理及块同步并行计算模型的基础上,以Linux多处理机系统为物理平台,实现了基于粗粒度并行模式的遗传程序设计方法,并对人工蚂蚁问题求解时处理机数与进化代数的关系进行统计和分析,实践表明采用并行计算模式可以更快的获得最优解。
安毅生贺冰花
关键词:遗传程序设计遗传算子并行程序设计
共1页<1>
聚类工具0