软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

为提升拍摄的视频图像分辨率，增强图像对比度和清晰度，改善图像的画面质量，本项目综合考虑在设备进行拍摄过程中所遇到的器件性能、拍摄抖动、复杂天气影响等各种因素，以多帧超分辨率重建技术为核心，研发一种智能模糊图像处理软件系统。该系统针对不同的因素，自适应地实现相对应的图像优化处理，主要包括图像去雾、去噪、去模糊等图像增强处理，并结合多帧图像超分辨率重建和单帧图像超分辨率重建技术、稳定化等提升分辨率处理，以便获取更多细节信息。本软件所包含的主要功能详细介绍如下： 1、图像去雾功能

  中教启星3D 地理教学软件系统利用计算机三维动画技术和3D 显示技术，以虚拟、动态、立体的资源呈现方式将辅助学习内容与真实世界完美结合，使呈现内容突破时间和空间、宏观和微观、历史和现实的限制。系统软件将地理过程模拟转化为3D 立体动画跨时空过程，具有极佳的可视性和直观性，帮助学生深入观察和充分理解抽象的地理过程。   中教启星3D 地理教学软件配套丰富的3D 地理教学资源，涵盖自然地理和人文地理，如自然地理中《板块构造地貌》、《丹霞地貌》、《等高线模型》和人文地理的《聚落的形成条件》、《商品谷物农业》、《秘鲁渔场成因》等多种3D 教学资源，可在裸眼3D 电视/3D 电视/3D 投影机等设备使用，并广泛应用于中小学地理与科学等学科教学和科学素养拓展教育，生动的3D 呈现效果能有效激发学生的地理学习兴趣，充分满足多元化和个性化的教学需求。 配套资源

1. 视频源支持VGA/DVI/HDMI、HD-SDI、3G-SDI等摄像机号，还可以支持图片、MP4媒体文件、IP串流、拼接组合画面等。 2. 系统支持8个原始信号通道，并且任意一个通道都可做高清软拼接和叠加高清视频画面以及抠像画面。 3. 每个视频通道都可以添加媒体文件播放、图片播放并且可以设定通道序号和通道名称等功能。 4. 视频拼接与叠加支持课件与视频、视频与视频、图片与视频等任意信号源拼接与叠加，生成单流多画面视频流，全部采用软件实现无需硬件支持。 5. 最终录制好的导播合成视频（电影模式），具备高清与标清格式同时录制功能。即：1920*1080分辨率和1280*720分辨率的视频文件可以同时录制。 6. 录制好的高清原始素材为可编辑格式，支持常用非编系统及编辑软件。 7. 支持8通道1080p原始素材和1路1080P导播合成素材同时采集压缩存储。 8. 系统支持与校园监控系统的摄像头连接，通过录播系统可查看校园所有摄像头的图像。 9. 系统支持多种视频格式选择，可录制MP4格式、ASF格式、FLV格式、TS格式、AVI格式、WMV格式（支持常用非编系统及软件）。 10. 系统可同时录制8通道的原始视频素材（用于后期深度编辑使用）。 11. 系统同时录制1路导播输出视频信号即电影模式。 12. 系统可同时录制1路组合拼接视频，支持双屏，三屏，四屏等多种组合拼接方式。（主要用于课后的教研分析，课后研讨等方面） 13. 系统可同时对实时视频信号与原有视频文件及图片进行抠像操作，支持蓝色，绿色背景，并具有前景坐标位置调整功能，且支持通道拼接画面作为抠像背景。 14. 录像的开始、暂停、停止功能可以支持录播软件控制、专用导播键盘控制、网络控制、无线设备控制、多媒体中控设备控制、录播控制面板控制。 15. 系统可将实时视频信号与原有视频文件或图片，进行多种形式拼接组合支持三种以上组合方式。 16. 系统支持手动与自动增加片头片尾功能，自动模式下系统停止录像后可将片头片尾文件与录制的视频文件自动合成为一个完成的视频文件。 17. 系统支持20种台标、角标等功能同时使用，且对位置、大小、颜色、底色等参数进行任意调整。 18. 系统支持8种字幕同时显示功能，可导入TXT字幕文件，也可实时输入字幕内容，可对字幕颜色、大小、位置及底色进行任意调整。 19. 系统支持16种转场特效选择，及4种画中画组合方式。 20. 系统支持网络与视频同时直播模式，网络直播时可根据网络带宽情况，对直播视频的分辨率及码率进行多种组合形式的调整。 21. 软件在手动操作时必须支持预置位操作功能，每通道预置位数量为5个。 22. 抠像功能支持多通道同时抠像，且支持通道拼接画面作为抠像背景。 23. 录像控制支持一键启动、暂停、停止所有节目录制，暂停后重新恢复录制时，不产生新的视频文件。 24. 系统支持音视频录制失败自动修复功能，当录制过程中发生断电或死机等意外事件时，正在录制的视频文件不会丢失且能自动修复正常播放。 25. 系统支持网络导播控制功能，教师通过IP网络进行控制录播系统，具备录像与直播的开始、暂停、继续、停止功能，并且支持通道之间的导播切换功能。 26. 系统支持外接专用导播键盘与录播控制面板同时使用。 27. 系统支持录像时长显示功能，暂停录制后时间不清零，继续录制后时间延续记录。 28. 系统支持独立控制功能，在进行录像和直播工作时能够单独停止录像功能保留直播功能，也可单独停止直播功能保留录像功能。 29. 系统在录像的同时支持自动抓取视频第一针画面截图功能，作为上传到资源管理平台后的课件封面使用。 30. 系统支持专业云台及广播级摄像机的扩展使用功能。 31. 录播软件具备对会议摄像机进行一键还原初始位置的操作，并且每台会议摄像机均可以进行此项操作。 32. 录播软件支持2种格式同时录制功能，即资源录像（原始信号）与导播录像（电影模式）分别录制不同的视频格式。 33. 系统支持自定义外接控制面板功能，用户可根据需要任意对接串口控制设备，如录播控制面板多媒体录播中控等控制设备。 *软件可以支持以下信号同时进行录制： 1. 4路高清摄像机信号同时录制 2. 1路高清课件HDMI/DVI/VGA信号同时录制 3. 1路三屏拼接视频信号同时录制 4. 1路虚拟抠像信号同时录制 5. 1路画中画视频信号同时录制 6. 1路高清导播合成视频信号同时录制 7. 1路标清导播合成视频信号同时录制 *音视频信号录制标准： 1. 视频编码：标准H.264 2. 音频编码：AAC 3. 录像格式：MP4、ASF、FLV、TS、WMV、AVI可选 4. 录像分辨率：支持1080P/60fps、1080P/50fps、1080P/30fps、1080P/25fps7、20P/60fps、720P/50fps、720P/30fps、720P/25fps，720×576/25fps可选。 5. 录像码率：支持2M-32M任意设置。 *网络直播与视频流推送模块支持以下功能： 1. 流媒体协议采用标准RTMP协议、HLS视频流、RTSP流，同时支持WINDOWS、android、IOS，跨平台WEB无插件直播。 2. 录播软件内建WEB服务与流媒体服务功能，在没有外接WEB服务器与流媒体直播服务器的情况下可支持小范围的直播与点播活动，直播时可支持100个以内的客户端同时观看。 3. 系统在支持本地直播的同时，还支持向第三方的FMS直播服务器推送直播流，最多可支持向四个第三方FMS平台同时进行推流。 4. 系统支持网页收看直播，客户机无需安装任何软件及插件即可直接观看直播视频。 5. 录播软件支持内外网同时进行网络直播，并且可针对内外网带宽情况分别设置码率功能。即内网直播使用高分辨率与高码率进行传输，外网直播使用底分辨率与底码率进行传输。 *导播及跟踪模块支持以下形式： 1. 支持讲台单机位、双机位、多机位跟踪导播，多机位跟踪导播时用户可编程。 2. 支持学生单机位、双机位跟踪导播。 3. 支持教师三种机位跟踪导播与学生两机位跟踪导播任意组合。 4. 支持可视化自动定位跟踪功能，在自动导播的同时看到讲台和学生的定位情况。 5. 支持延时切换功能，根据用户需求可自行设置老师与学生画面之间的切换延时。 *老师自动跟踪模块需支持以下模式： 1. 采用算法支持智能图像分析算法、老师无需佩戴任何辅助设备，真正做到常态化。 2. 跟踪模式与定位需支持点定位、区域定位、立体定位、移动侦测。 3. 图像跟踪与切换支持智能识别自动调度功能，系统自动识别摄像机机位，自动调度。 4. 跟踪切换方式支持可编程，可根据不同老师的授课行为习惯，进行编程，实现个性化跟踪策略。 5. 同时支持教师单机位随动跟踪、双机位切换场景与随动跟踪、多机位画面切换跟踪方式。 6. 在没有板书定位摄像机时，支持板书特写拍摄功能。 *学生自动跟踪模块支持以下模式： 1. 系统跟踪模式需支持图像分析与人脸识别双重技术。 2. 系统同时支持双摄像机定位与单摄像机定位的两种图像分析算法，以适用不同的课程与跟踪需求。 3. 系统支持自动捕捉单人站起、坐下，单人到多人，多人到单人的起立坐下等复杂课堂场景的变化。 4. 系统具备内嵌人脸自动识别技术，避免光线变化产生图像误报。 5. 系统支持教师走下讲台后，在学生区走动时摄像机随动跟踪功能。 6. 系统在手动导播情况下，支持点图智能自动定位分析功能，即可通过点击教室模拟平面图快速定位拍摄到起立的学生。 7. 支持多种跟踪模式，单机位随动跟踪、双机位切换跟踪模式。 *课件信息的采集与侦测模块支持以下功能： 1. 支持一通道以上DVI/VGA/HDMI的计算机信号采集。 2. 系统可自动识别内容变化、光标、鼠标行为等信息。 3. 当系统侦测到只有鼠标小范围移动操作时，系统不会自动导播切换画面。 4. 当课件计算机的屏幕发生内容变化后，系统进行侦测分析判断后进行导播切换画面。 5. 当播放内容切换到课件演讲时，系统自动识别内容变化、光标、鼠标行为等，系统自动判断鼠标行为和画面内容变化为有效演讲状态，光标闪烁为无效演讲状态。 6. 系统支持工具栏独立侦测屏蔽功能，避免网络连接或其它活动及广告图标干扰误报，导致系统进行无效的画面导播切换。

1.支持转写已有音频文件，便于二次编辑整理，一小时音频5分钟出稿。 2.支持根据自身行业特点，自定义个性化热词、敏感词等，提升准确率。 3.会议期间对语音信号进行实时转写和翻译，支持全屏、字幕多种展示样式。 4.支持网页和Windows客户端同步使用，满足不同场景的使用需求。

记忆是大脑最重要的功能之一，也是人类研究最多的脑功能之一。记忆随时在发生，而遗忘如影随形。 海马体位于大脑丘脑和内侧颞叶之间，是负责记忆的编码和存储的一个重要脑区。在这里，记忆信息被编码于一些神经元中，称之为记忆印迹细胞。随着科学研究的发展，科研人员发现印迹细胞的重新激活是记忆提取的“发动机”，印迹细胞间的突触联系是储存记忆的“仓库”。 海马脑区中记忆是如何随着时间而消退的呢？这个问题在科学界一直没有得到充分的研究。经过3年多的努力，浙江大学医学院谷岩研究员课题组和王朗副研究员课题组首次发现，用于免疫的小胶质细胞通过清除突触而引起记忆遗忘，并且进一步发现补体信号通路参与了小胶质细胞介导的遗忘，并且依赖于记忆印迹细胞的活动。 这项研究，北京时间2月7日在国际顶级期刊《科学》在线发表。论文共同第一作者为医学院2016级博士生王超和2017级博士生岳惠敏，论文通讯作者为谷岩研究员和王朗副研究员。 遗忘被“遗忘”了 记忆与遗忘就像是一个硬币的两个面，不可分割。但是长期以来，科研人员对人脑记忆的产生、储存、调取始终表现出浓厚的兴趣，研究也比较深入，但对于遗忘这一现象关注的就不是很多。就算是讨论记忆丢失的原因，也多是从记忆存储和调取过程中出现问题这个角度来考虑。 遗忘被“遗忘”了。不过，谷岩倒是对这个问题很好奇，他开玩笑说：“我自己记性差，所以对遗忘方面的研究很感兴趣。” 如何算出记忆保留了多少？课题组在小鼠记忆遗忘实验中用的是经典的条件恐惧记忆行为学模型。科研人员通过在一个场景中给小鼠施加电击刺激，使其建立对这个环境的记忆。在35天后，让受过电击的小鼠再次重返这一场景中，看小鼠是否会回想起电击的痛苦进而表现出害怕。  “这个行为学范式本来是用来检测恐惧行为的记忆的，但换一个角度看就是遗忘”，谷岩介绍，正常的小鼠对于环境总是充满好奇四处活动，但是如果留有恐惧记忆，它就会因为害怕而呆在那里不动（即freezing状态），“我们就通过计算单位时间内小鼠处于静止不动的时间，来衡量小鼠记忆保留的情况。”图1. 记忆的遗忘随着时间而逐渐发生。研究人员发现，训练35天后，小鼠freezing的时间显著低于5天时的检测结果，表明时间越久，记忆的遗忘越显著。 像“探案”一样做研究 从小鼠的实验中，研究人员发现，记忆随着时间的推移而消退。记忆在海马中提取的主要途径，是通过编码这些记忆信息的记忆印迹细胞的激活。通过标记记忆印迹细胞，研究人员发现，遗忘的同时伴随着印迹细胞的激活率的下降。那么是什么导致了印迹细胞激活率的下降？研究人员关注到大脑中的另一种细胞——小胶质细胞。 小胶质细胞约占大脑细胞总数的10-15%左右。此前科学家已经明确，小胶质细胞是中枢神经系统中的主要免疫细胞。当大脑受伤感染，细菌进入皮层后，小胶质细胞作为重要的“防卫兵”负责“抵御杀敌”。越来越多的研究表明，小胶质细胞不仅参与神经系统的免疫调控，而且对于神经系统发育、神经元活动以及神经环路功能都有重要的调节作用。 研究人员特异性地清除了脑内的小胶质细胞，发现不仅遗忘被抑制了，同时印迹细胞的重新激活率的下降也被抑制了。“这个发现其实非常偶然，我们将清除小胶质细胞的小鼠进行了一系列的实验，包括记忆的形成和提取、焦虑等，但结果对记忆遗忘的影响非常显著。”去除小胶质细胞的小鼠的恐惧反应要比对照组更加明显，处于静止状态的时间是对照小鼠的2倍 多。为此，课题组继续深入开展实验，并发现当清除小胶质细胞时，记忆印迹细胞的激活不再出现明显的下降。图2. 清除小胶质细胞抑制了遗忘。A-B：用CSF-1抑制剂PLX3397（PLX）特异性清除小胶质细胞后，小鼠的遗忘被抑制了。C-D：PLX抑制了伴随遗忘的印迹细胞激活率的下降。 既然小胶质细胞确实影响了记忆印迹细胞的激活，并导致了遗忘，那么它们又是如何引起了印迹细胞激活率的下降呢？是不是通过破坏记忆印迹细胞之间的信息传递呢？此前的研究表明，小胶质细胞能够清除婴幼儿大脑发育中过多的突触，并调节神经元之间突触连接的动态变化。那么在成年的大脑中，小胶质细胞是否也具有同样的功能呢？ 因此研究人员继续破案，通过免疫染色和高分辨率成像，他们发现海马的小胶质细胞“肚子”里，存在着突触特异性的成分，如位于突触前的synaptophysin分子和位于突触后的PSD95分子，并且与小胶质细胞中的溶酶体共定位（共定位：两个蛋白位于同一空间位置的细胞学佐证），表明成年海马中的小胶质细胞仍然具有“吃掉”突触结构的能力。当抑制小鼠的小胶质细胞吞噬作用时，记忆的遗忘被显著阻断。这些结果表明小胶质细胞通过“吃掉”突触而介导了遗忘。图3. 在小胶质细胞中发现了突触特异性成分，如突触前蛋白synaptophysin（Syn，A）和突触后蛋白PSD95（B），并且与小胶质细胞的溶酶体标记物Lamp1共标。 遗忘的机制始于分子的“导航” 研究人员发现，记忆在印迹细胞组成的这条“公路”上激活传递，这其中记忆印迹细胞之间的突触不仅是公路间相联系的“桥梁”，而且也是储存记忆的“仓库”。小胶质细胞就像是“拆迁队”， 把“桥梁”给拆掉了，储存在其中的记忆信息也就无法继续传递下去，最终导致了记忆遗忘。 那么具体是什么分子机制让本来是大脑“防卫兵”的小胶质细胞“兼职”成为了“拆迁队”了呢？研究人员通过高分辨率显微镜发现补体分子C1q不仅与印迹细胞的一些树突棘共定位，还与PSD95一起存在于小胶质细胞溶酶体中，这提示补体信号通路可能介导了小胶质细胞对记忆印迹细胞突触的清除。 研究人员通过对比，发现在印迹细胞中阻断补体信号通路可以十分有效地抑制记忆的遗忘和印迹细胞激活率的下降。而C1q-补体信号通路就像是猎人的小狗，寻找并在记忆印迹细胞的一些突触做上标记，这样小胶质细胞就像有了导航图一般，可以瞄准目标展开攻击，一吃一个准。 “复习不易忘”有了科学依据 生活中的一个常识，学习了一个新知识，假如总是复习，就不容易遗忘，而不去复习的话很快就会忘记。 研究人员通过实验证明了这一点。课题组特异性地在记忆痕迹细胞中导入了药理遗传学受体，通过注射药物CNO后，可以选择性抑制记忆印迹细胞的活动，让它们没有那么兴奋。这个时候研究人员发现，记忆的遗忘被加速了，就像不复习就容易遗忘。而这种加速的遗忘也可以被清除小胶质细胞或者阻断补体通路所抑制。 从另一个角度来看，复习就是让记忆印迹细胞和相应的突触联系更加活跃，好像把突触这座桥梁用钢筋混凝土加固了一样。而如果不复习，“桥”就会年久失修，就会被小胶质细胞这个“拆迁队”识别并拆除。 小胶质细胞的突触清除可能是介导遗忘的一种普遍机制 海马的齿状回可以不断产生新生的神经元，称之为神经发生（neurogenesis）。根据此前《科学》杂志报道，齿状回中持续产生的新生神经元的整合会导致海马神经环路中大量突触的重组与替换，从而导致先前建立的记忆被遗忘，尤其是在婴儿期。为了找出小胶质细胞介导的遗忘和神经发生介导的遗忘之间的关系，研究人员同时操纵了海马神经发生和小胶质细胞，发现小胶质细胞介导的突触清除既参与了神经发生引起的遗忘，也参与了和神经发生无关的遗忘。因此，小胶质细胞的突触吞噬作用可能是在有神经发生的大脑区域，或缺乏神经发生的哺乳动物大脑中介导遗忘的一种更为普遍的机制。 谷岩表示，随着研究的深入，未来可能对疾病导致的记忆损伤和记忆丢失有更清楚的理解。从长远来看，这项工作也为研究长期记忆的巩固和不良记忆的消除提供了前瞻性的基础铺垫。

XM-615大脑皮质分区模型   XM-615大脑皮质分区模型可拆分为2部件，大脑作正中矢状切面，左侧大脑半球作水平切面，并剖开颞叶显示间脑，小脑作矢状剖面，按不同皮质层进行分区，并用颜色加以区别。 尺寸：自然大，21.5×17×14cm 材质：PVC材料

成果描述：该系统基于B/S模式开发，采用了工业界普遍采用的实时通信与数据采集技术，结合后台大型分布式数据库，通过Web发布的形式，使得学校各级管理人员不管身处何时何地，都可以轻松地对学校各部门各建筑的用能情况进行监控和管理。软件的主要功能包括：（1）能耗监测资源整合，支持不同能耗采集硬件设备、采集系统、以及现有能源系统的数据集成和归一化处理；（2）对分类分项能耗数据和相关参数的采集，实现对能耗量的动态实时监测；（3）对能耗数据进行分析、处理，提供报表、图形、公告公示等多种展示形式；（4）为管理者能源审计、节能管理、开展有计划分步骤的节能改造提供数据依据。市场前景分析：随着全国高校节约型校园建设项目的全面铺开，该平台功能完整，架构清晰，设计具有很强的兼容性和可移植性。而且平台从2013年已经在电子科技大学部署并稳定运行，电子科技大学作为建设标杆和示范性单位，已经接待了多次高校参观，具有很好的市场推广效果，预计将有很好的市场前景。与同类成果相比的优势分析：与同类成果相比，该系统具有以下特色和优势：（1）系统设计与管理紧密结合，大大提高管理效率；（2）开放式软件接口，兼容多厂家计量表计和能耗采集系统，扩展性强，用户可独立采购硬件；（3）可集成接入其他已建成的多个现有能源管理系统；（4）模块化系统架构，易于功能修改、扩展以及定制；（5）全方位多角度能耗统计对比分析，辅助管理决策，实现科学节能。

本项目从钢铁企业销售业务的特殊需求出发，采用当今最流行的技术手段，是完全为钢铁企业量身定做的销售业务信息管理平台。它能够促进销售各环节紧密配合，对物流、资金流和信息流进行综合管理。本软件系统的主要功能如下： 业务管理功能：包括客户管理、合同管理、提单管理、货款管理、价格管理、结算管理、仓储管理、发运管理等； 信息管理和决策分析功能：包括市场信息管理、计划管理、信息查询、报表生成和决策分析等； 企业分销网络管理功能：对包括代（分）销点的企业分销网络进行实时管理； 与外部系统接口功能：与生产系统、质量系统和财务系统的业务衔接管理。应用范围 钢铁企业的营销及分销网络管理。

1.项目简介：本项目开发出了一种大型供应链优化计算软件系统，软件系统包括互相连接的两大功能部分：结合供应链建模的数据库及管理系统和微机大型供应链0-1整数规划计算软件系统。前者为针对供应链建模和计算结果汇总和分析的信息管理系统，它构成了与企业管理的电子商务系统的有机连接；它可实时运行和显示，运行速度很快。后者则是解决大型供应链问题的计算软件，使用当前的一般微机系统，可解决具有50万个有效变量（其中2000个0-1整数变量），和一万个约束方程（包括2000个主问题约束方程和其他称为“广义上界”的约束方程）之内的大型问题；计算时间一般视问题大小在1-3小时之内。这两大功能可连接运行，亦可分开单独运行。 2.技术特点：本项目采用一种基于广义上界的有界变量混合型0-1整数规划算法，它无需大型计算机来解决问题，使用微机即可，方法可靠、实用而有效。