论文部分内容阅读
基于随机时序逻辑（SQTL），通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑（FSQTL）。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间。并利用可能性实现对性能需求的分析。
随机时序逻辑的模糊时间扩展方法
【摘 要】
：
基于随机时序逻辑（SQTL），通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑（FSQTL）。FSQTL能够建模实时系统中的确定时间、概率
【机 构】
：
广东工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金资助项目（编号：60474072,60174050）,广东省自然科学基金资助项目（编号：04009465,010059）,广东省高校自然科学研究资助项目（编号：Z03024）
其他文献
提出了一种医学图像快速面绘制的方法,该方法将新一代图形处理器GeForce 8800的特性和MC(Marching Cubes)算法相结合。利用几何着色器的数据批处理能力在每个立方体中提取等值面并生成三角形带;在片段着色器上采用Phong光照模型对生成三角形渲染显示。建模和显示过程均在GPU上完成,对CPU的依赖低。实验表明,在保证绘制效果的前提下,该方法可在通用PC平台上实现大小为512×512
随着我国铁路、公路在高海拔山岭地区工程建设的迅速发展,长大深埋隧道不断涌现,多拌有高地应力软岩大变形不良地质,对施工安全、进度及经济造成重大影响.通过超短台阶快速施
10月29日至31日,首届中国（铁岭）榛子节在辽宁省铁岭市东北物流城举行。国家林业局原总工程师姚昌恬、辽宁省人大常委会副主任王专在开幕式上为铁岭市＂中国榛子之都＂牌匾揭牌。
本刊讯 隰县生产的“玉露香”作为优质梨品种，以口感脆甜，水分充足，石细胞少，外观青绿等特色赢得了市场。近年来玉露香梨一直保持较高的销售价位。产地销售价一般质量的8～10元／kg，高
针对采用有限元程序ANSYS进行深基坑支护排桩内力计算中存在的问题,对以ANSYS为平台,利用APDL语言进行计算程序二次开发中的一些关键性技术作了研究,将其用于多支点排桩支护
乌鞘岭隧道F7断层全长817m,二次衬砌在初期支护未趋稳定情况下施作,势必导致初期支护对二次衬砌的压力较大,了解其压力的大小对设计、施工有重要意义.通过二次衬砌的收敛量测
本文通过对达日站1956年-2005年近五十年1月、7月平均气温和降水量资料的统计，着重从气温、降水两方面对达日县近50a来的气候异常变化状况进行了初步的分析。
近年来加拿大有机食品市场发展迅速，一跃成为全球第四大有机食品市场，年均产值超过35亿美元，其中有机食品与饮料的年均产值约占30亿美元。自2009年加拿大政府实施强制性有机食品