基于HybridUML和定理证明的CPS自适应性验证方法

技术简介： 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将Hy…… 查看详细 >

一种基于模型转换的CPS建模与验证方法

技术简介： 本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：（1）采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态…… 查看详细 >

一种基于微分代数时序动态逻辑的CPS属性验证方法

技术简介： 本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：（1）在对CPS详细分析的基础上，使用微分代数程序对CP…… 查看详细 >

一种基于形式概念分析的软件维护方法

技术简介： 一种基于形式概念分析的软件维护方法，当用户提议某个修改请求，首先利用形式概念分析技术进行特征定位，识别该修改请求在源代码中对应的代码信息即初始的修改集；然后利用形式概念分析构造程序…… 查看详细 >

基于HybridUML向微分代数程序转换的CPS建模与验证方法

技术简介： 本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实…… 查看详细 >

基于双超时网络报文的组流方法

技术简介： 一种基于双超时网络报文的组流方法，设置短超时和长超时，当报文到达测量器，从报文头中提取流信息，在网络流缓存中查找由所测量报文的网络流记录，如果找到所述的网络流记录，更新流结束标识，…… 查看详细 >

基于哈希比特串复用的高速网络流量网络地址测量方法

技术简介： 一种基于哈希比特串复用的高速网络流量网络地址测量方法，设置用于存储网络地址的比特矩阵，将比特矩阵中所有的元素的值设置为0，设置用于计算网络地址哈希比特串的哈希函数，哈希函数的输入为…… 查看详细 >

纳米银导电墨水

技术简介： 纳米银导电墨水。电子元器件对更低加工温度和更小特征尺寸的要求。开发适应低热处理温度、小尺寸加工工艺的纳米银墨水已经成为导电浆料发展的必然趋势。与传统印刷电子工艺相比，喷墨打印导电线…… 查看详细 >

自来水生产过程控制关键技术研究与自动化、信息化示范工程建设

技术简介： “自来水生产过程控制关键技术研究与自动化、信息化示范工程建设”项目通过对制水生产流程的关键性工艺流程的研究，针对整个工艺流程大时滞、大惯性和非线性的特点，在原有检测和控制设备的基础…… 查看详细 >

基于Zigbee物联网技术的智能家居系统

技术简介： 基于Zigbee物联网技术的智能家居系统。该系统利用ZigBee无线技术进行无线网络的构建，该系统包括环境控制子系统，家庭安防子系统，家电控制子系统，自动抄表子系统，灯光控制子系统等子系统。该…… 查看详细 >

电梯安全监控系统

技术简介： 电梯安全监控系统。针对现有电梯安全性定期检验由维护单位提出申请的被动监督模式，该系统实时采集电梯运行中一些影响安全的重要参数，保存到数据服务器，并基于这些电梯运行数据进行分析、挖掘…… 查看详细 >

变流器HMI监控软件

技术简介： 变流器HMI（HumanMachineInterface）监控软件主要用于变流器产品的维护。HMI软件通过特定的通信接口（CAN/RS232/以太网）与单台或多台变流器设备建立连接，实现多路参数的实时数据采集、故障录…… 查看详细 >