位置：成果数据库 > 期刊 > 期刊详情页
Efficient Translation of LTL to Buchi Automata
  • ISSN号：1671-7775
  • 期刊名称：《江苏大学学报：自然科学版》
  • 时间：0
  • 分类：TP301.1[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]Tsinghua National Laboratory for Information Science and Technology (TNList), School of Software, Tsinghua University, Beijing 10084, China
  • 相关基金：Supported by the National Natural Science Foundation of China （No. 60635020）, the Basic Research Foundation of Tsinghua National Laboratory for Information Science and Technology （TNList）, and the Foundation of Japan Society for the Promotion of Science
作者： 殷翀元[1], 罗贵明[1]
关键词： 自动机, 高效率, 线性时序逻辑, 填充算法, 翻译, 模型检查, 深度优先, 状态空间, linear temporal logic, form-filling algorithm, Buchi automata, state-based Buchi automata
中文摘要：

To whom correspondence should be addressed. E-mail： gluo@tsinghua.edu.cn; Tel： 86-10-62795440

同期刊论文项目
工程与产品现代设计理论与方法
期刊论文 129 会议论文 15 著作 1
同项目期刊论文
Scenario-based Design Knowledge Acquiring and Modeling in Collaborative Product Design
GPS标准在烟机零件中的应用研究.
缩减基法在汽车车架分析中的应用.
可靠性优化设计在汽车构件耐撞性中的应用
基于遗传算法和碰撞仿真的材料参数反求.
新型垂直旋转式切纸装置设计研究
基于耐撞性的前纵梁焊点模拟及其优化设计 .
汽车造型特征定量模型构建与应用
基于序列响应面方法的汽车板选材优化设计.
Multiobjective robust optimization method for drawbead design in sheet metal forming.
An element implemention of the boundary face method for 3D potential problems.
Identification of Sections from Engineering Drawings Based on Evidence Theory.
Lyapunov-type inequality for a class of odd-order differential equations,
Satisfiability degree computation based on proposition matrix reduction algorithm
PLC Modeling and Checking Based on Formal Method
Crashworthiness design for functionally graded foam-filled thin walled structures.
基于场分布的平面散乱点集B样条曲线重建算法
无网格径向点插值法在拓扑优化中的应用，
耗散结构与时空信息差意义上的数字化设计系统特性评价
A cell-based smoothed radial point interpolation method(CS-RPIM) for static and free vibration of so
Analysis of plates and shells using an edge-based smoothed finite element method.
The topology optimization design for continuum structures based on the element free Galerkin method
NS-FEM/ES-FEM for contact problems in metal forming analysis
.耗散结构意义上的产品数字化系统结构有序度评价.
面向虚拟装配的产品信息装配建模技术研究.
多目标遗传算法在整车轻量化优化设计中的应用.
Hopf分岔代数判据在血红细胞存活模型中的应用
针对无网格并行计算的基于模糊均值聚类的分区方法，
Identification of multi-dimensional system based on a novel criterion,
Effective Predicate Abstraction for Program Verification
材料参数直接反求方法研究.
误差可控的近似B样条曲面蒙皮算法.
基于工程图的三维重建研究.
由三视图重建包含圆环面的形体
基于响应面方法的材料参数反求，
汽车碰撞仿真中沙漏控制算法研究
基于遗传算法的转向盘性能参数识别
混合响应面法对汽车吸能部件优化关键技术
基于缩减基法的结构优化设计
基于仿真的车身侧面碰撞关键区域变形反求.
“一元四体”模型的原理与系统作用机制
Identification for disturbed MIMO Wiener systems
Efficient Translation of LTL to Büchi Automata，
Reduction and simplification of explicit LTL model checking via an abstraction method
A rotation free formulation for static and free vibration analysis of thin beams using gradient smoo
单一维度用户感知信息辅助概念设计技术研究
多层多体信息模型结构设计与实现技术研究.
Heuristic-Guided Abstraction Refinement
Adaptive one-step-ahead optimal controller based on WLS schemes
Crashworthiness design for foam filled thin-wall structures.
Intelligent sampling-based adaptive space-mapping response surface method for sheet metal forming op
基于投影特征识别的斜截切二次曲面重建算法.
基于序列响应面法的汽车结构耐撞性多目标粒子群优化设计.
Analysis of elastic-plastic problems using edge-based smoothed finite element method.
Hopf bifurcation of the third-order Henon system based on an explicit criterion
A boundary face method for potential problems in three dimensions.
基于移动最小二乘响应面方法的整车轻量化设计优化
汽车车身耐撞性与NVH多学科设计优化研究
多学科设计优化在整车轻量化设计中的应用研究
基于色彩调和理论的数控机床色彩评价研究
基于鲁棒性的概率优化设计在薄壁构件耐撞性中的应用.
基于耐撞性的前纵梁焊点模拟及其优化设计
基于遗传算法与仿真的偏置碰撞安全结构改进研究
“一元四体”模型的原理与系统作用机制研究
基于现代设计方法的虹吸流道优化设计研究
Kriging模型与优化算法在汽车乘员约束系统仿真优化中的应用研究
GPS标准在烟机零件中的应用研究
基于GA-ANN的高速烟支切割支撑装置结构优化
感性工效学在坐便器设计中的研究与应用
针对无网格并行计算的基于模糊均值聚类的分区方法
基于遗传算法的一种Tikhonov正则化改进方法
基于求逆缩减基法的结构分析
基于响应面法的汽车吸能部件优化问题研究
基于自适应响应面的拉延筋参数反求
基于遗传算法和可靠性分析的乘员约束系统优化
基于模糊逻辑的并联式混合动力电动汽车能量控制系统
基于计算流体力学的坐便器节水方法研究
序列响应面方法在薄壁梁轻量化设计中的应用
基于序列响应面方法的汽车板选材优化设计
基于C—NCAP的类菱形概念车侧碰安全性研究
鲁棒性概率优化在乘员约束系统设计中的应用
基于序列响应面方法的高强度钢材料参数反求
基于乘用车侧围部件模型的侧面碰撞仿真简化建模方法
一种基于智能布点技术的空间映射近似模型方法及其在拉延筋设计优化中的应用
基于中面的注塑产品特征识别
基于微型多目标遗传算法的气囊缓冲特性优化
并行隔代映射遗传算法及其在材料参数反演中的应用
基于情境FBS模型的数控机床CAID系统研究
误差可控的近似B样条曲面蒙皮算法
基于投影特征识别的斜截切二次曲面重建算法
铝泡沫填充薄壁结构耐撞可靠性优化设计
基于序列响应面法的汽车结构耐撞性多目标粒子群优化设计
GPS恒定类的产品规范与认证应用
基于工程图的三维重建研究
陶瓷卫浴产品数字化设计制造流程与关键技术研究
基于逐步回归模型的汽车碰撞安全性多目标优化
基于响应面方法的材料参数反求
支持产品协同设计的隐式特征表达
基于近似模型技术的圆管耐撞性优化设计
基于响应表面法的汽车侧面安全气囊仿真优化
Reduction and Simplification of Explicit LTL Model Checking via an Abstraction Method
基于仿真的车身侧面碰撞关键区域变形反求
ELASTIC DYNAMIC ANALYSIS OF MODERATELY THICK PLATE USING MESHLESS LRPIM
基于造型特征线的汽车造型意象研究
基于可靠性的多学科设计优化在薄壁梁轻量化设计中的应用研究
多目标遗传算法在整车轻量化优化设计中的应用研究
基于遗传算法和碰撞仿真的材料参数反求
基于鲁棒性的概率优化设计在薄壁构件耐撞性中的应用
缩减基法在汽车车架分析中应用
基于遗传算法的缓冲气囊动态特性优化
基于代理模型的汽车乘员约束系统仿真设计
材料参数直接反求方法研究
期刊信息
  • 《江苏大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:江苏省教育厅
  • 主办单位:江苏大学
  • 主编：袁寿其
  • 地址：江苏省镇江梦溪园巷30号
  • 邮编：212003
  • 邮箱：xbbj@ujs.edu.cn
  • 电话：0511-84446612
  • 国际标准刊号：ISSN：1671-7775
  • 国内统一刊号：ISSN：32-1668/N
  • 邮发代号:28-83
  • 获奖情况:
  • 原“机械电子部优秀科技期刊二等奖,江苏省高校学报优秀期刊一等奖,江苏省优秀科技期刊奖,江苏省期刊方阵优秀期刊,华东地区优秀期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,英国农业与生物科学研究中心文摘,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8727