解Hamilton-Jacobi方程的无振荡局部加密方法

０．引 言 近年来,Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程（简称Ｈ－Ｊ方程）的数学理论与数值逼近已引起人们越来越多的关注．Ｈ－Ｊ方程不仅在原有的领域例如控制论、微分几何等有非常重要的应用［８］,而且不断开拓新的应用领域,例如用于网格生成［５］以及流体界面的水平集方法计算 ［９,１２,１３,１５］等．由于 Ｈ－Ｊ方程解的导数会出现间断,导致解曲面（线）出现尖点或纽结等现象［７］,故如何做到既节省计算时间,又能在光滑区域高精度数值求解和较好地分辨间断是一个十分重要的问题．文卜］通过在每个坐标方向构造单变量的…     

低铬X70管线钢组织及其抗CO2

为了明确Cr的质量分数高低对埋地用输油输气管线钢性能的影响,设计了4种Cr的质量分数的X70管线钢,研究了不同Cr的质量分数下管线钢组织及其力学性能,并采用高温高压反应釜进行了实验钢的CO₂腐蚀试验.结果表明：钢中加入0.1%~0.8%的Cr后,其组织均由针状铁素体和准多边形铁素体构成,Cr元素均呈现明显的沿晶界分布状态;随着Cr的质量分数的增加,钢板强度随之升高,晶界中Cr分布密度随之增大,Cr（OH）₃在腐蚀产物膜中的富集量增加,促使钢板的平均腐蚀速率降低;同时由于Cr（OH）₃可以有效阻碍阴离子穿透腐蚀产物膜,因而大大减少了Cl-的催化作用导致的点蚀,使得钢板点蚀速率明显降低.     

Iterative learning of grasp adaptation through human corrections

In the context of object interaction and manipulation, one characteristic of a robust grasp is its ability to comply with external perturbations applied to the grasped object while still maintaining the grasp. In this work, we introduce an approach for grasp adaptation which learns a statistical model to adapt hand posture solely based on the perceived contact between the object and fingers. Using a multi-step learning procedure, the model dataset is built by first demonstrating an initial hand posture, which is then physically corrected by a human teacher pressing on the fingertips, exploiting compliance in the robot hand. The learner then replays the resulting sequence of hand postures, to generate a dataset of posture-contact pairs that are not influenced by the touch of the teacher. A key feature of this work is that the learned model may be further refined by repeating the correction-replay steps. Alternatively, the model may be reused in the development of new models, characterized by the contact signatures of a different object. Our approach is empirically validated on the iCub robot. We demonstrate grasp adaptation in response to changes in contact, and show successful model reuse and improved adaptation with additional rounds of model refinement.     

滚筒式露天采矿机在某露天矿的应用预评价

滚筒式露天采矿机以其卓越的挖掘性能,避免了传统采矿工艺中的穿孔、爆破、粗碎等工作,也可以避免爆破震动对露天边坡造成的次生危害;其超强的选采分采性能,可以实现精细化采矿,极大地降低矿石的损失贫化管理难度。根据实际地质条件、采矿工艺及矿体赋存条件,预评价该设备在某露天矿应有广阔的应用前景。     

高速公路精细化养护管理措施初探

高速公路养护管理工作是一项长期性、反复性、繁琐性的基本工作。文中结合G6巴新麻段高速公路养护实践,详细阐述了高速公路精细化、规范化养护的程序和管理措施。     

注蒸汽热采稠油油藏数值模拟自适应网法计算软件的设计开发

注蒸汽热采稠油是一个带有相变的多孔介质中多相流动问题。利用自适应网格法动态追踪油藏中的温度和饱和度锋面,以大幅度提高计算速度。在对渗透率空间分布不均匀、油藏区域分布不同种类输运性质岩石、裂缝-孔隙双重介质、非规则边界及内部含有断层油藏等复杂地层注蒸汽热采稠油问题开展自适应网格法的研究基础上,自主开发了注蒸汽热采稠油油藏数值模拟自适应网格法计算软件。该软件具有较高的计算精度和稳定性,可满足科研生产需求。     

Lazy Slicing for State-Space Exploration

CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods.     

Local algorithms on dense two-frame stereo matching

Stereo matching is a fundamental and crucial problem in computer vision. In the last decades, many researchers have been working on it and made great progress. Generally stereo algorithms can be classified into local methods and global methods. In this paper, the challenges of stereo matching are first introduced, and then we focus on local approaches which have simpler structures and higher efficiency than global ones. Local algorithms generally perform four steps: cost computation, cost aggregation, disparity computation and disparity refinement. Every step is deeply investigated, and most work focuses on cost aggregation. We studied most of the classical local methods and divide them into several classes. The classification well illustrates the development history of local stereo correspondence and shows the essence of local matching along with its important and difficult points. At the end we give the future development trend of local methods.     

Effects of Ti addition on low carbon hot strips produced by CSP process

Large quantity of fine Ti（C,N） particles, 15-30 nm in size, were observed in low carbon hot strips added to a small amount of Ti and produced by CSP process. The results showed that the precipitation of Ti（C,N） mostly took place during soaking and hot rolling, which is significantly different from that in the conventional production. These fine Ti carbonitride particles could be very effective on the austenite grain refinement by hindering grain growth of recrystallized austenite. Their precipitation behavior was discussed and compared with that of the steels produced in the conventional production.     

钒氮钢中晶粒细化研究

 采用Gleeble 3500热模拟试验机，在相同工艺条件下，对比研究了钒氮钢、钒钢以及碳锰钢的晶粒细化效果。结果表明，钒氮钢的晶粒细化效果最显著，铁素体的晶粒尺寸可达61 μm，这主要与在奥氏体区中析出的V(C，N)有关。奥氏体区析出的V(C，N)，不但可抑制奥氏体晶粒长大，同时还可以作为铁素体的形核核心，诱导晶内铁素体形成，大大增加铁素体形核率，从而提高了相变细化的比率。