Full Or-Parallemism and Restricted And-Parallelism in BTM

BTM is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism.The advantages of high parallelism and low run time cost make BTJ,an experimental execution system of BTM implemented on a nonshared-memory multiprocessor system,achieve significant speedup for both And-paralled and Or-parallel logic programs.     

甜菜机械化栽培技术经济效果的分析

机械化栽培甜菜平均单产33.18吨/公顷,比人工栽培生产田提高52.03%;平均含糖15.5度,比人工栽培生产田提高1.09度;平均技术效果138.2元/公顷;经济效果1588.8元/公顷;创造社会经济效益24.47万元。     

棉铃宝高效液相色谱分析方法研究

本法采用同一色谱条件反相高效液相色谱法测定棉铃宝中甲基对硫磷和辛硫磷的含量，方法简单易行，具有较高的精密度和准确度，其回收率分析为甲基对硫磷９９．５９％，辛硫磷１０１．０％。     

电磁波在包含各向异性媒质多层介质中传播的分析

对电磁波在包含各向异性媒质多层介质中的传播进行分析，给出了闭合形式的解，该结构可用作法拉第旋转器，与其它准光元件组合构成的准光环行器或隔离器。也可用作辐射口径，通过改变磁化场方向和强度实现波束扫描或极化变化，给出了法拉第旋转角计算结果和实验结果。     

Lake-Level Change and Water Balance Analysis at Lake Qinghai,West China during Recent Decades

Lake Qinghai, the largest saline lake with an area of 4,260 km² (2000) and average depth of 21 m (1985) in West China, has experienced severe decline in water level in recent decades. This study aimed to investigate water balance of the lake and identify the causes for the decline in lake level. There was a 3.35-m decline in water level with an average decreasing rate of 8.0 cm year⁻¹ between 1959 and 2000. The lake water balance showed that mean annual precipitation between 1959 and 2000 over the lake was 357 ± 10 mm, evaporation was 924 ± 10 mm, surface runoff water inflow was 348 ± 21 mm, groundwater inflow was 138 mm ± 9 and the change in lake level was −80 ± 31 mm. The variation of lake level was highly positively correlated to surface runoff and precipitation and negatively to evaporation, the correlation coefficients were 0.89, 0.81 and −0.66, respectively. Water consumption by human activities accounts for 1% of the evaporation loss of the lake, implying that water consumption by human activities has little effect on lake level decline. Most dramatic decline in lake level occurred in the warm and dry years, and moderate decline in the cold and dry years, and relatively slight decline in the warm and wet years, therefore, the trend of cold/warm and dry climate in recent decades may be the main reasons for the decline in lake level.     

热力学相图计算技术在闪速燃烧合成氮化硅铁中的应用

将热力学相图计算技术应用于Si-Fe-O-N体系,以评估由FeSi75粉闪速燃烧合成氮化硅铁的条件和目标产物。结果表明:将闪速燃烧温度控制在1200～1500℃之间较为适宜,此时平衡态产物中除主要含有Si3N4以外,还有一定量的Fe与Si间化合物和少量稳定的SiO2存在。此计算结果与实际试验结果吻合良好。     

Design,Implementation, and Validation of KOMPSAT‐2 Software Simulator

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi‐Purpose Satellite‐2 (KOMPSAT‐2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object‐oriented design methodology is employed to maximize software reusability. Also, instead of a high‐cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT‐2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.     

大港油田关家堡地区不同含油层系气测解释方法探讨

大港油田关家堡地区油气藏特征复杂，不同含油层系油气显示特征不同，气测录井解释符合率相对较低。针对这一情况，通过分析关家堡地区明化镇组、馆陶组和沙河街组的地质和气测显示特征，结合试油结论，提出不同含油层系相应的气测录井解释方法——TR与Wh（湿度比）气测解释法和三角形图板法，归纳总结了全烃及组分在不同层系的变化规律。应用实例表明，效果较好，对于复杂油气藏多层系油气层的解释评价具有一定的借鉴作用。     

非标准工况下空分设备增产氩的研究与实践

文章对非标准工况下的空分设备增产氩措施进行了研究。以宝钢6#60000m3/h空分设备为例,通过设计型算法和校核型算法,建立了空分设备精馏的数学模型,通过改变数学模型的参数,分析了在非标准工况下精馏塔内的组分浓度分布,并提出了优化后的操作方案和操作参数,实施后提高了空分设备的氩提取率,取得了显著的经济效益。     

基于IPC的直流电机控制实验装置设计

介绍了工业控制计算机（IPC）在工业自动化领域中对直流机控制的应用，以工控机作为实验平台。设计了IPC测控系统之一的直流机测控子系统的实验装置，叙述了如何用IPC进行直流机转速的脉冲调宽式（PWM）控制，并通过软件实现在多任务实时操作系统（MROS）申直流机的速度测控和速度曲线绘制。