-
喜报|迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录
近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录。
2023-12-22 digiproto
-
喜报丨迪捷软件入选2023年浙江省信息技术应用创新典型案例
迪捷软件“基于全数字实时仿真的嵌入式DevOps解决方案”成功入选2023年浙江省信息技术应用创新典型案例。
2023-12-14 digiproto
-
基于DigiThread的仿真模型调参功能
仿真模型调参是一个不断发展的领域,其未来的发展趋势将朝着实时性、不确定性、多学科整合、开源与标准化及人机交互等方向继续发展。
2023-12-01 digiproto
-
精彩回顾-迪捷软件先进装备软件技术研讨会之行圆满收官
2023年11月24日,为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家,在西安、上海、成都站进行了演讲分享。
2023-11-30 digiproto
-
软件定义卫星:数字卫星实践
随着巨型低轨卫星星座、卫星互联网等计划的推进,近年来全球卫星产业迅速发展,在轨卫星呈现规模化、网络化以及智能化趋势。大规模卫星系统为飞机、船舶、车辆等提供了各种各样的天基服务,对国防、科研、生产生活具有重要意义。
2023-11-17 digiproto