立式煤泥离心机在临涣选煤厂的应用

介绍了LLL10 30× 5 5 0B型立式离心机的结构原理 ,分析并评价了实际使用效果和经济效益     

合肥盆地演化及构造样式

合肥盆地位于华北地台、扬子地台和北淮扬褶皱带3大构造单元的结合部。由于受大别造山带和郯庐断裂长期活动的影响,总体上可以分为盆地基底形成阶段和盆地形成发展阶段,主要经历了印支期、燕山晚期、喜山晚期的冲断作用及燕山早期、喜山早期的伸展运动,形成了挤压构造、伸展构造、负反转构造和走滑构造等4种局部构造样式。现今的构造样式是上述5期构造运动叠加的结果。对合肥盆地构造特征进行系统研究,将为进行圈闭评价以及今后的钻探提供有利依据。      

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

焊缝超声检测的基本特征及操作要点

通过对焊缝超声波检测原理和检测系统实施过程的分析,论述了检测系统的要素组成;总结了检测实施过程的基本特征与缺陷判定、焊缝质量评定的关系以及存在的主要问题;提出了提高焊缝超声波检测可靠性应控制检测实施过程诸要素的途径和方法.     

应用遥感图像分析九江瑞昌地区构造与金铜成矿的关系

九瑞地区是长江中下游重要的金铜成矿区,遥感图像分析认为,北东东向断裂是主要的控矿构造,与北西向断裂的交汇部位是金铜成矿的有利地段。此外,环形构造又是另外一种控矿构造,目前所发现的金铜矿床均有物化探异常显示,并形成于环形构造的边缘。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

鲁棒输出反馈控制系统设计

本文利用文献[10]中提出的线性系统特征结构配置结果和Hellman-Feynman定理,导 出了输出反馈系统闭环极点关于开环矩阵中受扰元素灵敏度的参数表达式,并在此基础上给 出了具有最小闭环极点灵敏度的输出反馈控制系统设计的一个算法.该算法简单、有效,且具 有较好的"最优性".     

几种常用CT图像分割算法分析和探讨

图像分割是数字图像处理的一个经典难题。其分割质量的好坏直接影响到图像处理的后续工作。因而在理论研究和实际应用中受到研究人员的广泛重视。本文在总结了过去的分割方法基础上,就目前常用几种分割方法进行实验研究。主要包括阈值分割、LOG算子分割、FCM聚类分割、分水岭分割,并结合CT图像进行图像分割。文章阐述了各种分割方法的概念及原理,并在此基础上对分割结果进行了分析和探讨,得出各种方法的优点和不足。这些实验结论将为后续研究提供科学依据。     

对等网络的仿真研究

P2P网络和P2P相关技术一直是计算机网络研究的一大热点。P2P网络具有大规模、高动态性的特点,这使得在真实环境中实际运行、测试一个它需要付出巨大的努力和昂贵的开销。而P2P模拟器具有的优势能为P2P网络研究带来很大的方便,研究者们只需要将精力集中于想要关注的性能,丽不必花费大量的时间和精力去编写实验工具。文中深入研究了PeerSim模拟平台上模拟P2P环境的构建方法,并在其上实现了一个简单的负载平衡算法。最后,通过实验来说明PeerSim模拟器的使用方法,展示了PeerSim组件化的构造思想和灵活的配置机制。     

面向OWL的联合作战管理语言本体开发方法

作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构（语法）和形式化语义（本体）,目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。