带扰动控制系统的形式化设计

利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化"转换函数.进而,利用"弱化"转换函数提出一种方法用于构造控制器,使原系统近似满足给定规范;利用"强化"转换函数,提出另一种方法用于构造控制器,使原系统严格满足给定规范.本文分析比较上述两种方法与文献中已有的方法,指出各自的优缺点和适用范围.最后给出仿真实验,说明上述两种方法的有效性并展示这些方法的不同适用范围.     

代数免疫度最优的偶数元旋转对称布尔函数的构造

针对目前许多流密码算法无法抵抗代数攻击问题,提出了一种构造代数免疫度最优的偶数元旋转对称布尔函数的新方法。该方法在择多函数的基础上,通过巧妙选择汉明重量不一的若干轨道,并改变这些轨道上的函数值,从而构造出一类新的旋转对称布尔函数。给定布尔函数达到代数免疫度最优的一个充分条件,通过证明新构造的布尔函数满足该充分条件,从而表明该类函数代数免疫度最优,能够有效抵抗代数攻击。     

代数免疫度最优的偶数元旋转对称布尔函数的构造

针对目前许多流密码算法无法抵抗代数攻击问题,提出了一种构造代数免疫度最优的偶数元旋转对称布尔函数的新方法。该方法在择多函数的基础上,通过巧妙选择汉明重量不一的若干轨道,并改变这些轨道上的函数值,从而构造出一类新的旋转对称布尔函数。给定布尔函数达到代数免疫度最优的一个充分条件,通过证明新构造的布尔函数满足该充分条件,从而表明该类函数代数免疫度最优,能够有效抵抗代数攻击。     

从运动方程构造Lagrange函数的直接方法

根据对Lagrange函数的结构分析,提出直接从运动微分方程构造一维系统Lagrange函数新的一般方法和6种特殊方法.利用提出的方法导出若干运动微分方程的Lagrange函数.直接构造法证实一个系统具有多个不同而等效的Lagrange函数,甚至是Lagrange函数族.这种直接构造法也是构造Lagrange对称性并导出对应守恒量的一种途径.     

基于改进离散粒子群算法优化故障等级的传感器布局

文章提出一种基于改进离散粒子群算法优化故障等级的传感器布局方法用于解决传感器检测故障的布局问题,通过故障模式影响和危害性分析得到系统的故障模式,对系统故障模式进行故障等级划分;然后依据故障等级漏检率构造约束条件,传感器成本构造适应度函数;并构造出非线性优化学习因子的动态调整策略;利用改进的离散粒子群算法求解故障漏检率约束条件下适应度函数最优的传感器布局离散序列,仿真实验表明应用文章方法布局具有在满足不同故障等级的漏检率条件下的成本低优越性。     

基于环境资源因子的产品平台模块划分方法

产品平台能够根据用户的个性化需求,利用模块化的零部件快速衍生出不同产品.通过分析基于环境资源因子的产品平台模块划分方法,将绿色理念贯穿产品全生命周期过程中,提出基于环境资源属性的产品集成信息模型.通过引入环境资源因子和零部件关联矩阵,分别建立了基于环境资源因子的绿色度目标函数和基于零部件关联矩阵的聚合度目标函数;提出一种改进的免疫克隆多目标优化算法,对二进制基因对进行变异与跟踪,在克隆选择中筛选出满足环境资源属性的非支配抗体,对产品平台的模块化分问题进行多目标优化求解,构建出能够量化评估产品的环境资源属性的产品平台,从而在满足客户对产品功能需求的同时提高了产品对环境的友好性.最后以采煤机为应用实例,通过与其他算法的对比以及与绿色影响程度的分析评价,对该方法进行了验证.     

一种基于局域网的无纸化考试系统设计

无纸化考试是计算机考试改革的必然趋势,本文阐述了目前无纸化考试采用的几种方法及其不足之处,提出了一种可实现的基于局域网的考试系统的设计方法,并提供了主要功能的程序代码,任何有程序开发基础的计算机教学人员都可以根据本文中所列代码进行二次开发,以满足不同环境的需求.     

基于核与灰度的灰色综合关联贴近度决策模型

针对指标值为区间灰数且权重属性部分已知、部分未知的决策问题, 提出一种基于核与灰度的灰色关联综合贴近度的决策方法.首先, 通过定义区间灰数的离散度和接近度, 构造一个确定指标权重的多目标优化模型; 然后, 利用区间灰数的简化形式, 求出方案与正、负理想方案核的关联度和灰度的关联度, 进而计算出方案的综合关联度; 最后, 构建灰色综合关联贴近度模型并依综合关联贴近度大小对方案排序.算例分析验证了所提出方法的合理性和可行性.     

基于模糊连接度的抠图样本集构造方法

针对已有的图像抠图采样方法易受trimap输入的影响且精确度不足的问题,提出一种基于模糊连接度的抠图样本集构造方法.通过计算模糊连接度求解未知像素到前景边界和背景边界的最强路径,以与最强路径关联的已知像素为中心搜集邻近的已知像素,并构造出未知像素的样本集,且当新的用户笔画加入后,能够快速地更新样本.实验结果表明,文中方法对trimap的依赖性小、采样精确度高、鲁棒性强.     

基于贴近度的异质多属性决策的重要性指数研究

针对评价信息为异质多属性决策问题,提出了一种基于相对贴进度的属性重要性指数的确定方法。首先,基于给定属性引起的模型值的平均变化,定义了一般离散模型的重要性指数,并证明其满足几个公理化。其中,模型没有限制性假设。然后,计算异质多属性决策问题中各决策方案的相对贴近度。基于贴近度构造值函数,进而确定各属性的重要性指数。最后通过实例计算与对比分析,验证了该方法的可行性和有效性。该方法有效地解决了异质属性类的重要性指数确定问题,且与传统方法相比更为精确,更适用于复杂决策系统。