基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

约束与创造在建筑设计中的应用

建筑设计的过程是分析问题、解决问题的过程,涉及功能、形象、技术等各个方面,这些方面的设计均受到特定的自然环境和人文环境以及法律法规的约束.约束有的呈显性,便于把控,有的呈隐性,须深入思考才能把控.对约束的分析是创造的起点,创造的结果又形成新的约束.约束与创造是对立统一的矛盾体,约束是创造的动机和前提,创造是约束的目标和归宿.     

基于柔性约束的EAF配料模型研究

基于现代EAF炼钢流程的工艺特点,通过引入模糊数的概念,将配料成分约束模糊化,建立了基于柔性约束的配料模型,来提高配料的灵活性和适应性。采用模糊区间和模糊机会约束规划技术实现柔性约束的清晰化,合理解决了传统线性规划中由于约束条件过多、过于严格而导致的成本增加,甚至模型无解的问题,并通过仿真试验验证了方法的有效性。     

含有非独立广义坐标的三阶拉格朗日方程

在三阶拉格朗日方程的基础上,考虑含有非独立广义坐标的情况,得到了含有非独立广义坐标的三阶拉格朗日方程.在给出了位矢与广义坐标的函数关系后,得到了三阶拉格朗日方程的位矢表示.     

非完整力学的辛几何方法

以一个特殊辛流形的Lagrange子流形的子流形的形式研究了非完整自治力学系统,分别考虑了力学系统的Hamilton描述和Lagrange描述。     

机构公共约束辨识及自由度计算“拆闭副法”

本文论证了闭环机构公共约束m_i与开环机构末杆约束m′_i的差异,提出关系式:m_i=m′_i f′_i。澄清长期以来在机构自由度计算中关于公共约束的疑难。指出И·И·Артоболевский统一结构公式中的m_i,若定义为开环末杆约束m′_i,则在自由度计算中,运动副的级有确定的统一定义。阿氏公式与F·Freudenstein公式等效。作者建议取А·П·Мальищев型修正公式:W=6n-sum from k=1kp_k sum from i=1 m_i作为统一结构公式;并提出确定末杆约束的拆闭副法;指出应用刚体运动分解原理考察各运动副对末杆产生的独立运动时,必须考虑末杆的约束条件。文中列举若干计算例题,并与常用计算方法进行对比分析。     

离散剪切约束的4节点矩形弯曲单元

提出一种基于Ｍｉｎｄｌｉｎ理论的４节点矩形薄板单元，该单元满足应变能正交准则下的收敛性充要条件，具有插值方式简单和相当二次数值精度等优点。在避免单元剪切自锁中，引入较严格沿单元边界法向剪切应变约束处理技术，使单元具有真实Ｋｉｒｃｈｈｏｆｆ单元的变形特点。     

钢筋混凝土框架优化设计的一种新的混合法

本文提出了一种新的求钢筋混凝土框架结构设计最优解的混合法——坐标轮换法和模式搜索法合用。通过相应的程序处理,使无约束极值问题的优化算法可用于约束极值问题。在坐标轮换法的单维寻优中使用抛物线法,并且利用差商值之比判定框架梁、柱目标函数曲线的单调性,提高了寻优效率。     

变质量任意阶非线性非完整系统相对于非惯性系的广义Nielnes型方程

在m次相对速度空间中,构造变质量系统相对于非惯性系的动能函数,建立变质量系统相对于非惯性系的Nielsen型高阶变分原理,得到变质量任意阶非线性非完整系统相对于非惯性系的各种广义Nielsen型方程,并加(?)讨论。     

二阶非完整非保守动力学系统的守恒律

本文应用Jourdain微分变分原理研究了非保守力学系统的守恒定律,给出了受二阶非线性非完整约束的非保守系统的广义Noether等式。