verification.相关论文
平行结构类问题是一类适于分布式求解的人工智能问题．已有的大多数求解方法均采用预期或目标来指导自底向上的问题求解．但这些预期或......
基于热力学相容的本构模型并合理地定义广义时间，得到了描述蠕变、塑性及其交互作用的统一型本构方程。进而通过对在蠕变－塑性交互作......
本文根据对MultiExpress软件包的分析,就远程控制进行了简介,提出了它的实现方式并给出流程图。又在此基础上,建立Potri网模型,进......
采用坐标变换方法，在北部湾上层海洋采用正交坐标系以获得垂向高分辨率，在底层水体采用Sigma坐标系以拟合地形，建立北部湾的物理海洋......
