处理图像语言的格点自动机与格点文法

Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动机,引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似,另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理.     

从约束型最小二乘估计到约束型岭估计的探索

考虑非齐次约束线性回归模型回归系数的最小二乘估计及岭估计,当设计阵 X为病态时,最小二乘估计不再是一个优良估计,提出了一种约束型岭估计,从约束条件入手,借助条件极值法研究( Y-Xβ)′(Y- Xβ)的最小值,使问题转化为在两个约束条件下的优化问题.     

用约束型自组织特征映射网络实现多井约束插值

提出了一种用神经网络实现多井约束插值的新方法。作为传统的自组织特征映射网络(Self Organizing Featuere Map，SOFM)的一种推广形式，提出的约束型自组织特征映射(Constraint Self Organizing Featuere Map，CSOFM)对某些特定的输出节点及输出节点的排列方式加以约束，从而既保留了SOFM的长处(如自组织和拓扑映射)，又克服其在处理多井的约束插值问题时存在的一些缺点(如网络规模过大，训练时间过长和归位问题)。对实际资料的处理表明，其方法能取得满意的结果。     

基于Pareto排序和混沌加权的多目标项目调度

为综合考虑资源约束型项目调度问题的多个调度目标,有效获得该问题的近似非支配解集,建立了一种综合考虑可更新资源稳定性和工期的双目标项目调度模型。提出了一种基于Pareto排序和多目标混沌加权相结合的遗传算法,其中个体编码采用双链表结构,分别代表任务的执行顺序和执行模式,初始种群的生成包括随机生成和依据任务特性确定执行模式两种方式,设计了个体交叉和自适应变异算子,研究了基于Pareto排序法和基于多目标混沌加权法的个体适应度计算方法以及不可行解的修复和惩罚策略。利用项目调度问题算例库对该算法进行测试,数值测试结果验证了算法的有效性。     

双层模糊系统融合中心约束型最小包含球

与传统的TSK模糊系统相比,改进的双层TSK模糊系统CTSK(Central TSK Fuzzy System)有如下优点:良好的可解释性、更好的鲁棒性、较强的逼近能力。但对于大样本或超大样本数据集,其时间复杂度和空间复杂度的开销都极大地限制了它的实用性。针对此不足,通过模糊系统融合中心约束型最小包含球(CCMEB)理论提出了CCMEB-CTSK(CCMEB-based CTSK)算法。该算法在继承CTSK优点的同时,又较好地实现了处理大样本和超大样本数据集的有效性和快速性。仿真实验研究分析了采用不同模糊规则数的CCMEB-CTSK的性能指标和运行时间的比较,以及训练样本不加噪声和加入噪声情况下CCMEB-CTSK泛化能力和鲁棒性能的测试。     

约束型复合阻尼隔声板的隔声性能及其应用研究

约束型复合高阻尼隔声板具有良好的隔振、隔声性能,特别适用于对隔声结构的厚度有苛刻要求的场合。对影响约束型复合高阻尼隔声板主要结构参数的研究,有利于指导其设计、制造和应用选择。根据对约束型复合高阻尼隔声板隔声计算模型的计算与实验表明,当隔声板的面积减小时,其低频隔声量会随之增加;当隔声板阻尼层的厚度等量递增时,其隔声量也近似等比例地提高;当面板材料的弹性模量较小时,隔声板的低频和高频的隔声量都会变差;当隔声板阻尼层剪切模量较高时会导致隔声量偏低。     

试论煤矿企业约束型自主安全管理模式

以系统工程理论和方法为指导,建立了适合我国煤矿特点的约束型自主安全管理模式。约束型自主安全管理模式是系统性的安全管理模式,在体系结构上包括3方面的体系结构维度,即组织与控制维度、实践维度和安全文化维度。阐述了实现约束型自主安全管理模式的有效途径,即以约束为手段,以自主为动力和采取闭环管理形式。约束型自主安全管理模式的提出对于煤矿实施安全自主管理具有一定的理论和实践的指导意义。     

自制自约束型冷—热疲劳试验机

自制自约束型冷──热疲劳试验机哈尔滨工业大学刘北兴，刘思久，刘剑虹一、引言一冷热疲劳破坏是工件在循环加热─－冷却条件下工作的一种重要失效形式、冷一热疲劳抗力是这类工件的一个重要性能指标。材料冷一热疲劳性能的测试是在冷一热疲劳试验机上进行的。目前．国内...     

非嵌入约束型Appell动力学普适方程

对于一个物理模型确定的有约束力学系统,解除其实现运动约束的物理条件,代之以相应的约束力或控制力,并以广义力形式的达兰贝尔原理作为理论基础,这样就无须考虑运动约束加在虚位移上的限制条件,而建立起含有广义不完全理想约束力的非嵌入约束型的Ａｐｐｅｌ动力学普适方程,并考虑到运动约束方程,就构成了该约束系统的封闭动力学方程组．     

桩前约束型桩板支护结构原理分析

针对悬臂式支护结构,当桩前土体较厚,桩体嵌固段主要为土体时存在局限性.为充分利用桩前土体的嵌固力,本文提出了桩前约束型桩板支护结构这一新型结构.该结构通过与桩刚接的约束板约束桩前土体变形,阻止桩前土体破坏,从而提高了桩前土体的嵌固力,是一种应用前景广泛的新型结构,为证明桩前约束型桩板支护结构的优越性,本文从土体抗剪强度...