市售夏枯草饮片质量调查及评价标准研究

为了对夏枯草饮片质量进行全面的评价和控制,对市售18批饮片进行了外观性状考察、TLC鉴别以及水分、灰分、浸出物检测,建立了夏枯草饮片HPLC指纹图谱和咖啡酸、迷迭香酸含量测定方法,并结合主成分分析和聚类分析方法用于对不同批次饮片的模式识别。结果表明,18批饮片外观性状均符合药典标准,但少有符合传统对优品夏枯草外观的要求。TLC图谱均可检出迷迭香酸;水分、总灰分、浸出物含量均符合药典要求;酸不溶性灰分除3批外,其余符合药典要求,但不同批次间有较大的差异;指纹图谱的整体相似度较高,批次间主要色谱峰峰面积和批次间咖啡酸、迷迭香酸的含量有较大差异。通过上述研究,对市售饮片质量有了初步了解,建议提高外观评价标准,增加指纹图谱质量评价指标。     

自动化集装箱码头数字孪生数据建模及评价方法研究

为充分利用自动化集装箱码头海量作业数据，实现数字孪生驱动的码头数字化、智能化转型，提出一种自动化集装箱码头数字孪生数据建模及效果验证评价的方法。研究了基于数字孪生的自动化集装箱码头的应用框架及其运行机制；结合数字孪生框架的数据处理逻辑，提出了基于数字孪生的码头作业过程演化及动态数据建模方法；为验证数字孪生数据能否满足码头数字孪生的有效运行，给出了码头数字孪生数据验证评价的量化计算方法。为实现基于数字孪生的自动化集装箱码头的智能作业管控和作业数据管理提供方法支撑。     

卷首语

正21世纪是城市的世纪,随着城市化水平的不断提高,人类社会面临着日益严峻的城市问题,包括环境问题、人口增加导致的资源加速消耗、更加复杂的社会管理等。建设可持续发展的智慧城市将是应对上述挑战、解决上述问题的良策。2013年,我国建立了一批智慧城市试点,将对我国智慧城市建设起到重要的推动作用。我国的智慧城市建设处于起步阶段,还需要进行多方面的探索与实践验证,这是建立智慧城市试点的初衷。来自中国电子科技集团公司第三十三研究所张     

民用飞机反推力装置对发动机短舱排液性能影响试验研究

为考察民用飞机反推力装置对发动机短舱排液性能的影响,在某型民用飞机涡扇发动机开展试验研究,具体研究了反推力装置收起方式、开始收起反推力装置时的飞机滑行速度以及短舱排液结构对发动机短舱排液性能的影响。研究结果表明：加快反推力装置收起过程和提高开始收反推力装置时的飞机滑行速度均可以改善发动机短舱的排液性能;排液结构是发动机短舱排液性能决定因素;反推力装置收起方式和开始收反推力装置时的飞机滑行速度是短舱排液适航验证试验需选取的两个关键参数。该文结论对民用飞机发动机短舱排液系统设计优化和适航验证试验具有一定参考价值和指导意义。     

基于模式噪声分量符号信息的快速源相机辨识

现有基于传感器光响应非均匀性模式噪声的源相机辨识方法多采用蛮力搜索(即穷举)策略,当相机指纹数量较多且指纹长度较长时,效率较低.文中提出一种基于模式噪声分量符号信息的快速源相机辨识方法.即利用模式噪声中的大幅值分量构造相机的精简指纹,采用分离链接哈希表结构存储参考指纹信息,按照测试指纹和参考指纹之间的同符号分量个数对候...     

区域性防治煤与瓦斯突出研究

在煤矿生产中,随着开采深度的增加,煤层的瓦斯含量、瓦斯压力都呈上升趋势,发生煤与瓦斯突出的危险性加大,给煤矿安全生产带来很大威胁.论文以中平能化集团天安五矿地质条件为例,通过瓦斯敏感指标临界值跟踪考察及结果分析,得出瓦斯敏感指标临界值,为区域验证及局部防突提供了理论基础,并应用于工程实践,实现了快速安全掘进.     

基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

信息熵的理解与验证

笔者在对信息熵原出处含义进行解读和对热力学熵原理进行理解的基础上,修正了信息量无限增加的理论解释.通过对计算机数据库中数据检索速度的测试,推导出速度公式,计算出每比特信息熵所需要的能量,发现实际数值与理论数值存在较大差异,得出布里渊的信息熵能量是信源与信道表面之间的熵变而非信源本身的熵变.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。