基于螺旋理论三自由度并联机器人型综合新方法

并联机器人的构型设计即型综合是并联机器人设计的首要环节,基于螺旋理论,从并联机构运动链分类的角度,提出用约束添加法对三自由度并联机构进行型综合,让主动链控制所需的自由度,而从动链约束不需要的自由度;提出了相应主动链和从动链各种类型,并对约束链作了较详细的分类,通过不同组合可得到不同性能的新构型.最后通过实例进一步阐明这一方法.该方法使型综合步骤更简洁,只要选择与自由度数相同个数的主动链,并合理选择约束链就可以组合出新的并联机器人.     

可扩展约束的基于角色访问控制策略的XML表示

通过对基于角色访问控制基本原理及约束的分析,设计了XML表达RBAC元素的方案,增强了系统表达不同策略的能力,适应分布式环境的要求. 策略的XML表示把系统管理和访问控制的实施技术分离,提高了系统开发的灵活性. 对于扩展的约束表达,采用分离的模块实施约束检查,从而实现了较好的约束可扩展性. 特定应用的访问控制系统可以根据已有的策略和现实的需求灵活定制.     

非受格动词及非作格动词研究

在“直接宾语限制”和“动词行为一致性”两个假设的基础上,利用致使型结果结构作为一种测试手段来区分现代汉语中的三种动词：非受格动词、非作格动词和及物动词,从而证明普尔马特曾提出的“非受格动词假设”在现代汉语中同样成立.     

向量多项式优化问题的数值方法

向量多项式优化问题中的目标函数和约束条件都是由多项式描述的.先将多目标多项式函数分别通过主要目标法、线性加权和法和理想点法等转化为单目标多项式函数,再利用Lasserre松弛方法求解该多项式优化问题,从而得到原向量多项式优化问题的弱有效解或有效解.数值实验结果表明该数值方法是有效的.     

变拓扑机构可变运动副设计目录研究

可变运动副作为变拓扑机构改变拓扑结构的关键所在,其结构设计是变拓扑机构构型综合的难点.基于可变运动副拓扑变化方式的研究,构建可变运动副设计目录,用于可变运动副的结构设计.分别针对可变运动副的改变轴线方位、改变数目和改变类型等三类拓扑变化过程,分析可变运动副的约束变化特征,并采用运动副约束函数的算术运算进行描述.在归纳设计可变运动副结构形式的基础上,对可变运动副拓扑变化方式、约束变化特征和对应结构等设计信息进行分类和汇编,构建可变运动副设计目录.应用实例表明,采用可变运动副设计目录,能快速有效地设计可变运动副结构,为含可变运动副的变拓扑机构构型综合提供了方便.     

利用伪速度方法压制浅海鬼波

采用基于用传统方法获取的海上单分量地震资料, 估算出同一位置速度的垂直分量(伪速度), 再与单分量压力数据联合, 达到压制鬼波的目的。将稀疏约束的反卷积方法作为鬼波压制的关键环节, 使得在浅海环境下, 由海水表面引起的检波器端上、下行波干涉产生的陷波问题得到改善, 同时低频能量得到增强, 提高了数据的分辨率。该方法可用于海上单分量压力数据的再处理, 拓宽数据的频带范围。     

Debunking material induction

In this paper, we present an explanatory objection to Norton's material theory of induction, as applied to predictive inferences. According to the objection we present, there is an explanatory disconnect between our beliefs about the future and the relevant future facts. We argue that if we recognize such a disconnect, we are no longer rationally entitled to our future beliefs.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

本科院校外语实验技术队伍调查分析

随机选取国内60个本科院校,调研了外语实验技术队伍的数量和结构,队伍的管理,工作与收入,学习与科研等。同时也初步调查了实验技术设备的现状,以及实验室常规工作中存在的问题。根据调查数据,指出了队伍中比较突出的一些现状问题。     

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。