【摘 要】
：
为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑
【机 构】
：
南京大学电子科学与工程学院,江苏大学计算机科学与通信工程学院
【基金项目】
：
The National Natural Science Foundation of China （No.10974093）, the Scientific Research Foundation for Senior Personnel of Jiangsu University （No.07JDG014）, the Natural Science Foundation of Higher Ed
论文部分内容阅读
为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.
其他文献
函数是中学数学的核心内容，是连接初等数学与高等数学的桥梁与纽带，由于函数推理题具有题型的新颖性、内容的綜合性、解法的灵活性、思维的抽象性，使其不可避免地成为学习的难点。
在基于惯性导航系统和无线传感器网络的组合导航系统中，为了解决传统导航信息松组合方法中测量信息可观性较差的问题，提出了一种基于卡尔曼滤波器的导航信息紧组合模型．当无线传
基于Church—Hoff模型从理论上研究了具有有限厚度的单个包膜微气泡在超声辐射下的非线性振动情况．分别研究了膜壳黏弹性对微气泡径向振动、基频成分和谐波成分的影响．径向振动
他是一位自学成才的数学家，他是一位一生坎坷的不幸者，他是一位拼搏一生的强者，他更是一位赤胆忠心的爱国者，他的一生，有许许多多的精彩故事，犹如清朗夜空的繁星，多而耀眼。留给后人以无限的深思与回味， 小的时候，由于家里太穷，他不得不辍学在家，为生计而奔波，小小年纪便背上了沉重的生活负担：就是那样，他仍然坚持学习，他对数学有着浓厚的兴趣，每每为了思考问题而忘记吃饭，有时，甚至忘记了时间，正是通过自己的
研究预防性周期维护策略下再制造系统中可中断和不可中断2类工件的单机调度问题.以最小化完工时间为目标,提出了LPT-LS算法,该算法首先按LPT（longest processing time）规则安排
大学校园正在向集网络化、数字化、智能化为一体的新型教育、学习、研究平台发展,该发展趋势对高校学生的计算机应用能力提出更高的要求。文中根据大学计算机类课程在教学过