利用SRTM数据修测高山区地貌的探讨

在高海拔区域测制地形图,如青藏高原地区,所获取的遥感影像局部存在着大范围的高山阴影或云雪覆盖,造成立体观测地貌困难的现象,探讨应用SRTM数据对这类特殊区域地貌进行修测补绘。介绍了数据处理的作业过程,并对实验区SRTM与SPOT5影像立体测图成果进行实验对比分析,成果符合要求。     

固相微萃取法-气相色谱-质谱联用技术简化分析生活污水

用不同的固相微萃取（SPME）针头结合气相色谱－质谱分析对生活污水进行提取、浓缩、分离、测定，对照结果表明，用聚硅氧烷涂层可以减少一次分析化合物的种类，提高分析的准确性。     

春秋战国时期兵书中的军事地理思想

中国古代，以春秋战国时期的军事地理思想最为活跃，并对后世产生了巨大影响。该文通过对这一时期主要兵书中对”地”的军事意义，特别是地形在战争中作用等方面的论述，探讨了春秋战国时期军事地理思想的主要内容。     

宏程序在数控编程中的应用

目前,小内存的数控机床仍然是我国在用机床的主流,如何使加工程序变得简洁,对现实加工来说,有着很重要的实际意义.本文作者通过实例介绍了数控车削加工编程中常用的子程序、宏程序、代码段调用等方面的内容,希望能为从事数控加工与编程的读者提供借鉴.     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.