Huawei는 정적 분석기를 사용하여 프로그램 코드의 결함을 검색합니다.

정적 분석기는 자동으로 프로그램 코드의 유효성을 검사하고 숨겨진 항목을 찾습니다.

그 안에 결함이 있습니다.결과적으로 작성된 코드의 품질이 향상됩니다. 개발자들은 새로운 솔루션이 기존 분석기보다 더 효과적일 것이라고 주장합니다. 또한 해당 제품은 오픈소스로 제공되므로 타사의 프로그램 텍스트를 확인하는 데에도 사용할 수 있습니다.

화웨이 외에도 신규 거주자 명단과파트너에는 Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark 등을 포함한 15개 회사가 포함되었습니다.

SEZ의 또 다른 파트너는 다음 중 하나인 KUKA 관심사입니다.세계 최고의 로봇공학, 산업 및 시스템 장비 제조업체가 Innopolis University와 함께 생산 프로세스 현대화에 관심이 있는 기업을 위한 역량 센터를 열 예정입니다. 소프트웨어가 설치된 산업용 로봇은 고객의 요구사항에 맞춰 개발되어야 합니다.

그리고 회사 "Ozone Technologies"가 프로젝트를 발표했습니다.OZON 시장의 로봇화 및 물류 자동화에 대해. 이 프로젝트는 물류 센터의 로봇화와 주문의 효율적인 보관, 처리 및 배송을 위한 로봇 시스템의 개발에 관한 것입니다. 우리는 자체 소프트웨어 및 하드웨어 플랫폼을 설계하고 있습니다.

읽다 더 나아가

과학자들은 3년 동안 람보 여우를 잡지 못했습니다. 희귀 동물이 숲으로 방출되는 것을 방지합니다.

보이지 않는 비행기는 더 이상 숨길 수 없습니다: 중국은 그들을 찾기 위해 양자 레이더를 만듭니다

과학자들은 다음 물결에 누가 코로나 바이러스에 걸릴 가능성이 더 높은지 말했습니다.