Relation algebras over containers and surfaces: An ontological study of a room space

Recent research in geographic information systems hasbeen concerned with the construction of algebras tomake inferences about spatial relations by embeddingspatial relations within a space in which decisionsabout compositions are derived geometrically. Wepursue an alternative approach by studying spatialrelations and their inferences in a concrete spatialscenario, a room space that contains such manipulableobjects as a box, a ball, a table, a sheet of paper,and a pen. We derive from the observed spatialproperties an algebra related to the fundamentalspatial concepts of containers and surfaces and showthat this container-surface algebra holds allproperties of Tarski's relation algebra, except forthe associativity. The crispness of the compositionscan be refined by considering the relative size of theobjects) and their roles (i.e., whether it isexplicitly known that the objects are containers orsurfaces).     

CATIA草图辅助线及关系曲线在四杆机构设计中的应用

在用草图工具进行四杆机构设计的过程中,为了解决代数等值参数不可调的问题,采用几何相等辅助线的方法,使所有参数在限制范围内均可调。同时为了更直观地展示四杆机构各几何、运动参数之间的函数关系及变化趋势,运用VB工具进行了在草图中展示关系曲线的二次开发。经过实践证明,以上创新方法的应用能够显著提高概念论证和方案选择阶段机构设计的效率和质量。     

关于太阳耀斑观测的地图匹配算法实现

利用海洋的镜面反射进行太阳耀斑观测,要求以星下点为中心的卫星视场必须落在海洋区内。针对如何判定卫星视场和海岸线地图的位置关系问题,文章将卫星视场构成的矩形区域与海岸线地图构成的不规则多边形区域等效为多条线段集合,并提出一种把判断矩形与不规则多边形位置关系转化成判断等效线段之间位置关系的算法。该算法与传统的线段裁剪法或多边形裁剪法比较,具有无需求取线段交点、判断次数大幅减小等优点,能够达到快速判断能否进行耀斑观测的目的。     

基于灰色GM(1,1)模型和灰关联的数据挖掘方法

根据灰色系统模型的特点,将灰色GM（1,1）模型应用于数据的预处理,把灰关联作为一种直接的数据挖掘工具对数据进行关联分析,结合GM（1,1）模型和灰关联,给出一个完整的数据挖掘算法。     

基于集值信息系统的改进粗集模型

提出了一种新的带有参数的改进容许关系,并讨论了基于该容许关系的粗糙集扩充模型,证明了相关定理。理论分析表明,通过合理设置参数值,可使新扩充模型比以往模型具有更好的分类效果,从而提高了对数据预测、分类的准确度。实例分析进一步验证了改进容许关系及其扩充模型的优越性。     

渐进扩展的优先关系矩阵

应用扩展矩阵描述并行工艺规划中动态变化的优先关系,通过状态转化构造矩阵的动态生成,通过迭代递进形成扩展过程,主要算法步骤是:①构造约束集合;②在约束集上依据优先准则构造约束矩阵;③生成优先矩阵的扩展行、列向量;④组合扩展优先矩阵.由此,建立了与动态CAD设计交叉并行、逐步完善的工艺优先关系描述方法.      

关系数据库二三范式判别算法

第二范式(2NF)和第三范式(3NF)在关系数据库规范化中起着重要作用.然而,所有的文献都没有给出第二、三范式的判别算法,当关系模式属性较多或数据依赖较复杂时,很难通过手算做出正确的判断.本文首先给出判别给定属性集是否键码的算法以及求给定关系模式的所有键码和所有非主属性的算法,然后在简单刻划函数依赖特征的基础上提出2NF和3NF的判别算法.这些算法与现有文献上的各种算法一起便于在计算机上编程实现,从而使关系规范化理论变成应用软件.     

一种基于区间解析冗余关系的故障诊断方法

在基于解析冗余关系的故障诊断应用中,系统不确定性方法会造成漏诊和误诊。本文在传统键合图线性差分变化技术（Bond graph-linear fractional transformation technique,BG-LFT）中引入区间分析理论,提出一种基于区间解析冗余关系的故障诊断方法。该方法在基于键合图的解析冗余关系故障诊断方法的基础上,首先结合BG-LFT和区间分析理论对参数不确定性和测量不确定性进行统一建模。然后,将键合图模型扩展为不确定性键合图模型,并推导区间解析冗余关系。最后,利用区间数学运算方法计算区间解析冗余关系,得到诊断阈值。将该方法应用于电动静液作动器参数型故障及传感器故障的故障诊断中。结果表明,与单纯使用BG-LFT相比,本文方法能更有效获取电静液作动器故障诊断依据,避免系统不确定性对诊断结果的干扰。     

企业和谐劳动关系构建的博弈——基于社会责任的视角

鉴于目前社会责任运动的发展以及我国构建和谐劳动关系的需要,文章运用博弈论的分析框架分析了我国企业劳动关系的现状,揭示了在政府与企业的博弈中政府处于主导地位,而在企业与员工的博弈中企业处于主导地位。基于社会责任的视角,提出了政府、企业、劳动者三方通过合作来达到“共赢共生”的主张,这不仅要求政府在对企业不履行社会责任时加大对企业的处罚力度,还需要企业主动承担对劳动者的责任并加大对劳动者的激励,从而充分调动他们的积极性,更需要劳动者本身提高维权意识,不断提升自身素质。     

基于灰色关联模糊聚类算法优化飞机排故方法

采用灰色关联与模糊聚类原理，建立一种灰色关联的模糊聚类算法，应用该算法可直接对飞机维修经验中的多种排故方法．依排除故障的可能性进行排序，并根据排序结果时排故方法进行相似聚类，从而将排故经验与多因素决策算法进行有效综合．较好地解决了民航飞机故障诊断专家系统中多种故障原因的优化选择问题，并可直接给出排故方法的选择指导，提高专家系统的指导水平和飞机排故效率。文中对算法原理进行了详细介绍，并给出算法实例。