针对特定的故障现象（尤其是随机故障、间歇性故障等），通过综合贝叶斯网络、FMEA、FTA等多种故障分析方法、融合多元故障相关信息（故障现象、故障案例、专家经验、故障模型等），进行系统深入的故障分析、找出可能的故障原因；利用智能化的方法（如遗传算法、群智能算法等），结合强度和异常等测试理念，自动生成满足多目标（如各种覆盖率、故障现象的匹配度等）的测试用例，借助自主构建的通用嵌入式软件仿真测试环境，实现故障的快速再现和基于贝叶斯的动态故障定位。 通过智能化的嵌入式软件随机故障分析再现与诊断，可以在故障分析、故障再现、故障定位等方面，利用智能化方法进行系统性、启发式的故障诊断研究，形成一系列的智能故障诊断分析工具包、进而形成嵌入式软件故障诊断分析专家系统，可有效提高故障诊断与定位分析的效率。

软件所含缺陷的风险或数目是合理安排软件测试资源，提高软件测试效率，衡量软件设计及开发质量的关键信息，应用模式识别技术对软件所含缺陷进行有效预测将对我国航空工业软件测试工作从被动测试到主动测试的转变起到积极的作用。对软件所含缺陷进行风险或定量预测，其根本技术在于利用以往软件缺陷数据，构建软件内在信息和软件缺陷信息之间的映射关系函数。 软件缺陷数据具有如下特点：软件度量信息冗余；软件缺陷数据分布及其不平衡；软件缺陷数据易含有不准确数据（如不准确的缺陷量）对于模型构建来说就是噪声数据；软件缺陷数据维度高，复杂度高等。该技术的广泛使用，将对我国航空工业中的软件测试工作，从传统的被动测试向主动测试，合理安排有限的测试资源，提高测试效率，从而提高软件质量起到重要作用。

本专利提出一种动态交互网络环境下网构软件主体系统信任协商构建方法，软件主体根据自己的信任信息建立信任关系，避免了使用证书交换导致信任协商变得复杂繁琐；不需要合作的主体每次交互都重新建立信任关系，软件主体之间不断的信息交互使每个软件主体逐步拥有全局的信任信息。每个软件主体都拥有自己的信任信息，即信任度与合作度，需要合作的两个主体根据合作的方向选择对应的信任度和合作度（契合度）建立信任关系；信任关系建立的成功与否需要与参考值比较，该参考值是按照系统中主体拥有平均信任信息时契合度的计算值；当契合度大于该参考值时建立信任关系，该方法避免了使用证书所带来的麻烦，使得信任关系的建立变得更加简单和清晰。

1.痛点问题 癌症是目前严重威胁人类生命健康的疾病之一，基于单细胞测序技术研究肿瘤的微环境和异质性，对于理解肿瘤的机制、优化肿瘤的用药方案具有重要意义，而如何对肿瘤单细胞数据进行全面深入的分析，还面临很多挑战。 肿瘤样本具有其独有的特点，在样本制备和单细胞分离过程中，其细胞应激反应大、坏死细胞多，为肿瘤单细胞数据的质量控制带来了挑战； 肿瘤单细胞数据分析有其独有的核心问题，比如复杂的微环境和高度的异质性，而如何充分考虑这些难点，并从信息学的视角进行深入研究，有待建立全面、自动的分析框架； 肿瘤单细胞数据的分析，对科研人员的编程能力和分析经验要求很高，亟需自动化、智能化的软件平台来降低数据分析的门槛，提高研究的效率。 2.解决方案 本项目围绕肿瘤单细胞转录组数据成果的技术核心点包括： 1)针对肿瘤单细胞实验过程中应激反应大、坏死细胞多的问题，提出了全面、精细的数据质量控制方案； 2)涵盖了常规的单细胞数据分析流程（数据标准化、降维、聚类、差异表达分析）； 3)创新了肿瘤微环境细胞类型辨识和细胞恶性估计等方面的研究方法； 4)从重要表型（细胞周期、干性）、基因集（已知的和潜在的）两方面深度解析了肿瘤内部的异质性； 5)提出了考虑肿瘤间异质性的批次效应校正方法； 6)构建了自动化、智能化分析的软件平台，能够自动生成全面、直观的分析报告。 基于本项成果产生的产品、服务或解决方案： 1)自动化、集成式的肿瘤单细胞转录组数据分析软件scCancer； 2)针对软件使用和分析结果解读的服务； 3)针对更个性化数据分析需求的咨询与服务。 3、合作需求 团队要求：合作方和团队需要对肿瘤单细胞测序方面有较多的实践经验，能为本项目的应用与落地提供条件； 资金需求：合作方可为团队提供资金支持项目的维护与更新。

本发明公开了一种软件更新的补丁安全性检测方法及系统，所 述方法包括：通过对补丁预处理，进而进行中间代码分析以获得受补 丁影响的基本块，通过这些受补丁影响的基本块得到内存敏感型函数 及其变量，从其出发构造主要执行路径；在对路径的进行符号执行的 过程中，确定具体的路径条件，到达具体的内存敏感型函数时，结合 此时的路径条件和相应的安全检测器来判断是否存在软件更新安全问 题。本发明着重于检测软件更新后，新版本相对旧版本不同部

面向机械、建筑专业院校，以识图与制图教学为抓手，以工业软件国产化为指导，加速推广新一代信息技术和数字化资源的应用，实现理实一体化教学与实训，结合实验室建设开展相关产学研创项目，丰富内涵建设。

一.软件简介《浙科国际贸易进出口模拟教学软件》（实训平台）主要包括综合业务操作、国际商务单证、在线考试系统、知识网站、交流中心等。综合业务操作主要从进口商，出口商，生产商，进口地银行，出口地银行和辅助员的相互配合，互相交易来达到实践教学的目的。二.软件优势1.网络版，节点数无限制系统采用B/S架构和NET技术，只需安装在服务器上，无需对各客户端进行安装，客户端通过IE浏览器访问服务器，无需另行安装组件。系统维护方便，只要在服务器上操作即可。2.功能全面充分融合用户需求，集实验操作、练习、学习于一体，满足学生学习和实训的要求。软件拥有良好的人机操作界面，实用的操作方法，适合教学、学习。3.实验效率高通过模拟仿真的实验方式，可以更加高效的展示外贸流程与其中的关键知识，使得相关知识能够直观的呈现在学生眼前，大大提高了教学效率。4.日志功能软件还提供对学生实验的实时督导的功能。教师能够通过对学生操作日志的查看，了解到学生实验的进展情况，对学生的错误操作及时地提出意见，防止学生出现错误。三.软件功能1.进口商学生扮演进口商角色，在模拟环境中查看出口商发布的供应信息，完成询盘、合同签订、申请信用证、订舱、投保、提货、销售等步骤。2.出口商学生扮演出口商角色，与其他角色合作完成进行还盘、发布供应信息、起草外销合同、起草内销合同、备案、报关、报检、结汇、退税等步骤。3.进口地银行学生扮演进口地银行在实验过程中负责贷款管理、信用证审核、单证管理等操作。4.出口地银行学生扮演出口地银行在实验过程中负责贷款管理、信用证收证、审核单据、寄单等操作。5.生产商生产商角色在实验过程中负责与出口商签订合同、组织生产、放货等工作。6.辅助员辅助员在实验中扮演大部分的外部机构，例如保险公司、质检总局、海关、船公司、国税局等，帮助实验高效有效进行。四.软件特点1.交互性较高交互系统注重外贸交易的流程性，根据成交方式与付款方式，将业务流程分为CIF + L/C、 CIF + D/A 、CIF + D/P 、CIF + T/T Before Shipment、CIF + T/T After Shipment 、FOB + L/C、FOB + D/A、FOB + D/P、FOB + T/T Before Shipment 、FOB + T/T After Shipment 、CFR + L/C 、CFR + D/A 、CFR + D/P 等十五种流程。2.多角色体验按照外贸交易流程各步骤涉及的角色，系统将学生分为：进口商、出口商、生产商、进口地银行、出口地银行以及辅助员六大角色。其中辅助员将担任船公司、保险公司、商检局、外汇管理、海关、国税局的相关操作，来协助进出口商顺利完成业务流程。各角色有对立的操作平台，业务关系相互联系，以逼真的现实环境为模版，相互协作完成交易流程。3.强大的国际贸易交易环境各角色都可以进入共同的平台—“浙科模拟贸易平台”，学生建立自己的企业并在此发布采购/求购信息、寻找贸易伙伴、加入诚信企业、发布或查看商品广告等，且广告费用、产品展示费用系统都将根据教师的系统设置，从该企业的账户中扣除。集成“浙科电子邮件系统”，各企业通过邮件取得联系。4.提供模板范例系统中的单证采用外贸实际业务中规范的单证模板，使学生在缮制单证的同时有真实的处理业务的感受。同时，教师还可以设置单证填写的校验功能，学生将严格按照要求正确的填写单据，保证实验质量也提高实验难度，也能使学生的单证和业务水平得到锻炼。详细的操作帮助和填写说明，将在学生业务操作中起到辅导性作用。5.在线测试反馈作为教学软件，教学测试是必不可少的项目。《浙科国际贸易进出口模拟教学软件》提供系统操作评分、教师主观评分、在线考试、实验报告、教师查看实验等功能，使教  师可以全方位了解学生的学习状况和教学效果。6.在线互动交流此外，商友会论坛、FAQ为师生提供了网络交流环境。电子公告是教师发布理论知识的窗口。此外，软件中的“知识库”收录了大量专业文档，供学生学习参考。

中标麒麟高级服务器操作系统软件V7.0是在多年Linux研制经验基础上，适应虚拟化、云计算、大数据，满足业务对性能、扩展性、安全等要求，依照CMMI5标准研发，针对关键业务及数据负载而构建的功能丰富、安全、可靠、易管理、高性能的国产服务器操作系统；广泛应用于物理和虚拟化环境，公共云平台、私有云环境和混合云环境。系统实现对龙芯、申威、兆芯、海光、鲲鹏等自主CPU及x86平台的同源支持。 产品特点 统一的集群管理 提供中标麒麟综合管理平台实现对物理服务器集群运行状态的监控及预警、对虚拟化集群的配置及管控、对高可用集群的策略定制和资源调配等功能；为企业级数据中心用户打造统一的混合集群监管模式及一体化的IT基础软件平台解决方案。 易用、稳定、高效 提供全中文化的操作环境和常用的图形管理工具，符合i18n（国际化）技术标准，支持最新国家标准字符集（GB18030-2005）；符合LSB规范和CGL5.0标准。 便捷升级和维护 集成中标麒麟产品升级中心，提供公网升级服务/支持用户自建的内网升级中心；利用图形化的软件包升级工具进行系统升级，保障操作系统的安全性与稳定性。 良好的软硬件兼容性 用户可以在x86、龙芯、申威、Power和ARM64等异构硬件平台进行操作系统部署、升级，满足用户在不同底层CPU架构上操作系统运行的高稳定性要求。 中标麒麟高级服务器操作系统兼容国内外主流的软硬件产品，是国内同时获得Oracle、Vmware和Veritas等国际认证的操作系统厂商。 全方位的安全保障 支持国内外主流的可信计算标准规范（TCM/TPCM和TPM2.0）；支持国密增强算法；支持IPtables、支持SELinux；支持多因子认证、数据加密存储等，满足关键信息基础设施的安全保障要求。 与国内主流漏扫厂商（如绿盟科技、启明星辰等）建立漏洞扫描及修复的持续合作机制，为客户提供精确的漏扫报告，打造安全创新的基础软件平台环境。

交互多媒体教学体验 支持大屏或投影，更流畅的屏幕广播；全新的视频驱动核心，极大地提高了屏幕广播的性能，支持Direct3D、OpenGL、层叠等各种2D/3D窗口画面，对电影/多媒体课件/PhotoShop/PowerPoint/AutoCAD/3D等软件都能非常流畅无延时地进行广播 完整的智能化教学环境 课堂教学：包括屏幕广播、班级模型、作业收发、师生协作学习、随堂测评等功能。 流畅的网络影音广播功能 可同时发布16路音视频节目，学生可根据自己的兴趣爱好任意选择节目进行观看，支持0.5-2倍变速不变调，支持4K视频的广播。 摄像头直播 极其流畅、清晰的直播功能，教师机可以将摄像头、摄像机等外设采集的内容对学生进行现场直播，直播效果流畅无延时；完美支持1920*1080P分辨率。 投影广播 通过投影广播功能，您可以将其他电脑的显示信号内容广播给学生端，能够很好的适用于广播各种各样的屏幕，如游戏、苹果和安卓的操作过程。 多系统兼容 支持XP/WIN7/WIN8/WIN10 32位和64位操作系统,可改变缩略图大小,分组讨论,主题讨论,投票，具有转播、学生演示、学生的座位名称可修改为学生的中文姓名的功能。 复读机功能 在教学过程中，教师可能放快或放慢音视频的播放速度且不改变音调的高低，变速不变调范围0.5-2倍速，支持标签功能，支持4K视频的播放，学生与教师同步播放。 多语言教学支持 专业版支持中/英/俄/日/韩/西班牙/越南/泰/德/法/意大利等十多个国家的界面，不关闭软件即可切换各种界面。 网络电影功能 流畅的网络影音播放功能，可同时发布16路音视频节目，学生可根据自己的兴趣爱好任意选择节目进行观看，支持4K视频的播放。 完善的课堂教学管理功能 驱动级进程防杀，与360等安全软件采用相同的技术，支持32位和64位操作系统，确保学生无法轻易破解。支持应用程序限制、目录限制、上网限制、U盘限制、光驱限制、打印机限制等。 学生端在32位及64位系统下都具有非常好的进程保护能力，可防止学生通过任务管理器及在cmd命令窗口以taskkill /im processname /f、ntsd –c q –p processname及wmic process where name="processname" delete等命令结束学生端进程，支持断网锁屏功能。 专业考试系统 1)题型支持：判断题,写作题、翻译题、填空题、选错题、选择题、文字-图片连线题、文字-文字连线题、排序题、图片选择题2)试卷编辑：教师用于创建、编辑或保存试卷的工具；3)考试过程-教师端：包括试卷分发、考试和收卷；学生每作答一题，教师端会实时呈现结果；以问答卷的形式代替答题卡，学生不需要在问卷和答卷之间反复相应。4)考试过程-学生端：A未作答的题目有标记；B全触摸屏；C支持学生手动提交答卷，自主考试在考试结速后能马上得到考试结果；D答题草稿纸功能，能记录学生答题演算过程 阅卷评分 使用此功能，教师可以对学生的试卷进行评估，查看考试统计结果。