概念格的分布处理研究

概念格和形式背景是一一对应的，概念格的分布处理必然涉及到形式背景的处理．定义了形式背景问的横向和纵向合并运算，讨论了同域背景间的三种不同的关系，特别提出一种新颖的属性相似度方法来处理背景间的不一致关系，把不一致的形式背景转换为一致背景或独立背景；还定义了概念、概念格间的基本运算，并证明了纵向合并的子背景的概念格和子背景所对应的子概念格的并是同构的，这样就奠定了概念格分布处理的理论基础，为概念格的分布并行构造提供了依据．     

定性空间推理中区域连接演算的多维扩展

区域连接演算(RCC)是定性空问推(QSR)的基础理论之一．但RCC理论只支持区域，不能处理包括点、线和区域在内的空问多维对象，这阻碍了RCC应用的发展．扩展了区域概念，将点和线对象视为特殊的区域．提出了能直接用RCC理论描述空间多维对象拓扑关系的MRCC理论．在保留RCC公理的前提下，MRCC增加了2条新公理，并由此推导出了36种MRCC基本关系．进而讨论了基于概念邻域图和复合表的推理．MRCC拓展了RCC理论的适用范围，促进了RCC向实际应用的发展．     

基于信标的柔性制造系统的优化死锁预防策略

针对柔性制造系统（FMS）中的死锁问题，根据矩阵理论给出了Petri网中基本信标的概念，进而提出一种基于基本信标和混合整数规划法（MIP）的死锁预防策略．该策略将最优基本信标作为控制对象，以混合整数规划法给出的系统无死锁条件为目标函数．不考虑从属信标受控条件便可在多项式时间内使系统受控．该控制策略的显著特点是以较低的计算复杂度实现整个系统受控，并使需要添加的控制库所和连接弧大大减少．控制实例证明了其有效性．     

约束概念格及其构造方法

概念格是一种有效的数据分析和知识提取的形式化工具．然而，随着要处理的数据量的剧增，基于原始形式背景构造出的概念格结点数目庞大，占用大的存储空间，同时概念格结点中一些属性集形成的内涵，用户并不都感兴趣，因而从中提取用户需求知识费时．为了降低概念格构造的时空复杂性，增强实用性和针对性，首先采用谓词逻辑描述用户感兴趣的背景知识，并将背景知识引入到概念格结构中，提出了一种新的概念格：约束概念格．在此基础上，提出了基于背景知识的约束概念格构造算法CCLA．理论分析表明，该算法能有效地减少概念格的存储空间和建格时间．最后，采用恒星天体光谱数据作为形式背景，实验验证了该算法的有效性．     

粗糙性理论的列氏总分学分析

本文从探究粗糙总分学起源的上下文开始，回顾了其本源列氏总分学及其扩展后的塔氏立体几何关键内容。通过使用上述基本理论的术语和概念，对粗糙包含定义的公设系统进行了初步分析，从而阐述了对粗糙总分学的基本内涵理解。粗糙总分学体现了列氏总分学与粗糙性理论结合的一个方面，但列氏总分学作为与经典集合论相提并论的理论体系，具有完全基于该理论构造粗糙性的能力。基于此观点，本文首先描述了以集合论中划分的概念表达的粗糙集理论的形成原理，然后以列氏总分学概念来对等地替代集合论概念，以获得纯粹总分学意义上的粗糙性。这些思想和努力的最终目的，是利用总分学作为形式本体论要素的特质，建立作为软计算基本方法的粗糙性理论和作为知识／智能系统核心的本体论之间的关系，从而构建适应新型计算模式的方法学。     

自由飞行空间机器人研究综述

本文对自由飞行空间机器人的研究进行了介绍．首先，论述了自由飞行空间机器人的 概念、用途和运动特性．其次，分别从基本理论、地面实验平台和空间实验系统三个方面阐 述了自由飞行空间机器人的研究现状．最后，给出了结论和展望．     

概念格与粗糙集的关系研究

概念格理论和粗糙集理论是两种不同的知识表示与知识发现的工具，都已被成功应用于许多领域.粗糙集理论的数据表现方式是信息系统，其研究基础是对象之间的等价关系;概念格理论的数据表现方式是形式背景，其研究基础是一种有序的层次结构--概念格.本文讨论了概念格理论与粗糙集理论之间的基本联系;重点分析了形式概念与等价类之间、概念格与分划之间的关系;证明了概念格与分划之间可以相互转换，给出了转换算法，并用例子加以说明.     

定性Dempster-Shafer理论

采用一个全序的符号值集合来代替数值信任度集合[0，1]，提出定性Dempster-Shafer理论来处理既有不确定性又有不精确性的推理问题．首先，定义了适合对不确定性进行定性表达和推理的定性mass函数、定性信任函数等概念，并且研究了这些概念之间的基本关系；其次，详细讨论了定性证据合成问题，提出了基于平均策略的证据合成规则．这种定性Dempster-Shafer理论与其他相关理论相比，既通过在定性领域重新定义Dempster-Shafer理论的基本概念，继承了Dempster-Shafer理论在不确定推理方面的主要特点，同时又具有适合对不精确性操作的既有严格定义又符合直观特性的定性算子，因此更适合基于Dempster-Shafer理论框架不精确表示和处理不确定性．     

一个基于相似度计算的动态多维概念映射算法

本体作为一种领域知识结构化描述和推理的基础已经获得广泛认可．然而，本体本身是异构的．特别在多Agent系统、语义网、知识管理等开放环境下，如何协调不同领域的本体，甚至是同领域的本体的语义差异是一个基本问题．本文以相似度计算为基本思想提出了一个多维动态的概念映射算法S-Match．该算法可以根据不同的灵活性和准确性需求，在语言级、结构级、实例级和推理级四个维度上动态地进行本体概念映射．初步试验结果表明，S-Match算法在查全率和查准率方面要优于H-Match算法，并且比GLUE方法要求更少的专业知识支持．     

基于粗糙集理论的概念格属性约简及算法

粗糙集理论在数据分析中善于解决约简冗余属性与对象、寻求最小属性集等问题，而约简概念格是形式概念知识表示中解决复杂性的重要途径。用粗糙集的方法重新认识形式概念及概念格，并把二者有机地结合起来，为概念格的约简提供了一个新的思路和方法。本文就这些问题做了一些基本的研究。     

旋转动力学理论(2):元理论

旋转动力学理论是以辨证逻辑和心理学理论为指导，微分拓扑为工具建立起来的创新计算的统一理论框架。本文探讨它的元理论，包括元理论的内容，研究方法与程序，以及理论的检验与应用等。元理论的主要作用在于(1)提出假设和预测，为旋转动力学理论提供基础；(2)采用逻辑分析的方法判断和鉴别旋转动力学推论的真伪；(3)概括和抽象经验研究的事实和结论，形成一般性的理论框架。     

Dynamics of rotating paramagnetic particle chains simulated by particle dynamics,Stokesian dynamics and lattice Boltzmann methods

Paramagnetic particles, when subjected to external unidirectional rotating magnetic fields, form chains which rotate along with the magnetic field. In this paper three simulation methods, particle dynamics (PD), Stokesian dynamics (SD) and lattice Boltzmann (LB) methods, are used to study the dynamics of these rotating chains. SD simulations with two different levels of approximations—additivity of forces (AF) and additivity of velocities (AV)—for hydrodynamic interactions have been carried out. The effect of hydrodynamic interactions between paramagnetic particles under the effect of a rotating magnetic field is analyzed by comparing the LB and SD simulations, both of which include hydrodynamic interactions, with PD simulations in which hydrodynamic interactions are neglected. It was determined that for macroscopically observable properties like average chain length as a function of Mason number, reasonable agreement is found between all the three methods. For microscopic properties like the force distribution on each particle along the chain, inclusion of hydrodynamic interaction becomes important to understand the underlying physics of chain formation. Any opinion, findings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.     

思维惯性空间模型

思维惯性将思维局限于过去经验的边界内,难以产生创造。根据思维的旋转动力学理论提出了思维惯性空间模型,包括惯性空间的构造及其性质,指出了创造就是通过物场分析、转换创造、组合创造等发明方法实现对惯性空间的拓扑扩展。     

弹性杆的Greenhill公式与Kirchhoff动力学比拟

Kirchhoff动力学比拟思想建立了弹性杆静力学与刚体定点转动动力学之间在概念和方法上的对应关系.受拉扭弹性直杆的平衡比拟于Lagrange重陀螺绕铅锤轴的永久转动.根据一次近似理论,考察了两者稳定判据的建立过程,表明其在稳定性上的比拟是Lyapunov意义上的.在此基础上进一步讨论了两端铰支时拉扭弹性直杆的Eule...     

某发动机外场地面试车振动监测限制值确定研究

针对某发动机缺乏外场地面试车振动监测限制值,严重影响安全使用的客观事实,在对该型发动机结构特点分析的基础上,借助于转子动力学有限元技术,建模分析了该发动机的转子动力学特性,明确了应重点监测燃气涡轮机匣处振动,为外场振动实测提供了理论指导.结合大量的外场实测振动数据分析,基于旋转机械振动监测限制值确定的通用原则,初步给出了工程适用的外场地面试车振动监测限制值建议.     

Opinion Dynamics Driven by Various Ways of Averaging

The paper treats opinion dynamics under bounded confidence when agents employ, beside an arithmetic mean, means like a geometric mean, a power mean or a random mean in aggregating opinions. The different kinds of collective dynamics resulting from these various ways of averaging are studied and compared by simulations. Particular attention is given to the random mean which is a new concept introduced in this paper. All those concrete means are just particular cases of a partial abstract mean, which also is a new concept. This comprehensive concept of averaging opinions is investigated also analytically and it is shown in particular, that the dynamics driven by it always stabilizes in a certain pattern of opinions.     

Twin Brush Floor Polishing Robot

A self-propulsive polishing robot is proposed as a method that automates a floor polisher and enables the omni-directional motion of a mobile robot without wheels. The proposed robot is composed of twin rotary brushes and does not require any mechanism such as driving wheels for the locomotion of the robot. When the robot polishes a floor with its brushes rotating, the friction forces occur between the brushes and the floor. The friction forces can be controlled by adjusting the posture of the brushes and it enables the robot to move in any desired direction.In this paper, we present a dynamics model of a brush, which corrects the errors of the currently existing model, and propose a new type of polishing robot, which has the twin brushes rotating in the opposite direction to each other. We also present the dynamics of the proposed robot and found the inverse dynamics solution for the omni-directional motion of the robot: we compute the values of the manipulating variables such as tilting directions and tilting amounts of the brushes for the translational, the rotational, and the combined general motion of the robot.     

Nonlinear state estimation for suspension control applications: a Takagi-Sugeno Kalman filtering approach

A new nonlinear state estimation approach, which combines classical Kalman filter theory and Takagi-Sugeno (TS) modeling, is proposed in this paper. To ensure convergence of the TS observer, conditions are derived that explicitly account for the TS model's confined region of validity. Thereby, the secured domain of attraction (DA) of the TS error dynamics is maximized within given bounds. The TS Kalman filtering concept is then applied to a hybrid vehicle suspension configuration, whose nonlinear dynamics are exactly represented by a continuous-time TS system. The benefit of the novel estimation technique is analyzed in comparison with the well-known EKF and UKF variants in simulations and experiments of a passive and an actively controlled suspension configuration in a quarter-car set-up. Employing a real road profile as disturbance input, the TS Kalman filter shows the highest estimation quality of the concepts studied. Moreover, as its computational complexity adds up to only one third of the one involved with the classical methods, the new approach operates remarkably efficient.     

产品创新设计平台框架

根据创新计算的旋转动力学理论，提出了产品创新设计平台框架，包括理论基础、平台结构，数学模型和创新推理框架，集成了创造性联想算法、创造算法和发明创造技法的自动化实现。平台结构是开放的、增量式的，需要时很容易扩展。     

Nutrition and shiftwork: the use of meal classification as a new tool for qualitative/quantitative evaluation of dietary intake in shiftworkers

Established nutritional science methods and a new concept for meal–classification were applied to shiftworker (rotating 3-shift) data. The frequency of meals and snacks of different nutritional quality as a function of work schedule was evaluated, as well as the content of selected nutrients (energy, fat, sucrose, dietary fibres, ascorbic acid) in these meals and snacks. The results do not indicate that rotating 3-shift work affects the nutritional quality of the diet or the frequency of different types of meals and snacks. A qualitative classification of meals and snacks might be a cost–effective strategy for data–evaluation in field studies of shift workers' eating habits when quantitative estimations of the dietary intake are to be complicated.