电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

海滨区冲填土层特大型储罐基础工程选型研究

江苏LNG储罐,位于盐城黄海海滨。废黄河及古淮河冲填土地质构造,沉积层厚达230 m以上,属中等软土。土质主要为回填土、粉土、粉质粘土、粉砂。特大型储罐荷载大,冲填土层如何满足抗压、抗拔、抗水平位移的技术规范要求,极具挑战性。桩基施工过程中,相互干扰,有孔壁坍塌、缩颈、泥皮、沉渣难清等可能。尤其考虑到对水平位移的敏感,设计上不宜选用高架承台结构,而应该从多种桩基类型方案里挑选优化。文章对于软土地基条件下,大型储罐基础工程的设计选型,进行了总结分析。对软土地基条件下大体积储存设施的设计和施工,具有针对性的借鉴作用。     

科技期刊中文文摘的撰写

摘要是现代科技论文的必要附加部分,只有极短的文章才能省略。它是帮助读者从浩瀚的信息海洋中能较快、较准地找到他们所需要的科技信息的一种有效工具。摘要一般置于作者及其工作单位之后、关键词之前。根据GB/T6447-1986《文摘编写规则》关于摘要的定义,摘要是以提供文献内容梗概为目的,不加评论和补充解释,简明、确切地记述文献重要内容的短文。按摘要的不同功能来划分,它大致分为报道性摘要、指示性摘     

玻璃用涂料

<正>201504017防潮性、耐热性、耐磨性优异的涂料及其玻璃涂饰件:JP2015 34 281[日本专利公开]/日本:Central Glass Co.,Ltd.(Ohara,Yoshihiko等).-2015.02.19.-39页.-2013/145 206(2013.07.11)适用于门窗装饰的题述玻璃涂饰件的至少一面涂覆了UV吸收性涂料。该涂料含有:(a)氨基硅烷与硼     

广西壮族自治区食品药品监督管理局《广西壮族自治区保健食品生产企业质量受权人管理办法(试行)》

第一条:根据《中华人民共和国食品安全法》及其实施条例等法律法规的规定,为贯彻国家食品药品监督管理总局《关于开展保健食品化妆品生产企业质量受权人试点工作的通知》(食药监办保化[2011]134号)和《广西壮族自治区保健食品生产企业质量受权人试点工作方案》(桂食药监保化[2012]50号)精神,进一步完善我区保健食品生产企业质量管理体系,明确保健食品     

大跨铝合金人行桥人致振动分析及舒适性评价

铝合金人行桥因质轻、便于吊装施工等特点而成为人行桥设计新选择,但由于铝合金质轻、弹模低使得相比于钢结构人行桥更易出现振动舒适性问题。文中以三座大跨铝合金人行桥为对象,对行人质量影响下的结构振动基频及人致振动响应进行了分析,与同结构形式下钢结构人行桥进行了对比讨论,并结合各国振动舒适性规范对振动舒适性进行了评价。结果表明,铝合金人行桥因质量轻,相比于钢结构其振动基频对行人质量影响较敏感,设计中需考虑行人质量对降低结构基频的影响,从而使结构从超谐共振进入共振而产生过大振动,设计中建议适当提高结构振动基频以满足舒适性要求。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

约束规划在原油调度中应用的探索

石油化工是国内大型能源行业中的基础性行业,其本身是典型的流程性行业机制,在制造业中具有流程完整和全面的特性,同时在国民经济发展中起到举足轻重的重要作用。石油化工企业的工艺流程随着其炼油生产过程的扩展而逐渐的复杂化,其不同加工阶段中,对原油的调度衔接要求不同,要求原油的供应保证连续。同时整个生产过程,原油的调度不能够出现过大的波动,要保持平稳,才能实现生产设施和辅助设施的紧密连接以及调度安全。在考虑了石油化工企业的自身生产能力以及实际调度能力后,我们采用约束规划方法,进行原油总体调度的效率提升研究,实现最大限度的顺利完成生产任务、原油调度目标。     

基于3D打印技术制造柔性传感器研究进展

与传统的涂覆、沉积等加工手段相比，使用3D打印技术可制造复杂立体功能结构的传感器，将3D打印与柔性传感技术结合可以促进未来生物医疗、人工智能等领域的发展。本文介绍了国内外基于3D打印技术制造柔性传感器的最新进展，其中包括聚酰亚胺等多种基底材料、纳米金属等多种打印传感材料；按照熔融沉积、黏弹性墨水沉积、粉末烧结熔化、还原光聚合和材料喷射的制造原理分别阐述了多种传感器的材料选择、成型特点，并对制造方法进行总结分析。虽然3D打印制造柔性传感器件存在着缺乏行业标准及多种类打印材料等问题，但经过不断创新与发展，3D打印将成为柔性传感领域极佳的制造手段。