论高等职业技术教育中的数学素质教育

从更新教学理念,改革教学内容,构建新的高职数学体系,改革教学方法等多个角度论证了数学素质教育。     

模拟程控发射系统控制方法研究

为有效评估高射频武器系统的射频及弹丸速度测量系统性能,提出了一种基于可编程序逻辑控制器(PLC)的发射系统程控方法,给出了模拟程控发射系统的组成、控制流程及软件设计方法,对产生程控时序误差的原因进行了分析,通过光幕靶测定了弹丸射击的时间间隔,对击发机构的动作时间间隔进行了修正,实现了三支单发发射装置的程控联动发射,为高射频测速系统的性能考核提供了试验平台。     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

一种使用遗传算法生成模糊控制器的方法

提出一种使用遗传算法生成模糊控制器的方法．设计人员只需设置性能指数或适值函数,而模糊规则的数目、隶属函数的参数以及模糊控制器的规则都可通过遗传算法自动生成．描述了一种具有局部优化机制的遗传算法,给出的应用实例表明该算法具有良好的适用性     

保障私营企业工人权益的历史逻辑

改革开放以来,我国工人阶级状况发生了巨大变化,私营企业中工人队伍不断扩大。私营企业中工人在经济收入增长的同时,劳动时间过长,劳动条件恶劣,合法权益受到侵犯等种种问题也凸现出来。与国营、集体企业相比,他们与资方之间的雇佣劳动关系往往使他们在企业中处于无权地位。这些新出现的问题将制约私营企业健康快速发展,影响构建和谐社会。借鉴发达国家成功经验,推动政府和企业的管理创新,是实现私营企业可持续发展目标的关键。     

基于粒子群算法的导弹模糊导引律设计

针对传统模糊制导律的模糊设计随意性,提出采用粒子群优化算法对模糊导引律的参数优化的方法．利用粒子群优化方法调整模糊变量隶属度,比例因子等参数,并通过反复优化使模糊推理规则接近于最优．该方法克服了模糊逻辑设计中的随意性,提高了模糊制导律的精度和鲁棒性．仿真结果表明了这种优化方法得到的模糊比例导引律明显优于传统比例导引律．     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

基于逻辑上的等价关系

该文定义了基于完全剩余格值逻辑上的二元关系，并且在此逻辑框架下，讨论了二元关系的合成，Ｌ－映射，Ｌ－等价关系以及Ｌ－映射与Ｌ－等价关系，Ｌ－划分与Ｌ－等价关系之间的联系。