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

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

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

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

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

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

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

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

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

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

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

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

基于通信原理的瘫痪肢体运动功能重建的微电子肢动仪

技术简介： 基于通信原理的瘫痪肢体运动功能重建的微电子肢动仪。现有瘫痪肢体运动功能康复训练用FES即功能电刺激系统中使用的编码主要是人工编制的周期性电脉冲，只能实现较为粗大和机械性的动作，与正常…… 查看详细 >

光子微球生物芯片技术

技术简介： 光子微球生物芯片技术。本技术利用光子晶体微球的颜色对待测生物分子进行编码，一种颜色的微球可以检测一种分子，与微孔板或者微流控芯片相结合，通过自动化的流体控制和光学检测完成样品中多个…… 查看详细 >

两核苷酸合成测序技术

技术简介： 两核苷酸合成测序技术。基于不同核苷酸参与合成反应产生检测分子均相同的原理，采用天然核苷酸为原料，按照二核苷酸同时合成获取测序编码信息，将待测序列进行两次循环测序，得到两组编码序列片…… 查看详细 >

纳米银导电墨水

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

模拟酶催化增强的纳米金暗场免疫组化新方法

技术简介： 模拟酶催化增强的纳米金暗场免疫组化新方法。纳米金由于具有独特的光学性质和表面生物分子偶联能力以及新发现的模拟酶功能，而在生物医学检测中有重要的应用价值。将特异性抗体偶联在金纳米颗粒…… 查看详细 >

广谱实体肿瘤靶向诊断磁共振造影剂

技术简介： 广谱实体肿瘤靶向诊断磁共振造影剂。磁共振成像具有高的时空分辨率、安全性及相对低的收费，敏感性也因为造影剂的使用而获得大大提高。磁性纳米氧化铁是目前众多无机纳米材料中唯一获得FDA批准…… 查看详细 >