随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式...
在复杂的场景中进行物体识别是计算机视觉一个很重要的研究领域。在过去的几十年里,2D物体识别已经被广泛研究,成为一个相对成熟的领域。相比较于2D图像,3D点云可以提供更多几何信息,因此在三维点云中估计物体的姿态比...
随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更...
文章通过小角X射线散射(SAXS)的方法研究了自然演化系列不同煤级煤的纳米孔隙结构和分布特征。结果表明,随着煤级的增高,孔隙表面分形呈多阶段变化:Ro<0.89%,壳质组开始逐渐液化,发育大量孔隙,分形维数不断增大;Ro...
东濮凹陷及其周缘地区上古生界煤系沉积有机相及煤成烃潜力 CNKI文献
东濮凹陷上古生界具有优越的煤成烃物质基础,油气生成潜力取决于沉积有机相。通过对东濮凹陷及其周缘地区煤系沉积有机相的类型和分布特征的研究,结合烃源岩生烃热模拟实验,探讨了东濮凹陷上古生界煤成烃的潜力。研究...
程抱一是法籍华裔诗人、小说家、翻译家、法兰西学士院院士,被称为中西文化的“摆渡人”。他以中西文化交流为己任,不仅介绍、传播中西文化的精粹,而且将东西方思想融于一炉,提升自己的思想高度,通过自己的理论著作和...
Nondeterministic Probabilistic Petri Net—A New Method... CNKI文献
There are many variants of Petri net at present,and some of them can be used to model system with both function and performance specification,such as stochastic Petri net,generalized stochastic Petri...
刘阳 缪淮扣... 《Journal of Computer Science & Technology》 2013年01期 期刊
关键词： nondeterminism / probabilistic / Petri / net
下载（92）| 被引（8）
程抱一(弗朗索瓦·程)是华裔法国诗人、小说家、翻译家。1929年,他出生于中国的一个文人家庭。1949年,他在金陵大学外语系读二年级时,获得赴国外留学两年的奖学金。由于特别喜欢罗曼·罗兰和安德烈·纪德...
FLASH在系统编程和DSP并行引导的C语言实现 CNKI文献
本文介绍了一种在 DSP仿真环境下 ,采用 C语言对 FLASH进行在系统编程 ( ISP)的方法 ,同时介绍了 TMS32 0 VC5 4 0 2的 Bootloader原理 ,给出了 DSP的并行 FLASH引导功能实现方案 ,并且给出了一个简单的测试实例。
有机共轭大分子通常具有独特的光、电、磁性质,广泛被认为是各种金属氧化物或非金属半导体的理想替代品。石墨烯发现以来,其应用前景更加明朗。然而,二维的石墨烯受限于零能隙的特点,在实际应用中需要从二维的石墨烯,...
《天一言》是法籍华人作家程抱一的自传体小说 ,小说追溯一个华裔文化人坎坷的生活道路 ,描述主人公对生命和艺术进行双重探索的心路历程 ,表现了主人公对生命意义和艺术真谛的追求。作家丰厚的中西文化“知识装备”及...
论中西文化交流的个人媒介——以程抱一、赵无极与米修为例 CNKI文献
本文以程抱一、赵无极和米修为例 ,探讨了个人媒介在中西文化交往的特殊作用。作者认为 ,这三位当代著名文艺家具有开阔的全球视野、深厚的中西文化学养 ,他们一直致力于沟通中西方文化 ,因而成为中西文化交流的个人媒...
从第一个蠕虫病毒问世以来,恶意软件对计算机安全的影响越来越大,操作系统、反病毒软件与恶意软件之间的对抗从未停止过。操作系统是计算机不可缺少的软件平台,在安全中的重要性不言而喻。Windows操作系统采用自主访问...
本文对程抱一的长篇小说《此情可待》进行了评析。作者认为 :程抱一的小说讲述了发生在明末清初的一个爱情故事。小说通过对人物和社会背景的描写展现了这一特定时期社会生活的广阔画卷。作品中对女性的歌颂 ,体现了作...
法兰西科学院诸位女士、先生 :在许多世纪流逝之后 ,终于有一天 ,有一个人从欧亚大陆的另一端 ,崇文为圣的古老中国来到法国 ,来到这座殿堂 ,向成为西欧灯塔之一的国家的最高文化代表们致敬。这一天就是今天 ,而这个人...
“让我迷失在远方”——亨利·米修笔下的中国形象 CNKI文献
本文分析了法国当代著名诗人亨利·米修有关中国的文学表征 ,对其作品里的中国形象进行了分析。作者认为 :米修怀着对中国的倾慕态度 ,在作品里描述了作为中国和中国人的“他者”形象 ,为人们认识中国提供了重要的...
为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限...
刘阳 黄皓 《计算机应用与软件》 2014年10期 期刊
亨利·米修是20世纪法国著名诗人、画家。本文以亨利·米修在中国的译介和研究过程为经,以中国学界译介和研究米修的重要成果为纬,梳理了上世纪80年代以来亨利·米修在中国的译介与研究过程,分别阐述了中...
SNS(Social Networking Service),即社交网络服务。SNS网站的理论依据是六度分隔理论,即"你和任何一个陌生人之间所间隔的人不会超过六个,也就是说,最多通过六个人你就能认识任何一个陌生人"。①
