关于逻辑程序不动点语义的讨论

主要讨论逻辑程序中的最大不动点语义．证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一个子句都满足：子句体的变量都在子句头中出现时,集合TP↓ω就是语义映射TP的最大不动点．然后定义了另一个Herbrand解释语义映射Fp将关于逻辑程序不动点语义的一些主要结论进行了推广．     

广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

在扩展PROLOG中函数和面向对象的程序设计

论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合.     

基于高斯过程的三维模型语义分类和检索

针对三维模型检索系统提高准确率、减少几何特征和人类语义丰富性之间的“语义鸿沟”等问题, 提出一种基于高斯过程的语义分类和检索新方法.该方法采用一种统计2个采样点相对质心向量夹角的AC2直方图新特征,与形状分布的D2特征组合成低层特征,使用高斯过程进行三维模型语义分类的监督学习,计算测试模型的语义类概率预测分布,建立低层特征和查询概念之间的联系;使用语义距离和不相似度计算方法进行检索排序.实验结果表明：与已有的某些监督学习的方法相比,多类的测试模型进行语义分类的准确率明显得到提升,检索中能体现语义概念,检索性能也得到提高.     

重物落水后运动过程的数学模型

为更好描述重物落水后的运动过程,设计了模拟封堵溃口小型试验,首先对重物落水后运动过程的影响因素进行分析,对采集的试验数据进行了分类处理,并对典型的试验数据进行比较分析,突出主要影响因素.其次对水中的重物进行了受力分析,以大实心方体为例,初步建立重物在水中运动过程的二阶微分方程模型（模型1）,结合步长搜索法和最小二乘法确...     

基于LSSVM的污水处理过程建模

针对基准仿真1号模型(BSM1)有耗时久、结构复杂、不利于研究和优化等缺点,提出使用多输入多输出最小二乘支持向量机(LSSVM)对污水处理过程进行建模。先介绍BSM1,再在BSM1的基础上建立基于L S S V M的污水处理过程简化模型,最后将B S M 1的仿真结果与基于L S S V M的污水处理模型的仿真结果进行比较,验证得出基于L S S V M的污水处理过程模型运行效率更高。     

稠密时间区间时序逻辑的可满足性判定

定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充．通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型．定义了一套规则来构造DTITL公式对应的有界整数域上一阶区间时序逻辑子集SFO的公式,从而把DTITL的可满足性判定问题等价地转化成了SFO的判定问题．利用多个命题变量等价表示有界整数,把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题．解决了DTITL的可满足性判定问题．     

基于T-S模型的随机双线性系统的稳定问题

主要研究了基于T-S模型的随机双线性系统的稳定性问题。首先,利用并行分布补偿方法设计控制器,确保闭环系统是随机渐近稳定的。其次,基于It^o随机稳定性理论,利用Lyapunov函数方法、不等式变换技巧和Schur补引理,证明了定理所给的稳定条件下的结论是成立的。设计方法的有效性通过一个数值例子来验证。     

基于智能体的OWL-S过程模型验证

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.     

几种特殊图之间和的Cordial性

给出了路Pm、圈Cn、扇Fp和轮Wq4种图之间和的Cordial性，所得结果扩展了文献Eli（Gallian J A. A Dynamic Survey of Graph Labellings of Graphs. Electronic Journal of Combinatorics，2005（5）：DS6）的研究工作．     

梯度幅度图像与幅角图像的比较

梯度法在数字图像处理中占有十分重要的地位,基于梯度可以进行图像的边缘检测及图像的锐化,但它们都是直接或间接利用梯度的幅度,至于梯度的幅角的应用,则很少有人使用.通过对梯度的幅度和幅角的比较分析,提出一种新的模型算法,利用该算法可以在一定程度上实现图像的立体感.     

基于TOULMIN模型的协商研讨系统的设计与实现

为缩小形式化模型与系统实现之间的差距,提供一种科学有效的决策方式,提出了基于Toulmin模型的协商研讨支持系统.经过对系统功能需求的分析,构建系统体系框架,指出主要功能模块,并对各个功能模块进行了分析与设计,在软硬件环境的支持下开发并实现了基于Toulmin模型的协商研讨支持系统,最后在该协商研讨平台进行了实例演示分析.     

最小包容区域法处理圆度误差的程序算法

详细介绍了基于计算机的最小包容区域法的模型和处理步骤。所编程序经大量测试表明,这种方法简单、可靠,计算机处理速度快,适用于各类相关的场合。     

合理论证：确保研究性论文谨严性和科学性的逻辑基础

在讨论论证模式及其基本要素的基础上,分析指出研究性论文写作的实质是一个复杂论证,由多个简单论证构成.为了让读者了解和愿意接受论文的观点,研究性论文写作必须展开合理有效的论证（argument）.同时,还结合外语学术期刊中的具体实例说明展开论证的重要意义.     

多孔介质内部大圆球绕流的分析

对多孔介质内部大圆球绕流问题进行理论分析．首先根据基本假设写出简化的基本方程组，然后求出多孔介质内部大圆球绕流问题的解析解，最后对解析解进行分析和讨论．     

圆形区域中分散布局问题的研究

圆形区域分散布局问题是一类常见的数学问题,在区域分散布局的科学研究中占据了重要的位置。针对该类问题,文中建立了两个布局模型,分别为基于目标函数最小距离最大化的布局模型、基于对数函数惩罚性特点的分散布局模型。结合圆形布局区域的对称性与布局模型,得到了两个布局相关的基本结论,并给出了证明。实例求解表明,采用了序列二次型规划方法得出的数值结果与理论吻合。     

逐段常变量微分方程组渐近概周期解存在唯一性

本文利用指数二分及差分方程的渐近概周期序列解,讨论了一类具有变系数逐段常变量微分方程组的渐近概周期解的存在及唯一性．     

餐饮业应急体系的建立与循环经济发展刍议

以循环经济导向餐饮业,是国家旅游餐饮事业进步的重要标志和必然趋势。2008年突发"5.12"汶川特大地震,给餐饮业应对危机、坚持可持续发展提出新的要求。本文提倡从餐饮业的应急储备、供给、安全、健康等方面综合布局,构建能够预防突发性地质、自然灾害的循环经济运行模式,巩固绿色健康的节约型餐饮消费观。     

轴对称圆板大挠度问题的自由参数摄动法解

采用自由参数摄动法处理了在均布载荷以及集中载荷作用下轴对称圆板的大挠度问题，得到了圆平板在边界固定夹紧及可移夹紧条件下的刚度特征、内力分布以及挠度曲线，并将求解过程及结果与这一问题的经典解进行了比较。     

循环经济与西部开发初探

根据西部地区的具体情况,联系循环经济的特点,认为推行循环经济模式是我国西部开发建设中的必然选择。在西部推行循环经济,有许多困难需要克服。为此,需要建立循环经济的全民教育体系,国家应给与西部地区充分的技术支持,政府要为发展循环经济提供法律保障,并采取积极的促进政策。在西部地区,可以以企业为点,以生态园区为面,使工业链变为生态链,将循环经济增长模式全面铺开。