二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

提升环梁三维有限元非线性分析

应用板壳有限元理论,考虑整体变形及局部应力效应的影响,构造了提升环梁有限元模型;采用ANSYS有限元软件,对工程提升环梁进行了非线性分析,为工程设计和施工提供了重要的依据。     

消费升级下我国健身休闲服务业的创变之路

消费升级背景下国民对健身休闲消费有了新的变化和需求,健身休闲服务业 发展面临着新的发展机遇。基于此,运用文献资料法和逻辑分析法等研究方法,通过对消 费升级概念的界定,消费结构、消费品类、消费逻辑的理论以及消费升级对健身休闲服务 业的影响进行分析研究,认为消费升级给潜水、越野、冰雪等小众体育项目带来了发展契 机,同时推升了健身休闲运动用品的销售增长,也驱动了健身休闲运动参与率大幅增长。 进而从理念变革、组织重构、内容创新等方面提出了我国健身休闲服务业的创变之路,并 在此基础上,对健身休闲服务业未来发展提出展望。     

基于单片机的可控温智能多功能安全饮水机设计

为满足对传统“传感器-继电器”机构的饮水机进行智能化升级的技术要求, 以单片机为控制核心, 加入温度检测、 水位检测、 温度设定和模式设定、 液晶显示等电路, 设计了智能化和标准化的饮水机电子控制的系统结构, 从而显著提升了其整体性能。通过实验测试的数据表明, 该饮水机可实现温度、 水位、 实时显示和安全智能的全自动控制, 实现了饮水机节能及智能一体化。     

关于中国“老字号”升级路径的思考

随着中国经济的结构转型和对外开放的逐步放宽,一些传统"老字号"企业出现产品结构老化、管理效率低下、客户流失、营销观念落后等问题。老字号企业要想获得长足的可持续发展,必须依据自身的先决条件进行品牌运作,整合可利用的优势资源从文化、产品、营销模式三方面进行普通企业到当地"老字号",到中华"老字号",再到国际强势品牌的升级。     

省际R&D溢出如何促进本地产业结构升级?——基于2阶段创新价值链的中介分析

该文选取以创新为主导的高新技术产业为研究对象,将其创新过程划分为基础研发和技术转化2个子阶段,分别建立基于2阶段创新水平的中介作用结构方程模型,探究各省份获得的R&D溢出对产业结构升级的作用路径.结果表明:R&D溢出对产业结构升级有显著的正向影响,且在此过程中,基础研发水平发挥部分中介效应,而技术转化水平发挥遮掩效应.     

Linux 内核技术分析及升级

Linux是目前国内外较为流行的一种操作系统， 其采用开放开发模式，这一规则可大大提高人们在操作系统、应用软件方面的应用开发能力，尤其对中国软件产业的发展，蕴含着很大的商机。针对Linux操作系统强大、稳定的功能，分析了其内核的诸多技术特性，并介绍了Linux内核升级的方法、步骤和注意事项，给学习和使用Linux提供了一个参考。     

产业集群发展的路径锁定与升级对策——以温州皮鞋产业为例

作为温州支柱产业之一的温州皮鞋业,以产业集群的组织方式使本地企业嵌入全球价值链．成功融入了世界生产网络。但新时期温州皮鞋产业集群面临价值链的不断转移和路径锁定的挑战,急需进行战略升级。文章基于温州皮鞋产业集群的发展演化历程,分析温州皮鞋产业集群的路径锁定过程和表现,结合温州皮鞋产业集群路径锁定的原因剖析及产业集群升级的机理与方式,提出温州皮鞋产业集群进一步发展的战略对策。     

Orange Peel Biomass-derived Carbon Supported Cu Electrocatalysts Active in the CO2-Reduction to Formic Acid

We report a green, wet chemistry approach towards the production of C-supported Cu electrocatalysts active in the CO₂ reduction to formic acid. We use citrus peels as a C support precursor and as a source of reducing agents for the Cu cations. We show that orange peel is a suitable starting material compared to lemon peel for the one-pot hydrothermal synthesis of Cu nanostructures affording better Cu dispersion as well as productivity and selectivity towards formic acid. We rationalize this finding in terms of the beneficial chemical composition of the orange peel, which favors both the reduction of the Cu precursor as well as the carbon matrix. This work demonstrates new viable opportunities for the reuse of citrus waste on a rational basis.