舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

模拟增温对松嫩草地羊草有性生殖策略影响的研究

通过连续3年的模拟增温实验,探讨了东北松嫩草甸草原单优种羊草的有性生殖策略对大气温度增加的响应.结果表明:增温使羊草物候期从抽穗期开始比对照提前,尤其是从第一花粉囊外露之后到果实成熟期,物候期均比对照明显提前5～7d.增温降低了单位面积的生殖枝数量,但使生殖枝单株重量、每穗小花数、结实粒数、籽粒重量都显著增加.种群水平上,用于有性生殖的总能量减少,但单株水平上,用于籽粒发育的能量增加.羊草这一多年生根茎型禾草在大气温度升高的条件下会采取减少生殖枝数量而增加生殖枝结实能力的繁殖策略,说明类似于羊草的多年生根茎型禾草在温度变化的条件下生殖策略会发生较大改变,多年的持续增温可能导致种子产量的持续降低.     

高职院校图书馆开展企业服务的意义及对策

阐述了高职院校图书馆开展企业服务的意义,分析了高职院校图书馆企业服务过程中存在的障碍因素,提出了高职院校图书馆为地方企业服务的对策。     

证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。     

离心泵性能测定远程实验系统的开发与设计

开发了一套基于计算机网络的离心泵性能测定远程实验系统,介绍了该远程实验系统的总体结构、软件功能、运行方法及安全设计等。测试结果表明,该远程实验系统满足离心泵性能测定实验的教学目的,具有很强的现场感、操作简单等特点。     

“盗窃符号”类别、特点及理论性分析初探

随着我国盗窃犯罪日渐专业化,"盗窃符号"开始在社会中广泛显现,并日益威胁着社会治安与居民安全感。对"盗窃符号"的概念进行了类别划分,总结出"盗窃符号"具有总体数量多、增长趋势明显、城市间差异大、区域性明显、隐蔽性高这五个特点。结合犯罪社会学相关理论进行分析,发现其反映出理性选择理论与日常活动理论的丰富内涵,并显现出犯罪专业化的趋势,提出了相关的防控对策。     

山西省2012—2013年度输变电工程建设场地征用及清理费用专项分析

建设场地征用及清理费是输变电工程造价变更的主要因素之一。对2012年至2013年上半年完成工程结算的变电站及输电线路工程建设场地征用及清理费结算费用与批复概算费用进行了对比分析,确定了关键费用,并对其控制情况进行研究,提出了相关建议。     

基于SCA的欠定跳频网台分选方法

针对组网跳频信号在欠定条件下网台分选效果不佳的问题,提出了一种基于稀疏成分分析(sparse component analysis, SCA)的欠定跳频网台分选方法。在估计混合矩阵时,首先利用观测信号的实部与虚部方向一致性检测时频单源点,在采用S变换构造时频比矩阵的基础上,利用方差法实现了混合矩阵估计;在源信号恢复时,利用改进的子空间投影法得到源信号的时频域分离,最后可通过S逆变换得到时域分离信号,从而实现了欠定条件下的跳频网台分选。仿真结果表明，该方法有效实现了混合跳频信号在欠定条件下的网台分选且适用于跳频同步或异步组网方式,提高了分选性能和抗噪性能。     

聚苯胺纳米纤维的合成与分散性研究

为解决聚苯胺纳米纤维难分散的问题,引入超声波技术,采用直接混合+超声法合成聚苯胺纳米纤维;又试用新的硬模板+超声振荡法合成聚苯胺纳米纤维。通过实验现象观察、红外光谱和扫描电镜检测,获得了制备分散均匀、直径约100nm、长300nm的聚苯胺纳米纤维的工艺条件。