Семинар кафедры

20 ап­ре­ля в 14–40 в ауд. 114 бу­дет про­хо­дить се­ми­нар

До­клад­чик:

Ко­ше­лев В.

Тема до­кла­да:

«Меж­про­це­дур­ный ста­ти­че­ский ана­лиз для по­ис­ка оши­бок в ис­ход­ном коде про­грамм на язы­ке С#».

Ан­но­та­ция:

В на­сто­я­щее вре­мя ста­ти­че­ский ана­лиз ши­ро­ко ис­поль­зу­ет­ся при раз­ра­бот­ке про­грамм­но­го обес­пе­че­ния для по­ис­ка оши­бок в ис­ход­ном коде. В дан­ном до­кла­де рас­смат­ри­ва­ет­ся во­прос раз­ра­бот­ки ме­то­дов ста­ти­че­ско­го ана­ли­за, поз­во­ля­ю­щих до­стичь од­но­вре­мен­но вы­со­ко­го ка­че­ства ана­ли­за и хо­ро­шей мас­шта­би­ру­е­мо­сти. Пред­ла­га­е­мые ме­то­ду учи­ты­ва­ют за­ви­си­мо­сти по управ­ле­нию, кон­тек­сты вы­зо­ва и усло­вия пе­ре­хо­дов в ана­ли­зи­ру­е­мых про­грам­мах. Все ме­то­ды ре­а­ли­зо­ва­ны в ин­стру­мен­те SharpChecker, пред­на­зна­чен­но­го для ана­ли­за про­грамм на язы­ке C#.

16 мар­та 2017 со­сто­ит­ся на­уч­ный се­ми­нар ка­фед­ры ПРИН

До­клад­чик:

Чер­нав­ская Ека­те­ри­на Алек­сан­дров­на, ас­пи­рант­ка ка­фед­ры тео­рии ве­ро­ят­но­стей
мех­ма­та МГУ.

Тема до­кла­да:

«Пре­дель­ные тео­ре­мы для бес­ко­неч­но­ка­наль­ных си­стем с тя­же­лы­ми хво­ста­ми
рас­пре­де­ле­ний вре­мен об­слу­жи­ва­ния»

Ан­но­та­ция:

Бес­ко­неч­но­ли­ней­ные си­сте­мы мо­гут быть ис­поль­зо­ва­ны при опи­са­нии мно­гих су­ще­ству­ю­щих объ­ек­тов, на­при­мер, в тео­рии свя­зи при изу­че­нии сум­мар­но­го по­то­ка им­пуль­сов, при мо­де­ли­ро­ва­нии ин­тер­нет-тра­фи­ка, при опи­са­нии про­цес­сов об­ра­зо­ва­ния оче­ре­дей на неуправ­ля­е­мых пе­ре­крест­ках ав­то­мо­биль­ных до­рог, в неко­то­рых за­да­чах стра­хо­ва­ния и т.д. Кро­ме того, си­сте­мы с бес­ко­неч­ным чис­лом при­бо­ров мо­гут быть рас­смот­ре­ны в ка­че­стве ма­жо­ри­ру­ю­щих для мно­го­ка­наль­ных си­стем. Под­хо­ды, ис­поль­зу­е­мые для изу­че­ния бес­ко­неч­но­ка­наль­ных си­стем, ока­зы­ва­ют­ся по­лез­ны­ми для за­дач мас­со­во­го об­слу­жи­ва­ния в слу­чае вы­со­кой за­груз­ки. В до­кла­де при­во­дят­ся ана­ло­ги за­ко­на боль­ших чи­сел, цен­траль­ной пре­дель­ной тео­ре­мы для си­стем с два­жды сто­ха­сти­че­ски­ми пуас­со­нов­ски­ми и ре­ге­не­ри­ру­ю­щи­ми вход­ны­ми по­то­ка­ми, а так­же усло­вия схо­ди­мо­сти к гаус­сов­ско­му про­цес­су для про­цес­са чис­ла за­ня­тых ли­ний.