论文部分内容阅读
基于随机时序逻辑（SQTL），通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑（FSQTL）。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间。并利用可能性实现对性能需求的分析。
随机时序逻辑的模糊时间扩展方法
【摘 要】
：
基于随机时序逻辑（SQTL），通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑（FSQTL）。FSQTL能够建模实时系统中的确定时间、概率
【机 构】
：
广东工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金资助项目（编号：60474072,60174050）,广东省自然科学基金资助项目（编号：04009465,010059）,广东省高校自然科学研究资助项目（编号：Z03024）
其他文献
提出了一种医学图像快速面绘制的方法,该方法将新一代图形处理器GeForce 8800的特性和MC(Marching Cubes)算法相结合。利用几何着色器的数据批处理能力在每个立方体中提取等值面并生成三角形带;在片段着色器上采用Phong光照模型对生成三角形渲染显示。建模和显示过程均在GPU上完成,对CPU的依赖低。实验表明,在保证绘制效果的前提下,该方法可在通用PC平台上实现大小为512×512
随着我国铁路、公路在高海拔山岭地区工程建设的迅速发展,长大深埋隧道不断涌现,多拌有高地应力软岩大变形不良地质,对施工安全、进度及经济造成重大影响.通过超短台阶快速施
针对采用有限元程序ANSYS进行深基坑支护排桩内力计算中存在的问题,对以ANSYS为平台,利用APDL语言进行计算程序二次开发中的一些关键性技术作了研究,将其用于多支点排桩支护
乌鞘岭隧道F7断层全长817m,二次衬砌在初期支护未趋稳定情况下施作,势必导致初期支护对二次衬砌的压力较大,了解其压力的大小对设计、施工有重要意义.通过二次衬砌的收敛量测