Surface Movement Regularity of Super-Wide Mining Face With Top-Coal Caving

No.4326 super-wide panel of Wangzhuang Coal Mine ( in which the fully-mechanized top-coal caving longwall mining method was used) was monitored for dynamic characteristic of surface movement. The dynamic surface movement in and after mining was predicted by using the Mining Subsidence Prediction System. The results indicate that after mining, the surface above the super-wide panel reaches a state of full subsidence, making the No.309 national highway above the panel be located on the flat bottom of the subsidence basin so that the influence of mining activity in both sides of 4326 panel on the national highway is the smallest.     

中空纤维膜氢回收系统在制氢装置的应用

简述了中空纤维膜分离原理、开车步骤，分析了中空纤维膜氢回收系统标定数据，指出存在的问题，并进一步对比分析了加氢干气直接作为制氢原料和用中空纤维膜氢回收系统的非渗透气作为制氢原料的优缺点．     

营养型发酵软饮料的研究

研究利用稻加工大米的副产品碎米为主要原料 ,加入麦芽、加酶 ,进行液化、糖化、发酵等工艺 ,研制出一种发酵营养型软饮料。本产品与啤酒相比 ,可减少原料总用量的 17% ,减少麦芽用量的 2 8.6%。     

关于会计电算化中会计分录编制问题的探讨

探讨了会计电算化条件下和传统手工会计条件下几种有重大差异的会计分录编制问题，指出实现会计电算化后，会计人员在编制会计分录时，既要遵循会计理论本身要求，又要考虑会计电算化软件的要求。     

机械设计制造及其自动化专业高素质人才培养探讨

简要介绍机械设计制造及其自动化专业人才的培养目标和业务规格，特别对如何培养专业水平高、实践能力强、综合素质全面的高层次专业人才进行详细探讨。     

狄利克雷积分的几种计算方法

利用含参量非正常积分的一些性质,给出了狄利克雷积分integral from n=0 to +∞(sinx)的几种计算方法。     

应用型计算机专业学生培养模式探讨

本文探讨了应用型本科院校中计算机专业学生的培养模式,提出了培养高级计算机应用人才的根本途径和当前要解决的主要问题。     

Semantic email: theory and applications

This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message consists of a structured query or update coupled with corresponding explanatory text. Semantic email opens the door to a wide range of automated, email-mediated applications with formally guaranteed properties. In particular, this paper introduces a broad class of semantic email processes. For example, consider the process of sending an email to a program committee, asking who will attend the PC dinner, automatically collecting the responses, and tallying them up. We define both logical and decision-theoretic models where an email process is modeled as a set of updates to a data set on which we specify goals via certain constraints or utilities. We then describe a set of inference problems that arise while trying to satisfy these goals and analyze their computational tractability. In particular, we show that for the logical model it is possible to automatically infer which email responses are acceptable w.r.t. a set of constraints in polynomial time, and for the decision-theoretic model it is possible to compute the optimal message-handling policy in polynomial time. In addition, we show how to automatically generate explanations for a process's actions, and identify cases where such explanations can be generated in polynomial time. Finally, we discuss our publicly available implementation of semantic email and outline research challenges in this realm.¹     

多级工程模糊优选在土石坝溢洪道选型中的应用

针对溢洪道设计中经常遇到的方案优选问题，提出将多因素、多层次模糊优选理论引入溢洪道的设计选型工作中。对影响因素复杂、确定隶属函数主观因素较强的情况，引入因素的优先关系法来确定优选矩阵的隶属度，这样减少了确定隶属函数的人为影响，通过此优选模型利用影响溢洪道选型的主要因素对多种溢洪道设计型式进行了多级模糊综合优选决策，得到了比较理想的决策结果，为溢洪道设计选型提供了新的思路。     

夯扩桩桩头质量的控制

通过工程实例分析了影响夯扩桩桩头质量的因素,提出了控制夯扩桩桩头质量的措施,以进一步提高夯扩桩的质量.