串联系统备件满足率分配及配置优化

备件作为装备维修保障的重要物质资源,装备研制单位需要将使用方提出的备件满足率要求进行合理分配,为合理制定备件配置方案提供输入,已成为目前装备研制阶段急需解决的重要问题之一.针对备件满足率只有统计定义的问题,论文研究了单备件满足率和串联系统备件满足率的概率性质,给出了其概率模型,揭示了备件满足率的内涵和工程意义.在此基础之上,以串联系统备件满足率的概率模型为基础,研究了系统备件满足率的两种分配方法,即线性代数分配模型和以备件总重量最小为目标的备件配置优化模型,为合理制定串联系统备件保障方案提供了理论依据.     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

辽阳市矿产资源需求预测及可供性分析

在辽阳市现有的矿产资源的基础上,通过搜集、研究、分析本市大量基础资料、基础地质、矿产地质基础资料,对辽阳市矿产资源需求预测及可供性分析进行了系统和科学分析,提出了建设性意见,具有实际意义。     

局部邻域搜索在对地观测卫星任务规划中的应用与扩展

任务规划作为一项重要技术,已经广泛应用于卫星的星载与地面控制系统中,以提高卫星任务执行的鲁棒性、可预测性和高效性。描述了对地观测卫星任务规划问题及特点,给出了对地观测卫星任务规划的一般处理过程。针对约束规划中的局部邻域搜索算法不能有效反应对地观测卫星成像的时效性和分辨率等需求的问题,提出了基于动态优先级的局部邻域搜索算法。算法在经典约束满足问题求解算法的基础上,主要扩展了任务优先级的定义及在搜索过程中的启发式。通过典型的仿真算例,验证了算法的可行性和有效性。     

卫星测控资源调度CSP模型研究

对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem, CSP)模型,并针对模型进行了求解方法研究。     

不锈钢薄板激光点焊工艺对金相组织的影响分析

以厚度为0.5 mm的304不锈钢薄板作为研究对象,通过实验探讨了不同工艺下激光点焊的金相组织、力学性能.经过焊点金相微观组织的观察和焊点拉伸强度的试验,可得出结论:激光点焊焊接质量良好,很少出现气孔、飞溅、焊接裂纹、未熔透、未熔合等焊接缺陷,而且不同的激光功率密度或加热时间,对焊点的形貌、尺寸和金相组织有很大影响; 焊点处的耐腐蚀性强度比母材低,而且大部分焊点拉伸位移达到1.5 mm左右就会断裂,平均拉伸强度比母材低281.2 MPa,但平均屈服强度比母材高,满足不锈钢薄板作为换热器的需求.     

基于汉明重的MIBS密码代数旁路攻击

对MIBS密码代数旁路攻击能力进行了评估:首先给出代数旁路攻击模型,构建MIBS密码等价代数方程组;采集微控制器上MIBS密码实现加密过程中功耗泄露,并选取功耗特征明显的部分泄漏点,基于模板分析进行加密中间状态汉明重推断;利用SAT(可满足性)、PBOPT(伪布尔随机优化)及LP(线性编程)分别对MIBS代数方程组和汉明重泄露进行表示;最后采用SAT问题解析器CryptoMinisat和混合整数编程问题(SCIP)解析器进行密钥恢复,并在不同场景下进行大量攻击实验.结果表明:MIBS密码易遭代数旁路攻击;汉明重推断正确条件下,利用1条功耗轨迹中4轮汉明重信息泄露可成功恢复完整密钥;汉明重推断部分正确条件下,基于SAT,PBOPT和LP这3种代数方程组求解方法,可分别在汉明重推断错误率不超50％,65％和60％的情况下成功恢复MIBS完整密钥.     

基于约束满足方法求解热轧带钢库存匹配问题

针对现代钢铁企业生产管理中的客户订单与热轧带钢库存产品的匹配问题,在考虑规格、质量、等级以及生产工艺约束的基础上,建立了旨在最大化订单满足率且最小化匹配损失的约束满足模型.在对问题以及匹配对象特点进行分析的基础上,引入匹配损失矩阵作为订单与库存余材属性匹配差异的损失惩罚,考虑到问题的复杂性,采用基于变量选择和值选择的启发式算法求解模型的近优解,并通过数值实验对提出的算法进行了验证.     

探析灾难新闻摄影中人文关怀的缺失

当前的灾难新闻摄影中出现大量缺乏人文关怀的图片和报道,根源在于受众对媒体的需求与影响,媒体将经济利益置于优先选择及其在传播过程中对人文关怀认识存在"误区",在传播中极力满足受众的需求,加之新闻传播职业道德的欠缺和法律惩戒的缺位降低了该类传播的违规成本,致使该类传播行为越发发展起来.     

狼兔搬家

兔子要搬家,树上的乌鸦问兔子为什么要远迁他乡。兔子说:"这地方没意思,不安全,狼老是要吃我。"乌鸦告诉兔子,狼也忙着要搬家。