• 初识CPS方法的连续动态建模

    信息物理融合系统(CPS)是对计算进程与物理进程进行集成所形成的综合系统,其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程,且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。

    2021-10-14 digiproto

  • 编译器前端概述与可信编译器

    Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...

    2021-08-25 digiproto

  • 迪捷软件受邀出席中车软件质量提升交流会

    随着信息技术的飞速发展,软件产品已应用到社会各个领域,软件质量就是软件产品的灵魂,软件质量的保障也因此变得尤为重要。10月22日,以“形式化验证”为主题...

    2021-06-03 迪捷软件

  • 迪捷软件启航杯MBSE建模大赛见闻

    2020年10月27日,由中国航天科技集团有限公司八院八〇五研究所(上海宇航系统工程研究所)与中国商用飞机有限责任公司北京民用飞机技术研究中心(以下简称中国商飞北研中心)共同主办的“启航杯”...

    2021-06-03 迪捷软件

  • 第15届CLK(中国Linux内核开发者)大会圆满落幕 - 附直播回放

    2020年10月24日,由清华大学、迪捷软件、英特尔、阿里巴巴、富士通南大、腾讯、今日头条、华为等组织的第15届CLK大会在湖南长沙马栏山文创园成功举办。

    2021-06-03 迪捷软件

  • 清华大学操作系统讲座

    2016年5月24日,耶鲁大学计算机系教授邵中老师在清华大学FIT大楼进行了操作系统验证方面的讲座。讲座由北京迪捷数原科技有限公司的首席科学家陈渝老师主持,公司多名研发工程师均参加了此次讲座。

    2020-10-21 迪捷软件

  • 迪捷软件创始人康烁受邀至清华大学软件学院授课

    2020年9月11日,迪捷软件创始人康烁先生受邀至清华大学软件学院授课,课程主题为《软件自动化技术》。该课程由清华大学软件学院副院长顾明教授主持,迪捷软件创始人康烁先生和清华大学软件学院副教授周旻老师做了与课程主题相关的报告。

    2020-09-23 迪捷软件

上一页1下一页 转至第
首页
产品
新闻
联系