FREENESS

作品数：8被引量：1H指数：1
导出分析报告
相关领域：轻工技术与工程更多>>
相关作者：彭蓉曾祥勇崔竞松更多>>
相关机构：湖北大学武汉大学更多>>
相关期刊：《天津科技大学学报》《Science China Mathematics》《Applied Mathematics》《Communications in Mathematical Research》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
An Algorithm for Reducibility of 3-arrangements
《Communications in Mathematical Research》2011年第1期62-68,共7页GAO RUI-MEI PEI DONG-HE 
The NSF(10871035)of China
We consider a central hyperplane arrangement in a three-dimensional vector space. The definition of characteristic form to a hyperplane arrangement is given and we could make use of characteristic form to judge the re...
关键词：hyperplane arrangement REDUCIBILITY FREENESS 
一种检测TAL-freeness的代数方法
《计算机学报》2008年第3期516-521,共6页彭蓉 崔竞松 曾祥勇 
国家自然科学青年基金(60703009,60603012)资助
时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一...
关键词：时间自动机 时间动作锁 检测算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部