简介：本文讨论了一种允许用户定义任意代码特性集的机制，它同时能保证在编译时被调用函数满足调用者所有代码特性要求。

简介：引入状态变量表示力学系统的约束方程；建立状态空间中运动约束系统的新型变分原理；导出运动约束系统的带乘子的运动微分方程和广义状态变量运动微分方程；证明状态空间中运动约束系统的运动方程是奇异的；举例说明所得结果的应用．

简介：讨论了弹性细杆力学的变形几何方程在静力学建模中的地位和作用，阐明了它与非完整约束的异同；指出了只有满足物理条件的解才是物理上有意义的解．结论对弹性细杆动力学仍然适用．

简介：研究了非完整约束Appell-Hamel例.证明了经典Appell-Hamel例对于非完整系统的Hamilton作用量是稳定值.研究了该约束对于非完整力学Rosen-Edelstein模型的解,证明了对于三个非完整力学模型Ap-pell-Hamel例具有相同解.利用非完整力学系统可归结为有条件的完整系统的理论,得出了经典Appell-Hamel例具有第二类Lagrange方程的形式.

简介：本文介绍了射线型原油含水率自动监测仪表的原理。阐述了仪表的硬件组成部分，并说明了软件组成部分，详细介绍了软件中的数据采集。

简介：选播是Ipv6中的一种标准通讯模型。本文研究多QoS参数约束的选播路由问题，建立了一种带有多个QoS参数约束的选播通信服务模型，设计实现了相应的多路选播路由算法。网络仿真实验结果表明，该算法是有效且切实可行的，它能同时满足多个QoS的约束条件，具有较好的求解效果，改善了网络服务质量。

简介：雨量等值线在水文、防汛领域应用广泛，Delaunay三角剖分具有空外接圆和最大的最小角度两个良好性质，对于非规则分布的离散点数据进行三角剖分内插是生成等值线的最常用的算法，但实际应用中往往都术是凸壳进行三角化，而是有限定边（或限定点）对三角剖分进行约束。该文在标准Delaunay三角剖分基础上，分析了逐点插入法的基本原理，基于此提出了一种解决有限定边的约束三角网格剖分生成等值线的方法，给出了限定边进行三角剖分的算法，同时对边界采用网格加密和邻域内插算子进行边界附件插值，提高等值线的边界拟合精度，并在雨量等值线生成中得到较好应用。

简介：本文建立了多约束QoS路由模型，并对基本蚁群算法的信息素更新策略进行了改进，提出了一种基于改追蚁群算法的多约束QoS路由优化算法，实例计算结果证明了算法的有效性。

简介：本文研究了Delta算子描述的不确定系统具有闭环极点约束的状态反馈控制，基于LMI和李亚普诺夫二次稳定的方法，提出了系统满足要求的极点配置的充分必要条件。用一个线性矩阵不等式组的可行解给出了状态反馈控制律的参数化表示，最后，用一个例子验证了该方法的可行性。

简介：基于周期耗能相等的原理，将磁橡胶约束阻尼悬臂梁（MRLD）与传统的约束阻尼悬臂梁（CLD）等价，计算MRLD的模态损耗因子，研究了阻尼层剪切模量Gv对MRLD梁阻尼特性的影响．研究表明，在给定激励位移下，当Gv较小时，MRLD与CLD的阻尼一样．增加Gv引起阻尼层滑移，在Gv增加的开始阶段，MRLD表现出比CLD更好的阻尼特性，但进一步提高Gv，MRLD的阻尼性能开始降低并将低于CLD．此外，增加位移激励，使MRLD的阻尼大于CLD阻尼的有效剪切模量Gv的区域向剪切模量小的方向移动；所对应最大阻尼的剪切模量Gvopt也如此．

简介：基于连续Galerkin方法，给出非完整约束下多体系统时间离散的变分数值积分方法．首先对非完整多体系统Hamilton正则方程的弱形式进行时间离散，得到变分积分公式，然后讨论该积分方法对能量及约束的保持，最后以蛇板为例对该方法进行数值验证和比较．

简介：研究具有双面理想完整约束的变质量力学系统的机械能守恒律.首先,利用系统的运动微分方程,获得能量变化方程,并给出机械能守恒律存在的充分必要条件.然后,提出具有守恒律的27种情形.最后,举例说明.

简介：本文提出的算法是利用凸函数共轭性质中的Young不等式构造优化目标函数，这个优化目标函数对于权值和隐层输出来说为凸函数，不存在局部最小。首先把隐层输出做为变量进行优化更新，然后快速计算出隐层前后的权值。数值实验表明：此算法简单，收敛速度快，泛化能力强，并能大大降低学习误差。

简介：针对多体系统动力学微分-代数方程求解问题,研究基于Lie群表达的约束稳定方法.首先引入新的Lagrange乘子,结合位移约束、速度级约束和加速度级约束方程,构造了新的Lie群微分-代数方程.然后使用向后差商隐式方法和CG(Crouch-Grossman)方法,对微分–代数方程进行离散求解,得到精确度较高的动力学仿真结果.该方法在精确保持各级约束方程的同时,保持旋转矩阵的正交性,并且使系统总能量误差较小.

简介：研究了两端受扭转弹簧约束的简支输流管道的固有频率特性和静态失稳临界流速．根据梁模型横向弯曲振动模态函数，由端部支承和约束边界条件得到了其模态函数的一般表达式．根据动力方程的特征方程，具体分析了约束弹性刚度、流体压强、流速和管截面轴向力等参数对管道固有频率特性和静态失稳临界流速的影响．数值分析表明，约束弹性刚度的增大使管道的固有频率和失稳临界流速明显提高；流体流速、压强和管截面受到的轴向压力的增加使管道的固有频率和失稳临界流速降低．当管道的固有频率和失稳临界流速较低时，可以通过增加端部约束的方法来提高．

简介：考虑执行机构性能、传感器空间指向等复杂约束,研究了空间飞行器姿态机动的路径规划问题.建立了姿态机动路径规划模型,并通过使用微分平坦理论将其映射到平坦输出空间,消除微分方程约束的同时降低设计空间维数;给出了平坦输出参数化描述的伪谱法,并运用共形映射、重心插值等技术改善了微分矩阵的病态特性,提高了路径规划的精度.仿真表明:该方法能够较快规划出满足约束的姿态机动路径,对工程应用具有一定参考价值.

简介：MPLS因其具有一系列优良特性被认为是下一代网络的关键技术，基于MPLS的故障恢复机制是MPLS技术应用中的一个研究热点。利用MPLS技术实现故障恢复的基本思想是，在流量正常流经的工作路径之外建立基于某一模式的相应故障恢复路径，当工作路径发生故障时，其上的流量将根