并发系统的操作时序逻辑描述和验证

1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确     

基于校园网课程选修系统的设计与实现

针对目前高校开设选修课程人工管理复杂的现状,设计一个基于校园网的课程选修系统并予以实现。该系统在VisualStudio．Net2005环境下采用C#语言与SQL Server2005数据库进行开发,主要实现了学生申请课程选修与教师管理两个核心模块的功能,较好解决了选修课程人工选课、排课复杂繁琐的问题,并且可以更加便捷、有效地查询选修课程的安排情况。该系统已经在试点院系中推广使用,取得不错的效果。     

容纳矛盾逻辑系统与悖论

分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.     

G(o)del区间值逻辑系统的广义拟重言式

吴洪博博士蒋王国俊教授在R0逻辑系统中的广义重言式理论推广到Godel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划.将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划.     

银行家算法的应用研究

银行家算法是一个在操作系统中动态排除死锁的算法。本论文主要论述了银行家算法的思想,并利用该算法在排课系统中针对选修课程教室安排中的应用,使每个教室都能为得到充分和合理的应用。     

基于区间二型模糊摩擦补偿的鲁棒自适应控制

针对不确定机械系统中普遍存在的摩擦力,由于其非线性和不确定性,传统基于摩擦模型的补偿控制方法难以达到满意的系统性能要求.本文提出基于自适应区间二型（Type-2）模糊逻辑系统对系统摩擦进行补偿建模,并在该摩擦补偿方法的基础上设计出鲁棒自适应控制器,保证系统输出精度,且对摩擦环境的变化具有较强自适应性.区间二型模糊逻辑系统相对于传统一型模糊逻辑系统具有较强的处理不确定性问题的能力,在本文中使用自适应区间二型模糊逻辑系统不断逼近摩擦力,根据李雅普诺夫稳定性理论求出自适应律并证明系统跟踪误差的有界性.在不同摩擦环境下的仿真结果验证了本文所提摩擦建模方法与控制策略的有效性与实用性.     

在人工智能教育中渗透情感教育

情感是教学的催化剂,人工智能技术课程就如同人的生命一样,有生命线,也有情感线.新课程改革,将人工智能课程作为信息技术科目的一个选修模块,在重视专业知识的同时,根据实际情况对学生进行情感方面的教育,是每一位信息技术教育者需要思考的问题.     

基于时态数据库的极小子结构逻辑系统

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLrmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time (O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.     

一类复杂控制系统分散自适应鲁棒控制器设计

基于模糊逻辑系统具有充分利用语言信息和逼近连续函数性质的思想,分析研究了一类非线性不确定复杂系统的自适应控制问题.利用系统的数学模型和模糊逻辑系统对不确定性的输出信息,设计出了复杂系统的分散自适应鲁棒控制器和模糊逻辑系统参数估计的自适应律,在较弱的假设条件下,证明了这种控制器使被控系统的状态及参数估计误差一致终极有界.仿真实例表明,所提出的方法是有效的.     

非线性离散时间系统的自适应模糊补偿控制

针对一类非线性离散时间系统,提出一种自适应模糊逻辑补偿控制方案.控制律由跟踪控制律和逼近误差补偿控制律两部分组成,利用模糊逻辑系统对系统参数扰动和外界干扰进行自适应补偿,由模糊滑模控制律实现对模糊逻辑系统逼近误差的进一步补偿.所设计的控制器可保证闭环系统一致最终有界.将该控制器用于月球探测车动态转向系统中,仿真结果表明了该方法的有效性.