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

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

OPTW的两阶段网络优化算法

以组合最优化问题中的定向问题为原型,结合它的新一类变形问题包括网络磁盘故障修复问题、制药销售员问题和垃圾回收车路线问题等进行分析,建立网络上有时间窗口限制的定向问题的数学模型,利用两阶段算法原理的思想,设计一种网络上满足时间窗口限制的定向问题求解算法,进行实例验证.结果表明该算法易于实现、且收益增幅明显等优点,为一类网络上有时间窗口限制的最优化问题提供新的求解算法.     

利用工程图学考试检验学生空间思维能力

为强化未来工程师空间几何思维能力，使其在职业生涯中能清晰准确地利用工程图样表达产品。对学生通过工程图学期末考试进行了空间思维能力测验。改变了以往考试题型和答案固定的常规，使试题呈开放性和灵活性。实践结果表明，该工程图学课程在有限学时内打破了传统的输入式教学，对拓展并激发学生的创新思维能力具有现实意义。     

Rough正项几何规划及其算法

在rough集合和rough凸集的基础上,提出了rough值集凸函数的概念,建立了rough正项几何规划的知识表示模型、数学模型.此外,研究了rough正项几何规划的数学模型,以及解决多反而少的"悖论"的rough 正项几何规划的算法,它可以化为一单项rough正项几何规划后再化为一个rough线性规划来求解.最后,通...     

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

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

基于柔性约束的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节点矩形弯曲单元

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