Model formalized verification method based on extended Lustre language
WANG LEI, YASUTSUNE, ZHANG XIAOXIAO, ZHANG JIANWEI, JIA ZHANGTAO, SHAO SA, KONG XIANGBING, LI YASI, TAO JINLONG, JIN YUCHUAN, LI HAOYU, FENG DACHENG, WANG YUNZE, PANG HAOMING
Year of Publication 23.05.2023
Get full text
Year of Publication 23.05.2023
Patent
Model measurement method based on extended Lustre language
WANG LEI, YASUTSUNE, ZHANG XIAOXIAO, ZHANG JIANWEI, JIA ZHANGTAO, SHAO SA, KONG XIANGBING, LI YASI, TAO JINLONG, JIN YUCHUAN, LI HAOYU, FENG DACHENG, WANG YUNZE, PANG HAOMING
Year of Publication 23.05.2023
Get full text
Year of Publication 23.05.2023
Patent
Extensible Lustre code generation method based on XML
WANG LEI, YASUTSUNE, ZHANG XIAOXIAO, ZHANG JIANWEI, JIA ZHANGTAO, SHAO SA, KONG XIANGBING, LI YASI, TAO JINLONG, JIN YUCHUAN, LI HAOYU, FENG DACHENG, WANG YUNZE, PANG HAOMING
Year of Publication 16.05.2023
Get full text
Year of Publication 16.05.2023
Patent
Multi-source time-frequency ridge line extraction method based on synchronous extraction transformation
DONG HAIYANG, YANG SIBIN, WANG YANJIE, LIU SHUIYANG, LI JINFENG, LIANG ZHITONG, JIN YUCHUAN, DOU WENBIAO, YU GUANGCHAO, WANG WEI, WANG HAILIAN, WANG XU, WANG WENJIAN, WAN SHUTING
Year of Publication 12.05.2023
Get full text
Year of Publication 12.05.2023
Patent
Model-based visual software development tool implementation method
WANG LEI, YASUTSUNE, ZHANG XIAOXIAO, ZHANG JIANWEI, JIA ZHANGTAO, SHAO SA, KONG XIANGBING, LI YASI, TAO JINLONG, JIN YUCHUAN, LI HAOYU, FENG DACHENG, WANG YUNZE, PANG HAOMING
Year of Publication 14.04.2023
Get full text
Year of Publication 14.04.2023
Patent
Visual modeling method for virtual operation environment of complex embedded system
AN HENG, FU XIUFENG, JIA ZHANGTAO, KONG XIANGBING, LI YASI, JIN YUCHUAN
Year of Publication 08.06.2021
Get full text
Year of Publication 08.06.2021
Patent
Software virtualization test environment construction method based on hardware board card access
AN HENG, JIA ZHANGTAO, SI QIANRAN, ZHANG HUIYING, KONG XIANGBING, LI YASI, JIN YUCHUAN
Year of Publication 09.03.2021
Get full text
Year of Publication 09.03.2021
Patent
Non-invasive MC/DC coverage rate statistical analysis method
AN HENG, ZHANG YUSHUANG, FU XIUFENG, JIA ZHANGTAO, LI YASI, JIN YUCHUAN
Year of Publication 23.10.2020
Get full text
Year of Publication 23.10.2020
Patent
Bridge expansion joint rapid repair material and preparation method thereof
DONG HAIYANG, WANG XU, YANG SIBIN, JIA DONGWEI, WANG LIKUN, LIANG ZHITONG, JIN YUCHUAN, DOU WENBIAO
Year of Publication 25.08.2020
Get full text
Year of Publication 25.08.2020
Patent
Full high-definition all-round overlooking display system of car
SONG ZHIFENG, WANG XINWEI, WAN XING, LIU LUYANG, LIU GUANGDONG, QU XINCHUN, JIN YUCHUAN
Year of Publication 01.05.2018
Get full text
Year of Publication 01.05.2018
Patent
Silo explosion device is prevented in storage tank storehouse
DONG HAIYANG, WANG HAILIAN, ZHANG YONGGUANG, ZHANG JINGANG, WANG WENJIAN, LIU SHUIYANG, JIN YUCHUAN, HOU YAQIN
Year of Publication 23.03.2018
Get full text
Year of Publication 23.03.2018
Patent
On-load tap changer oil recovery device of calcium carbide furnace
LI ZIFENG, GUO FU, YU KAI, LI XU, SU WENLIANG, LI LIANCHAO, MI YUANFANG, JIN YUCHUAN
Year of Publication 22.12.2020
Get full text
Year of Publication 22.12.2020
Patent
Protective agent for asphalt concrete pavement, preparation method and application thereof
DONG HAIYANG, WANG HAILIAN, ZHANG JINGANG, WANG XU, YANG SIBIN, JIA DONGWEI, WANG LIKUN, WANG WENJIAN, LIU SHUIYANG, LIANG ZHITONG, JIN YUCHUAN
Year of Publication 17.05.2019
Get full text
Year of Publication 17.05.2019
Patent
Method and equipment for controlling chute of ship loader
CHEN WEIGUI, HUO NINGNING, SHI BAIJU, HAN BIN, LI CHANGAN, YAO TONGJIAN, ZHANG ZHENTAO, WANG BI, WANG SHENG, HAN TINGYIN, DONG CHUANBO, JIN YUCHUAN, LIU HUALIN, ZHANG QIUHUA
Year of Publication 21.01.2015
Get full text
Year of Publication 21.01.2015
Patent
Clear device of filling in of feed bin under asphalt mixing station
DONG HAIYANG, WANG HAILIAN, ZHANG JINGANG, WANG XU, YANG SIBIN, JIA DONGWEI, WANG WENJIAN, LIU SHUIYANG, LIANG ZHITONG, JIN YUCHUAN
Year of Publication 04.01.2019
Get full text
Year of Publication 04.01.2019
Patent