提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020  GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424  ZL2020100476371  ZL20201175663.9)登记软件著作权11项。 (3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。

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

本发明公开了一种基于 Docker 的可信容器安全加固方法，用于对 Docker 容器系统进行安全增强， 实现基于 Docker 的可信容器，应用于基于 Docker 的服务器集群中；该基于 Docker 的可信容器包含容 器程序 Docker、容器可信度量模块、进程监控模块和网络通信监控模块，其中容器可信度量模块包括可 信启动子模块与文件度量子模块；本发明重点关注 Docker 容器的可信性，利用可信计算、完整性度量 技术，配合实时监控模块对

心理测评系统是一套专门用于心理健康评测、心理健康普查以及心理档案建立的专业应用软件。它旨在通过科学、标准化的测评工具，帮助各类机构了解个体及群体的心理状态，被誉为国内同行业中专业性较强、测量种类较齐全的权威心理测评软件之一。该系统已被全国众多院校、心理咨询室、医院、司法机关等单位采用。 心理测评系统在设计上注重简单、快捷、高效、实用，具有以下突出的技术优势： 部署便捷：服务器端支持一键快速安装，无需复杂配置；客户端无需安装任何插件，通过浏览器即可使用。 多平台与多终端支持：可安装在Windows系列操作系统上，并支持普通台式机、笔记本电脑、平板电脑（如iPad）、触摸互动一体机等多种硬件。 高负载能力：系统整合了BS和CS两种架构优势，在硬件允许的情况下，可轻松应对十万级以上的用户并发压力。 人性化测评功能： 分段测评与断电续评：允许用户分多次完成测评，即使遇到断电等意外情况，系统也能自动保存进度，恢复后继续测评。 语音导读：为部分量表提供语音朗读功能，方便有阅读困难的用户。 数据安全与灵活性： 硬件加密：采用专属硬件加密锁，保障数据安全。 云备份与还原：支持时时对测评数据进行云备份和云恢复，是国内较早支持该功能的系统之一。 运行模式切换：支持单机、局域网和互联网三种模式一键切换。 高度自定义：管理员可自定义测评报告内容、系统界面“皮肤”，甚至远程管理测评终端（如远程开机、关机）。 核心功能 全面的测评功能：系统涵盖心理健康、个性/人格、情绪、智力、职业倾向、婚姻家庭、社会功能与适应能力等九大方面。内置了几百个标准化量表，包括国际国内通用的SCL-90（临床症状自评量表）、16PF（卡特尔十六种人格因素测验）、EPQ（艾森克人格问卷）、SAS（焦虑自评量表）、SDS（抑郁自评量表）、瑞文推理测试、霍兰德职业倾向问卷等。 多样的测试形式：支持人机对话（在电脑、平板上直接答题）、纸笔测试（传统答卷）和读卡测试（填涂答题卡，通过光标阅卷机高速录入，速度可达每秒约5张）三种模式，满足不同场景下的测评需求。 科学的报告与统计： 测评结果自动生成包含数据表、统计图（柱型图、饼形图、曲线图）和详细文字分析的个性化报告。 提供强大的团体统计功能，可对任意两个群体做T检验，对多个群体进行方差分析，所有原始数据均可导出到Excel或SPSS，便于深入的科研分析。 智能预警与档案管理： 预警功能：当测评结果显著超出正常范围时，系统会自动预警，帮助快速筛查出有潜在心理问题的人员，做到尽早干预。 自动建档：为每一位参与测评的用户自动建立心理档案，方便长期跟踪和纵向比较。 辅助功能：系统还集成了网络心理咨询功能，支持在线预约和咨询。 适用场景与人群 心理测评系统因其全面性和灵活性，适用于广泛的场景和人群： 教育机构（大中小学、幼儿园）：用于新生心理普查、学生心理健康筛查、职业规划指导。例如，山西师范大学实验中学和浙江嵊州鹿山小学都曾使用该系统对学生进行心理普测。 医疗机构（医院、心理咨询室）：辅助临床诊断、心理疾病筛查。 企事业单位：用于员工心理健康管理、招聘选拔、员工发展与晋升评估。 司法机关（司法局、监狱）：用于社区矫正人员、服刑人员的心理评估与矫正。 个人用户：用于自我认知、职业规划。

        滑雪头盔作为滑雪运动中不可或缺的安全装备，在《中国滑雪场所管理规范》中指出，滑雪头盔是必选项，滑雪头盔市场规模和发展潜力巨大。目前滑雪头盔市场仍由国外品牌主导。

【师生办事可信应用服务平台】赋能可信电子凭证应用(“1+X”凭证)、可信电子证照应用(涵盖:“录取-毕业”整个学业历程)、在线签署应用(申请审批、项目课题、合同协议)、电子签章集成应用(OA、网办、财务报销)、可信身份验证(新生入学复查、学籍注册)等应用场景。 利用数字化、集成化、可信化的手段，依托PKI身份认证体系，以数字证书为基础，以数字签名、数字水印为核心技术，建立标准师生办事服务体系，实现统一标准的电子签章制作、发放、管理、审计、查询、验证等服务，解决师生办事自助服务过程中所遇到的关键问题，包括电子文件安全、电子公文交换的权威性、电子签章、电子签名合法性等问题。 ■ 应用场景一:可信电子凭证应用 可信电子凭证平台依托PKI身份认证体系，以标准电子签章服务体系为核心，将数字证书与学生校内基础数据整合，为师生提供可信电子凭证的申请、生成、派发、验证等全在线自助服务，解决全流程线上业务办理“最后一公里”问题，三步申请、一秒送达、一次搞定。 “1+X”赋能:1个核心凭证生成输出能力“赋能”X个业务部门多种凭证需求 ■ 应用场景二:可信电子证照应用 围绕可信电子证照全生命周期赋能，为师生提供在线申请、缴费、生成、预览、派发、授权、吊销及使用核验等可信电子证照应用功能。贯彻学生整个学习历程(从新生录取到毕业审核后发放可信电子毕业证书),支撑可信电子录取通知书、电子学生证、电子准考证、荣誉证书、获奖证书等各类可信电子证照的全面应用。 颁发的电子证照文件支持上架省政务平台实现“亮证”，融入省级可信互认体系。师生/校友用户可通过社会身份体系登录省政务平台查询并使用个人电子证照，有效打通校内外证照互认壁垒，显著提升电子证照的权威性与含金量。 ■ 应用场景三:在线签署应用(申请审批、项目课题、合同协议) 在线签署应用将身份认证、数字签名与电子签章技术深度融入校园管理全流程，实现申请审批、项目课题、合同协议三大场景全流程数字化管控: 申请审批:满足学籍异动、毕业离校办理、停调课等日常申请审批事项的发起、流转、审批、签名、盖章全流程线上办理，实现“师生跑签”到“线上秒签”，大幅缩短业务处理周期。 项目课题:大学生创新创业项目、横向课题协议、社科规划项目申请书等项目课题的立项申请、审批与评审环节，实现项目材料全流程无纸化管理，确保数据存证、防丢失防篡改。 合同协议:支持校内外人员自由签署三方就业协议、货物采购合同、技术服务合同等合同协议(数字签名、单位盖章)，签署过程合法合规、防抵赖、可追溯，签署文档实现数字化归档管理。

产品详细介绍   一、系统简介     1、京师心智心理健康档案管理系统》（综合版）正式基于个体心理的发展特点，通过对个体的能力、自我、适应、人际关系、智力、职业生涯等方面进行全面评估，了解个体心理健康状况，建立心理健康教育档案，实现个体与社会的衔接，促进个体在社交、情绪、动机、智力等方面全面发展，构建和谐社会。     2、京师心智诚招心理设备代理,诚招代理加盟,仅做代理！！！     3、量表参数致电咨询了解     4、产品版本     （1）心理健康档案管理系统     产品版本：     综合版、大学版、中小学版      中学版、小学版、医院版      军队版、司法版、企业版      幼儿版、基础版     （2）经典版心理测评系统     产品版本：      综合版、大学版、中小学版      中学版、小学版、医院版      司法版、企业版、基础版     5、《京师心智心理健康档案管理系统》（以下简称“系统”）是京师心智于2015年倾力打造的新一代综合心理健康服务平台。系统集人员信息采集、心理测评（20大类，166个量表）、危机预警、心理咨询、心理档案、问卷调查、心理网站、系统回收站八大功能于一体。并有效形成预防、预警、干预三级防御机制。能够满足广大心理健康工作者，对成员心理状况全面评估，快速筛选和及时干预的需求。     系统由北京师范大学与京师心智联合研制开发，在“量表及常模的选择”、“软件的功能”以及“报告的呈现”都经过细致的设计和有效的检验。在继续秉承测量精准的研发理念下，进一步提高用户体验。     二、系统功能介绍     （一）系统管理  方便快捷     权限绑定角色名称，方便统一管理的同时，又可进行灵活调控； 支持部门无限级添加；     同时支持单个添加、批量创建、批量导入、自助注册和数据同步五种成员添加方式，方便灵活，可根据具体情境选择最佳录入方式。     运行模式自由切换，同时支持单机、局域网和互联网三种运行模式；     系统数据一键备份与还原，方便快捷，操作简单。     （二）心理特征  全面评估      1、海量测验  使用无忧       系统收录了国内外近200个专业权威量表，考查范围涵盖20个测验方向，既包括传统经典测验如瑞文智力测验、16PF、MMPI、SCL-90以及新近的一些量表如考试焦虑、学习障碍、青少年上网成瘾量表等。丰富的量表使其适用范围涵盖了各个行业，各类人群。     2、本土常模  精准可靠     量表常模均采用国内权威心理学专家修订后的中国常模，使得测量结果更符合中国人的心理特点，进一步提高了测量的精准性。     3、测评进度  随时把控     量表分配后，可随时查看已完成和未完成的名单，进而根据需要选择撤销作答或提醒作答的操作。提醒信息将同时以站内短消息和邮件的形式发送。方便用户在第一时间获取反馈。     4、分段测评 断电续评     用户在测试过程中如果出现网络中断、电源不工作等异常状态，系统将对测试题目进行保护，在用户重新登录后可选择重新作答或从断电节点继续作答。     5、数据分类  统计清晰     系统同时支持心理普查和日常测试。心理普查可以全面的了解每个部门的某项指标。日常测试是针对个别用户出现的问题进行心理干预前的测试诊断。心理普查与日常测试数据的分开，保证了普查取样的准确性和科学性。     6、结果详尽  报告直观      个体报告：测试完成后自动生成包含个人信息、测验简介、作答有效性分析、结果解释、结果分析图、指导建议、及阅读注意事项等多部分的测评报告。被试者可以在管理员的允许之下在客户端查看自己的测验报告，大大的增加了反馈的效率。     团体数据统计：系统可对指定团体制定量表的平均分、标准差、最大/最小值的分析，以及每个成员在团体中的相对位置。便于在第一时间掌握目标团体的整体心理状况。所有的学生测试的原始答案和原始分数均可导出到Excel电子表格和SPSS中，以便进一步的统计应用。     （三）智能预警  自动筛选     1、问题成员  自动筛选     对于测评结果发现有异常心理的，系统将自动记录并提示给有权限的管理员。这一预警功能可以在进行心理普测之后快速得出有异常心理倾向的人员名单，便于进一步进行跟踪处理和制定相关决策。     2、预警阈限  自主调整 预警值支持个性化设置，用户可根据具体情况，自行设置预警值，调节预警灵敏度，筛选具有某一心理共性的成员，使之更符合使用的具体情境。     （四）随时预约  即时干预     1、在线预约  随时随地     系统提供在线预约平台，用户可以随时随地通过系统预约自己偏好的咨询师，并由咨询师进行同步处理，不仅是方便灵活的心理预约平台，更能保证用户的隐私安全。     2、辅导历程  全面记录     心理咨询师可在线记录心理访谈历程和结案总结并进行保存，系统将自动生成个体辅导档案。方便心理辅导档案的查询、管理和统计等心理咨询日常工作。为咨询工作带来了极大的便利。     （五）调查问卷  轻松收集 管理员可在系统一站式实现调查问卷的编制、发布、收集和统计工作，问卷作答完成后，系统可自动统计参加该项调查的学生人数，以及选择各个备选项的比例；不仅方便快捷；而且统计结果详细直观，易于理解。     （六）心理档案  全面记录     档案系统功能强大，不仅可以形象直观的了解个体的心理变化趋势，更能有效全面的把握成员整体心理状况。通过不同查询条件，可以分别查询个体的心理测评档案、问卷调查档案、心理咨询档案以及心理综合档案。     （七）专属网站  全新打造 系统提供开放式设计结构，支持用户完全自定义栏目分类、显示模式、显示布局位置、查看权限、界面颜色风格、单位标志图片等项目。从而打造属于自己的心理网站。       （八）误删数据  一键挽回     回收站保存了您从系统数据列表中删除的文件和条目，这些项目将一直保留在回收站中，直到您清空回收站。通过数据恢复功能可有效避免数据的误删，更加方便了系统数据的维护工作。     三、技术特色与数据安全     （一）B/S架构，使用形式灵活     京师心智心理健康档案管理系统基于B/S架构，数据库采用SQL Server，系统架构为IIS+Asp.net+sqlserver2008，安全性高，稳定性强，既可以在局域网、互联网上使用，也可以单机使用。     （二）MD5加密技术 系统采用MD5加密技术，将系统重要信息进行单向加密，创建信息经过加密后再进行保存，即使这些信息被泄露，也不能立即理解这些信息的真正含义，从而达到保密的目的。     （三）备份与还原 系统数据支持一键式备份与还原。为对计算机水平不高的老师排除了使用疑虑。     四、权威专家  温红博，京师范大学教育学部教育统计与测量研究所心理博士，国家教育部基础教育质量监测中心研究人员。     五、售后服务     京师心智是一家综合型的心理应用机构，除了为客户提供优质的心理学产品，还可帮助学校心理老师获得心理咨询师职业资格证书、提供专业知识和实践技能培训等服务。 我们的软件用户可以享受以下服务：     1. 免费技术指导与终身售后服务；     2. 免费心理测量技术指导网络课程；     3. 参加我们的心理硕士培训课程；     4. 参加心理应用技术培训，并获得相应证书；     5. 参加心理咨询师培训，并获得心理咨询师职业资格证书。     六、品牌介绍     京师心智（北京）科技服务有限公司（简称京师心智），以“一心成就伙伴”为原则，帮助心理行业发展为宗旨，主要从事心理健康教育设备的研发与生产、心理图书的出版，是国内唯一一家仅做渠道的心理健康教育设备品牌；     主营产品：心理沙盘设备、心理测评管理系统、音乐放松设备、情绪宣泄设备、团体辅导设备、心理咨询师技能培训课程等。     京师心智：倾力打造中国心理设备品牌.     七、联系我们        姓名：范香云     电话：13311233616     Q Q：2476421764     单位名称：京师心智（北京）科技服务有限公司     E-mail ：3201453676@qq.com     邮 编：100875     地 址：北京市海淀区文慧园北路8号庆亚大厦906

产品详细介绍         U伴慧学即时反馈系统覆盖课前、课中、课后，收集整个教学过程产生的数据，为教师随堂测评、形成性评价提供有效支持。 数据类别： 学生个人数据报告：让家长和教师轻松掌握学生学习过程情况，包含认知程度、情感表现、技能表现等维度。为学生个性化学习提供依据。 班级数据报告：让授课老师和班主任全面科学掌握班级学生的学习情况，为高效精准教学提供依据。 校级/区域数据报告：让校长和教育管理者全面了解所管辖校/区的教学情况，包含教师“教”的情况和学生“学”的情况。为管理者科学管理决策提供依据。

产品详细介绍   北京师范大学---心理测评档案系统软件 1 瑞文标准推理测验 2 威廉斯创造力倾向测验 3 瑞文高级推理测验 4 韦氏儿童(加工具箱) 5 韦氏幼儿（加工具箱) 6 儿童智能50项(加工具箱) 7比内-西蒙测验(加工具箱) 8 希内学习能力测评软件（正常）(加工具箱) 9 希内学习能力测评软件（聋哑） 10判定孩子创造潜能的方法问卷 11幼儿观察能力检测表 12幼儿绘画素质检测表 13幼儿记忆能力检测表 14幼儿交往能力检测表 15幼儿音乐能力检测表 16 团队领导能力问卷 17卡特尔十六种人格16PF 18 艾森克人格测验EPQ 19 爱德华个人偏好量表 20 明尼苏达多相人格测验 21 超常行为检查表 22 意志力测验 23 中国青年人格问卷 24 3-7岁儿童气质问卷（PTQ） 25 儿童自我意识 26 十四种人格 27 中小学生适应能力测验 28 中学生人际交往能力测验 29 气质测验 30 社会适应性自评问卷 31 信任量表 32 个人评价问卷 33 容纳他人量表 34 自信心心理测量 35 员工人际交往能力测试 36 SCL-90 37 中小学生心理健康量表（MHT） 38 抑郁自评量表 39 焦虑自评量表 40 考试焦虑测验 41 大学生人格健康调查测验 42大学生行为问题量表 43 自杀态度测验 44 情绪-社交孤独测验 45 Beck抑郁测验 46 自卑感量表 47 嫉妒量表 48 人生观测验 49 应对方式量表 50 压力应对方式问卷 51 生活事件 52 青少年生活事件测验 53 Achenbach儿童行为测验 54 儿童多动症核查测验 55 精神症状自我诊断量表 56 婴幼儿孤独症判定量表 57 康奈尔医学指数 58 汉密顿焦虑量表 59 汉密顿抑郁量表 60 婚姻关系适合度评定 61 恋爱方式测验 62 生活满意度评定量表老年版（它评） 63 生活满意度指数A老年版（自评） 64 儿童孤独量表 65 儿童社交焦虑量表 66 中学生网络成瘾量表 67 自我和谐问卷 68 交往焦虑量表 69 领悟社会支持量表 70 人际关系综合诊断测验 71 社交回避及苦恼量表 72 匹兹堡睡眠质量指数 73 简易精神状态量表 74 社会功能缺陷筛选量表 75 OLSON婚姻质量问卷 76 学生与教师相处的行为困扰的诊断量表 77 学习方式（信息加工方式）测验 78 学习方法与技能测验 79 学习动机测验 80 学业成就与人际关系归因测验 81 学习风格测验 82 家庭亲密度和适应性量表 83 家庭教育方式综合测评 84 （4-7）岁儿童社会化量表 85 家庭功能评定量表 86 马氏倦怠通用量表（MBI—GS） 87 升学就业指导（职业倾向） 88 专业职业（信息加工）类型测验   管理系统是保障所有测验正常运行并提供客户端测试和服务器端管理功能的，必须购置   备注:以上心理测量软件购买者既可以全套购买也可以根据需要挑选购买。  

针对工业控制领域中安全相关系统的功能安全问题，研究评估方法，建立了安全评估体系，掌握安全设备的安全完整性评估和分析、安全系统的安全完整性评估和分析技术；针对现场设备失效和可靠性展开研究，掌握可靠性设计技术，针对工控系统信息安全进行研究，参与制定了相应的国家标准。开发了国内第一个 PROFISafe 安全通信协议。