TIG焊在纺织机械不锈钢圆网制造中的应用

介绍了不锈钢圆网的结构及TIG焊端接接头焊接工艺 ,解决了间距 6根 /cm的 45°不锈钢丝 (0 .4mm)斜纹网布螺旋状焊缝的焊接问题 ,并成功地应用于生产中     

系统Hα中的子代数的广义重言式理论

将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划,并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。     

基于正交分解技术的汽车非定常流场分析及重构

为有效开展汽车气动优化设计和主动流动控制技术,采用正交分解(Proper Orthogonal Decomposition,POD)技术分析汽车非定常流场中POD模态的物理意义,并利用重构技术建立汽车外流场瞬态简化模型.大涡模拟(Large Eddy Simulation,LES)仿真结果与实验结果的对比表明该仿真方法有效.POD分析结果表明:低阶模态主要对应分离泡的附着流动,包含流场中较高的能量;其他各个高阶模态含能相对较低,表征小尺度涡的作用.当保留前15阶POD模态时,通过重构技术可获得70%的原流场能量,得到的降阶模型可以较好地捕捉流动的特征.     

基于PLC的小钻杆淬火工序自控系统设计

着重介绍了可编程序控制器在小口径钻杆生产线淬火工序自动控制系统中的应用,并给出了控制系统的硬件设计和软件设计。     

可编程控制器MODBUS网络在矿井监控系统中的应用

<正> 我厂成套研究所于1989年为鹤岗矿务局兴山煤矿设计生产了一套全矿井生产安全监控系统,其主体是应用MODICON984系列可编程序控制器。该系统的显著特点是为解决较远距离的信息传输和井下分层开采带来的控制检测点数分散等问题而采用计算机辅助管理的MODBUS通讯网。     

格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.     

基于L*和Luk逻辑系统的反向三I算法的统一形式

三I算法是模糊推理的FMP和FMT模型的有效的算法,反三I支持算法为设计模糊推理规则提出了一个新思路。讨论了基于L*和Luk逻辑系统的反向三I推理,并给出推理算法的统一形式。     

多值逻辑系统W_n中α-三I问题的形式解

在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。     

累积缺省逻辑的扩充

针对缺省理论的一大热点问题—缺省扩充,将Grigoris Antonion的语义算子理论算法及V.W.Marek和M.Frusz-cyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充,系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题,从而使得具有累积性的缺省逻辑扩充的计算问题系统化,同时指出这两种方法可用于其他类型的缺省理论扩充的计算。