HACCP在石油行业野外施工食堂中应用的绩效分析

将HACCP这一世界公认的食品安全控制系统引入野外施工食堂卫生管理当中.方法采用文献检索,事故分析、现场调查和Delphi等研究方法,通过对野外施工食源性疾病危害分析、建立关键控制点,形成野外施工食堂管理HACCP管理规范,并组织实施.结果实施HACCP体系后,从业人员手、餐具、菜墩、抹布的抽查合格率有显著提高,食堂从业人员以及参加施工人员对饮食卫生以及食堂卫生管理知识的掌握显著提高.结论在野外施工食品卫生管理中引入HACCP管理体系,控制食源性疾病取得了良好的绩效.     

A Digital Right Management Model for Distribution of Digital Audiovisual Content

0 IntroductionDue to the success of Internet technology and the emer-gence of wide band network,downloading encoded dig-ital audiovisual content files via HTTP,FTP,etc ,had gainedfavor amongInternet users because of thei mmediate access todesired content . Digital Right Management (DRM) system,can satisfy the content provider by encrypting digital audiovi-sual content andli miting access to onlythose people who haveacquired a proper license to play backthe content[1].DRMas defined bythe …     

钢筋混凝土桁架筒的分析与研究

就钢筋混凝土桥架简体系进行了初步的分析与研究，表明这种结构体系有着良好的力学性能、抗震性能，且经济效益显著，有广阔的发展前景。     

高校图书馆工作人员的信息素养

本文从图书馆发展需要与图书馆员自身发展的需要出发,论述了图书馆员应具备的信息素养,阐述了信息素养的内涵,分析了图书馆员信息素养的现状,并提出了培养图书馆员信息素养的举措。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

亚硝基血红色素食品着色剂的研究

本文以健康的猪、牛、羊的新鲜牲血为原料，经化学提取、合成及酶解等简单步骤、研制成了亚硝基血红色素食品着色剂。该产品可替代具有毒性作用的亚硝酸盐而直接加入食品着色，是一种无毒副作用的理想的调味食品着色剂，同时也增强了食品的营成份。     

智能化44点啤酒发酵温度巡测仪

本文将八十年代最新研制的集成温度传感器ＡＤ５９０、８０９０单片机，可编程逻辑器件ＧＡＬ－１６Ｖ８Ａ等新器件及智能化新技术，集中应用于啤酒发酵过程的温度检测。与传统人工测温相比，具有测温精度高、稳定性好、反应快、可远距离自动检测、定时打印，减轻工人劳动强度、调节啤酒发酵温度的响应速度快等特点。     

变压器绕组短路故障多特征融合诊断

绕组匝间短路是变压器最常见的初期故障类型之一.为了提高轻度故障的诊断准确率,考虑绕组短路电流、绕组温度、电流密度和磁通偏移特征,提出了变压器绕组短路故障的多特征融合诊断方法.首先建立了变压器绕组短路的COMSOL空间模型,将仿真结果和理论计算结果进行对比,证明空间模型的正确性.然后,对变压器轻度故障时进行了故障模拟和故障特征分析,提取其电流特征参量、温度特征参量、电流密度偏移率和磁通偏移率作为故障特征.采用BP网络进行故障识别.变压器的工程诊断实例验证了本文方法的有效性.