0 to make a process in a factory or office operate by machines or computers, in order to reduce the amount of work done by humans and the time taken to do the work -- 使自动化
Massive investment is needed to automate the production process. 要实现生产过程的自动化需要大量的投资。
Inductive learning is par ticularly suitable in the context of an automated design system because training data can be generated in an automated fashion.
Therefore, it is useful to automate a generic process using batchfiles.
It might not be possible to completely automate this process because of ambiguities.
In short, the compositional modeller enables the adaptivity of monitoring and control by automating the process of model construction whenever the system under control changes.
Allowing both humans and automated agents to specify rules for context-sensitive behaviour of different entities easily.
Artificial intelligence promised a revolutionary approach to assisting or automating design processes, separate from other computational systems.
Unfortunately, such an integrated modelling process is beyond the scope of any existing automated modeller.
We accomplish automated verification using a temporal logic and model-checking techniques, allowing us to reuse existing algorithms and results for trace effect verification.
