一种基于机器学习的模型检查算法性能预测方法

与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐,Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.

脉冲星信号的模糊阈值小波降噪算法

为了提高脉冲星辐射脉冲信号的信噪比，提出了基于模糊阈值的小波降噪算法．该算法的核心思想为：引入模糊理论，通过建立隶属度函数，计算出每个采样点信号幅值的隶属度，再利用小波阈值消噪的方法设定门限来分析隶属度，将隶属度大于门限的采样值划归为信号，反之为噪声，从而达到压抑噪声、保留信号的目的．实验结果表明，与基于极大极小原理和Stein无偏似然原理的降噪方法相比，基于模糊阈值的小波降噪算法将脉冲信号的信噪比提高了大约5～6dB，同时可以保留信号的细节．新算法为脉冲星信号处理与应用提供了一个行之有效的算法．

功能性防护服及新材料应用

论述功能性防护服及新材料的应用情况。介绍了功能性防护服的主要类别、几种用于防护服的高性能纤维性能及应用领域,分析了现代防护服的发展趋势,认为:在防护服领域推广应用高性能纤维、提升加工技术以适应对功能性防护服多功能化的要求、提高防护服的舒适性及智能化是未来防护服的发展方向。

科学制定与合理控制纱线质量的探讨

探讨纺织企业如何科学制定纱线质量标准及合理控制纱线质量。阐述了有关纱线质量的生产指导性标准及贸易用途性标准,分析了原料选择、设备配置、工艺设计、环境控制、运转操作管理等影响纺纱质量的因素,介绍了异纤清除技术、自调匀整技术、纱线质量专家系统等新技术和新措施。认为:必须根据最终产品需求和用户要求制定相应质量技术指标;应用系统工程提高纱线质量;重视纺纱专件器材的优化管理;及时采用提高纱线质量的新技术和新措施。

家用纺织品的功能性研究现状及建议

总结家用纺织品的功能性研究现状。以窗帘用纺织品、床上用纺织品和家具用纺织品为例,就其功能性方面的研究现状及其产品开发进行了介绍和论述。总结了上述三种家用纺织品功能性研究体现的特点,包括舒适性功能、保健性功能和安全防护性功能。指出了家用纺织品发展中存在的问题,并提出了相关发展建议。认为:家用纺织品已从实用性逐渐发展到多功能性,建议产品功能检测标准要及时跟进。

我国棉纺织行业智能化发展的几点思考

探讨棉纺织生产装备、生产工艺技术和纺织原料、纺织产品智能化问题。简要分析了棉纺织企业生产装备、工艺技术的自动化、连续化、智能化现状;列举了部分智能化纺织品的功能和原理。认为:纺织装备智能化的基础是自动化、连续化;纺织生产工艺智能化的基础是数字化、信息化;纺织产品智能化的基础是功能化。建议:重点突破关键装置和关键环节的自动化难题,加强先进纺织生产工艺的应用研究,重视智能化纺织纤维材料和功能复合型纺织产品的开发推广。

纺织机器人的应用及发展趋势

论述纺织机器人的应用及发展趋势。从机器人应用的行业优势、智能化生产对机器人的需求等角度,阐述了开发应用机器人的必要性;简要介绍了细纱自动落纱机器人、筒纱自动包装机器人、粗纱自动落纱机器人的功能;对机器人在纺织行业的应用和发展进行了展望。认为:纺织工业用工成本的增加将推动机器人的开发应用,机器人换人是现代工业发展的必然趋势,将成为纺织生产环节现代化的一项重要标志。

图书馆大数据服务的发展对策

分析当前图书馆大数据服务存在的问题,在此基础上,从资源建设、技术应用、服务提升、理念创新、人才培养等方面提出图书馆大数据服务的发展对策,以期实现图书馆服务的转型升级,促进图书馆事业的可持续健康发展。

图书馆信息资源整合的模式分析

概括总结了图书馆信息资源整合的主要模式,客观分析了各种模式的特征和存在的问题,有针对性地提出一些改进措施和合理化建议,从而有效地提高了信息资源整合效率,促进图书馆信息资源整合的健康发展。

普通高校学科建设发展途径思考

探讨了普通本科高校学科建设发展途径。从学科布局必须服务经济社会发展需要、提升学科水平必须以人为本、提升社会服务能力是普通本科高校的社会责任等方面进行了论述。认为高校学科建设与服务社会经济两者相辅相成,相互促进。结合本校实际,提出学科建设的三点思考,即学科准确定位、明确发展目标;树立科学发展观,明确发展理念;打造办学特色、彰显办学优势。

大数据时代图书馆信息服务发展及对策研究

以大数据时代下的图书馆信息服务为研究背景,通过分析这一时代背景下的图书馆信息服务发展需求,从事业管理、技术应用、人才培养等三个方面提出了大数据时代的图书馆信息服务发展策略。

浅析ZARA的品牌价值及其营销策略

为探讨ZARA的品牌价值、供应管理、营销特质及其对我国服装企业的启示,通过对ZARA细致翔实的调查研究,系统分析了ZARA的3Vs(价值客户、价值主张、价值网络)品牌策略,认为生产的垂直整合、强大的设计开发能力,对时尚的快速反应是其独特的商业模式以及盈利之道。建议国内服装企业借鉴学习,取其精华,扬长避短,提升民族产业的竞争力和影响力。

我国生态纺织品标准体系存在问题及其对策

为了推动我国生态纺织品标准体系的健全与完善,详细分析了我国生态纺织品标准体系的现状及问题,并提出了相应的对策建议。建议我国应加强执行力度的主动性,及时调整,规范认证,优化管理,提升检测水平,从而打破技术壁垒,促进贸易发展,复兴民族传统产业。

纺织生产和纺织产品智能化刍议

为推动纺织生产和纺织产品智能化进程,介绍智能化异纤清除技术、自调匀整技术、纺纱工艺管理与纺纱质量预报系统,以及智能调温纺织品、形状记忆智能纺织品、智能变色纺织品、智能抗菌纺织品和电子信息智能纺织品的应用情况。指出:实现纺织生产高度智能化应以实现关键生产环节的自动化为技术支撑,并对现有智能化装置和系统进行升级,有序推进纺织生产智能化全流程进程。同时指出,智能纺织品产品功能及实现途径单一、科研力量及研究目标相对分散,应加强多学科交汇融合和科技资源统筹,才能不断提升纺织生产的智能化及智能纺织品的技术水平。

济南市人居环境现状评价

在构建城市人居环境评价指标体系的基础上,对济南市人居环境进行了定量的评价,提出优化济南市城市人居环境的对策建议。

长寿命LED驱动电路设计

本文针对现有LED驱动电路因存在电解电容而缩短其寿命的缺点,提出了一种无电解电容的LED驱动电路的设计方法。以延长电路使用寿命为主题,以开关电源与线性电源相互结合为基础,扬长避短充分利用各自的优势,因为开关电源具有高效率的能量变换的特点而线性电源具有无输出纹波的特点,本设计充分利用其各自的优势来替代电解电容滤波,有效的解决了现有LED驱动电路存在寿命短的问题。这款LED驱动电路无大容量电解电容,小型电容可以采用长寿命的薄膜电容等容性元件,使其具有寿命长、效率高、纹波电流小特点,并且具有较高的安全性和稳定性。

基于MLS生成模拟节目信号的特性研究

扬声器在进行功率试验时,传统上都要使用模拟仪器的方式生成模拟节目信号进行测试。介绍了在MATLAB中利用最大长度序列（maximum length sequence,MLS）和IIR滤波器的方法产生模拟节目信号的技术。MLS序列是一种相关函数类似于白噪声的伪随机序列,具有周期性。利用MLS序列作为输入信号源,并通过双线性变换法设计的IIR数字滤波器产生所需的模拟节目信号。实验中对生成的模拟节目信号进行仿真分析,可以验证该方法的可行性,从而节约了成本,提高了效率。

扬声器单元功率试验过程中的若干问题及解决方法

对扬声器单元进行功率试验,是确定扬声器单元主要功率参数指标的重要手段。国标GB/T 12060.5,IEC60268-5,EIA RS-426以及AES的标准均对试验的种类、试验方法及测试信号进行了明确规定。扬声器生产厂家及其用户,均可参照上述标准对扬声器进行功率试验。但在具体试验的执行过程中,对一些操作步骤及测试流程缺乏详细的规定和明确说明。例如:使用音乐信号作为激励信号的均方根标定问题,扬声器单元的安装方法是否对功率试验构成影响,再比如扬声器在整个功率试验过程中,其低频阻抗模型是如何发生变化,是否能揭示扬声器损坏原因。针对这些环节进行了探讨和分析,并总结出一些建议,供广大扬声器生产企业及用户参考。

VSTS工作项模板二次开发在软件研制项目流程管理中的应用研究

项目流程管理在软件开发过程中至关重要,而有效的流程管理工具则又是项目管理工作开展的平台,是项目管理的基本前提和直接手段。微软研发的团队开发产品VSTS(Visual Studio Team System)则正是这样一款涵盖产品开发的全生命周期,为建模、开发、测试、自动构建以及缺陷管理、项目决策分析、源代码管理等提供强有力支持的配置和流程管理工具。为本文所关注的是其所提供的将配置管理与项目流程管理整合于一体的工作项管理功能。针对这一区别于其它配置管理工具的特点,在实际使用并试图发挥出该项附加功能最大作用的过程中,本文提出了VSTS工作项模板二次开发的方法。经过在多个具有特性化流程管理需求的组织中的推广和使用,证实这是一种便捷有效定制实现适用于不同业务特点的软件项目管理流程的方法。

基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究

随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查。软件质量保证(SQA)就是评估软件生存周期过程及其输出,以保证目标得以满足,故障得以检测、评估、追踪和解决,并保证软件产品和软件生存周期资料符合合格审定要求的活动,是航空软件产品研发过程中重要的一环。以DO-178C为指导,结合CMMI三级关键过程域实践,总结出一套民用航空发动机控制软件的质量保证流程,为质量保证人员(QA)提供参考。