将 Web 服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具 MCTK刻画贷款协议 Web 服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工具 MCMAS 进行建模，并验证该实例。实验结果表明，基于 MCTK的Web 服务模型检测方法比基于MCMAS的方法更有效。
采用图形输入方法和MSI设计：输血血型验证、单“1”检测器等电路。 1、输血血型验证 a)用74LS153和74LS00设计； b)4输入，1输出； c)当受血者和需血者血型匹配时，指示灯亮；否则，指示灯不亮。 2、单“1”检测器： a) 以74LS138为核心设计； b) 当输入三位二进制代码X2X1X0中总共只有一个“1”时，输入指示位“1”，否则指示为“0”。
变异
将您的业务逻辑组合到用于清理和验证输入的命令中。 为Ruby和Rails应用程序编写安全，可重用和可维护的代码。
安装
gem install mutations
或将其添加到您的Gemfile中：
gem 'mutations'
例子
# Define a command that signs up a user.
class UserSignup < Mutations :: Command
# These inputs are required
required d
