地下金属矿山采掘作业计划优化模型

为了实现地下金属矿山采掘作业计划编制的实时准确与科学有效性,针对矿山作业地点分散、生产组织复杂、矿石质量难以控制等特征,构建了基于0-1整数规划的作业计划优化模型.通过分析开采技术经济指标及空间逻辑关系,以最小品位偏差为目标,将产量均衡、出矿能力以及品位高低结合开采等转化为约束条件,考虑各采场作业工序、回采顺序、生产能力以及其他生产要素等,运用计算机技术和整数规划方法,得出地下矿山采掘作业计划最优方案.以国内某大型金矿为案例进行了模型的有效性验证,解算出矿山最优的采掘作业计划,并得出作业计划甘特图.结果表明,模型能够指导完成生产作业任务,且满足作业计划连续性和均衡性要求.     

Optimal pricing and inventory policy with order cancelations under the cash-on-delivery payment scheme

Considering a periodic review system where the online seller allows the customers to pay when the products are delivered to them（referred as cash-on-delivery payment scheme in this paper）,the authors investigate the seller＇s joint pricing and inventory control policy with a finite planning horizon.In particular,the authors incorporate the customers＇ possible order cancellation behavior with the cash-on-delivery scheme.It can be proven that the base-stock list price policy is optimal under mild conditions.The authors also analyze the impact of the customers＇ forward looking behavior on the optimal policy.     

如何在《统计学》课堂中掌握SAS编程技术

结合统计学课堂教学实践,通过分析数据步、程序步以及统计模块,论述了SAS编程技术学习过程中应注重的3个基本环节.     

一致半Bp-（p，r）K不变凸多目标半无限规划的最优性条件

利用局部渐进锥K在半p-不变凸集的基础上定义了一致半Bp-（p，r）K不变凸函数，研究了涉及这些广义凸性的一类多目标半无限规划问题的最优性，并得到了若干最优性条件．     

基于VC＋＋的齿轮传动系统可视化程序设计

以齿轮零件的常规设计方法为指导,以齿轮传动的基本公式为依据,构建了基于Visual C＋＋的齿轮传动系统程序化设计流程。针对设计过程中相关的线图和数表,提出了具体的解决方案,具有一定的借鉴意义。     

Web信息系统异步编程模式的探讨

在Web信息系统的开发过程中,将Web多线程技术和Ajax技术有机结合起来,提出了一种异步编程模式,有效地解决同步编程模式会出现开销大且费时的程序段阻塞当前进程,以及在客户端无法实时读取服务器端进程状态信息的问题.在开发＂在线图书管理信息系统＂中多次使用了异步编程模式,并经过一年的使用证明,该方法是可靠和行之有效的.     

基于数学模型的高校学费标准的研究

为制定合理的高等教育学费标准,立足于全国整体水平,以培养质量、家庭满意度、学校满意度和大学性价比为四个目标函数,同时考虑办学成本、家庭负担约束、社会经济和学校财力等作为约束条件,建立多目标规划模型;采用线性加权法将其转化为单目标规划模型,并引入阈值限定进行求解。     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.