VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

美军模块化开放式射频架构探究

模块化开放式射频架构(MORA)通过定义针对多功能任务的开放式架构和RF系统功能分解,实现平台上硬件共享,可降低军用平台上射频系统复杂性以及尺寸、重量和功率,同时提高互操作性和配置灵活性.围绕MORA架构进行了分析和探讨,重点分析了其架构组成和功能分解情况.     

区块链在车联网中的应用综述

针对当前车联网系统面临的网络安全与可信以及数据大规模同步共享挑战,提出利用区块链技术提升车联网系统的安全性水平与协同共享能力.首先从概念特征与技术架构两个层面对区块链技术进行了整体概述,并结合区块链去中心化存储、共识安全防护、数据不可篡改等特点,探讨了区块链与边缘计算协同应用的互补优势与研究现状.进而从协作同步、安全信...     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

链约束下加工时间恶化的Flow Shop排序问题

讨论作业具有线性加工时间,作业间具有链约束的两台处理机流水作业排序问题,目标函数为极小化完工时间。在作业加工时间简单线性恶化下,提出作业的非负开始和停止延迟恶化率,构造了满足约束条件的复合作业。在此基础上,给出作业间具有平行链约束的两台处理机流水作业排序问题的最优多项式算法。     

借鉴X效率理论加强国防人力资源管理

军队作为国防人力资源管理的垄断性组织同样存在X低效率。通常,X低效率水平等于军队最大的战斗力生成水平与实际战斗力生成水平之差。导致X低效率的原因有:传统的人事管理制度、国防人力资源的选择理性、劳动合同的不完全性和激励约束机制不健全。降低X低效率必须树立以人为本的管理思想,创新国防人力资源管理体制,完善激励约束机制,营造和谐的军营环境。     

锥台嵌挤预应力约束混凝土抗冲击性能研究

钢管混凝土具有优良的抗冲击性能,为提高钢管在弹性阶段对混凝土的约束作用,设计并制备了锥台嵌挤预应力约束混凝土,以实现钢管对混凝土的主动围压约束。采用6 m高度落锤冲击试验,对比了预应力约束混凝土、素混凝土和常规钢环约束混凝土的破坏模式,分析了主要参数的影响。结果表明,当预应力约束混凝土试件的平均预应力大于1 MPa时,其产生初始可见裂缝时的冲击能量是素混凝土和钢环约束混凝土的4～20倍;其破坏时的冲击能量远高于素混凝土和钢环约束混凝土,甚至超过40倍;相比钢环约束混凝土,预应力约束混凝土破坏时裂缝更细,整体性更好,且可以更为显著的提高高强混凝土的抗冲击性能。为有效提高预应力约束混凝土的抗冲击性能,钢环的锥面倾角不宜大于3°,采用正六角形钢环要优于圆形和正四角形钢环。提出的锥台嵌挤预应力约束形式可以用于提高钢管混凝土的抗冲击能力,也可应用于防护门面层或遮弹层等结构中。     

复杂约束下的导弹作战任务规划模型和算法研究*

导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题.首先通过定叉约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型.在此基础上,研究了任务规划模型求解的时间和效用传播算法,提出了基于综合效用的优化求解框架.该模型和求解框架易于解决具有多种约束因素的复杂问题,具有较好的通用性.通过定义软、硬约束效用,使得实际任务规划问题求解具有更好的灵活性.     

东西合作 优势互补 建立鲜食葡萄东西流通产业链示范工程

农产品“剩余经济”时代呼唤产后保鲜加工与市场的拉动。事实上,以户为单位的分散生产,特别是以商品形式参与流通的园艺产品,更难以面对社会主义大市场。“市场风险”始终困扰着宁夏的果树生产,面对种树种草发展果树的大好形势农民仍然不敢大力发展果树生产,“公司+农户”和订单农业虽然缓解了这种矛盾,但由于双方之间的买卖关系,农产品质量标准和价格与利润分配上矛盾重重。其核心问题就是以市场为拉动力的配套服务体系的建立。它需要科学技术的注入,以解决品种的优种化,区域化和生产的标准化;需要建立配套技术服务体系,架起科技与农民联接的桥梁,联起硬件服务与软件服务的链条,这样才能使农民摆脱“自然风险”、“人为风险”和“市场风险”。宁夏农业综合开发公司以服务农民为根本,由天津市农科院开发处牵线搭桥,与国家农产品保鲜工程技术研究中心（天津）（以下简称国家保鲜中心）建立紧密型经济与技术的     

带落角约束的再入机动弹头的复合导引律

针对再入机动弹头垂直打击目标的要求,研究了具有末端落角约束的复合导引律.该导引律包括俯冲平面内的制导方程和转弯平面内的制导方程,通过在最优导引律的基础上引入滑模变结构控制,增强导引律的鲁棒性.为了减小控制量的抖振和能量损耗,提出了采用RBF(径向基函数)神经网络自适应调节切换项增益的方案,数学仿真验证了该方案的有效性.仿真结果还表明,与最优导引律相比,复合导引律在外界干扰的影响下仍能保持较高的制导精度.