成果列表

红树尖瓣海莲内生真菌及其在制备抗虫活性萜类晶体化合物中的应用置顶状态：转化方式：交易费用：面议

针对农业和林业中的害虫防治难题，成功从红树尖瓣海莲中分离出一种内生真菌TGM112，并深入研究了其代谢产物。通过系统的提取、分离和纯化工作，成功获得了两种具有显著抗虫活性的混源萜类晶体化合物——penicianstinoid A（化合物1）和penicianstinoid B（化合物2）。这两种化合物不仅结构新颖，而且在实验室条件下表现出良好的杀虫效果，特别是对棉铃虫和线虫具有显著的毒杀作用。核心成果： 1.菌种分离与鉴定：成功从红树尖瓣海莲中分离出内生真菌TGM112，并在中国微生物菌种保藏管理委员会普通微生物中心进行保藏，保藏编号为CGMCC No.16499，分类命名为青霉Penicillium sp.。 2.活性化合物发现：通过系统的提取、分离和纯化，从TGM112的代谢产物中发现了两种具有显著抗虫活性的混源萜类晶体化合物——penicianstinoid A（化合物1）和penicianstinoid B（化合物2）。 3.化合物结构鉴定：利用NMR、HR-MS等多种现代波谱学手段，确定了化合物1和化合物2的精确结构。其中，化合物1的分子式为C31H36O12，不饱和度为14；化合物2的分子式为C25H28O9，不饱和度为12。 4.制备工艺优化：建立了从TGM112发酵、提取到化合物纯化的完整工艺流程，包括种子培养基和发酵培养基的配制、发酵条件的优化、浸膏的制备、化合物的分离纯化等关键步骤。 5.生物活性评价：实验室条件下，化合物1和化合物2均表现出对棉铃虫和线虫等害虫的显著毒杀作用，显示出良好的应用前景。

红树尖瓣海莲内生真菌及其在制备抗虫活性萜类晶体化合物中的应用置顶状态：转化方式：交易费用：面议

针对农业和林业中的害虫防治难题，成功从红树尖瓣海莲中分离出一种内生真菌TGM112，并深入研究了其代谢产物。通过系统的提取、分离和纯化工作，成功获得了两种具有显著抗虫活性的混源萜类晶体化合物——penicianstinoid A（化合物1）和penicianstinoid B（化合物2）。这两种化合物不仅结构新颖，而且在实验室条件下表现出良好的杀虫效果，特别是对棉铃虫和线虫具有显著的毒杀作用。核心成果： 1.菌种分离与鉴定：成功从红树尖瓣海莲中分离出内生真菌TGM112，并在中国微生物菌种保藏管理委员会普通微生物中心进行保藏，保藏编号为CGMCC No.16499，分类命名为青霉Penicillium sp.。 2.活性化合物发现：通过系统的提取、分离和纯化，从TGM112的代谢产物中发现了两种具有显著抗虫活性的混源萜类晶体化合物——penicianstinoid A（化合物1）和penicianstinoid B（化合物2）。 3.化合物结构鉴定：利用NMR、HR-MS等多种现代波谱学手段，确定了化合物1和化合物2的精确结构。其中，化合物1的分子式为C31H36O12，不饱和度为14；化合物2的分子式为C25H28O9，不饱和度为12。 4.制备工艺优化：建立了从TGM112发酵、提取到化合物纯化的完整工艺流程，包括种子培养基和发酵培养基的配制、发酵条件的优化、浸膏的制备、化合物的分离纯化等关键步骤。 5.生物活性评价：实验室条件下，化合物1和化合物2均表现出对棉铃虫和线虫等害虫的显著毒杀作用，显示出良好的应用前景。

开发中软件定义网络应用安全属性测试方法置顶状态：转化方式：交易费用：面议

本成果旨在解决开发中SDN应用的安全属性测试难题，提出了一种创新的测试方法。该方法通过构建与开发中SDN应用功能说明相适应的形式化模型及安全约束，利用模型检测工具探索模型状态空间，生成测试脚本，并对原型实现进行迭代测试。通过不断发现并修复潜在的安全漏洞，确保最终版本的功能说明、安全属性和原型实现均满足安全要求。核心技术：（1）形式化建模与安全约束：根据开发中软件定义网络（SDN）应用的功能说明，构建形式化模型，该模型包含描述SDN应用实体的进程、通信链路的信道和应用数据的数据结构。同时，根据提取的安全属性（如网络安全规则和功能），制定与安全属性相适应的安全约束。（2）模型检测与反例生成：利用模型检测工具探索形式化模型的状态空间，检测是否存在违反安全约束的情况。一旦发现违反，模型检测工具将生成反例，反例包含进程列表、消息序列等关键信息。（3）测试脚本自动生成：基于生成的反例，自动解析反例中的进程列表与消息序列，生成相应的测试脚本。测试脚本中设置测试判决条件，用于验证SDN应用原型实现的正确性。（4）原型实现迭代测试：使用生成的测试脚本对SDN应用的原型实现进行测试，根据测试结果修改功能说明和原型实现。通过多轮测试-修正-再测试的迭代过程，不断优化SDN应用的安全性和准确性。（1）迭代测试支持：首次提出针对开发中的SDN应用原型实现进行迭代测试的方法，填补了现有测试方法在开发阶段应用的空白。形式化建模与约束：构建精确的形式化模型和安全约束，确保测试的全面性和准确性。（2）自动化测试脚本生成：根据模型检测工具生成的反例，自动生成测试脚本，提高测试效率。（3）全流程测试覆盖：通过多轮测试-修正-再测试的迭代过程，确保最终版本的稳定性和安全性。（4）高度灵活性与可扩展性：支持不同版本的SDN应用测试，可适应不同的开发环境和需求。

面向本质计算与推理的跨DIKW模态文本歧义处理方法置顶状态：转化方式：交易费用：面议

随着大数据时代的到来，数据的规模急剧增长，其中包含了大量的数据资源和信息资源。这些数据和信息可以被概括、逻辑推理成为知识，而知识资源又能反过来作用于数据资源和信息资源，进一步计算推理出更多新的有价值的数据和信息。然而，由于数据和信息内容的复杂性和多样性，往往会产生歧义，即同一文本内容可能因为类型资源的不同推导而产生多种不同的理解。跨DIKW模态文本处理：该方法支持在数据（Data）、信息（Information）、知识（Knowledge）和智慧（Wisdom）四种模态之间进行转换和处理，以适应不同应用场景的需求。通过跨模态转化，将目标文本转化为所需的数据资源或信息资源，以便进行后续的关联分析和逻辑推理。文本歧义判定与处理：在判定目标文本的文本含义数量大于1时，会进一步判定该文本是否为缺失数据资源或信息资源的文本，或是否存在数据资源冗余或信息资源冗余的情况。针对不同类型的歧义情况，采取不同的处理策略，如补充缺失资源、去除冗余资源等，以消除歧义。关联分析与逻辑推理：根据目标数据资源和/或目标信息资源，查询目标文本的相关资源，包括获取关联文本、从关联文本中查询相关资源等。利用这些数据资源、信息资源和知识资源，结合逻辑推理方法，推导目标文本的准确含义。数据图谱与信息图谱的应用：在获取目标文本的补充资源时，会利用数据图谱和信息图谱中的资源，将与目标数据资源关联程度大于预设值的数据资源作为补充资源。通过数据图谱和信息图谱的构建和利用，提升数据和信息资源的关联性和利用率。面向本质计算与推理：该方法不仅关注于文本表面的含义处理，更侧重于通过本质计算与推理，揭示文本背后的深层含义和逻辑关系。通过综合运用多种计算推理方法，实现对文本歧义问题的根本解决。

水下无线传感器网络通信技术置顶状态：转化方式：交易费用：面议

本成果为一种由接收方发起的安全的MAC协议，主要用于水下无线传感器网络，以提高网络的安全性、减少传输冲突及提高数据传输效率。该协议通过接收方根据与发送方的距离和传输数据包数量信息来调度发送方的传输时刻，从而避免冲突发生。该技术主要包括以下几个核心步骤： 1.系统模型建立：在某一海域，部署了n个群集成员节点和一个群集头节点，节点间为单跳距离。每个节点分配了唯一的ID和身份信息，以及用于安全通信的主密钥S。 2.通信阶段划分：通信过程分为五个阶段：通知阶段（CONFIG报文）、请求阶段（RTS报文）、调度阶段（ORDER报文）、数据传输阶段（DATA报文）、确认阶段（ACK报文）。通过群集头节点的调度，避免了传输冲突，并确保了数据包的有序传输。 3.节点调度：群集成员节点根据与群集头节点的传播时延进行排序，群集头节点通过CONFIG报文发布等待发送时间表，各成员节点据此等待并发送RTS报文。群集头根据RTS报文中的数据包数量信息，计算并发布ORDER报文，成员节点再据此发送DATA报文。 4.安全机制：协议引入了基于身份的密钥分发和身份验证机制。群集头节点广播包含加密信息的CONFIG报文，成员节点解密后计算得到群集头的公钥，并使用该公钥加密自身的ID信息。群集头进一步生成成员的公钥和私钥，并加密广播给成员节点。在数据传输时，成员节点使用哈希算法对数据和身份验证信息进行加密，群集头通过比对哈希值验证数据来源的合法性。 5.协议效果：该协议通过合理的调度和全面的安全机制，有效提高了水下无线传感器网络的信道利用率、吞吐量及通信安全性，适用于复杂且安全要求高的水下网络环境。

一种面向多域软件定义网络的配置验证方法置顶状态：转化方式：交易费用：面议

成果简介本成果为一种面向多域软件定义网络（SDN）的配置验证方法，旨在解决现有技术中针对单一控制域网络验证的局限性，以及人工构建形式化模型自动化程度不足的问题。该方法通过自动提取多域SDN中软件定义网络子网和核心网的配置信息，并基于这些配置信息构造形式化模型，实现了对多域SDN的配置验证，从而提高了网络部署与管理的准确性和可靠性。三、主要技术创新点 1.实现了对多域SDN的自动化配置验证，避免了人工构建模型的繁琐和高成本。 2.提高了多域SDN的部署和管理效率，确保网络配置的准确性和可靠性。 3.支持对大规模多域SDN网络的验证，具有广泛的适用性和应用价值。

一种基于麦克斯韦效应的水下航行器置顶状态：转化方式：交易费用：面议

当前，水下航行器（AUV）虽已能执行大潜深与长距离任务，但面临诸多挑战，如高能耗、低定位精度、有限续航时间及高事故率，尤其在升沉系统技术上，我国相较于国际先进水平存在明显差距。传统方法，如美国的海水泵式与日本的油囊式浮力调节系统，多依赖液压系统，不仅结构复杂且能耗巨大，同时控制精度与数据传输能力也受限。鉴于此，本成果突破性地提出了一种基于麦克斯韦效应的新型水下航行器设计方案。该航行器巧妙运用电磁感应原理，实现了浮力的精准与动态调节，从而在航行过程中能够灵活应对各种复杂环境，大大简化了浮力调节装置的构造，降低了整体能耗，并显著提升了控制精度与能效。其结构设计的优化，不仅增强了航行器的可靠性，还延长了续航时间，为长时间、高精度的水下勘测任务提供了强有力的技术支持。结构简单：仅通过电磁感应效应实现浮力调节，相比传统航行器的浮力调节装置更为简化。灵活性高：能够快速响应，灵活调节航行状态。低耗能：通过优化浮力调节机制，降低了航行器的能耗。长时间作业能力：提高了航行器的续航能力，适用于长时间的水下勘测作业。

主动脉腔内修复腹膜支架近端防漏装置的研究和中试研究状态：寻求转化 转化方式：交易费用：面议

主动脉夹层时一种发生于主动脉的常见的凶险疾病，传统的开放手术创伤巨大。腔内覆膜支架的应用开创了主动脉疾病治疗的新篇章，创伤小，能有效降低手术死亡率和致残率，手术效果良好，但该术式同样存在一些问题，术后内漏即是其主要的并发症之一，也就是人造血管封堵不严，仍有血液进入破口或病变主动脉。本研究针对近端内漏而设计，开发一种主动脉覆膜支架，增加支架的近端贴壁性，降低Ⅰ型内漏的风险。与国内知名医疗器械公司合作，改进主动脉覆膜支架近端人工血管膜结构，而达到降低近端内漏发生率的目的。目前初步试验结果显示能显著降低近端内漏发生率，降低手术风险与手术费用。目前发表了SCI收录论文1篇，国内核心期刊2篇，获得国家发明专利一项。

橡胶林生态系统固碳功能研究状态：寻求转化 转化方式：交易费用：面议

在《京都议定书》中，植树造林成为缓解全球气候变暖、实现温室气体减排目标的一项重要措施。橡胶生产不仅是海南重要的产业与经济来源，也是我国热带地区主要的人工林生态系统，其碳库存量极易受到自然及人类活动的干扰而发生很大的变化，导致生态系统就可能成为碳源。本项目定量测定了橡胶林生态系统中橡胶树各器官、胶乳、林下植被与凋落物、土壤各形式等方面的含碳量，准确估算橡胶林生态系统各组成部分的碳贮量，了解各组成部分碳贮量的主要影响因子。通过研究，得出不同树龄橡胶生态系统碳贮量了解不同树龄橡胶固碳的基本规律，为评价橡胶林生态系统在区域气候变化中的作用以及为CDM碳贸易提供基础数据和理论。

一种同时生产天然椰子油和低脂椰子汁的方法状态：寻求转化 转化方式：交易费用：面议

目前，椰子汁基本都是直接利用椰奶生产，产品同质化现象严重，产品中脂肪含量高，易水解酸败，导致椰子汁产品保质期短，这些一直是困扰企业的技术难题。天然椰子油是采用冷却、加热、离心等方式使椰奶破乳后从乳液中分离出来的产品，其主要成分是中链脂肪酸。本发明提供一种同时生产天然椰子油和低脂椰子汁的方法，通过对椰子汁加工工艺的改进，将椰奶分离成浓缩椰浆和椰子乳清，利用椰子乳清椰子汁，所得产品脂肪含量低，蛋白质含量高，口感爽滑，保质期长，是一款适合所有人群饮用的饮料，对椰子加工企业的发展有积极的影响和推动作用。