磷铜网加铅球填料回热器的换热性能分析

文章基于G-M低温制冷机装置,以磷铜网加铅球填料回热器为研究对象,通过数值模拟方法,得出了G-M制冷机回热器内部氦工质温度参数的动态变化规律;利用对流换热的场协同理论,对比分析采用磷铜网加铅球作为回热器填料的对流换热性能;针对不同填料类型的回热器进行了G-M低温制冷机整机换热性能对比实验,得出了提高整机换热性能的磷铜网与铅球的填充比例。     

浅析初中英语教学的艺术性和实用性

语言是人类独有的交流艺术。人类用不同语言进行交流，而初中教师教授学生的就是语言艺术，而语言教学也有自己的独具艺术性的教学方式。面对初中学生英语基础参差不齐的现状，教师进行教学时就要强调的教学方法的实用性。所以，初中英语教师在教学的时候，就要兼顾语言教学的艺术性和教学的实用性。     

基于SPEAR Ⅱ的Kerberos协议安全性分析

Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。     

十字路口的平安风景——记“口哨哥”曾祥富

正无论刮风下雨,还是骄阳炙烤,他每天都会准时出现在路口,嘴含口哨,在滚滚车流中指挥大家有序通行,引领放学的孩子安全回家,日复一日。他叫曾祥富,是常德市交警支队直属四大队执勤二中队的民警,不少市民亲切地称他"口哨哥"。这位"口哨哥"来头可不小,先后多次获得常德市五星级政法干警称号,3次获公安部门嘉奖,1次荣获公安三等功,2016年在"感动湖南、道路礼仪之星"评选活动中获评"湖南文明交通     

HACCP在米糠挤压稳定化中的应用

应用HACCP(危害分析关键控制点)原理,通过对生产工艺流程的分析,从中确定可能存在的危害,并制定了相应的控制措施。为了确定挤压膨化关键控制点的控制措施,并达到延长米糠保质期的目的,在四因素五水平实验的基础之上,经正交旋转组合实验设计,根据对挤压后的脂肪氧化物酶残余酶活含量、过氧化物酶残余酶活含量的分析,确定了挤压的较佳稳定化条件为:机筒温度137℃,物料含水量23%,螺杆转速130r/min,模口直径8mm。通过HACCP体系的建立,确定了米糠挤压过程中的关键控制点,确定其3个关键控制点为原料验收、挤压膨化和成品包装。针对3个关键点建立了HACCP计划表,并建立了关键限值、监控措施、纠偏措施,同时建立了验证程序、记录保存制度,从而确保米糠加工过程中的稳定性和安全性。     

沉积环境与多元统计综合分析法

本文首先根据地震资料提取了十二种地震参数,然后通过对LH油田TZ地区沙三上段下部地层进行沉积环境分析,确定了可能存在的沉积相类型,并用有序样品聚类的方法对过井和井旁地震测线按沉积相个数进行分割,由此而建立了该区各类沉积相的判别函数。通过这些判别函数,用逐步判别分析的方法,对该区其它地震测线的参数进行判别分类,最后搞清了研究区目的层的沉积相展布。通过分析和计算证明,这一方法对有地震资料的盆地或地区进行沉积相的划分,是行之有效的。     

任意多边形图形裁剪

本文首先讨论了凸多边形对图形的外裁剪和内裁剪,在此基础上研究了任意多边形对图形的裁剪问题,通过编程应用,效果良好。     

用天然超细矿物原料增强加气混凝土的试验研究

分析了我国加气混凝土原料的质量特点,提出了用天然超细矿物增强加气混凝土的新思路。进行了天然超细粉石英增强加气混凝土试验研究,强度提高了５０％。对增强机理进行了分析,提出超细粉石英对加气混凝土的增强机理主要为充填增强、物相增强和结构增强。     

基于局部冲突消除的证据合成法则

Dempster-Shafer(D-S)证据理论在信息融合领域得到了广泛的应用。为抑制Dempster证据合成规则产生的有悖常理的证据合成结果,提出了一种基于局部冲突消除的证据合成法则。首先,通过一种基于Vague集和逐层递推算法的证据冲突衡量方法计算了证据之间的冲突程度;进而根据距离法思想对高冲突证据进行局部冲突“中和”;最后,利用Dempster证据合成法则对已预处理的证据进行信息融合。算例结果验证了此种法则的有效性。     

树的存在性讨论

在输入为先根序列、中根序列与后根序列的前提下,对各种二叉树建树的情况进行了讨论;对m叉树,在输入为先根序列与后根序列的前提下,讨论了树的存在性。有关结论的证明过程,用构造性证明方法给出。