Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

Aerodynamic performance analysis of trains on slope topography under crosswinds

This work used the computational fluid dynamics method combined with full-scale train tests to analyze the train aerodynamic performance on special slope topography. Results show that with the increment in the slope gradient, the aerodynamic forces and moment increase sharply. Compared with the flat ground condition, the lateral force, lift force, and overturning moment of the train on the first line increase by 153.2%, 53.4% and 124.7%, respectively, under the slope gradient of 20°. However, with the increment of the windward side's depth, the windbreak effect is improved obviously. When the depth is equal to 10 m, compared with the 0 m, the lateral force, lift force and overturning moment of the train on the first line decrease by 70.9%, 77.0% and 70.6%,respectively. Through analyzing the influence of slope parameters on the aerodynamic performance of the train, the relationships among them are established. All these will provide a basic reference for enhancing train aerodynamic performances under different slope conditions and achieve reasonable train speeds for the operation safety in different wind environments.     

层间接触状态和横向力大小对车辙贡献率的影响

车辙贡献率是反映沥青路面各结构层车辙病害程度的一个主要参数,可用于指导沥青路面的设计和施工.利用三维有限元计算软件建立三维有限元模型用于理论分析,将有限元计算结果与理论解进行对比,验证了该三维有限元模型的可靠性.采用实测的轮胎接地压力,考虑不同层间接触状态和横向力大小,结合有限元计算的数据,分析了沥青路面结构层的车辙贡献率.结果表明:在层间完全连续状态下,横向力大小的选取不能简单地选取最大垂直轮胎接地压力的一定比例,而是要根据所研究的具体情况具体分析.在对沥青路面车辙贡献率的研究中,可以忽略层间接触状态,即假定层间完全连续.     

中国信息服务业空间集聚研究

通过产业集聚的EG指数对中国各省份信息服务业的空间集聚程度进行研究,得出集聚程度比较显著.在此基础上,找到这一服务业的两个相关指标,利用产业集中度CRn判断出信息服务业主要集中于北京、广东等六个地区,然后对两指标数据进行无量纲化处理,加权求和得到新的综合指标,最后对这一新指标进行了系统聚类分析,得知这一产业主要集中在北京和广东两个地区.     

析架空输电线路上倍容导线的选择

架空输电线路项目扩容改造,当采用倍容导线时,需在技术和经济上对倍容导线进行比较分析。文章对这种导线的种类、特性情况作了介绍,通过在220kV线路上对倍容导线的选择分析,为同类案例的处理提供了借鉴和参考。     

氧化鸡肉脂肪制备肉味香精前体物质的研究

研究以鸡肉脂肪为主要原料制备肉味香精的前体物质,通过单因素和正交试验确定氧化反应的最佳反应条件.结果表明氧化鸡肉脂肪的最佳条件是:氧化温度为120℃,氧化时间为3h,VE的添加量为1.0%,不添加水和NaCl.在最优条件下进行氧化试验,得到产物的酸值和过氧化值分别为1.472 mg/g和193.51 mmol/kg,感官评价值为4.905,具有典型特征的鸡肉香气.     

导磁体在汽车零件感应加热中的应用技术

本文简单介绍了导磁体工作的基本原理，并给出在汽车零件大规模生产中所积累的导磁体应用的一些经验，以阐明如何更有效地使用导磁体。     

Degradability and biocompatibility of bioglass/poly(amino acid) composites with different surface bioactivity as bone repair materials

Bioglass (BG) possesses excellent bioactivity and has been widely used in the manufacture of biomaterials. In this study, a composite with different surface bioactivity was fabricated via in situ melting polymerization by incorporating BG and poly(amino acid) (PAA) at a suitable ratio. The structure of the composite was characterized by Fourier transform infrared spectroscopy and XRD. The compressive strength of the BG/PAA composites was 139 MPa (BG:PAA = 30:70). The BG/PAA composites were degradable, and higher BG in composite showed higher weight loss after 4 weeks of incubation in simulated body fluid. In addition, the BG/PAA composite maintained adequate residual compressive strength during the degradation period. The SEM results showed the differences in surface bioactivities of the composites directly, and 30BG/PAA composite showed thicker apatite layer and higher Ca/p than 15BG/PAA. in vitro MG-63 cell culture experiments showed that the composite was noncytotoxic and thus allows cells to adhere, proliferate, and differentiate. This indicates that the composite has good biocompatibility. The implantations in the bone defects of rabbits for 4 and 12 weeks were studied. The composites had good biocompatibility and were capable of guiding new bone formation without causing any inflammation. The composite may be successfully used in the development of bone implants.     

铸造铝合金轮毂T6热处理工艺的优化研究

研究了固溶时间、淬火停留时间及涂装烘烤工艺对A356合金铸造轮毂性能的影响规律并优化了T6热处理工艺，将淬火停留时间缩短到2h。研究表明：未涂装时优化工艺使合金抗拉强度达到240MPa，屈服强度达到181MPa。伸长率达到8％；涂装后抗拉强度达到262MPa，屈服强度达到179MPa，伸长率达到9％，接近并达到目前国内T6工艺的强度性能，超过了国内轮毂行业的强度性能标准，具有一定的生产实际意义。