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

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

基于可信群划分及评估值波动性和一致性的可信评估模型

提出一种基于兴趣相似度的可信群划分策略.将全局评估转化为群内评估,既解决了评估消息集聚的问题,又区分了不同兴趣域内的评估结果,提高了系统的服务成功率.同时提出一种结合评估值波动性和一致性的权重计算方法.仿真结果表明,新模型能抵抗各类恶意节点,且比以往的模型服务成功率更高.     

基于熵权-层次分析法和优劣解距离法的飞行员胜任力评价

结合熵权法、层次分析法（AHP）、优劣解距离法（TOPSIS），提出了一种用于评估飞行员胜任力的多准则决策框架。首先，根据国内外飞行员胜任力指标框架研究进展，构建飞行员胜任力评价指标体系。其次，采用熵权法计算飞行员核心胜任力指标权重。随后，由专家使用AHP对飞行员心理胜任力和作风胜任力指标赋权，并建立融合的权重指标体系。最后，根据评价指标权重，采用TOPSIS方法对飞行员胜任力进行排序。通过将提出的方法应用于航线飞行员胜任力评估，验证方法的可行性。     

矩阵同时相似于对角矩阵问题的研究

矩阵相似于对角矩阵是高等代数和线性代数中一个重要而基本的问题，而一般的文献只讨论了一个方阵相似于对角矩阵的条件．本文给出了两个矩阵可同时相似于对角矩阵的充要条件，由此进一步推出了多个矩阵同时相似于对角矩阵的条件．     

裴务齐正字本《刊谬补缺切韵》异构字声符的音韵类型及其成因

收集裴务齐正字本《刊谬补缺切韵》中的异构字,其中声符代换的有149组。这些代换声符的声音在隋唐时期可分为两类:音同声符,音近声符。探究声符变化的原因有四点:反映语音演变,方言不同,简省笔画,误用。     

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

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

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

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

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

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

非完整力学的辛几何方法

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