聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 集成实时逻辑与Z++语言的形式化方法
出处:计算机工程与设计 2005年第11期 2887-2890,共4页
摘要:Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对... 显示全部
关键词: 实时逻辑 形式化方法 约束图 时间约束
在线阅读 下载全文
期刊文章 基于Linux的多媒体任务调度算法
出处:陕西科技大学学报:自然科学版 2007年第6期 20-25,共6页
摘要:为了在Linux系统中实现对多媒体任务灵活有效的调度支持,作者引进并实现了多媒体任务模型ARB.与周期任务... 显示全部
关键词: 多媒体任务调度 执行速率 时间约束 准入控制
在线阅读 下载全文
期刊文章 基于实时逻辑的时间约束检测方法
出处:计算机科学 2005年第7期 197-205,共9页
摘要:本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检... 显示全部
关键词: 时间约束 检测方法 算法时间复杂度 约束条件 系统规范 空间复杂度 逻辑实现 通过检测 可满足性 系统检测 搜索时间 检测效率 约束规则 约束图 一致性 安全性 实时性 运行前
期刊文章 采用时间约束Petri网分析优化广电过程模型
出处:计算技术与自动化 2007年第1期 94-97,共4页
摘要:企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程... 显示全部
关键词: 时间约束 企业过程模型优化 模型检验
在线阅读 下载全文
期刊文章 基于角色的权限管理系统的研究与设计
出处:现代计算机:下半月版 2011年第5期 99-102,共4页
摘要:介RBAC模型的主要思想,对基于角色的权限管理系统进行研究与设计,分别对系统体系结构、功能模块、数据库... 显示全部
关键词: 访问控制 角色继承 角色委托 时间约束
在线阅读 下载全文
期刊文章 基于并发流水线的直升机雷达多波束调度管理研究
出处:火控雷达技术 2012年第3期1-5,共5页
摘要:武装直升机雷达为毫米波二维相控阵雷达,具有灵活、同时收发多个波束特征,基于此,本文提出了一种可以应用于... 显示全部
关键词: 多波束 任务调度 时间约束 能量约束
在线阅读 下载全文
期刊文章 一种改进的相控阵雷达脉冲交错算法
出处:雷达科学与技术 2013年第2期185-191,共7页
摘要:针对相控阵雷达波束快速扫描能力,提出了一种基于时间指针的相控阵雷达在线脉冲交错调度算法。首先建立了... 显示全部
关键词: 脉冲交错 驻留调度 时间指针 能量约束 时间约束
在线阅读 下载全文
期刊文章 时间约束下鲜活农产品供应链应急协调契约
出处:系统管理学报 2014年第1期49-56,61共9页
摘要:针对由1个生产商和n个零售商构成的鲜活农产品供应链,在考虑损耗和新鲜度的影响下,研究收益共享契约如何... 显示全部
关键词: 鲜活农产品 应急管理 收益共享契约 时间约束
在线阅读 下载全文
找到8条结果
`