博智安全科技股份有限公司成立于2009年8月，总部位于江苏南京，在北京、上海、成都、济南、南通及太原等地设立分公司。博智安全聚焦国防安全和关键基础设施安全，是国家高新技术企业和国家规划布局内重点软件企业、国家专精特新“小巨人”企业、南京市政府培育独角兽企业。 博智安全坚持以“工业安全实践演练领航者”为使命，以“博智孪生仿真靶场”和工控安全两大产品线为核心，覆盖网络空间资源测绘、网络安全威胁情报分析、网络空间立体化防御、网络安全溯源反制等各个环节。博智安全秉承“博御天下、智行千里”的企业文化，面向部队军工、政府机构和重点关键基础设施行业客户提供安全解决方案。 博智安全目前拥有多条产品体系：以孪生仿真技术为基础、威胁模拟生成为手段、攻防推演验证为目标的“博智孪生仿真靶场（ETER）”产品线；以保障工业系统控制安全为目标、"评、防、溯、维"多维度保障为抓手，提供一揽子产品、服务和解决方案的“工控盾”产品线；以保障国家秘密和企业商业秘密为目标、自主可控为基础、覆盖“数据安全-终端安全-网络安全”等多个领域的一揽子产品、服务和解决方案的“安全御”产品线；以集合多业务综合管理，围绕系统管控、业务流程、数据安全、数据分析、态势程序等多维度为目标提供一揽子产品、服务和解决方案的“维思得”产品线。 博智安全在网络信息安全领域耕耘多年，目前已获得国家工信部网络安全技术应用试点示范单位、CNCERT网络安全应急服务支撑单位、工业信息安全监测预警网络建设支撑机构、国家信息安全漏洞共享平台原创漏洞发现优秀单位、国家工业信息安全漏洞库优秀成员单位、国家工业信息安全应急服务支撑单位、中国信通院2021工业互联网安全人才联合培养计划（第一批）合作伙伴、首批工控安全防护能力贯标技术服务机构、江苏省工控安全工程研究中心、江苏省认定软件企业技术中心、江苏省网络靶场工程技术研究中心、CMMI五级、ITSS二级标准化认证等多项荣誉认定，并按照认证要求对公司的研发、生产、交付和内部管理各环节进行严格控制，帮助客户从网络信息安全体系建设投资中获取收益。 博智安全十分重视人才队伍建设，公司领军人物傅涛博士是国家中组部重点人才工程、江苏省“333高层次人才培养工程”、南京市科技人才局“中青年拔尖人才”。公司运营和技术骨干获得“江苏省双创人才”、“南京市五一劳动奖章”、“南京市技术能手”及“南京321计划人才”等多项殊荣。 博智安全已与解放军信息工程大学、国防科技大学、陆军指挥学院、浙江大学、东南大学、南京理工大学等多所重点高校和科研机构开展产学研合作，共创国内一流的网络信息安全产品和解决方案孵化基地。 博智安全凭借深厚的技术积累和完备的技术服务，赢得了中国兵器工业集团、中国电子科技集团、中国电子信息产业集团、中国航空工业集团、中船集团、国家公安部、浙江中控等逾千家客户的信赖。 博智安全知识产权体系完备，拥有200余项软件著作权和100余项发明专利及30余项授权专利。公司多项产品和技术获得省市科技进步奖和金慧奖，并有多项产品获得省高新技术产品认定和省高价值发明专利认定。 博智安全先后获得达晨财智、鼎兴量子、中科科创、清科集团、国金证券直投基金国金鼎兴、上海国资委下属上海国鑫和宝鼎投资等多家国内知名投资机构的青睐，为公司的发展奠定了坚实的资本基础。 博智安全凭借深厚的技术积累、持续的技术创新、先进的服务理念和专业的服务团队，聚焦国防安全和关键基础设施安全，持续加大产品研发和市场运营投入，加速构建专业化产品及市场运营服务体系，立志为提高国家网络安全队伍的能力建设水平、优化国家信息安全执法和管理的手段、捍卫关乎国计民生的关基行业网络安全底线而贡献力量。

       计算全息与信息安全综合实验系统是用光电传感器件（如CCD或CMOS）代替干板记录全息图，然后将全息图存入计算机。全息图可以通过用计算机模拟来实现被测物体的数字再现和处理。也可以利用空间光调制器（SLM）实现光学再现。数字全息与传统光学全息相比具有制作成本低、成像速度快、记录和再现灵活等优点。近年来，随着计算机特别是高分辨率CCD的发展，数字全息技术及其应用受到越来越多的关注，其应用范围已涉及形貌测量、变形测量、粒子场测试、数字全息显微、防伪、三维图像识别、医学诊断等许多领域。        TP-XOS1 计算全息与信息安全综合实验系统使用高精度CMOS相机和空间光调制器（SLM）进行采集和再现，降低了对环境（暗室、防震）的要求，免去了冲洗的不安全隐患，可以对数据进行二次开发，如滤波、存储、传输、加密安全等，拓展了全息的应用领域。 主要实验内容： 数字记录数字再现实验 光学记录数字再现实验 数字记录光学再现实验 光学记录光学再现实验 信息安全光学加密原理实验    

成果研发机构长期跟踪、研究HTML5 Web标准，是国内移动Web中间件的技术开拓者，实现了面向行业的、基于HTML5技术的智能终端Web应用平台产品，处于国内领先、国际先进水平。目前已经积累了大量的技术经验和产业化基础，掌握了多项跨平台适配技术，先后将平台产品适配到上百款手机终端，覆盖iOS、Android、Windows Phone等各大主流操作系统，产品支持iPhone、诺基亚、HTC、三星、摩托罗拉等百余款国外品牌及机型，并覆盖华为、中兴、TCL、联想等基于国产操作系统的智能移动终端。产品目前已成功运用到银联手机支付、中国电信移动OA等行业系统。

朱立新博士，山东沂南县人，中科院自动化所所博士、美国密歇根州立大学博士后，目前任北京师范大学互联网教育智能技术及应用国家工程实验室高级工程师，互联网教育智能技术及应用国家工程实验室学习环境设计与评测实验室联席主任，研究生导师。 曾经在中国科学院、美国密歇根州立大学（MSU），从事芯片研发、VR硬件、物联网等工作，在英特尔公司、美国科胜讯半导体、国内北斗星通公司、武汉梦芯科技公司、爱奇艺VR公司，从事过数字电视芯片、手机芯片、电力线上网芯片、北斗导航芯片及其终端、物联网、教育机器人、VR一体机、人工智能等领域等研发工作。 曾经作为主要技术工程技术研发总监，参与了国内某一线品牌VR一体机芯片评估选型，硬件设计研发，嵌入式软件研发，应用层软件研发，歌尔工厂的生产，产品品牌的线上和线下技术咨询，围绕产品的融资。

一种基于形式概念分析的软件维护方法，当用户提议某个修改请求，首先利用形式概念分析技术进行特征定位，识别该修改请求在源代码中对应的代码信息即初始的修改集；然后利用形式概念分析构造程序的中间表示，理解源代码中元素之间的依赖关系，辅助程序理解；再根据这些依赖关系进行修改影响分析，得到一种层次化的影响集；最后，根据影响集结果，定义可修改性度量，并根据该度量进行修改评估，从而给出具有指导意义的修改评估结果，判断是否接受该修改；当评估通过该修改方案后，则进入到修改传播分析阶段，需要不断地进行影响分析以及可能需要实施的二次修改，直至完成所有的修改；在修改完成之后，进行回归测试以及调试，保证新系统的一致性以及正确性。

技术创新性和领先性 课题组所开发的发电厂主接线可靠性分析软件 REBUS 是对任何类型发电厂主接线进行可靠性全面评估的有力工具

高校科技成果尽在科转云

朱立新博士，山东沂南县人，中科院自动化所所博士、美国密歇根州立大学博士后，目前任北京师范大学互联网教育智能技术及应用国家工程实验室高级工程师，互联网教育智能技术及应用国家工程实验室学习环境设计与评测实验室联席主任，研究生导师。 曾经在中国科学院、美国密歇根州立大学（MSU），从事芯片研发、VR硬件、物联网等工作，在英特尔公司、美国科胜讯半导体、国内北斗星通公司、武汉梦芯科技公司、爱奇艺VR公司，从事过数字电视芯片、手机芯片、电力线上网芯片、北斗导航芯片及其终端、物联网、教育机器人、VR一体机、人工智能等领域等研发工作。 曾经作为主要技术工程技术研发总监，参与了国内某一线品牌VR一体机芯片评估选型，硬件设计研发，嵌入式软件研发，应用层软件研发，歌尔工厂的生产，产品品牌的线上和线下技术咨询，围绕产品的融资。

火灾现场模拟原型系统软件V1.0