Agent系统软件体系结构形式化建模方法
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构...
支持软件技术资料
📦 资源总数：31
💻 源代码：6
🔥 支持软件热门资料
查看全部31个资源 »使用通信协议宏实现PLC对变频器的监控
简要介绍欧姆龙3G3MV变频器Modbus通信协议中数据帧的格式。给出了使用支持软件CX-Protocol生成与变频器通信的协议宏序列的方法，如通信步、发送信息、接收信息与接收阵列的设置。PLC与变频...
基于B方法的实时控制系统的容错设计
B 方法是形式化方法之一，支持软件开发的全部过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上，要想进一步提高系统的可靠性，需要在软件开发中引入容错机制，使...
松江新型主机编程软件，9系列主机的。无密码压缩包
该资源为松江新型号主机9系列主机的属性和逻辑编程软件。松江将停产旧型号的主机，包括3208系列、3101系列。所有的旧系列的烟感和温感等报警社保也将停产，将要全部使用9系列的报警设备进行替代。本程序经过试验，可在WIN7下完美运行，运行时需要安装必要的MICROSOFT支持软件。请按照提示安装必要的...
ADS1.2使用指南
ARM ADS全称为ARM Developer Suite。是ARM公司推出的新一代ARM集成开发工具，成熟 版本为ADS1.2。ADS1.2 支持ARM10 之前的所有ARM 系列微控制器，支持软件调试及JTAG 硬 件仿真调试，支持汇编、C、C++源程序，具有编译效率高、系统库功能强等特点，...
💻 支持软件源代码
查看更多 »📂 支持软件资料分类