Чен олег: Олег Чен, новости о персоне, последние события сегодня

ЧЕН Олег Борисович | Российские спортсмены

2 апреля 2023 года, 18:01

Российские спортсмены и специалисты

Олимпийские виды спорта


ЛетниеАртистическое плаваниеБадминтонБаскетболБейсболБоксБорьба вольнаяБорьба греко-римскаяВелосипедный спорт (BMX)Велосипедный спорт (трек)Велосипедный спорт (шоссе)Водное полоВолейболВолейбол пляжныйГандболГимнастика спортивнаяГимнастика художественнаяГольфГребля академическаяГребля на байдарках и каноэДзюдоКаратэдоКонный спортЛегкая атлетикаМаунтинбайкНастольный теннисПарусный спортПлаваниеПрыжки в водуПрыжки на батутеРегбиСерфингСкалолазание спортивноеСкейтбордингСовременное пятиборьеСофтболСтрельба из лукаСтрельба пулеваяСтрельба стендоваяТеннисТриатлонТхэквондо (ВТФ)Тяжелая атлетикаФехтованиеФутболХоккей на травеЗимниеБиатлонБобслейГорнолыжный спортКерлингКонькобежный спортЛыжное двоеборьеЛыжные гонкиПрыжки на лыжах с трамплинаСанный спортСкелетонСноубордФигурное катание на конькахФристайлХоккейШорт-трек

Виды спорта (157):





А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я


Автомобильный спорт
Автомодельный спорт
Аджилити
Айкидо
Акватлон
Акробатика спортивная
Акробатический рок-н-ролл
Альпинизм
Американский футбол
Арбалетный спорт
Армрестлинг
Артистическое плавание
Аэробика спортивная
Бадминтон
Баскетбол
Бейсбол
Биатлон
Биатлон ачери
Биатлон индейский
Биатлон летний
Бильярдный спорт
Блицспринт
Бобслей
Бодибилдинг
Бокс
Борьба вольная
Борьба греко-римская
Борьба женская
Борьба на поясах
Борьба спортивная
Борьба сумо
Боулинг спортивный
Бридж спортивный
Велосипедный кросс
Велосипедный спорт (BMX)
Велосипедный спорт (трек)
Велосипедный спорт (шоссе)
Вертолетный спорт
Водное поло
Водное поло пляжное и мини
Воднолыжный спорт
Волейбол
Волейбол пляжный
Гандбол
Гандбол пляжный
Гимнастика спортивная
Гимнастика художественная
Гиревой спорт
Го
Гольф
Горнолыжный спорт
Городошный спорт
Гребля академическая
Гребля на байдарках и каноэ
Гребля на байдарках и каноэ (спринт)
Гребля на народных лодках
Гребля на ялах
Гребной слалом
Гребно-парусный спорт
Дартс
Джиу-джитсу
Дзюдо
Ездовой спорт
Индорхоккей (хоккей на траве в закрытых помещениях)
Каратэдо
Кекусинкай
Керлинг
Кикбоксинг
Комплексный и прикладной кинологический спорт
Компьютерный спорт
Конный спорт
Конькобежный спорт
Корэш
Косика каратэ
Легкая атлетика
Ледолазание
Лыжероллерный спорт
Лыжное двоеборье
Лыжные гонки
Маунтинбайк
Мини-футбол
Морское многоборье
Мотобол
Мотоциклетный спорт
Мэй Хуа Бань Кун Фу
Настольный теннис
Натурбан
Ориентирование cпортивное
Офицерское многоборье
Парашютный спорт
Парусный спорт
Пауэрлифтинг (силовое троеборье)
Перетягивание каната
Плавание
Плавание
Плавание в ластах
Планерный спорт
Подводный спорт
Пожарно-прикладной спорт
Полиатлон
Прыжки в воду
Прыжки на батуте
Прыжки на лыжах с трамплина
Пэйнтбол
Рафтинг
Регби
Регбол
Ринкбол (хоккей на льду)
Роллер-спорт
Рукопашный бой
Русская лапта
Рэндзю
Самбо
Самбо боевое
Самолетный спорт
Санный спорт
Серфинг
Скалолазание спортивное
Сквош
Скейтбординг
Скелетон
Смешанные единоборства
Сноуборд
Современное пятиборье
Софтбол
Спочан
Стрельба
Стрельба из лука
Стрельба пулевая
Стрельба стендовая
Судомодельный спорт
Тайский бокс
Танцы спортивные
Теннис
Традиционное карате (фудокан)
Триатлон
Туризм cпортивный
Туризм конный
Тхэквондо (ВТФ)
Тяжелая атлетика
Универсальный бой
Ушу
Фехтование
Фигурное катание на коньках
Фитнес
Флорбол (хоккей в зале)
Фристайл
Футбол
Футбол пляжный
Футзал (футбол в зале)
Хоккей
Хоккей на траве
Хоккей с мячом
Шахматы
Шахматы русские
Шашки
Шорт-трек

Представляет регион*


Не выбранАлтайский крайАмурская областьАрхангельская областьАстраханская областьБелгородская областьБрянская областьВладимирская областьВолгоградская областьВологодская областьВоронежская областьЕврейская автономная областьЗа рубежомЗабайкальский крайИвановская областьИркутская областьКабардино-Балкарская РеспубликаКалининградская областьКалужская областьКамчатский крайКарачаево-Черкесская РеспубликаКемеровская областьКировская областьКостромская областьКраснодарский крайКрасноярский крайКурганская областьКурская областьЛенинградская областьЛипецкая областьМагаданская областьМоскваМосковская областьМурманская областьНенецкий автономный округНижегородская областьНовгородская областьНовосибирская областьОмская областьОренбургская областьОрловская областьПензенская областьПермский крайПриморский крайПсковская областьРеспублика АдыгеяРеспублика АлтайРеспублика БашкортостанРеспублика БурятияРеспублика ДагестанРеспублика ИнгушетияРеспублика Калмыкия (Хальмг- Тангч)Республика КарелияРеспублика КомиРеспублика КрымРеспублика Марий ЭлРеспублика МордовияРеспублика Саха (Якутия)Республика Северная Осетия — АланияРеспублика ТатарстанРеспублика Тува (Тыва)Республика ХакасияРостовская областьРязанская областьСамарская областьСанкт-ПетербургСаратовская областьСахалинская областьСвердловская областьСевастопольСмоленская областьСтавропольский крайТамбовская областьТверская областьТомская областьТульская областьТюменская областьУдмуртская РеспубликаУльяновская областьХабаровский край Ханты-Мансийский автономный округЧелябинская областьЧеченская РеспубликаЧувашская РеспубликаЧукотский автономный округЯмало-Ненецкий автономный округЯрославская область

* для действующих спортсменов

Место рождения


Не выбранАлтайский крайАмурская областьАрхангельская областьАстраханская областьБелгородская областьБрянская областьВладимирская областьВолгоградская областьВологодская областьВоронежская областьЕврейская автономная областьЗа рубежомЗабайкальский крайИвановская областьИркутская областьКабардино-Балкарская РеспубликаКалининградская областьКалужская областьКамчатский крайКарачаево-Черкесская РеспубликаКемеровская областьКировская областьКостромская областьКраснодарский крайКрасноярский крайКурганская областьКурская областьЛенинградская областьЛипецкая областьМагаданская областьМоскваМосковская областьМурманская областьНенецкий автономный округНижегородская областьНовгородская областьНовосибирская областьОмская областьОренбургская областьОрловская областьПензенская областьПермский крайПриморский крайПсковская областьРеспублика АдыгеяРеспублика АлтайРеспублика БашкортостанРеспублика БурятияРеспублика ДагестанРеспублика ИнгушетияРеспублика Калмыкия (Хальмг- Тангч)Республика КарелияРеспублика КомиРеспублика КрымРеспублика Марий ЭлРеспублика МордовияРеспублика Саха (Якутия)Республика Северная Осетия — АланияРеспублика ТатарстанРеспублика Тува (Тыва)Республика ХакасияРостовская областьРязанская областьСамарская областьСанкт-ПетербургСаратовская областьСахалинская областьСвердловская областьСевастопольСмоленская областьСтавропольский крайТамбовская областьТверская областьТомская областьТульская областьТюменская областьУдмуртская РеспубликаУльяновская областьХабаровский край Ханты-Мансийский автономный округЧелябинская областьЧеченская РеспубликаЧувашская РеспубликаЧукотский автономный округЯмало-Ненецкий автономный округЯрославская область

Регион проживания


Не выбранАлтайский крайАмурская областьАрхангельская областьАстраханская областьБелгородская областьБрянская областьВладимирская областьВолгоградская областьВологодская областьВоронежская областьЕврейская автономная областьЗа рубежомЗабайкальский крайИвановская областьИркутская областьКабардино-Балкарская РеспубликаКалининградская областьКалужская областьКамчатский крайКарачаево-Черкесская РеспубликаКемеровская областьКировская областьКостромская областьКраснодарский крайКрасноярский крайКурганская областьКурская областьЛенинградская областьЛипецкая областьМагаданская областьМоскваМосковская областьМурманская областьНенецкий автономный округНижегородская областьНовгородская областьНовосибирская областьОмская областьОренбургская областьОрловская областьПензенская областьПермский крайПриморский крайПсковская областьРеспублика АдыгеяРеспублика АлтайРеспублика БашкортостанРеспублика БурятияРеспублика ДагестанРеспублика ИнгушетияРеспублика Калмыкия (Хальмг- Тангч)Республика КарелияРеспублика КомиРеспублика КрымРеспублика Марий ЭлРеспублика МордовияРеспублика Саха (Якутия)Республика Северная Осетия — АланияРеспублика ТатарстанРеспублика Тува (Тыва)Республика ХакасияРостовская областьРязанская областьСамарская областьСанкт-ПетербургСаратовская областьСахалинская областьСвердловская областьСевастопольСмоленская областьСтавропольский крайТамбовская областьТверская областьТомская областьТульская областьТюменская областьУдмуртская РеспубликаУльяновская областьХабаровский край Ханты-Мансийский автономный округЧелябинская областьЧеченская РеспубликаЧувашская РеспубликаЧукотский автономный округЯмало-Ненецкий автономный округЯрославская область

Дата рождения


с
чч12345678910111213141516171819202122232425262728293031мм123456789101112год183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010


по
чч12345678910111213141516171819202122232425262728293031мм123456789101112год201020092008200720062005200420032002200120001999199819971996199519941993199219911990198919881987198619851984198319821981198019791978197719761975197419731972197119701969196819671966196519641963196219611960195919581957195619551954195319521951195019491948194719461945194419431942194119401939193819371936193519341933193219311930192919281927192619251924192319221921192019191918191719161915191419131912191119101909190819071906190519041903190219011900189918981897189618951894189318921891189018891888188718861885188418831882188118801879187818771876187518741873187218711870186918681867186618651864186318621861186018591858185718561855185418531852185118501849184818471846184518441843184218411840183918381837

Профессия


Не выбранБизнесменГосударственный служащийДизайнерМаркетологМедицинский работникМенеджерМинск 2019Олимпиец 2021Олимпиец 2022Президент (руководитель) федерации (ассоциации, союза)Работник наукиРаботник образованияРаботник праваРаботник средств массовой информацииРуководитель (работник) спортивной организацииСпортсменСудьяТренерХудожник

Спортивное звание


Не выбранГроссмейстер РоссииЗаслуженный мастер спортаЗаслуженный работник физической культурыЗаслуженный тренерКандидат в мастера спортаМастер спортаМастер спорта международного классаМеждународный гроссмейстерМеждународный мастерПочетный мастер спортаПочетный судьяСудья всесоюзной (всероссийской) категорииСудья международной категорииСудья республиканской категории

Учёное звание


Не выбранДоктор биологических наукДоктор исторических наукДоктор медицинских наукДоктор педагогических наукДоктор психологических наук Доктор сельскохозяйственных наукДоктор социологических наукДоктор технических наукДоктор физико-математических наук Доктор философииДоктор философских наукДоктор химических наукДоктор экономических наукДоктор юридических наукКандидат биологических наукКандидат военных наукКандидат исторических наукКандидат медицинских наук Кандидат педагогических наукКандидат политических наукКандидат психологических наукКандидат сельскохозяйственных наукКандидат социологических наукКандидат технических наукКандидат физико-математических наукКандидат филологических наукКандидат филосовский наук Кандидат химических наукКандидат экономических наукКандидат юридических наук

Чемпион


Не выбранОлимпийский чемпионПризер Олимпийских игрЧемпион ЕвропыЧемпион мираЧемпион России (СССР)





Результаты поиска:
Найдено:

12665
персон

100 последних изменений



Расширенный поиск






Аслаудин
АБАЕВ



Елена
АБАИМОВА



Мария
АБАКУМОВА



Юлия
АБАЛАКИНА



Дмитрий
АБАРЕНОВ



Тамилла
АБАСОВА



Рамазан
АБАЧАРАЕВ



Ростом
АБАШИДЗЕ



Флюра
АББАТЕ-БУЛАТОВА



Татьяна
АББЯСОВА



Артур
АБДРАХМАНОВ



Каримжан
АБДРАХМАНОВ



Аделя
АБДРАХМАНОВА



Андрей
АБДУВАЛИЕВ



Герман
АБДУЛАЕВ



Тагир
АБДУЛАЕВ



Камиль
АБДУЛАЗИЗОВ



Загалав
АБДУЛБЕКОВ



Камалудин
АБДУЛДАУДОВ



Абдула
АБДУЛЖАЛИЛОВ



Магомед
АБДУЛКАГИРОВ



Назир
АБДУЛЛАЕВ



Аслан
АБДУЛЛИН



Эмиль
АБДУЛЛИН



Мусан
АБДУЛ-МУСЛИМОВ



Магомед
АБДУЛХАМИДОВ


Если вы решили разместить данные о себе или хорошо известном вам спортсмене,
или обнаружили какую-либо ошибку в уже опубликованных данных и хотите ее исправить, пожалуйста,
вы можете это сделать самостоятельно — страна должна знать своих героев!


Шамиль
АБДУРАХМАНОВ



Адлан
АБДУРАШИДОВ



Рустам
АБДУРАШИДОВ



Магомед
АБДУСАЛАМОВ



Нурлан
АБДЫКАЛЫКОВ



Эдуард
АБЗАЛИМОВ



Уулу Азамат
АБИБИЛЛА



Денис
АБЛЯЗИН



Юрий
АБОВЯН



Никита
АБОЗОВИК



Виктор
АБОИМОВ



Элизабет
АБРААМЯН



Захария
АБРАМАШВИЛИ



Александр
АБРАМОВ



Андрей
АБРАМОВ



Валерий
АБРАМОВ



Иван
АБРАМОВ



Константин
АБРАМОВ



Константин
АБРАМОВ



Николай
АБРАМОВ



Павел
АБРАМОВ



Дарья
АБРАМОВА



Екатерина
АБРАМОВА



Екатерина
АБРАМОВА



Ирина
АБРАМОВА



Лидия
АБРАМОВА



Наталья
АБРАМОВА



Нелли
АБРАМОВА



Светлана
АБРАМОВА



Тамара
АБРАМОВА



Дмитрий
АБРАМОВИЧ



Маргарита
АБРАМОВИЧ



Иракли
АБРАМЯН



Осеп
АБРАМЯН



Рамиль
АБРАРОВ



Руслан
АБРАРОВ

63 персон из 12665

Вы просмотрели


Вопросы сотрудничества и совместной деятельности inform@infosport. ru

Олег Чен — последние новости

Двадцать российских штангистов обвинены в нарушении антидопинговых правил

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Отложенные санкции: сборную России лишили места на Играх-2014

МОК аннулировал результат женской сборной России по хоккею на Играх-2014

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Новые дисквалификации: как атлетов ловят на допинге

Еще один российский спортсмен получил дисквалификацию за ЭПО

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

WADA отреагировало на отстранение российских тяжелоатлетов

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Новая беда: российских тяжелоатлетов отстранили за допинг

Российские тяжелоатлеты отстранены после перепроверки допинг-проб

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Пятерых российских легкоатлетов отстранили за допинг

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Оглашен предварительный состав сборной России по тяжелой атлетике на ЧМ-2017

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Российский штангист Олег Чен завоевал серебро ЧЕ по тяжелой атлетике

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Штангист Чен: не планирую завершать карьеру

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Рывок последнего дня

Россия выиграла два золота в последний день чемпионата мира по тяжелой атлетике

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Штангисты подняли медали

Российские штангисты Туриева и Окулов завоевали награды на ЧМ-2014

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Чен: месяц не буду к штанге подходить

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Чен выиграл серебро чемпионата мира по тяжелой атлетике

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Определен состав мужской сборной России по тяжелой атлетике на Универсиаду-2013

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Штангисты Аухадов и Евстюхина вошли в состав сборной России на чемпионат Европы

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

В 130 граммах от золота

Апти Аухадов завоевал серебро ОИ в тяжелой атлетике в категории до 85 кг

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Сырцов: штангист Юфкин выбыл из борьбы за путевку на ОИ-2012

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Сырцов: последнюю путевку на ОИ оспорят пять российских штангистов

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Чен защитил читул чемпиона России по тяжелой атлетике

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Олимпийская репетиция в Анталье

На ЧЕ-2012 российские тяжелоатлеты завоевали 11 медалей

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Байрамов — чемпион Европы по тяжелой атлетике в весе до 69 кг, Чен — первый в рывке

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Определен состав сборной России на ЧЕ по тяжелой атлетике

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Евстюхина вытолкнула на рекорд

Евстюхина установила мировой рекорд

Владимир ПутинУкраинаСоединенные Штаты АмерикиРоссияГорловка

Показать еще

Георгий Малинецкий

Вначале было слово

О чистоте русского языка

Дмитрий Воденников

Единственно прекрасная точка

О невыносимой легкости бытия

«Дай Откусить»

Глоток воды

О том, почему запить ужин в ресторане стоит неоправданных денег

Владимир Трегубов

Торговая война между США и Китаем

О том, кому выгодно такое противостояние

Мария Дегтерева

Большой брат

О том, как технологии начинают сводить с ума

Читайте также

Билл Чен

Билл Чен

О компании

Я доктор философии. кандидат кафедры астрономии Мичиганского университета, где я работаю с профессором Олегом Гнединым. Перед приездом в Мичиган я получил степень бакалавра. получил степень в Школе физики Пекинского университета в июле 2020 года. Мои текущие исследования сосредоточены на формировании и эволюции звездных скоплений в космологическом контексте. Нажмите здесь, чтобы подробно ознакомиться с моим исследованием.

Резюме
&nbsp Библиография ADS

Образование

Кандидат наук. кандидат астрономии
Сентябрь 2020 г. — настоящее время
Факультет астрономии Мичиганского университета, Анн-Арбор, Мичиган, США

Б.С. по физике (с отличием)
сент. 2016 г. — июль 2020 г.
Школа физики Пекинского университета, Пекин, Китай

Средняя и старшая школа
Сентябрь 2010 г. — июль 2016 г.
Экспериментальная школа иностранных языков Чэнду, Чэнду, Сычуань, Китай


Опыт

Приглашенный исследователь
июль 2019 г. — август 2019 г.
Институт астрофизики и космических исследований MIT Kavli, Кембридж, Массачусетс, США


Публикации

«Формирование шаровых скоплений в карликовых галактиках Местной группы»

Ю. Чен* и О. Ю. Гнедин (2023), MNRAS представило
ADS
arXiv

«Моделирование кинематики шаровых кластерных систем»

Ю. Чен* и О. Ю. Гнедин (2022), MNRAS, 514, 4736-4755
Publisher
ОБЪЯВЛЕНИЯ
arXiv

«Влияние начальных профилей плотности на формирование массивных звездных скоплений в гигантских молекулярных облаках»

Y. Chen, H. Li*, and M. Vogelsberger (2021), MNRAS, 502, 6157-6169
Publisher
ОБЪЯВЛЕНИЯ
arXiv

«Новая предвзрывная стадия гамма-всплесков с помощью машинного обучения»

Ю. Чен и Б.-К. Ma* (2021), JHEAp, 32, 78-86
Издатель
ОБЪЯВЛЕНИЯ
arXiv

* Автор корреспонденции


Награды

2021

Rackham International Student Fellowship

2020

Стипендия Weiming Physics
Выдающийся выпускник

2019

Первая премия и лучший докладчик (на Xingcheng Forum в Пекинском университете)
Huabao Финансирование программы бакалавриата

2018

Национальная стипендия
Заслуженный студент-лидер
Выдающийся победитель и награда SIAM (в математическом конкурсе по моделированию, контрольный номер 73410)

2015

Золотая медаль (на китайской олимпиаде по физике)

Контакт

Электронная почта
ybchen (at) umich. edu

Адрес
323 West Hall, 1085 S. University, Ann Arbor, MI 48109-1107, USA

Карта сайта

© 2020-2023 Билл Чен. Последнее изменение в марте 2023 г.

© 2020-2023 Билл Чен.
Последнее изменение: март 2023 г.

Домашняя страница Синь Чена

Домашняя страница Синь Чена

Доцент
Факультет компьютерных наук
Дейтонский университет, Огайо

Электронная почта:

xchen4 AT udayton DOT edu

Научные интересы

Меня в первую очередь интересует решение проблем безопасности и защиты на Cyber-Physical Systems , оснащенных компонентами машинного обучения с использованием формальных методов.
Графический обзор тем моих исследований, а также некоторые из моих репрезентативных публикаций приведены ниже.

Cyber-Physic SystemController(Конечный автомат)Plant(Differential Equation)sensacctuatesВосстановление в реальном времени против сенсорных атак: [RTSS’20], [TECS’21]Верификация контроллеров нейронных сетей: [TCAD’20], [TECS’19 ], [HSCC’19] Синтез контроллеров нейронных сетей: [ICCAD’19] Мониторинг в реальном времени: [RV’19], [RTSS’17] Анализ декомпозированной достижимости: [RTSS’16] Недостаточное приближение множества достижимости: [FMCAD’ 14] Временно-реляционная абстракция: [TECS’17] Формальная верификация гибридных систем: [RTSS’12] Приложения к робототехнике: [IROS’20] Инструменты: [ATVA’20], [CAV’13]

Член комитета

AAAI 2023, ARCH 2022, NSV 2022, ARCH 2021, ARCH 2020, EMSOFT 2019, ARCH 2019, ARCH 2018, EMSOFT WiP 2018, ARCH 2017, SNR 2017, CAV 2016 AEC, HSCC2 RE 2016, 61 ARCH 2, ARCH 2 2014.

Программное обеспечение

  • Flow* — это инструмент для анализа достижимости и проверки безопасности для нелинейных гибридных систем.
    Мы выпустили инструментальную версию Flow*, в ней совершенно новый дизайн структур данных и гораздо более высокая производительность.
  • POLAR — это инструмент для формальной проверки систем, управляемых нейронной сетью.
  • Кандидатская диссертация

    Анализ достижимости нелинейных гибридных систем с использованием моделей Тейлора. Рейнско-Вестфальский технический университет Ахена, 2015 г.

    Проекты

    • 2019.08 — 2022.03, Анализ и абстрагирование гибридных систем (PI), финансируется Исследовательской лабораторией ВВС, 83 158 долларов США.
    • 2017.05 — 2017.08, Лето инноваций (co-PI), финансируется Исследовательской лабораторией ВВС, 35 000 долларов США (моя доля).

    Избранные публикации

    [РТАС’23]
    Линь Чжан, Каустуб Шридхар, Мэнью Лю, Пэнъюань Лу, Синь Чен, Фаньсин Конг, Олег Сокольский, Инсуп Ли.
    Восстановление данных в режиме реального времени с прогнозированием атак для сложных киберфизических систем.
    На симпозиуме IEEE по технологиям реального времени и встроенным технологиям и приложениям (RTAS), появится. 2023.
    [АТВА’22]
    Чао Хуан, Цзямэн Фань, Синь Чен, Вэньчао Ли, Ци Чжу.
    POLAR: полиномиальная арифметическая основа для проверки систем, управляемых нейронными сетями.
    В «Автоматизированной технологии проверки и анализа» (ATVA), том 13505 LNCS, стр. 414–430. Спрингер, 2022.
    [НФМ’22]
    Синь Чен, Шрирам Санкаранараянан.
    Анализ достижимости киберфизических систем: мы уже на месте?.
    В формальных методах НАСА (NFM), том 13260 LNCS, стр. 109–130. Спрингер, 2022.
    [ТЕКС’21]
    Линь Чжан, Пэнъюань Лу, Фаньсин Конг, Синь Чен, Олег Сокольский, Инсуп Ли.
    Защита от атак в реальном времени для киберфизических систем с использованием линейно-квадратичного регулятора.
    В транзакциях ACM по встроенным вычислительным системам (TECS), том 20, выпуск 5s, стр. 1-24. АКМ, 2021.
    [РТСС’20]
    Линь Чжан, Синь Чен, Фаньсин Конг, Альваро А. Карденас.
    Защита от атак в реальном времени для киберфизических систем с использованием линейных аппроксимаций.
    На симпозиуме IEEE по системам реального времени (RTSS). стр. 205-217, 2020.
    [ТКАД’20]
    Чао Хуан, Цзямэн Фан, Синь Чен, Вэньчао Ли и Ци Чжу.
    Разделяй и сдвигай: послойное уточнение для анализа диапазона выходных данных глубоких нейронных сетей.
    В транзакциях IEEE по автоматизированному проектированию интегральных схем и систем (TCAD). том 39, номер 11, стр. 3323-3335. 2020.
    [ИРОС’20]
    Цинь Лин, Синь Чен, Аман Хурана и Джон М. Долан.
    ReachFlow: онлайн-система обеспечения безопасности для беспилотных автомобилей, следящих за путевыми точками.
    На Международной конференции по интеллектуальным роботам и системам (IROS). 2020.
    [АТВА’20]
    Цзямэн Фан, Чао Хуан, Синь Чен, Вэньчао Ли и Ци Чжу.
    ReachNN*: Инструмент для анализа достижимости систем, управляемых нейронными сетями. (Tool Paper)
    На Международном симпозиуме по автоматизированным технологиям проверки и анализа (ATVA). том 12302 LNCS, стр. 537-542. Спрингер, 2020.
    [ICCAD’19]
    Чао Хуан, Цзямэн Фан, Вэньчао Ли, Синь Чен и Ци Чжу.
    На пути к дистилляции знаний с учетом проверки для систем, управляемых нейронными сетями. (Приглашенный доклад)
    На Международной конференции по автоматизированному проектированию (ICCAD) (Специальная сессия: Дорога к безопасной автономии: нейронные сети встречают формальные рассуждения), стр. 1-8. IEEE, 2019.
    [ТЕКС’19]
    Чао Хуан, Цзямэн Фан, Вэньчао Ли, Синь Чен и Ци Чжу.
    ReachNN: Анализ достижимости систем, управляемых нейронными сетями.
    В транзакциях ACM по встроенным вычислительным системам (TECS), том 18, номер 5, стр. 106: 1–106: 22. АКМ, 2019.
    [РВ’19]
    Хансол Юн, И Чоу, Синь Чен, Эрик Фрю и Шрирам Санкаранараянан.
    Прогностический мониторинг во время выполнения для линейных стохастических систем и приложений для обеспечения соблюдения геозон для БПЛА.
    In Runtime Verification (RV), том 11757 LNCS, стр. 349-367. Спрингер, 2019.
    [HSCC’19]
    Сурадип Датта, Синь Чен и Шрирам Санкаранараянан.
    Анализ достижимости для систем нейронной обратной связи с использованием регрессивного вывода полиномиального правила.
    В гибридных системах: вычисления и управление (HSCC), стр. 157-168, 2019.
    [РТСС’17]
    Синь Чен и Шрирам Санкаранараянан.
    Модельный прогнозирующий мониторинг линейных систем в реальном времени.
    Симпозиум по системам реального времени (RTSS), стр. 297-306, 2017.
    [ТЕКС’17]
    Синь Чен, Серджио Мовер и Шрирам Санкаранараянан.
    Композиционно-реляционная абстракция для нелинейных гибридных систем.
    В транзакциях ACM на встроенных вычислительных системах (TECS) 16 (5): стр. 187: 1-187: 19, 2017 г.
    [РТСС’16]
    Синь Чен, Шрирам Санкаранараянан.
    Декомпозированный анализ достижимости для нелинейных систем.
    Симпозиум по системам реального времени (RTSS), 2016 г.
    [JMCI’15]
    Мохамед Амин Бен Сасси, Шрирам Санкаранараянан, Синь Чен, Эрика Абрахам.
    Линейные релаксации полиномиальной положительности для синтеза полиномиальной функции Ляпунова.
    В журнале IMA Journal of Mathematical Control and Information, 2015, Oxford University Press.
    [FMCAD’14]
    Синь Чен, Шрирам Санкаранараянан, Эрика Абрахам.
    Заниженные выхлопные трубы для нелинейных непрерывных систем.
    В Формальных методах автоматизированного проектирования (FMCAD), стр. 59-66, 2014, IEEE.
    [ICCAD’13]
    Ян Чжан, Шрирам Санкаранараянан, Фабио Сомензи, Синь Чен, Эрика Абрахам.
    От проверки статистической модели к выводу статистической модели: Характеристика влияния изменений процесса в аналоговых цепях.