障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

样本函数条件极值的渐近性质

讨论了形如ψ(x,Gnk(x|y))的样本函数极值特性,其中Gnk(x|y)是G(x|y)第k个最近邻域(k-NN) 的估计,得出在常规条件下存在某一Gaussian过程,使得收敛于这一Gaussian过程。     

自然观的转型

本文提出人类第一阶段的自然观是人类敬畏自然的自然观，人类考虑不到生命和环境会有系统地进化或衰退。这是客体高于主体的自然观；第二阶段的自然观是生命的进化观，认为持续进化的人类可以主宰自然，战胜自然，是主体高于客体的自然观；第三阶段是生命的诞生，发展到衰亡的全过程的自然观，是人类主动尊重自然规律的自然观，演化又回归了客体高于主体的自然观。     

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…     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

优化铅酸蓄电池化成工艺参数的研究

本文针对生极板为同一型号的电池，采用二次加酸化成，改变电流密度和时间．控制电解液的温度等方法．得到优化的工艺参数。采用该组工艺参数，不仅缩短铅酸蓄电池化成周期．提高生产效率，而且节约能源。     

高等级公路水泥稳定土施工工艺--博茨瓦纳帕塞公路水泥稳定层平地机施工技术研究

以博茨瓦纳帕塞公路工程施工为例，详细介绍了高等级公路水泥稳定土的施工准备、工艺流程与技术要求，指出了施工中应注意的问题。     

两指标随机过程的停止

~~(2 ) z∈ R+ 2 ,{z∈ D′{ D相似文献   

赛博空间技术及其在虚拟旅游规划中的应用前景初探

结合赛博空间技术的发展和旅游规划的现状，提出和讨论了虚拟旅游规划的概念。并对赛博空间技术在虚拟旅游规划中的应用前景作了进一步的思考。