严密系统设计

ebook 方法、趋势与挑战

By 约瑟夫·希发基思

cover image of 严密系统设计

Sign up to save your library

With an OverDrive account, you can save your favorite libraries for at-a-glance information about availability. Find out more about OverDrive accounts.

   Not today

Find this title in Libby, the library reading app by OverDrive.

Download Libby on the App Store Download Libby on Google Play

Search for a digital library with this title

Title found at these libraries:

Library Name Distance
Loading...

本书提出了一种基于形式化模型的严密的系统设计方法,详细阐述了严密系统设计方法的基本原理,介绍了严密系统设计框架BIP(Behavior,Interaction,Priority)的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态,讨论了自主系统设计的趋势和挑战,阐述了一种集成模型驱动方法与数据驱动方法的思路,并提出了一种新的基于替换测试的智能测试方法,用以判断自主系统在完成多种不同类型任务方面的智能水平。

严密系统设计