巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

On the optimal detection of an underwater intruder in a channel using unmanned underwater vehicles

Given a number of patrollers that are required to detect an intruder in a channel, the channel patrol problem consists of determining the periodic trajectories that the patrollers must trace out so as to maximized the probability of detection of the intruder. We formulate this problem as an optimal control problem. We assume that the patrollers' sensors are imperfect and that their motions are subject to turn‐rate constraints, and that the intruder travels straight down a channel with constant speed. Using discretization of time and space, we approximate the optimal control problem with a large‐scale nonlinear programming problem which we solve to obtain an approximately stationary solution and a corresponding optimized trajectory for each patroller. In numerical tests for one, two, and three underwater patrollers, an underwater intruder, different trajectory constraints, several intruder speeds and other specific parameter choices, we obtain new insight—not easily obtained using simply geometric calculations—into efficient patrol trajectory design under certain conditions for multiple patrollers in a narrow channel where interaction between the patrollers is unavoidable due to their limited turn rate.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

科学工作流技术研究综述

科学工作流管理系统(Scientific Workflow Management Systems,SWfMS)为科学家提供一个管理大规模复杂科学计算的有效平台,通过管理复杂应用程序对海量科学数据进行管理、分析、仿真和可视化以帮助科学家进行科学发现.本文首先对科学工作流(Scientific Workflow,SWF)...     

剩余价值范畴新探

长期以来,中国经济理论界绝大多数人受传统政治经济学教科书束缚,对剩余价值范畴存在错误认识。笔者以马克思的有关经典论述为依据,结合经济生活的实际,对传统剩余价值范畴进行深入思考,在此基础上重新探讨剩余价值的科学范畴,以澄清人们的模糊认识。     

基于DEA模型的部队编制方案评价

建立了评价优选部队编制方案的数据包络分析(DEA)模型,该模型测算了各备选编制方案的总体效率、技术效率、规模效率等状况,对非DEA有效的编制方案提出了使其达到DEA有效的途径,给出了各备选编制方案的初排序.在此基础上,通过比较各有效备选编制方案平均横切效率的大小,得到所有备选编制方案的终排序.并就部队编制方案制定.提出了若干建议供决策部门参考.     

石河子科技与经济相关性分析

本文以石河子科技水平和经济发展相互关系的分析为基础,对石河子经济发展与科技水平进行定量分析,分析表明,石河子科技进步与经济发展高度相关,21世纪,要实现石河子经济的可持续发展,应高度重视科技进步与技术创新,进步促进科技与经济的良性互动。     

新湖农场一分场一连调查报告

全国对农村村落社会调查课题已经过有关单位进行,并已取得一定成果。然而,国家计划单列单位的新疆生产建设兵团仍然没有这方面的基层连队社会调研,本文就是从这点出发,对新湖农场一连从连队的基本情况,连队的党政组织建设,群众组织存在状况,经济社会发展,职工科学文化素质等等作实地调查。     

提高导弹系统仿真可信性的方法和途径

探讨了提高导弹系统仿真可信性的基本方法和实现途径。从４个方面着重考虑：加强模型校验管理;利用层次化方法进行建模与验模;基于一体化研究思想的建模与验模;加强模型的验证、确认和认定（ＶＶ＆Ａ）的具体方法研究。具有一定的理论意义和工程指导价值     

二部图的(g,f)匹配

本文证明了二部图存在(g,f)匹配和f 因子的充要条件以及有关的几个结果,并且给出了求二部图的最大(g,f)匹配、最小(g,f)匹配和最小权最大f 匹配、最小权(g,f)匹配、最大权(g,f)匹配的算法。