1) non-trivial data structures
复杂数据结构
1.
In order to efficiently model-check value-passing current systems which involve non-trivial data structures.
模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键 为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作 ,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图 同时结合实际例子说明模型检测工具的有效
3) complex-structured database
复杂结构数据库
1.
But,Oracle Text just can be used in the fixed-structure database,and can t be used directly in complex-structured database.
文中介绍了Oracle Text全文检索技术的方法和步骤,阐述了其在复杂结构数据库中的具体应用,最后程序实现了所设计的全文检索技术。
4) database structure reuse
数据库结构复用
6) complex structure
复杂结构
1.
Mode selection method of complex structure and application in connected structure;
复杂结构的模态选取方法及在连体结构中的应用
2.
Assembled-dissecting technology of complex structure for 3-D finite element analysis;
复杂结构有限元网格组合剖分技术
补充资料：地图数据结构
地图数据结构 map data structure
指构成地图内容诸要素的数据集之间相互关系和数据记录的编排组织方式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条