|
搜索
搜 索
高等教育领域数字化综合服务平台
一种食品流变特性检测系统软件开发方法
博士，教授，博士生/硕士生导师近五年，主持国家级科研课题3项（国家自然科学基金面上项目1项，“十二五”国家科技支撑计划1项，公益性行业（农业）科研专项课题1项）；参与国家级课题6项。近五年，发表研究论文40余篇，其中SCI/EI收录论文近30篇；申报相关研究发明专利20余项。获得省部级以上科技奖励3项（农业部科技进步一等奖1项，北京市科技进步二等奖1项，教育部科技进步二等奖1项）。
中国农业大学
2021-04-11
通信与信息工程学院数学计算仿真软件服务招标公告
南京邮电大学通信与信息工程学院数学计算仿真软件项目的潜在投标人应在“江苏政府采购网”、“南京邮电大学”上免费下载招标文件，并于2020年10月21日10点30分（北京时间）前递交投标文件。
南京邮电大学
2020-09-29
基于证据驱动的水机设备 状态预警系统软件介绍
1、实现水电机组运行状态远程在线监测 2、实现设备状态预警软件系统一体化集成 3、实现基于证据驱动的设备状态预警
东南大学
2021-04-11
隧道及地下工程建设风险管理软件（TRM1.0）
针对隧道及地下工程施工开发一套工程施工风险管理系统，通过对工程施工期间的 风险辨识与评估，定量进行分析计算，制定系统的风险决策和跟踪方案，可实现对工程 风险进行有效的管理与控制，保障盾构隧道工程施工顺利进行。
同济大学
2021-04-13
智能化嵌入式软件随机故障分析再现与诊断技术
针对特定的故障现象（尤其是随机故障、间歇性故障等），通过综合贝叶斯网络、FMEA、FTA等多种故障分析方法、融合多元故障相关信息（故障现象、故障案例、专家经验、故障模型等），进行系统深入的故障分析、找出可能的故障原因；利用智能化的方法（如遗传算法、群智能算法等），结合强度和异常等测试理念，自动生成满足多目标（如各种覆盖率、故障现象的匹配度等）的测试用例，借助自主构建的通用嵌入式软件仿真测试环境，实现故障的快速再现和基于贝叶斯的动态故障定位。 通过智能化的嵌入式软件随机故障分析再现与诊断，可以在故障分析、故障再现、故障定位等方面，利用智能化方法进行系统性、启发式的故障诊断研究，形成一系列的智能故障诊断分析工具包、进而形成嵌入式软件故障诊断分析专家系统，可有效提高故障诊断与定位分析的效率。
北京航空航天大学
2021-04-13
基于模式识别的软件缺陷定性/定量预测模型构建技术
软件所含缺陷的风险或数目是合理安排软件测试资源，提高软件测试效率，衡量软件设计及开发质量的关键信息，应用模式识别技术对软件所含缺陷进行有效预测将对我国航空工业软件测试工作从被动测试到主动测试的转变起到积极的作用。对软件所含缺陷进行风险或定量预测，其根本技术在于利用以往软件缺陷数据，构建软件内在信息和软件缺陷信息之间的映射关系函数。 软件缺陷数据具有如下特点：软件度量信息冗余；软件缺陷数据分布及其不平衡；软件缺陷数据易含有不准确数据（如不准确的缺陷量）对于模型构建来说就是噪声数据；软件缺陷数据维度高，复杂度高等。该技术的广泛使用，将对我国航空工业中的软件测试工作，从传统的被动测试向主动测试，合理安排有限的测试资源，提高测试效率，从而提高软件质量起到重要作用。
北京航空航天大学
2021-04-13
动态交互网络环境下网构软件主体系统信任协商构建方法
本专利提出一种动态交互网络环境下网构软件主体系统信任协商构建方法，软件主体根据自己的信任信息建立信任关系，避免了使用证书交换导致信任协商变得复杂繁琐；不需要合作的主体每次交互都重新建立信任关系，软件主体之间不断的信息交互使每个软件主体逐步拥有全局的信任信息。每个软件主体都拥有自己的信任信息，即信任度与合作度，需要合作的两个主体根据合作的方向选择对应的信任度和合作度（契合度）建立信任关系；信任关系建立的成功与否需要与参考值比较，该参考值是按照系统中主体拥有平均信任信息时契合度的计算值；当契合度大于该参考值时建立信任关系，该方法避免了使用证书所带来的麻烦，使得信任关系的建立变得更加简单和清晰。
东南大学
2021-04-13
扬州大学水平轴风力机气弹计算软件V1.0
本软件是基于水平轴风力机空气动力学和结构动力学理论，采用 MATLAB 软件编程开发。 主要用于计算水平轴风力机在非偏航和偏航工况下的气动弹性性能。目前已在国家版权局登记软件著作权，并获证书。
扬州大学
2021-04-14
一种肿瘤单细胞转录组数据处理方法与软件
1.痛点问题
癌症是目前严重威胁人类生命健康的疾病之一，基于单细胞测序技术研究肿瘤的微环境和异质性，对于理解肿瘤的机制、优化肿瘤的用药方案具有重要意义，而如何对肿瘤单细胞数据进行全面深入的分析，还面临很多挑战。
肿瘤样本具有其独有的特点，在样本制备和单细胞分离过程中，其细胞应激反应大、坏死细胞多，为肿瘤单细胞数据的质量控制带来了挑战；
肿瘤单细胞数据分析有其独有的核心问题，比如复杂的微环境和高度的异质性，而如何充分考虑这些难点，并从信息学的视角进行深入研究，有待建立全面、自动的分析框架；
肿瘤单细胞数据的分析，对科研人员的编程能力和分析经验要求很高，亟需自动化、智能化的软件平台来降低数据分析的门槛，提高研究的效率。
2.解决方案
本项目围绕肿瘤单细胞转录组数据成果的技术核心点包括：
1)针对肿瘤单细胞实验过程中应激反应大、坏死细胞多的问题，提出了全面、精细的数据质量控制方案；
2)涵盖了常规的单细胞数据分析流程（数据标准化、降维、聚类、差异表达分析）；
3)创新了肿瘤微环境细胞类型辨识和细胞恶性估计等方面的研究方法；
4)从重要表型（细胞周期、干性）、基因集（已知的和潜在的）两方面深度解析了肿瘤内部的异质性；
5)提出了考虑肿瘤间异质性的批次效应校正方法；
6)构建了自动化、智能化分析的软件平台，能够自动生成全面、直观的分析报告。
基于本项成果产生的产品、服务或解决方案：
1)自动化、集成式的肿瘤单细胞转录组数据分析软件scCancer；
2)针对软件使用和分析结果解读的服务；
3)针对更个性化数据分析需求的咨询与服务。
3、合作需求
团队要求：合作方和团队需要对肿瘤单细胞测序方面有较多的实践经验，能为本项目的应用与落地提供条件；
资金需求：合作方可为团队提供资金支持项目的维护与更新。
清华大学
2022-08-30
一种软件更新的补丁安全性检测方法及系统
本发明公开了一种软件更新的补丁安全性检测方法及系统，所 述方法包括：通过对补丁预处理，进而进行中间代码分析以获得受补 丁影响的基本块，通过这些受补丁影响的基本块得到内存敏感型函数 及其变量，从其出发构造主要执行路径；在对路径的进行符号执行的 过程中，确定具体的路径条件，到达具体的内存敏感型函数时，结合 此时的路径条件和相应的安全检测器来判断是否存在软件更新安全问 题。本发明着重于检测软件更新后，新版本相对旧版本不同部
华中科技大学
2021-04-14