一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

织女一号气象火箭设计中的若干技术

织女一号气象火箭是一种小型无控固体火箭,由于采用了若干先进的技术,使其总体性能达到了国际先进水平。本文介绍了其总体性能,重点介绍了总体方案设计中采用的包括最优推力程序等若干先进技术。     

机载多目标攻击武器系统作战飞行程序设计

机载多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志 ,其作战飞行程序设计是系统顶层设计的主要内容之一。综合了已有的研究成果 ,绘制了机载多目标攻击武器系统的功能逻辑流程图。在此基础上 ,采用模块化设计思想 ,进行了机载多目标攻击武器系统的作战飞行程序的组织结构设计 ,并阐述了基于表驱动和时间刻度管理的系统任务调度技术。     

核动力装置热工水力运行分析程序中的堆芯物理模型

提出了一套用于微机版船用核动力装置热工水力运行分析程序的堆芯物理模型 ,该模型既能较逼真地描述实际的物理过程 ,又能满足运行实时性要求和运行监督所要求的计算精度     

舰艇智能化管理系统探讨

针对舰艇装备自动化程度的日益提高 ,结合智能化管理系统 ,在具体分析舰艇各个系统的基础上 ,采用结构优化模式 ,提出了总体结构方案 ,并对关键技术的应用加以讨论     

Simultaneous production of market‐specific and global products: A two‐stage stochastic program with additional demand after recourse

This paper analyzes the simultaneous production of market‐specific products tailored to the needs of individual regions and a global product that could be sold in many regions. We assume that the global product costs more to manufacture, but allows the decision concerning the allocation of products to regions to be delayed until after the manufacturing process has been completed. We further assume that there is additional demand after the region allocation but prior to delivery, extending the two‐stage stochastic program with recourse to include additional stochastic demand after the recourse. This scenario arises, for example, when there is additional uncertainty during a delivery delay which might occur with transoceanic shipments. We develop conditions for optimality assuming a single build‐allocate‐deliver cycle and stochastic demand during both the build and deliver periods. The optimal policy calls for the simultaneous production of market‐specific and global products, even when the global product is substantially more costly than the market‐specific product. In addition, we develop bounds on the performance of the optimal policy for the multicycle problem. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 438–461, 2003     

武器雷达装备RCM推广应用中存在的问题及对策

分析了目前RCM推广应用中存在的问题,提出了加大宣传力度,统一思想认识等5项对策,对于在武器雷达装备上进一步推广应用RCM,具有重要的借鉴作用。     

消防部队处置炭疽芽孢杆菌袭击事件技术方案探讨

对消防部队处置炭疽芽孢杆菌袭击事件的防护技术、现场侦查方法、警戒隔离、样品采集、快速检测技术、洗消技术及其注意事项进行了论述,对消防部队处置此类及类似事故具有一定的指导意义。     

Expansion planning for waste‐to‐energy systems using waste forecast prediction sets

We consider an expansion planning problem for Waste‐to‐Energy (WtE) systems facing uncertainty in future waste supplies. The WtE expansion plans are regarded as strategic, long term decisions, while the waste distribution and treatment are medium to short term operational decisions which can adapt to the actual waste collected. We propose a prediction set uncertainty model which integrates a set of waste generation forecasts and is constructed based on user‐specified levels of forecasting errors. Next, we use the prediction sets for WtE expansion scenario analysis. More specifically, for a given WtE expansion plan, the guaranteed net present value (NPV) is evaluated by computing an extreme value forecast trajectory of future waste generation from the prediction set that minimizes the maximum NPV of the WtE project. This problem is essentially a multiple stage min‐max dynamic optimization problem. By exploiting the structure of the WtE problem, we show this is equivalent to a simpler min‐max optimization problem, which can be further transformed into a single mixed‐integer linear program. Furthermore, we extend the model to optimize the guaranteed NPV by searching over the set of all feasible expansion scenarios, and show that this can be solved by an exact cutting plane approach. We also propose a heuristic based on a constant proportion distribution rule for the WtE expansion optimization model, which reduces the problem into a moderate size mixed‐integer program. Finally, our computational studies demonstrate that our proposed expansion model solutions are very stable and competitive in performance compared to scenario tree approaches. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 47–70, 2016     

EHW实现过程中VHDL程序自动生成研究

论述了在基于FPGA的EHW内进化实验中特定格式的染色体编码表示和相应的VHDL程序自动生成的基本概念,制定了具体规则和方法,奠定了硬件进化及评估过程实现全自动运行的基础,并对自动生成的结果予以实际验证。该方法能在使用不同的FPGA芯片作为演化载体时,避免对不同的数据流进行格式分析,以便在通用的EDA环境中,直接实现以二进制数串表示的染色体自动处理和相关配置文件的形成。按此方式可在很大程度上摆脱对某些固定类型FPGA芯片的依赖,有助于建立方便、实用的EHW环境。