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

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

沥青路面平整度差的原因及防治措施

针对近年来沥青路面平整度较差的现象，从路基、路面基层、沥青面层3方面分析了造成这一现象的原因，并针对这些原因提出了相应的防治措施。     

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

向量多项式优化问题中的目标函数和约束条件都是由多项式描述的.先将多目标多项式函数分别通过主要目标法、线性加权和法和理想点法等转化为单目标多项式函数,再利用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起飞位对出动效能贡献最大。     

Bernstein-Kantorovich算子线性组合同时逼近的点态估计

借助于Ditzian-Totik光滑模ωψλr(f,t)(0≤λ≤1)给出了Bernstein-Kantorovich算子线性组合同时逼近的点态估计.     

参数化弧相容约束传播

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

带有控制结构约束的次优状态反馈律的研究

研究了带有约束机制的次优状态反馈律,主要对终端时间tf=∞系统建立次优状态反馈的数学模型.通过简单控制结构约束的引入,消除状态变量不完全可测所造成的障碍,从而得到了带控制结构约束的次优必要条件及改进后的迭代算法.