Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Effect of deposition conditions on the properties and annealing behavior of cold-sprayed copper

The deposition of copper by cold gas dynamic spraying has attracted much interest in recent years due to the capability to deposit low-porosity oxide-free coatings. However, it is generally found that as-deposited copper has a signicantly greater hardness, and potentially lower ductility, than bulk material. In this article, copper was deposited by cold spraying using helium as the driving gas at both 298 and 523 K. Evidence is presented indicating that the material sprayed at the lower temperature exhibits a lower dislocation density throughout the grain structure than the material sprayed at the higher temperature. The low stacking fault energy of copper restricts recovery during annealing, and thus microstructural changes during annealing only proceed once recrystallization begins. The material sprayed at low temperature (with the low dislocation density) exhibited recrystallization at annealing temperatures as low as 373 K with a corresponding reduction in hardness. However, the copper sprayed with helium at 523 K was resistant to annealing at temperatures up to 473 K where the dislocations in the structure prevented recrystallization. However, at higher temperatures, recrystallization did proceed (with corresponding reductions in hardness). The fracture behavior of the copper that was cold sprayed with helium at 523 K, both in the as-sprayed condition and following annealing, was measured and explained in terms of the annealing mechanisms proposed. The original version of this paper was published in the CD ROM Thermal Spray Connects: Explore Its Surfacing Potential, International Thermal Spray Conference, sponsored by DVS, ASM International, and HW International Institute of Welding, Basel, Switzerland, May 2–4, 2005, DVS-Verlag GmbH, Düsseldorf, Germany.     

解析参数对活性焦再生过程及再生效果的影响

 活性焦的热解析参数对再生活性焦的脱硫脱硝性能和机械强度至关重要。为了明确解析参数对活性焦再生过程和再生效果的影响规律,通过热解析试验探究活性焦硫残余比例、CO₂和CO生成量及再生活性焦脱硫脱硝性能随解析温度和解析时间的变化规律,继而明确适宜的活性焦热解析参数。结果表明,活性焦升温解析过程中,脱硫产物在317 ℃左右迅速分解,随后分解速率下降;在进入恒温解析阶段后脱硫产物分解速率先快速下降,而后进入缓慢解析状态。硫残余比例随恒温解析温度的升高而下降,在530 ℃下解析3 h可使脱硫产物完全解析;解析温度高于430 ℃后,活性焦表面的酚基、醌基、内酯基等含氧官能团分解量明显增加,并随恒温解析温度的升高而持续增加,分解所生成的CO和CO₂也随之大幅增加,这将使活性焦的孔隙结构进一步发展,继而不利于活性焦机械强度的保持;解析温度低于530 ℃时,硫残余比例随解析温度的升高而持续降低,使再生活性焦的脱硫脱硝性能持续提高;解析温度高于530 ℃后,含氧官能团分解量随解析温度的升高而持续增加,这将有利于提高活性焦表面SO₂氧化反应速率,继而使再生活性焦的脱硫性能持续升高,但酚基、内酯基等酸性含氧官能团的分解使再生活性焦对NH₃的吸附性能降低,进而使其脱硝性能降低。在兼顾再生活性焦脱硫脱硝性能、机械强度和生产效率等多方面因素时,430 ℃恒温解析3 h是相对较优的解析参数。在此解析条件下,再生活性焦的硫残余比例仅为1.8%,含氧官能团尚未发生大量分解,脱硫脱硝性能相对较为优良。     

Enhanced oxidation of the 9%Cr steel P91 in water vapour containing environments

The short term (∼100 h) oxidation behaviour of the 9%Cr steel P91 was studied at 650 °C in N₂-O₂-H₂O gas mixtures containing a relatively low oxygen level of 1%. The oxidation kinetics were measured thermogravimetrically and the oxide scale growth mechanisms were studied using H₂¹⁸O-tracer with subsequent analyses of oxide scale composition and tracer distribution by MCs⁺-SIMS depth profiling. The corrosion products were additionally characterised by light optical microscopy, SEM-EDX and XRD. It was found that the transition from protective, Cr-rich oxide formation into non-protective mixed oxide scales is governed by the ratio H₂O^(g)/O₂ ratio rather than the absolute level of H₂O^(g). The results of the tracer studies in combination with the data obtained from experiments involving in situ gas changes clearly illustrated that under the prevailing conditions the penetration of water vapour molecules triggers the enhanced oxidation and sustains the high growth rates of the poorly protective Fe-rich oxide scale formed in atmospheres with high H₂O^(g)/O₂ ratios. The experimental observations can be explained if one assumes the scale growth to be governed by a competitive adsorption of oxygen and water vapour molecules on external and internal surfaces of the oxide scales in combination with the formation of a volatile Fe-hydroxide during transient oxidation. The formation of the non-protective Fe-rich oxide scales is suppressed in atmospheres with low H₂O^(g)/O₂ -ratios, and the healing of any such scale is promoted.     

工艺参数对微区沉淀法制备纳米MgAl2O4粉体的影响

采用高分子网络微区沉淀法制备纳米镁铝尖晶石（MgAl2O4）粉体，并采用TGA／DTA、XRD和TEM等分析测试技术对前驱体的热分解和所制得粉体的物相组成、形貌及颗粒尺寸进行表征，结果表明所制得的MgAl2O4粉体颗粒粒径小，结晶良好，成分单一且粒径大小均匀。而实验过程中工艺参数的改变会对生成粉体的粒径和形貌产生一定的影响，进而即研究了各种工艺参数的改变对该方法制备纳米MgAl2O4粉体的影响。     

New inverse method for identification of constitutive parameters

A new inverse method by coupling iSIGHT and ABAQUS was proposed to determine the constitutive parameters of Al2O3sf/LY12 composite deforming at elevated temperature. It combined the merits of the f＇mite element simulation and optimization technique. The direct model was simulated with finite element code ABAQUS. The inverse problem associated with the identification of the constitutive parameters was expressed as a least square optimization problem. The direct simulation and the parameters optimization were implemented in iSIGHT integrated environment. The aim was to match the output of the direct simulation with the experiment data. The capability of the proposed inverse method was demonstrated through the identification of constitutive parameters of Al2O3sf/LY12 composite. The proposed new inverse method is also applicable to other parameters identification which is hardly determined through experiments or direct analytical method.     

人工智能在冷轧带肋钢筋工艺参数优化中的应用

论述了人工智能在冷轧带肋钢筋工艺参数优化中的应用,首先利用神经网络建立起冷轧带肋钢筋工艺参数与产品抗拉强度之间关系的数学模型,然后用遗传算法对工艺参数优化。按优化后的工艺参数在某拉丝加工厂进行了大批量生产试验,产品的合格率达到98%以上,从而为控制冷轧带肋钢筋工艺参数提供了一条行之有效的途径。     

铜基形状记忆合金马氏体相变宏观形状应变特征

利用X射线衍射仪、透射电镜、扫描电镜、原子力显微镜等研究了Cu-18Al-9Mn-3.4Zn(摩尔分数,%)形状记忆合金的马氏体晶体结构、亚结构以及马氏体相变宏观形状应变特征.结果表明:该合金的马氏体晶体结构为18R结构,亚结构为层错;单变体马氏体表面浮凸呈"( ) "型,浮凸高度为400～500nm,浮凸宽度为2 000～2 400 nm;多变体马氏体表面浮凸呈"N"型和"山尖"型,浮凸高度为200～400 nm,浮凸宽度为1 000～1 800nm;浮凸角均为8°～12°;马氏体相变符合G-T模型的双切变特征,惯习面为(113)面.     

大型钛合金压气机盘超塑性等温锻造模具结构及工艺参数实验研究

通过超塑拉伸和压缩试验，用金属铅进行模拟实验，探讨了大型ＴＣ１１合金压气机盘超塑性等温锻造的工艺参数，模具结构，锻坯形状尺寸及润滑剂的选择、并讨论了其模具材料及加热方式的选择。     

磁性纤维随机混合媒质等效电磁参数的计算

为计及强散射偶极子间的相互作用,引入参量εh和μh,利用广义多重散射理论及MATLAB计算机软件对在2 GHz～18 GHz频率下的体积占空比为8%的铁纤维随机混合媒质等效磁导率的实验值进行曲线的拟合,导出了耦合系数εh和μh,并在此基础上,对体积占空比分别为30%和20%的铁纤维随机混合媒质等效磁导率进行了计算,计算结果与实验吻合良好.