有机聚合物电致发光材料（PLEDs）

技术简介： PLEDs光电功能材料具有良好的溶解性、成膜性和热稳定性，高量子效率的荧光特性，良好的半导体性能，即能传导电子或空穴，或两者兼具。本项目系列产品可用于显示器件、太阳能电池、生物传感、压…… 查看详细 >

网络结构化多主体系统中任务执行的资源缓存方法

技术简介： 本专利提出一种网络结构化多主体系统中任务执行的资源缓存方法，每当主体执行任务调用所需资源时，还需对调用的资源进行缓存：如果调用的是原始资源，那么就产生一个该资源的副本，该副本向调用…… 查看详细 >

动态交互网络环境下网构软件主体系统信任协商构建方法

技术简介： 本专利提出一种动态交互网络环境下网构软件主体系统信任协商构建方法，软件主体根据自己的信任信息建立信任关系，避免了使用证书交换导致信任协商变得复杂繁琐；不需要合作的主体每次交互都重新…… 查看详细 >

基于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，设置用于计算网络地址哈希比特串的哈希函数，哈希函数的输入为…… 查看详细 >

纳米银导电墨水

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

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

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