Evaluation of recursive queries with extended rules in deductivedatabases

In order to extend the expressive power of deductive databases, a formula that can have existential quantifiers in prenex normal form in a restricted way is defined as an extended rule. With the extended rule, we can easily define a virtual view that requires a division operation of relational algebra to evaluate. The paper addresses a recursive query evaluation where at least one formula in a recursive rule set is of an extended rule. We investigate transformable recursions as well as four cases of non-transformable recursions of transitive-closure-like and linear type. The work reveals that occurrence of an existentially quantified variable in the extended recursive body predicate might dramatically limit the level of recursive search. In particular, the number of iterations to answer extended queries can be determined, independently of database contents     

介绍《电工电子实践课程丛书》--东南大学电工电子系列实践课程教改成果之一

本文介绍由东南大学组织编写，东南大学出版社出版的《电工电子实践课程丛书》的编写背景，每本教材内容的简要内容，特色与使用情况。     

A new alloy design concept for austenitic stainless steel with tungsten modification for bipolar plate application in PEMFC

The feasibility of a new alloy design concept utilizing the principle of ‘tungsten bronze effect’ is critically evaluated for the development of metallic bipolar plates for proton exchange membrane fuel cell (PEMFC). An austenitic stainless steel (ASS) is modified with W and La to improve the stability of the passive film in an acidic environment as well as to reduce the contact resistance by the tungsten bronze effect. The experimental ASS containing W and La was evaluated in a simulated PEMFC environment of H₃PO₄ and H₂SO₄ solutions at 80 °C, and the electrical property was evaluated by performing a contact resistance test. The test results show that the ASS modified with W and La has good passive film stability for corrosion resistance and low contact resistance. The X-ray photoelectron spectroscopy (XPS) analysis clearly suggests the possibility of the tungsten bronze effect from the change in valency state of W⁶⁺ to W⁵⁺ in the passive film formed on the modified ASS. The feasibility of a new alloy design concept utilizing the ‘tungsten bronze effect’ is well demonstrated; however, more study is highly required for the development of metallic bipolar plates of PEMFC.     

Intelligent copyright protection system using a matching video retrieval algorithm

Many video service sites headed by YouTube know what content requires copyright protection. However, they lack a copyright protection system that automatically distinguishes whether uploaded videos contain legal or illegal content. Existing protection techniques use content-based retrieval methods that compare the features of video. However, if the video encoding has changed in resolution, bit-rate or codec, these techniques do not perform well. Thus, this paper proposes a novel video matching algorithm even if the type of encoding has changed. We also suggest an intelligent copyright protection system using the proposed algorithm. This can serve to automatically prevent the uploading of illegal content. The proposed method has represented the accuracy of 97% with searching algorithm in video-matching experiments and 98.62% with automation algorithm in copyright-protection experiments. Therefore, this system could form a core technology that identifies illegal content and automatically excludes access to illegal content by many video service sites.     

Laser glazing of an Fe-C-Sn alloy

Morphology and geometry of melted zones, cooling rates, microstructure and microhardness in the laser-glazed Fe-4%C-10%Sn alloy have been investigated. The computer simulation on the basis of the moving gaussian source model was used successfully to predict the maximum width and depth of the melted zone and the cooling rate. The microstructure from the surface to the bottom of the laser-melted zone is a non-crystalline phase, dendritic grains and a microcrystalline zone successively. Values of the averaged-spacing of the non-crystalline phase are 0.205⁶ and 0.121⁹nm, respectively; twinned martensites, having an axial ratioc/a of 1.128, existed in dendritic grains, and carbides of Fe₃ C at the interdendritic regions; the microcrystalline zone was composed of -Fe and a new bet (a=0.415 nm,c=0.955 nm) phase. The different microstructure in the melted zone can be explained by the results of the heat flow calculation. A fine eutectic structure (-Fe + Fe₃C) was observed in heat-affected zones. Microhardness of the eutectic structure can be predicted by the empirical relation of fracture stress to the interlamellar spacing of pearlite.     

经食道心房调搏的放射性核素心血管造影

本文应用反符合电路剔除调搏脉冲干扰的方法,制成经食道心房调搏心电心音门电路触发装置,用于经食道心房调搏的核素心血管造影。参考Tzivoni标准,当逐级增加调搏心率至140次/min或亚极量心率后发现:冠心病人有调搏后EF降低;急性心肌梗塞病人EF减低更为明显,并呈室壁反向运动。因此,心房调搏核素心血管造影有助于冠心病,特别是心肌梗塞的诊断。     

岗位体验式教学法在雷达装备实践教学中的应用

针对雷达装备实践教学中演示式教学法对于学员能力的拓展和装备的综合运用等方面存在的问题,将岗位体验式教学法运用于雷达装备实践教学中.首先分析岗位体验式教学法的基本内涵;然后提出前期准备、场景设置、教学实施、交流研讨和总结讲评等5个方面的具体实施方法,进行实例分析;最后给出岗位体验式教学法的实施效果.教学实践结果验证了该方法的有效性.     

NIT-Ph-p-BEN氮氧自由基的制备及催化降解性

以对醛基苯甲酸为原料，通过醛酸与2,3-二甲基-2,3-二羟胺基丁烷缩合，再经NaIO4氧化最终制得4-(4,4,5,5-四甲基-1,3-二氧化物)咪唑基-1-苯甲酸（NIT-Ph-p-BEN氮氧自由基）。采用FTIR、UV、ERP（电子顺磁共振波谱仪）和元素分析等对其结构进行表征；通过催化降解废水中有机染料甲基橙、甲基蓝和罗丹明B对其催化活性进行了评估。结果表明，当甲基橙、甲基蓝和罗丹明B浓度为15 mg/L，NIT-Ph-p-BEN质量浓度为0.15 g/L，H2O2浓度为30 mmol/L时，NIT-Ph-p-BEN对甲基橙有更好的催化降解性，仅在1 h内甲基橙的降解率达到94.26%。此外，反应机理表明，H2O2有助于实现NIT-Ph-p-BEN自由基的再生和循环利用。