基于一阶理论的个性化定制需求可满足性研究

产品个性化定制在服装等产品生产中广泛使用,但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式,基于该模型提出判断生产线能否满足个性化定制需求的方法,将个性化定制需求表示为逻辑公式,生产线的生产要素表示为一阶理论,通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。该方法可以在用户明确需求之后,根据生产商资源判断个性化定制需求的可满足性。     

团场小城镇道路规划应考虑环境保护

<正>团场小城镇建设对环境的影响具有范围广、时间长、因素多及难于弥补等特点,因此,小城镇道路建设的环保工作应有针对性地采取相应的措施,使小城镇道路建设给环境带来的不利影响降到最低限度。     

石河子市的公路建设和环境保护

<正>1环境保护在石河子公路建设中的重要意义环境保护是人类为解决现实的或潜在的环境问题,协调人类与环境的关系,保障经济社会的持续发     

一种基于网络分析的语义冗余发现方法

以农业AGROVOC本体为例,结合语义万维网推理机制定性分析冗余信息产生原因,利用复杂网络分析方法量化推理过程中产生的冗余,进而确定本体中的核心概念,解决推理冗余问题。实验表明,复杂网络分析方法可从定量角度找出核心节点及导致推理产生冗余的边,并揭示了语义冗余引起的推理效率降低问题。为优化本体设计、提高推理效率提供了一种新的可行方法。     

关于伪Drazin可逆的算子矩阵

元素a∈A称为伪Drazin可逆的,如果存在某个元素b∈A,使得ab=ba,b=bab,ak-ak+1b∈J(A)对某个正整数k成立.文章得到了一系列能保证算子矩阵是伪Drazin可逆的新条件,并且给出一些数值例子,来说明所得结果.     

求解频率指配问题改进的完全图算法

以四级预测模型为基础,提出改进的完全图算法,并推导出该算法计算量的解析式,从理论上证明了改进的完全图算法性能上的提高.四级预测模型来判断两电台之间的兼容性,而改进的完全图算法调用四级预测模型来搜索出多电台间的所有可用频组,进行了小规模电台数目电子信息系统的完整电磁兼容分析,完成了系统内的频率指配.实际工程应用的结果与理论一致.     

小麦叶片的电阻抗图谱参数对PEG胁迫的响应

为了解水分胁迫下小麦叶片细胞膜变化的一些电参数特性,应用电阻抗图谱的方法研究小麦叶片对PEG溶液不同渗透势的反应,测定了不同渗透势下叶片的胞外电阻、胞内电阻、弛豫时间及弛豫时间的分布系数的数值,并应用回归分析和相关分析对电阻抗参数与渗透势的关系及电阻抗参数之间关系进行了分析。结果表明,随着PEG溶液渗透势的增加,胞外电阻、胞内电阻和弛豫时间减小,弛豫时间分布系数表现为先增大后减小;随着胁迫时间的增加,胞外电阻和胞内电阻在各个渗透势的变化规律不一致,弛豫时间增大,弛豫时间分布系数先增加后减小。胞外电阻、胞内电阻和弛豫时间对不同的渗透势具有显著或极显著的线性关系。     

800 MPa级双相组织低屈强比钢厚板研究

对基本成分为Fe-0.1C-Mo的微合金HSLA钢进行了变化轧制与冷却参数的试验,分析了钢的组织形貌及微观结构;研究了变形和冷却参数与钢的屈强比、缺口冲击功、延伸率等的关系.结果表明:通过对轧制、冷却工艺的组合与变化,实现对钢的强度、塑性、屈强比的控制;抗拉强度800 MPa级的厚钢板,其屈强比控制在0.75以下,低温冲击韧性良好.钢的组织主要由针状铁素体和马氏体两相组成.     

21%Cr铁素体不锈钢成型性能和表面起皱研究

以21%Cr铁素体不锈钢为研究对象,研究了热轧退火及冷轧润滑对带钢中织构和晶粒簇的影响.结果表明:热轧退火再结晶不完全时,成品带钢中心处的晶粒簇明显,且带钢厚度方向上织构梯度很大,使得带钢在成型过程中表面起皱和各向异性明显;冷轧过程不进行润滑时,与采用冷轧润滑的成品带钢相比,带钢厚度方向上的织构梯度增加,γ纤维织构的强度降低,使得带钢的成型性能恶化;当热轧退火使带钢发生完全再结晶,并在冷轧过程中进行充分润滑时,则可使成品带钢同时获得较好的成型性能和抗表面起皱性能.     

RALNEU计算机标准化考试系统的开发

针对东北大学轧制技术及连轧自动化国家重点实验室(RALNEU)的计算标准化考试系统的开发目标、功能和构成进行了分析,建立了该国家重点实验室的学生标准化考试系统的设计方案,基于客户/服务器模式,利用VisualC++60开发工具和面向对象的编程方法完成了该实验室的计算机标准化考试系统并投以使用·