2014“唯尔佳”优秀新产品获奖产品介绍

<正>"唯尔佳"优秀新产品的评选是由中国纺织工程学会毛纺专业委员会和《毛纺科技》杂志社联合举办的"全国毛纺年会"的一项重要内容。连续34届的"唯尔佳"优秀新产品评选活动得到了毛纺织行业的积极响应,推出了众多毛纺织新产品,引领了毛纺织产品的发展趋势,展示了企业的技术创新实力,提高了企业的产品研发实力,获得了广大毛纺织企业的认可及好评。本刊连续刊登2014"唯尔佳"优秀新产品评比部分获奖     

基于辅助功能的CJK0620数控车床安全门的控制改造设计

在分析CJK0620数控车床加工生产工艺的基础上,提出了利用数控系统富余的辅助功能指令对安全门进行自动控制改造,并且使安全门在刀具移动的过程中进行关闭和打开,不占用辅助时间,提高生产效率。设计了安全门气动和电气控制系统原理图,并给出了控制程序案例。     

棒线材轧机计算机辅助孔型设计软件

<正>集20余年经验研发而成的棒线材轧机计算机辅助孔型设计(含带肋钢筋二、三线和四线切分)软件(著作权登记号:2005SR11313),功能齐全,计算准确。可完成棒线材连轧机、半连轧机、横列式轧机、复二重线材轧机、高线轧机等多种孔型的优化设计,以及温度、力能     

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

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

VaspCZ:一个提高效率的VASP计算辅助程序

VASP(Vienna Ab-initio Simulation Package)是基于密度泛函理论的通用材料计算模拟软件。随着高性能计算平台的广泛使用和高通量计算的兴起,VASP计算任务的复杂性和数据量也大幅度提升。为了提高材料理论计算的方便程度,减少大量重复的指令和结果检查的复杂性,本文提供了一个基于Python语言的VASP计算辅助程序VaspCZ,能够大幅提高研究者的科研效率。该程序包含软件部分和API部分,软件部分提供了命令行用户界面,基于基本的Linux命令即可一键完成VASP计算的相关操作,为无编程语言基础的研究人员提供了便利。应用程序接口部分服务于具有Python语言基础的研究者,提供了底层库,使得自定义计算(如高通量计算、编写高级应用等)更为简单快捷。本程序包可以显著提高VASP的计算效率,并已经通过Github开源项目公开,提供了详细的使用文档、使用示例和API接口,有望能为广大材料理论研究者提供便利。     

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

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

电潜泵堵塞复合解堵技术在渤海油田的应用

目前渤海油田许多稠油井电潜泵在运转一段时间后,即发生电流异常波动、泵效明显下降的问题,而同时井底流压上升,说明电潜泵发生堵塞。研究发现,电潜泵堵塞主要是吸入口堵塞,其堵塞物主要为聚合物胶团、重烃垢、碳酸钙(镁)垢、粘土、腐蚀产物、细粉砂等组成的混合垢。由于常规酸液和氧化解堵体系具有强烈的腐蚀性,对电潜泵和电缆损害较大,不适用于电潜泵解堵,因此项目组针对电潜泵堵塞物特征,优选出一种低伤害高效电潜泵复合解堵技术,并成功应用于渤海油田,取得良好的解堵增产效果。     

ICCS-PW云服务器管理系统研究与设计

从ICCS-PW云服务器自身的特性入手,设计综合了电源管理、储存管理以及交换管理等多种监控方式于一身的综合性管理系统,进而对云服务器当中的资料进行集中管理。该系统通过软硬件结合的方式,配合JAXA以及CGI等前沿技术来实现,并通过Load Runner来检验系统的可行性,检验结果良好。     

辅助站立装置的设计与研究

随着老龄化社会的来临,老年人的日常独立生活备受关注。其中,生活中重复较多的坐立动作已成为越来越多老年人,特别是患有脊椎腰椎损伤、骨质疏松、腿部疾病的老年人不得不面对的严峻挑战。基于此,提出了一种辅助人体站立的装置,旨在帮助老年患者完成频繁的坐立动作。首先,分析了人体自然站立的运动学过程,建立了简化的人体站立数学结构模型,通过自然站立实验测定了人体膝关节的角度变化特性。其次,基于人体自然站立过程的运动学特性设计了一款人体辅助站立装置,并运用Solidkworks软件完成了机构的三维建模。最后,采用ADMAS软件进行运动仿真,确定了人体辅助站立装置的运动参数。通过实验和仿真数据对比可知,该装置符合人体自然站立的运动学规律,具有一定的辅助站立功能,可以运用在一些特定的场合如站立康复训练、久坐场合等。