有了适当的工具支持，设计人员可以在高层的系统模型上进行执行或模拟，并调试，从而在早期确认并验证系统逻辑。
With appropriate tool support, designers could perform execution or simulation and debugging on high-level system models to validate and verify system logic early on.
研究了机翼气动弹性系统的不确定性建模及其模型确认问题。
The problems of uncertainty modeling and model validation of a wing aeroelastic system are investigated.
我们无法完全确认大脑作为一个整体如何工作，但是我们的确拥有一个神经系统和神经元的工作机理模型。
Although we can't entirely say how the brain works as a whole, we do have a model of the functional mechanism of the nervous system and its neurons.
应用推荐