基于杂交模型及逻辑分解算法的JSSP研究

作业车间调度,是指为具体的任务(工序)安排生产资源(机器)并确定合理的加工顺序,是一个典型的NP-Hard问题,有着广泛的研究。首先介绍混合整数规划MIP和约束编程CP的互补优势。然后建立JobShop调度问题的MIP/CP杂交模型,并针对杂交模型的特点提出一种基于逻辑的分解算法。最后用几个实例证明了该模型及算法的求解速度。

罪名定义的逻辑分解

一切定义都是压缩的语言表达形式,例如“人”的定义:人就是能制造工具和使用工具,并具有抽象思维能力的动物。这一定义是由以下语言表达形式压缩而来的:人是动物,但不是每一种动物都是人;只有与其他动物不同的,能制造和使用工具,并具有抽象思维能力的动物才是人。罪名定义和一般定义一样,也是以压缩的语言表达形式,来揭示罪名概念所反映的罪行构成要件的。既是压缩的,就可以延展,也可以通过分解,将定义项中的种差属性一一展示出来,便于正确理解和运用。

二分法在多线量子逻辑门分解中的应用

将经典的对称二分法应用于多线量子可逆逻辑门的分解中,证明当量子位数n≥5且3≤k≤n-2时,任意多线量子可逆逻辑门(′k-′CNOT门)可以在没有辅助位的情况下由少于[4﹂log2(k-2)」+1-3(2﹂log2(k-2)」+1-k+1)2﹂log2(k-2)」]个′2-′CNOT门(Toffoli门)构成.利用该方法可以使由多线量子可逆逻辑门分解而生成的物理电路门阵列数大幅下降.与Yang等报道的实验结果相比,′2-′CNOT门的数量级由O(2k)减少为O(k2).

以延时优化为目标的工艺映射驱动的分解方法

逻辑电路的分解影响ＦＰＧＡ工艺映射后目标电路的延迟时间，采用何种分解方式也与映射结果密切相关。为快速有效地缩短电路延时，本文从工艺映射的基础理论出发。

再分解优化设计方法

针对主题图的延时和面积优化问题提出了再分解这一新设计方法。该方法采用逻辑变换技术通过减少主题图中门的个数以,"""",""及最大延时路径的长度达到进一步优化主题图面积和延时性能的目的。"",

考虑横向供应的多阶段装备维修器材供应优化方法研究

装备维修器材的精确、定量和快速供应是部队遂行作战、训练等任务的重要物质保证。针对多阶段装备维修器材供应问题,考虑多种器材供应方式,构建装备维修器材多级供应模式。为提升器材供应方案的全局最优性,将野战仓库选址、器材库存控制及运输车辆路径规划等关键问题融合为一类选址-库存-路径组合优化问题,以总成本最小为目标,考虑部队级仓库间的横向供应方式,构建混合整数线性规划模型。设计一种基于逻辑的Benders分解算法,将原问题分解为主问题和子问题,通过生成Benders切割迭代求解。通过示例分析证明:(1)本文所提出的LBBD算法能够有效降低问题复杂度,提升求解质量,LBBD算法得出的供应方案总成本比CPLEX求解器得出方案成本低41.62%;(2)考虑横向供应能够有效降低保障费用,考虑横向供应能够使总成本降低6.24%,同时,考虑横向供应可提高装备维修器材供应系统的灵活性。

商务英语的认知翻译单位

商务英语作为专门用途的英语,由于其文体和词汇的特殊性,其翻译实践的难点在于切入点—翻译单位,只有形成正确的翻译思维才能找到合适的切入点。文章从认知翻译观出发,以逻辑分解法为主线,对商务英语的翻译过程进行分析,提出了利用逻辑分解的方法将命题作为商务英语的认知翻译单位。

Existence of positive solutions in a delay logistic difference equation

The author studied the existence of positive solutions of the delay logistic difference equation Δ y n=p ny n(1-y τ(n) ), n =0,1,2,.... where { p n } is a sequence of positive real numbers, { τ(n) } is a nondecreasing sequence of integers, τ(n)<n and lim n →∞ τ(n) =∞. A sufficient condition for the existence of positive solutions of the equation was given.

装备维修器材预储点选址与预置运输配送组合优化方法

装备维修器材预储预置是战争初期部队快速获得补给供应,持续发挥战斗力的关键因素。对装备维修器材预储预置优化方法进行研究,将器材预储点选择和战前器材预置融合为一类选址调度组合优化问题,以预储点开设固定成本、运输成本及保障延误惩罚成本的加权和最小化为目标,构建混合整数线性规划模型,开发一种高效精确算法——基于逻辑的Benders分解算法对问题进行求解。基于160个随机算例开展数值实验,证明所提出算法在获得最优解方面的优越性。同时,通过与传统序贯式优化方法对比,验证了组合优化方法能够获得更高质量的解。所提出的模型和算法,能够为战时装备维修器材预储预置的优化决策提供一定参考。

论电算化会计的记帐方法

本刊今年第一期发表《实现会计电算化关于记帐方法的选择》一文后,陆续收到一些论述这个问题的来稿,有的同意该文的论点,有的提出了异议,下面发表的这篇来稿就持不同观点。我国会计工作电算化的实践时间不长,面也不广,特别是既懂电子计算机又懂财会业务的人不多,要把这个问题讨论清楚看来还需时日,有待实践。我们将陆续组织这个问题的讨论,重点是解决不同的记帐方法对应用电子计算机有何影响,孰优孰劣?手工操作中存在的问题在电子计算机中是否同样存在?考虑到今后的发展,我们采取什么方针比较妥当?

印制电路、微模组件

0113131逻辑再优化设计方法[刊]/罗晓春//计算机自动测量与控制.—2001,9(3).—41～43,48(K)本方法应用于超大规模集成电路的设计过程。逻辑分解的优化是这一过程中的重要步骤。优化后产生主题图质量的好坏,直影响到最后的设计结果。