This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challe...This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challenges to its formalization and analysis including instantaneous and/or delayed communications, concurrent tasks and time-dependent features, and the need to analyze correctness. This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible the formal verification of behavioral properties.展开更多
课堂直录播是目前高校教育数字化转型普遍采取的措施之一,但是课堂教学直播对直播质量提出了更严格的要求。文章对直播中教师分享的课件画面偶发断流问题,开发应用软件检测讲台电脑是否实时在线,结合OpenCV轮巡拉取网络摄像头的实时流...课堂直录播是目前高校教育数字化转型普遍采取的措施之一,但是课堂教学直播对直播质量提出了更严格的要求。文章对直播中教师分享的课件画面偶发断流问题,开发应用软件检测讲台电脑是否实时在线,结合OpenCV轮巡拉取网络摄像头的实时流媒体协议(Real Time Streaming Protocol,RTSP)流,并利用多线程开发技术提升监测效率,及时发现存在异常的直播流,便于尽早解决直播问题,提升教学直播的稳定性与可靠性。展开更多
文摘This paper presents, without altering the AADL meta-model, a formal description of static and behavioral aspects of the AADL thread component. This active and concurrent applicative component of AADL poses many challenges to its formalization and analysis including instantaneous and/or delayed communications, concurrent tasks and time-dependent features, and the need to analyze correctness. This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible the formal verification of behavioral properties.
文摘课堂直录播是目前高校教育数字化转型普遍采取的措施之一,但是课堂教学直播对直播质量提出了更严格的要求。文章对直播中教师分享的课件画面偶发断流问题,开发应用软件检测讲台电脑是否实时在线,结合OpenCV轮巡拉取网络摄像头的实时流媒体协议(Real Time Streaming Protocol,RTSP)流,并利用多线程开发技术提升监测效率,及时发现存在异常的直播流,便于尽早解决直播问题,提升教学直播的稳定性与可靠性。