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).     

A Weighted Inner Product Estimator in the Geometric Algebra of Euclidean 3-Space for Source Localization Using an EM Vector-sensor

In this paper, the source localization by utilizing the measurements of a single electromagnetic (EM) vector-sensor is investigated in the framework of the geometric algebra of Euclidean 3-space. In order to describe the orthogonality among the electric and magnetic measurements, two multivectors of the geometric algebra of Euclidean 3-space (G3) are used to model the outputs of a spatially collocated EM vector-sensor. Two estimators for the wave propagation vector estimation are then formulated by the inner product between a vector and a bivector in the G3. Since the information used by the two estimators is different, a weighted inner product estimator is then proposed to fuse the two estimators together in the sense of the minimum mean square error (MMSE). Analytical results show that the statistical performances of the weighted inner product estimator are always better than its traditional cross product counterpart. The efficacy of the weighted inner product estimator and the correctness of the analytical predictions are demonstrated by simulation results.     

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

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

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

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

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

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

GO-FLOW法在飞机EHA可靠性分析中的应用

应用GO-FLOW法分析了飞机电静液作动器(EHA)的可靠性。首先在EHA单元功能合理划分的基础上,建立了EHA的GO-FLOW可靠性分析模型,采用布尔代数求解描述反馈环的布尔方程,解决了GO-FLOW图不允许存在循环的难题;其次进行了GO-FLOW运算,得到EHA系统在各时间点的可靠度;再次与GO法的结果比较,验证了GO-FLOW法的可行性和准确性;最后通过MATLAB曲线拟合,得到系统可靠度随时间的变化规律,以便及时对系统进行检修和维护。结果表明GO-FLOW法只需一次运算,就可得到系统在各时间点的可靠度,在减小计算复杂度方面较GO法有优势。     

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

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

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。     

Chapman函数在实际模式大气中的数值积分计算

本文对Chapman阳光掠射函数[Ch(z_p,χ)]进行了数值积分,求得了其在实际模式大气中随观测高度z_p及天顶角χ的变化.计算并讨论了低热层高温度梯度、分子与湍流扩散、重力场及太阳活动对 Ch(z_p,χ)的影响.结果表明,在150 km以下,Ch(z_p,χ)与前人用等标高模式及等标高梯度模式的计算结果差别较大.其中高温度梯度的影响起主导作用.特别是太阳活动对Chapman函数影响较显著,高年与低年之间可变化10—40％(在大天顶角时),这有可能推动热层大气中辐射-光化学-动力学耦合关系的变化.     

基于平衡计分卡的民航快递服务管理

在剖析平衡计分卡战略思维的基础上，对民航快递服务质量展开实证调查，探讨中国民航快递公司在知识经济浪潮的冲击下，如何从新的战略视野设计服务运营平衡计分卡，建立战略管理绩效评估体系，全面实施服务管理，以改善服务遭遇，提升员工素质，优化顾客关系，为发展第三方物流奠定基础。