形式化研究相关论文
本文在移动计算形式化研究中引入了灰箱演算系统并展开了相关的讨论。文章分析了移动计算采用灰箱演算的原因，对移动灰箱演算方法进......
该文从神经元特性和形式化研究出发，给出一种利用Ｐｅｔｒｉ网对神经网络进行形式语义研究的方法。......
2009年12月在上海参加IEEECDC会议时,一位过去留美的同行告诉我Pnueli教授刚去世。我已很长时间不碰形式化研究了,但对Pnueli Calc......
道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......
在嵌入式系统建模领域，AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点，国内外众多学者展开了热烈的讨......
语言学研究中的形式化方法（下）许罗迈四、斯波勃与威尔森（Ｄ．Ｓｐｅｒｂｅｒ＆Ｄ．Ｗｉｌｓｏｎ，１９９１）的关联理论斯波勃和威尔森通过简化格赖斯的动机推理的语用理论，建立了关联理......
