基于隔离技术的交流电压变送器设计

针对信号远距离传输带来的地回路干扰,多路信号进入同一计算机的数据采集板的互相干扰,以及绝缘屏蔽不够使信号引入共模干扰的问题进行了研究。在应用隔离技术的方法下,发现采用芯片HCPL-7840、AD737和TL494为核心设计的交流电压变送器,能够使输入一定范围的交流电压或电流,经过隔离变换、真有效值直流变换和放大后,输出一定范围的直流电压或电流。设计中输入、输出、电源三方地隔离,通道间地隔离,实验中发现隔离电压能达到2000V,输入输出间线性关系比较明显。结果表明,该交流电压变送器不但具有能耗低、稳定性好、精确度高、噪声低等优点,而且较好地解决了远距离传送中共模的干扰问题。该方案所设计出来的模块体积小,能适应现场复杂的安装环境,且成本较低,有一定的参考价值。     

离子注入对轴承材料耐滚动磨损性能的影响

本文小结了用Cr+Mo+N和Cr+Mo+B的离子直接注入GCr15和Cr4Mo4V两种轴承材料后对其耐滚动磨损能力的影响。试验结果表明,无论是用活化法(TLA)还是称重法,注入后的耐磨性能都有1—3倍的提高。     

普适计算环境中基于上下文的使用控制模型

使用控制模型可以解决普适计算环境中访问控制的动态授权问题,但该模型没有考虑上下文信息。为此,提出一种普适计算环境中基于上下文的使用控制模型。在使用决策因素中增加上下文信息,包括时间、位置和环境因素,采用行为时态逻辑定义模型的核心规则集。以基于普适计算的智能教室为实例进行分析,证明该模型在普适计算环境中的有效性。     

基于TLA的正确性验证方法

随着面向服务的体系结构的发展,有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题.然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等.文中主要是针对组合服务的正确性验证问题,引入时序逻辑TLA.通过把组合服务的BPEL描述转换为TLA可以理解的自动机的形式,这种方法可以很好地验证组合逻辑的正确性以及快速发现死锁等问题.     

Checking Causal Consistency of MongoDB

MongoDB is one of the first commercial distributed databases that support causal consistency.Its implementation of causal consistency combines several research ideas for achieving scalability,fault tolerance,and security.Given its inherent complexity,a natural question arises:"Has MongoDB correctly implemented causal consistency as it claimed?"To address this concern,the Jepsen team has conducted black-box testing of MongoDB.However,this Jepsen testing has several drawbacks in terms of specification,test case generation,implementation of causal consistency checking algorithms,and testing scenarios,which undermine the credibility of its reports.In this work,we propose a more thorough design of Jepsen testing of causal consistency of MongoDB.Specifically,we fully implement the causal consistency checking algorithms proposed by Bouajjani et al.and test MongoDB against three well-known variants of causal consistency,namely CC,CCv,and CM,under various scenarios including node failures,data movement,and network partitions.In addition,we develop formal specifications of causal consistency and their checking algorithms in TLA⁺,and verify them using the TLC model checker.We also explain how TLA⁺ specification can be related to Jepsen testing.     

基于单片机的开关电源模块并联供电系统

本系统主要由DC/DC变换模块、PWM脉宽调制信号产生模块、单片机控制和显示模块、信号采样模块和过流保护等模块组成。系统采用闭环控制,通过单片机编程设定模块的输出电流,采用均流技术实现了DC/DC两个模块输出按比例设置电流值的功能,输出电流纹波小,输出电流大于4.5A时自动保护。     

产糖化酶K-1根霉曲在不同酿酒原料上的应用

研究了K-1根霉曲对不同酿酒原料的水解糖化能力。结果表明,根霉糖化酶对玉米粉、高粱粉、小麦粉、小米粉和苦荞粉的分解率在60 min时都达到了50%左右,均显著高于其他对照酶样品,特别是对小麦粉和苦荞粉的分解能力更是极显著高于其他酶样品;此外根霉糖化酶对黄豆粉也有一定的分解能力。经薄层分析发现,根霉糖化酶将酿酒原料中的淀粉分解为葡萄糖和麦芽糖两大产物。     

煤与FCC油浆共处理重质产物对道路沥青改性作用的评价

依据美国ASTMD5710—95和英国BSIBS3690对Trinidad湖沥青（TLA）的评价标准，以及中华人民共和国行业标准JTGF40—2004（（公路改性沥青路面施工技术规范》对改性沥青混合料和SBS类（Ⅰ类）改性沥青储存稳定性的技术要求，对比同样试验条件下TLA改性沥青的特性，评价了煤与FCC油浆共处理所得重质产物对道路石油沥青的改性作用。结果表明，在400℃、10MPa H2压力条件下所得的重质产物（CSA）对试验用90^#基质沥青的改性作用与TLA的改性作用相似，满足上述各标准的指标要求；CSA改性沥青的混合料具有较高的极限拉伸应变值，即具有较好的弯曲性能，显示了更加优良的低温抗裂性能。     

特立尼达湖沥青改性沥青最佳掺量的试验浅析

通过对不同掺量特立尼达湖沥青改性沥青性能指标的试验,并总结试验相关数据,提出了特立尼达湖沥青改性剂的合理掺量范围,以期为特立尼达湖沥青改性沥青的应用奠定基础。     

Influence of Trinidad Lake Asphalt on the physical and anti-aging properties of petroleum asphalt

The road performance of Trinidad Lake Asphalt (TLA) modified petroleum asphalt (PA) were evaluated. Results show that TLA improves the high temperature performance of PA to avoid rutting resistance, while it degrades the low temperature performance of PA making PA face more risk of cracking. Meanwhile, the influence of TLA on short-term aging performance of PA is slight, but TLA enhances the long-term aging (PAV and UV) resistance, which is favorable for extending lifetime of pavement. According to this investigation, TLA modified asphalt is recommended to be used in warm areas and the optimal addition of TLA is 30 wt.% for the road construction.