14家展商集中亮相!8月30-31日,智能汽车软件与座舱车联大会
公司专注于软件安全领域,提供面向软件供应链安全、软件开发生命全周期管控的平台产品和解决方案,能力覆盖开源软件成分分析工具、源代码静态分析测试工具、模糊测试工具、金融行业开源治理解决方案、汽车行业安全开发能力建设、开源组件分析服务、代码审计服务等安全领域。公司核心团队来自Synopsys、Fortify、中电科、华为等一线厂...
爱范儿
机器人编程方面:将公司形式化分析与验证技术充分融合到通用大模型代码生成流程中,构建可信代码生成AI助手,保障自动生成代码的安全可靠,大大降低软件开发成本,颠覆传统的软件开发方法,已广泛应用在航空航天、自动驾驶、机器人、数字化新能源和各行业软件产品研发中,有效提高了软件在关键领域中的可靠性、可信性、安全性...
如何推进制造业数字化转型?新华社连发四篇报道
佛山登奇机电技术有限公司是国家级专精特新“小巨人”企业,广发银行佛山分行在了解该企业的“伺服电机数字化车间”升级项目有资金需求后,通过“数字贷”为其提供6000万元授信。据佛山市统计数据,“数字贷”累计贴息约1.5亿元,贷款金额近43亿元,撬动企业投资超189亿元。据重庆市渝北区有关负责人介绍,当地已协调辖区内...
会展动态丨TMC2024电驱动系统专题剧透:多方位深层次创新,挑战物理...
DMD是一种基于软件的高效电机驱动解决方案。它可以有效地提高系统效率,降低产品成本。DMD的技术可行性已经在两辆电动车上得到验证。报告将介绍一年来的成果及案例。??浙江户润密封系统有限公司电驱总成高转速高导电低电阻导电油封关键技术??电驱总成发展趋势及其对导电密封的技术要求??导电油封材料配方与制备...
速览!5月汽车圈31件大事要闻 | 车事月报
点评:此次车展带来了新车型新技术,也带来了新现象新理念,意义非凡。3.4月中国物流业景气指数为52.4%5月8日,中国物流与采购联合会发布的2024年4月份中国物流业景气指数为52.4%,较上月回升0.9个百分点;中国仓储指数为49%,较上月回落3.6个百分点。点评:随着业务量的增长,总体来看物流运行向好基础进一步巩固。
腔镜手术机器人分析报告(国产篇)
上海微创医疗机器人(集团)股份有限公司图迈??Toumai??是一款完全由中国自主研发的腔镜手术机器人,其腕式手术器械高度灵活,3D腔镜系统提供立体真实的手术视野,直觉式主从遥操作灵敏易上手,从而简化手术操作,缩短手术时间,具有极高的临床优势(www.e993.com)2024年7月26日。图迈??成功应用于各类高难度泌尿外科手术,标志着国产手术机器人具有在狭窄解...
中国电子往事——与华为、富士康、光弘、小米、比亚迪有关的科技史
合肥无线电二厂是1950年代从上海内迁来的做模型的小厂。1974年,国产晶体管电视机出世。尽管技术上还不过关,市面上的电视机还是电子管的,但该厂认为是个很好的机会,决定弯道超车,上“晶体管电视机”项目,并成立“电视机组”,引进并仿制上海无线电四厂的“4D4”型黑白晶体管9寸电视机,取名为“黄山牌”,在电影...
上海市人民政府关于表彰2018年度上海市科学技术奖获奖人员(项目...
二、授予28个项目上海市自然科学奖。其中,“乙型肝炎慢性化的多重新机制及治疗策略研究”等12个项目为一等奖,“远离平衡态下陶瓷材料烧结与结构调控”等10个项目为二等奖,“大脑听觉皮层可塑性研究”等6个项目为三等奖。三、授予30个项目上海市技术发明奖。其中,“高性能DDR内存缓冲控制器芯片设计技术”等9个项目...
上海市科委关于2020年第七批入库科技型中小企业的公告
38上海邦文电子科技有限公司39绿丞材料科技(上海)有限公司40霖创环保科技(上海)有限公司41上海慈瑞医药科技股份有限公司42上海灵钥机械设计有限公司43上海培林生物科技有限公司B44上海长志露网络科技有限公司B45上海风绵信息科技有限公司46猎维数据技术(上海)有限公司B47上海敏维环保科技有限...
企业单位IT资产管理系统软件分享
一、上海敏维软件技术有限公司IT资产管理系统企业IT资产管理软件完成企业IT资源的资产管理。包含软件、硬件、网络设备等。企业IT资产管理软件具有IT资产的登记、消亡、版本更新管理等功能;同时,与其它产品的配合,可以完成IT资产的自动发现、管理等功能。