ReWorks嵌入式操作系统在船舶PMS上的应用

随着计算机技术的迅猛发展和船舶自动化水平的不断提高,对船舶PMS的实时性、可靠性要求也越来越高.论文介绍了船舶PMS研究现状和嵌入式操作系统的特点,构建了一种基于ReWorks嵌入式操作系统的船舶PMS,这样的系统更为安全、可靠,对于船舶自动化发展有着更为深远的意义.     

Formalization of P Systems by Maude

IntroductionRewriting logic[1]was introduced as a unifiedmodel of concurrency which provides a formal com-mon framework of well-known models of concur-rent systems.It is shown that rewriting logic as alogical and semantic framework to represent manyother logics,in a natural and direct way.In gener-al,every formal system has two parts:1 formulasor proof-theoretic structures, which call be pre-sented as terms in an order-sorted equational datatype whose equations express structural axiomsnatural…