技术简介： 两核苷酸合成焦测序仪依据于自主知识产权的两核苷酸合成测序原理(AnalyticaChimicaActa,2014,852,274-283)，不仅可以替代现有进口焦测序仪的应用领域、并满足解决直接检测PCR产物的单倍型等分子…… 查看详细 >
技术简介： 太阳能等低位热驱动除湿冷风系统。本技术以溶液除湿技术和蒸发冷却技术为核心，采用低位热能驱动，如太阳能、工业废热等。可以服务于办公、工业厂房空调，工业除湿干燥等领域。实现太阳能、余热…… 查看详细 >
技术简介： 压缩空气溶液除湿干燥技术及装备。工艺干燥、制药、食品加工、工业气源等生产过程需要大量的不同干燥程度的空气，目前主要采用压缩空气冷冻干燥或者压缩空气固体吸附干燥技术，这两种技术需要采…… 查看详细 >
技术简介： PLEDs光电功能材料具有良好的溶解性、成膜性和热稳定性，高量子效率的荧光特性，良好的半导体性能，即能传导电子或空穴，或两者兼具。本项目系列产品可用于显示器件、太阳能电池、生物传感、压…… 查看详细 >
技术简介： 高性能结构胶--室温固化聚氨酯改性环氧结构胶。结构胶是指在一定温度范围内，粘接受力结构件，具有较高学强度的一类胶粘剂。室温固化结构剂具有使用工艺简单、设备投资小、适用于施工现场。优点…… 查看详细 >
技术简介： 本专利提出一种网络结构化多主体系统中任务执行的资源缓存方法，每当主体执行任务调用所需资源时，还需对调用的资源进行缓存：如果调用的是原始资源，那么就产生一个该资源的副本，该副本向调用…… 查看详细 >
技术简介： 本专利提出一种动态交互网络环境下网构软件主体系统信任协商构建方法，软件主体根据自己的信任信息建立信任关系，避免了使用证书交换导致信任协商变得复杂繁琐；不需要合作的主体每次交互都重新…… 查看详细 >
技术简介： 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将Hy…… 查看详细 >
技术简介： 本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：（1）采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态…… 查看详细 >
技术简介： 本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：（1）在对CPS详细分析的基础上，使用微分代数程序对CP…… 查看详细 >
技术简介： 一种基于形式概念分析的软件维护方法，当用户提议某个修改请求，首先利用形式概念分析技术进行特征定位，识别该修改请求在源代码中对应的代码信息即初始的修改集；然后利用形式概念分析构造程序…… 查看详细 >
基于HybridUML向微分代数程序转换的CPS建模与验证方法
技术简介： 本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实…… 查看详细 >