一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

外语学习中词典使用的策略与技能

英语学习离不开词典等工具书。学习质量和成效在某种程度上与词典使用效率高低或能否恰当使用词典存在着一定关系。本文拟从词典用户技能、用户认知能力、认知水平、认知策略和心理表征,分析学生在外语学习过程中词典使用效率低下,排斥疏离词典,忽略词典文本与词典用户的互动关系及词典使用不当等主要原因,并提出问题策略。     

基于GP的计划生成方法

针对计划生成的计算复杂性和传统遗传算法在求解组合问题时的低效率,结合任务策略提出了一种基于遗传程序设计的计划生成方法。利用业务活动域的任务策略知识来指导遗传操作,减少了完全随机遗传操作造成的无效操作,并且在进化过程中使高阶模式和低阶模式获得共同的进化机会,提高了遗传算法的效率。     

装备保障信息资源规划框架设计

分析了我军装备保障信息资源的现状,找出了信息资源建设中存在的主要问题。针对我军装备保障实际,依据信息资源规划理论,提出了装备保障信息资源规划的总体方案框架及工程化方法。旨在为装备保障信息系统的开发打下基础,以促进装备保障信息化建设的进程。     

大学新生外语学习观念探析

我们采用问卷和访谈的方法,对50多名英语专业新生的外语学习观念进行调查。调查涉及:语言性质、语言学习性质、语言学习策略。提出大学新生作为处于转型期的特殊群体,其外语学习观念将直接影响学习结果。因此,教师必须了解学生的语言学习观念,尽早纠正不正确的观念,帮助学生有效地学习外语。     

语料库研究与外语教材编写

语料库语言学的发展已经使现有的外语教材和语法书中的不足初现端倪,教材编写中的主观性逐渐受到质疑。探讨了语料库研究对外语教材编写的启示,语料库作为教材的直接语料源泉以及将语料库作为检验外语教材的手段等问题,旨在推进对语料库信息的利用,借助语料库技术提高外语教材编写的质量。     

Robust capacity planning in semiconductor manufacturing

We present a stochastic programming approach to capacity planning under demand uncertainty in semiconductor manufacturing. Given multiple demand scenarios together with associated probabilities, our aim is to identify a set of tools that is a good compromise for all these scenarios. More precisely, we formulate a mixed‐integer program in which expected value of the unmet demand is minimized subject to capacity and budget constraints. This is a difficult two‐stage stochastic mixed‐integer program which cannot be solved to optimality in a reasonable amount of time. We instead propose a heuristic that can produce near‐optimal solutions. Our heuristic strengthens the linear programming relaxation of the formulation with cutting planes and performs limited enumeration. Analyses of the results in some real‐life situations are also presented. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

Modeling multiple stage manufacturing systems with generalized costs and capacity issues

This study introduces one modeling methodology that describes a broad range of multiple stage production planning issues, including multiple limited resources with setup times and joint fixed cost relationships. An existing production system is modeled in this fashion, creating a new set of 1350 highly generalized benchmark problems. A computational study is conducted with the 1350 benchmark problems introduced in this paper and 2100 benchmark problems, with more restrictive assumptions, from the existing literature. The relative merits of a decomposition‐based algorithm and a neighborhood search technique known as NIPPA, or the Non‐sequential Incremental Part Period Algorithm, are assessed. NIPPA is generally the more successful of the two techniques, although there are specific instances in which the decomposition‐based algorithm displayed a distinct advantage. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

舰艇编队导弹航路规划仿真系统设计与实现

通过分析火力分配、区域划分、航路规划三者的关系,提出了舰艇编队导弹航路规划三位一体战术决策的思想.设计了一个以此为背景,基于高层体系结构(HLA)的可扩展、开放式仿真体系结构.依据HLA/RTI规范,设计开发了仿真联邦的联邦/仿真对象模型.基于系统的离散事件仿真特征,采用事件调度的仿真策略,利用Petri网建立了系统的...