从中俄《尼布楚条约》到中朝长白山定界——穆克登查边定界动因再探

随着《尼布楚条约》的签订,清初边疆局势逐步稳定,一统格局初步形成。在此形势下,清朝统治者一方面继承历史传统进行《一统志》的编纂,一方面利用传教士的西方测绘技术绘制《皇舆全览图》,以展示其"天下一统"的政治成果;而厘清中朝之间尚不明晰的边界,则成为推进这两项政治工程亟须解决的重要问题。朝鲜李万枝越境杀人事件,不仅为清廷派员进入朝鲜勘测边界、绘制地图提供了契机,而且成为清廷下决心彻底解决越界流民问题的导火索。在这一过程中,此前中俄解决边界冲突的模式为清廷提供了重要借鉴。     

基于双层规划的反恐应急设施选址模型及算法

恐怖袭击常以人流密集地区的平民作为袭击目标，并存在突发性和随机性等特点，极易造成严重的袭击后果。通过反恐应急设施的合理布局可以缩短救援人员和物资的到达时间，从而减轻袭击后果。首先，对反恐应急设施选址问题进行描述，并将其构造为一类离散双层规划模型。其中，上层规划是关于政府选址的0-1规划问题，下层规划则是关于恐怖分子袭击目标选择的0-1规划问题。其次，结合模型和问题的特征设计算法，利用分支定界算法实现上层选址变量的隐枚举，同时通过下层问题的求解来确定上下界并判断是否满足分枝或剪枝的条件。最后，结合南疆地区的交通拓扑网络进行算例分析，结果证明有效的选址方案可以大大降低袭击损失。     

试论近空间的法律地位——兼谈空气空间和外层空间的定界问题

近空间是指距离地面高度为20公里到100公里的空间,并非传统的航空器和航天器飞行的领域。近年来随着近空间飞行器的出现和对近空间的军事化利用,近空间的法律地位问题成为首先应当明确的问题。近空间的法律地位取决于空气空间和外层空间的定界这一古老的、悬而未决的命题。文章探讨了当前国际文件以及各国实践中对这一问题的立场,归纳针对这一问题的理论观点,并在此基础上提出对近空间法律地位的认定的建议。     

并行工程产品开发过程定量化建模与计划制订

由于现有的一些并行工程定量化模型中修改设计微循环的细节特征描述得还不够充分 ,本文提出了一种新的基于产品 -工艺设计活动对网络的定量化模型来描述并行工程产品开发过程 ,并且给出了产品 -工艺设计活动对平均持续时间与产品或工艺设计活动资源占用率的计算方法 .在此基础上 ,将并行工程产品开发过程的计划制订问题建模成一个有资源约束的项目调度问题 .与其它此类问题不同的是 ,在本文中 ,分配给产品开发项目的各类资源的数量不是事先给定的 ,而是与最优产品开发计划一起获得的 ,所以这是一个资源分配与计划制订的集成优化问题 .本文提出了一种新的基于分枝定界的算法来解决此问题并引入一个启发式规则来提高算法的搜索效率     

要闻快递

国际新闻纳米比亚发现世界级铀矿日前,澳大利亚一家公司宣布,在纳米比亚罗辛铀矿南部发现了新的铀矿床。这是罗辛南部地区近几十年来最重要的一项铀发现。该澳大利亚公司在一份声明中称,罗辛南部新铀矿床很有可能进入全球前10个最大的铀矿行列。     

BAB算法中集成CPT求解job-shop调度问题

CSP(constraintsatisfactoryproblem)的优势在于能够处理复杂约束,获得一个满足约束的解,但难以保证解的质量.OR(operationresearch)的优点是获得最优解或近优解,但它求解复杂约束的优化问题非常困难.CPT(constraintpropagationtechnique)是CSP的主要搜索技术,BAB(branch_and_bound)是OR常用的优化算法.提出了一种将CPT集成于BAB中的混合算法,从一个新的角度解决具有一般性与挑战性的job shop调度问题.其主要特点是,通过在BAB算法中嵌入动态可调的时间窗口约束和加强一致性CPT搜索方法,融合BAB的优化能力和CPT处理复杂约束的能力,提高BAB的优化性能及实际应用能力.实验结果令人满意,证明了算法的有效性.     

分时电价下关注能耗成本的生产问题建模及算法

随着环境保护及能源危机问题的日益突出,如何均衡用电负荷、适应能源供给侧结构特点,从而减小企业运营成本以提高自身盈利能力,已经成为能源敏感型企业在当前时代亟待解决的实际问题。本文以单机生产系统为研究对象,建立了分时电价模式下能耗成本最小化问题的连续时间混合整数规划模型。首先,针对工件顺序固定时的子问题,考虑到非线性因素的影响,证明了最优缓冲时间长度与电价调整时刻的一致性关系,据此设计了分枝定界算法中的分枝规则,并通过开发快速的低界求解方法及有效的剪枝策略,保证了算法可在短时间内求得精确解。继而,通过随机排序、ERD排序、邻域搜索排序、遗传算法排序等不同方法的比较,分析了工件顺序对问题最终总成本的影响程度。同时,在不同参数组合的数据实验中,将本方案与传统生产调度方案进行对比,表明了本文模型在节约能耗成本方面的巨大优势。最后,本文所设计算法解决了周期差异引起的非线性的难题,可以此为子模块求解更加复杂的扩展问题,比如考虑可再生能源生产周期的企业内多种能源实时分配问题。     

穆克登碑性质辨析

穆克登碑,是清康熙五十一年乌拉总管穆克登查边所立石碑,虽然事前清朝并未通知朝鲜会同定界,但从当时朝鲜官员在查边中的作用、碑文左端所列见证人名单、穆克登与朝鲜接伴使朴权之间的定界文书以及中朝两国君主的反应看,在法律上只能认定其为勘分国界基点的定界碑,并不能认定为审视鸭绿、图们江流的纪念碑。     

基于系统最优的城市公交专用道网络设计模型及算法

设置公交专用道是实现"公交优先"的重要手段,然而,专用道设置将改变不同交通方式的道路通行能力,进而影响交通网络的整体性能。本文试图提出一种基于系统最优思想的公交专用道网络设计方法,既保证出行者的利益,又能满足交通系统总费用最优的目标。首先,本文分析了公交专用道设置对公交车辆和社会车辆这两种交通方式道路通行能力的影响,基于经典的BPR函数,构造了考虑专用道设置的不同方式的路段阻抗函数。其次,分析了出行者在多方式交通网络中的模式选择和路径选择问题,采用用户平衡理论分析了城市多方式交通平衡配流问题,给出了相应的变分不等式模型。更进一步,采用双层规划方法构造了基于系统最优的城市公交专用道网络设计模型,该模型以交通网络总费用最小为优化目标,并考虑了不同交通方式的平衡流量约束,采用分支定界算法对该双层规划模型进行求解。最后,通过一个简单算例对模型及算法的可行性和有效性进行了分析和验证。     

“被”字句谓语动词终结的实现

现代汉语"被"字句的关键是要满足终结性,即谓语部分要求包含某种终结点。在考察了大量语料的基础上,本文尝试性地研究了"被"字句谓语动词终结义的表现形式及其限制条件。其中动结式结构是最适合于被动式的谓语形式,是被动句的原型。对于一些影响义内涵的动词,我们可以采用体标记来进行有界化。此外,谓语动词后带宾语和"所"字标记也是谓语动词有界化的手段。