半导体制造中具有非重入过程的自动组合装置的性能分析

将面向资源的着色、赋时Petri网(coloredtimedresource orientedPetrinet,CTROPN)用于半导体制造业中自动组合装置的建模.CTROPN具有较强的建模能力,能够准确描述自动组合装置的加工过程.借助该模型,对非重入加工过程的初始特性、稳态特性和结束特性进行详细的分析.     

带队列约束的RHFS列生成调度算法

为有效提升多重入车间的生产效率,考虑实际生产中队列约束,提出了基于列生成算法的可重入混合流水车间的调度方法.首先对两阶段生产调度问题进行描述,以最小化工件总完成时间为优化目标,建立数学规划模型.针对该调度模型提出列生成算法,设计带多重决策的动态规划方法来求解工件级子问题,为更快收敛,主问题求解中采用自适应加速策略.在使用分支定界将得到的解整数化的过程中,构造列池并设计局部变异.最后,对各种不同问题规模进行了数值实验,结果表明所提出的调度算法是有效可行的.     

一种新型三节重入式电桥

给出一种新型的三节重入式同轴线电桥的结构,这种结构制作简单、调试容易、性能优越. 并设计了一个0.8～2.4 GHz的三倍频程的电桥,试验结果和理论仿真结果 吻合很好,完全达到指标要求.     

可重入制造系统中可视化仿真调度的研究与应用

可重入制造系统调度问题随着半导体工业的迅速发展日益得到重视，仿真调度是解决这类问题的重要方法，可视化仿真因其仿真过程的可监控性与良好的交互性在仿真调度中得到了采用.本文将可视化仿真应用于可重入制造系统的调度，通过引入虚拟设备对这类制造系统进行了基于生产路线的可视化仿真，有效地解决了直观表达该类系统加工路径重入性的问题，提高了调度效率.     

基于流形鸽群优化的智能合约重入性漏洞检测方法研究

重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角度解决这一难题.本文将该应用场景抽象为存在重入性循环路径的路径覆盖测试用例自动生成问题,通过生成并执行覆盖重入性循环路径的测试用例来检测重入性漏洞.以鸽群算法为代表的群体智能算法是求解测试用例生成这类黑盒优化问题的常用方法.鸽群算法在整个决策空间内围绕种群最优解邻域搜索,然而,问题的最优解可能并不在该邻域内,导致路径覆盖率较低.为了提升鸽群算法的路径覆盖率,本文将利用流形启发式算子改进鸽群算法,使其分配更多的算力搜索与优化目标相关的子空间,从而提升鸽群算法求解效率,覆盖重入性循环路径.实验结果显示,改进后的流形鸽群算法能够更加高效地生成覆盖重入性循环路径的测试用例,检测出被测合约的重入性漏洞.与Oyente, Securify和Smartcheck这三个智能合约测试工具相比,本文提出的方法能够有效避免重入性漏洞的误报,在实验的8个被测试智能合约中重入性漏洞识别准确率分别...     

DOS下屏幕保护程序的设计与实现

本文就在DOS状态下如何实现屏幕保护进行了研究和探讨,在全面剖析DOS的基础上,成功地解决了代码重入、任务切换、汉字系统伪文本方式的识别,计算机屏幕的保护与恢复等设计DOS下屏幕保护程序的难题,实现了DOS下的屏幕保护。     

二元合金金属-绝缘转变的理论研究

本文用平均场跳跃近似的方法,研究了同格点电子相关作用对 A_xB_(1-x)合金的金属-绝缘转变的影响,在两组格点能(V_A=-V_B=0.4t 和 V_A=-V_B=1.5t)和不同的相关作用 U下,得到了转变温度随浓度变化的相图。结果表明,吸引的相互作用(U<0)有利于安德森局域态的形成,当 V_A=-V_B=0.4t 时,在 x=0.5浓度附近出现了重入和双重重入现象;当 V_A=-V_B=1.5t 时,没有重入现象出现。排斤的相互作用(U>0)有利于赫伯德绝缘相的形成,但合金的无序性阻止它的形成。同时发现,在 V_A=-V_B=1.5t 时,排斥的相互作用限制和破坏安德森局域态的形成。     

基于B-T规则与遗传算法的可重入生产系统调度

可重入生产系统调度问题属于NP难题，将遗传算法方法与调度规则结合起来用于解决可重入生产系统的调度问题。针对可重入生产系统的重入特点，建立了一类可以实现缓冲区与传统规则双重选择的缓冲区-时间(B—T)规则；然后在设备分组与分时段的基础上，提出了基于B—T规则组合的可重入生产系统调度策略，并采用遗传算法与过程仿真相结合的办法对B—T规则组合进行优化，仿真比较验证了该调度策略的有效性。     

基于一种新的评价指标的可重入生产系统调度

可重入生产系统的调度研究对制造业的发展具有重要的实际意义和理论价值。然而许多动态调度寻优方法需要将系统表示成有限的离散时间Markov过程．而常用的平均输出率作为评价指标时无法找到具有明确物理意义的状态作为Markov过程的吸收态。本文针对以上情况，对封闭可重入生产系统提出将系统某调度策略下首次进入阻塞前的平均输出工件个数作为评价谊策略性能的新标准，并通过计算二站四缓冲区系统四种静态优先策略下的以上两种评价指标验证新标准的合理性；将系统首次进入阻塞前的平均输出工件个数作为优化目标表示成新形式的代价值函数、转移代价函数，应用到神经元动态规划策略中，对封闭可重入生产系统进行调度策略优化，并将对系统内工件个数较少时获得的调度策略直接应用到系统内工件个数较多的生产系统中，获得满意的蛄果，进一步验证系统首次进入阻塞前的平均输出工件个数可作为平均输出率的有效替代。