位置：成果数据库 > 期刊 > 期刊详情页
Effective Predicate Abstraction for Program Verification
  • 期刊名称：IEEE Computer Society
  • 时间：0
  • 页码：129-132
  • 语言：中文
  • 相关项目：工程与产品现代设计理论与方法
作者： Li Li, Gu Ming, Song Xiaoyu, Wang Jianmin|
同期刊论文项目
工程与产品现代设计理论与方法
期刊论文 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,
材料参数直接反求方法研究.
误差可控的近似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恒定类的产品规范与认证应用
基于工程图的三维重建研究
陶瓷卫浴产品数字化设计制造流程与关键技术研究
基于逐步回归模型的汽车碰撞安全性多目标优化
基于响应面方法的材料参数反求
支持产品协同设计的隐式特征表达
基于近似模型技术的圆管耐撞性优化设计
基于响应表面法的汽车侧面安全气囊仿真优化
Efficient Translation of LTL to Buchi Automata
Reduction and Simplification of Explicit LTL Model Checking via an Abstraction Method
基于仿真的车身侧面碰撞关键区域变形反求
ELASTIC DYNAMIC ANALYSIS OF MODERATELY THICK PLATE USING MESHLESS LRPIM
基于造型特征线的汽车造型意象研究
基于可靠性的多学科设计优化在薄壁梁轻量化设计中的应用研究
多目标遗传算法在整车轻量化优化设计中的应用研究
基于遗传算法和碰撞仿真的材料参数反求
基于鲁棒性的概率优化设计在薄壁构件耐撞性中的应用
缩减基法在汽车车架分析中应用
基于遗传算法的缓冲气囊动态特性优化
基于代理模型的汽车乘员约束系统仿真设计
材料参数直接反求方法研究