提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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 容器的可信性，利用可信计算、完整性度量 技术，配合实时监控模块对

产品详细介绍   一、系统简介     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 专业职业（信息加工）类型测验   管理系统是保障所有测验正常运行并提供客户端测试和服务器端管理功能的，必须购置   备注:以上心理测量软件购买者既可以全套购买也可以根据需要挑选购买。  

产品详细介绍     一、产品介绍    京师心智心理测评系统由北师大测评专家温红博教授指导研发，采用专业本土化常模，信效度高、操作简单方便、确保测验记录全面、准确、可靠。提供近100个专业权威量表，在量表的选择上始终将科学性、严谨性放在首位，完善的心理测评分析、丰富测评报告、专业心理档案管理，充分满足老师工作的顺利开展以及测试的专业性。     二、产品优势    1、广泛量表 专业检测    系统收录了国内外近200个专业权威量表，采用国内权威心理学专家修订后的中国常模，范围涵盖21个测验方面。    既包括传统经典测验如瑞文智力测验、16PF、MMPI、SCL-90以及新近的一些量表如考试焦虑、学习障碍、青少年上网成瘾量表等。丰富的量表使其适用范围涵盖了各个行业，各类人群。    2、专业测试 信效度高    京师心智北师大专家专业指导研发，始终将心理测评软件的科学性、严谨性放在首位，保证客户在使用心理量表表时，更突出专业性及准确性。    3、测评报告 丰富实用    测评系统可以自动生成测评报告，不仅包含生动直观的测试结果数据表和统计图（柱型图、曲线图、剖面图等），根据详细的心理特点分析以及针对该心理特点的指导建议，结果详细、指导明确，提高了测验报告的可读性和实用性 。    4、专业分析 精准报告    京师心智心理测评结果分析报告由：个人信息、测验量表介绍、本次测验得分、测验结果的图表统计、本次测验结果的详细解释、关于本次测验结果的详细指导建议、测验结果的附加说明七个方面组成。在全国同行中做到专业性最强、信效度最高、测验结果分析最全。    5、专业统计 功能强大    提供了强大的数据统计分析功能，可对心理测试结果进行统计分析和分值计算，同时提供了最大值、最小值、平均数、方差、标准差等数据，实现心理健康状态的动态监控，提升问题的应激反应的能力与适应。同时支持数据安全管理的功能，可进行EXECLE常规表格和SPSS专业统计进行分析整理，满足客户多方面需求。      6、方便快捷 档案查看     将查询条件输入管理系统就可以方便的查询到自己需要的个体档案，在原有测验分析的基础上自主添加心理健康指导建议。系统支持自由添加心理测验量表的功能，同时可根据实际需要将心理测验软件添加到本心理测评档案管理系统中。确保了心理测验软件系统的长期有效的使用和不断完善的需求。     三、产品特点    1、人性化界面     结合C\S与B\S架构的网络测评技术优势和单机的强大数据处理优势，将数据收集和数据分析分开进行，既满足在心理咨询室、局域网和因特网上同时进行团体测评，又能确保数据的安全性和保密性。既可团体测评建档也可个别咨询诊断。令使用者操作简捷，对电脑操作技能要求不高，便于心理教师迅速掌握灵活运用。    2、保密性强      用户使用中具被自定的权限。分为：超级管理员，高级管理员，普通管理员。其中超级用户具有最高的高级权限。普通用户除了可以查看个人信息和进行测验以外，不具有任何高级权限；高级用户具有的权限介于二者之间。    3、量表自由选择    测评量表种类可选择性购置,可进行购买一部分所需要的量表,后期需要可进行二次购买，节约成本的同时、提高了使用的效能。     四、心理测评量表（10大专业测试  针对性精准测量）     五、专家指导    六、服务支持     七、品牌优势    1、产品：心理沙盘、心理测评系统、音乐放松系统、团体辅导、心理宣泄设备、心理自助仪、实验仪器，多款配置参数，招投标首选,控标产品，满足代理一站式采购需求。    2、专家：70多位来自高校的教授、一线优秀的心理工作者组成的专家团队； 我们的研发、推广、售中、售后保驾护航；领导认可、用户技能、设备性能同等重要，以专家的身份、专业性，更易获得用户及领导的认可！    3、厂家：完善的厂房，先进的生产设备，实现生产规模化，专注每个细节的完美精准，为优异的产品质量提供有力的保障，研发的设备先后获得中华人民共和国国家知识产权局专利数十项，享有较高的客户美誉。    4、实力：7年行业经验；70名专家顾问；100名本科以上团队成员！    5、服务：为代理提供心理咨询室设备招标采购方案，支持学校、司法、医院、政府、社区等心理咨询室建设，协助代理售前成交以及售后保障,保障代理项目顺利开展。     八、适用范围     九、荣誉资质     十、客户案例     十一、其他相关产品    十二、品牌    京师心智，以“一心成就伙伴”为原则，独创“一站式”服务体系，诚邀广大合作伙伴共同推动心理行业的发展。主要从事心理咨询室建设设备的研发、心理健康软件、科研设备、心理应用人才培养等心理应用全线业务。专业的品质，真诚的服务，深受业界好评，拥有30多项国家权威认证，更有诸多专家认定和支持，倾力打造中国心理设备专业品牌。     十三、联系方式     姓名：范香云     座机：010-59201713     手机：13311233616     QQ：3201453676     地址：北京市海淀区文慧园北路8号庆亚大厦9层。

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

为全面贯彻落实国务院办公厅《国务院关于在线政务服务的若干规定》、《关于简化优化办公服务流程方便基层群众办事创业的通知》、《推进“互联网+政务服务”开展信息惠民试点实施方案》若干规定，并结合《中国教育现代化2035》和《加快推进教育现代化实施方案（2018－2022年）》的要求，全面提升高校事务服务规范化、便利化水平，杜绝一纸证明“跑断腿”，优化高校服务环境，推进服务型高校建设。 时代锐思通过多年的研究和实践，借助数据共享技术、电子签名技术、大数据及物联网技术等前沿信息化手段构建出第三代“数据共享—电子签名—文档可信—文档服务门户/终端自助打印—文档验真”一体化的可信电子文档管理平台，依托一体化的可信电子文档管理平台实现高校服务线上线下深度融合，实现高校各部门、各环节数据资源的高度联通，给高校的全面数字化转型提供有力的支撑，夯实数字校园建设。 高校可信电子文档管理平台由可信电子文档库系统、可信电子文档服务门户、可信电子文档自助打印三大系统构成。高校师生可通过可信电子文档服务门户和可信电子文档自助打印两种途径，来实现24H、全方位高校文档的获取。通过高校可信电子文档管理平台的建设，加速高校打造文档服务线上线下闭环生态。 高校可信电子文档管理平台即将部署5所高校 高校可信电子文档管理平台在四川传媒学院应用