面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

用含Pb、As、Sn地方生铁砂型铸造生产D型石墨铸铁的研究

基于Ph、As、Sn等元素有增大铁液过冷倾向的作用，利用含Ph、As、Sn的地方生铁，采用合金化和砂型铸造可以获得D型石墨铸铁，对其工艺方案进行了研究。用正交试验法设计试验方案，得到最佳工艺方案为：在亚共晶成分（WB％：3．2C，2．1si）的铁液中加入适量的铝（0．6％）和钛（0．8％），可以得到含有100％D型石墨的铸铁，其抗拉强度最高可达276MPa。     

关于小电流接地系统单相接地保护方式的探讨

对中性点不接地系统的单相接地进行了理论分析和探讨 ,提出了采用自动跟踪补偿调匝式消弧线圈 ,有效抑制接地点电流。并对四种消弧线圈从级差电流、调级方式、自动跟踪、采样周期、运算方法、运行稳定、经济维护、科技含量、在线测量、用户反映等诸多方面进行了技术论证     

Preparation and characterization of TiO2 photoelectrode codoped with aluminum and boron and its application in dye-sensitized solar cell

Nanocrystalline titania films codoped with aluminum and boron were prepared by cathodic vacuum arc deposition. In the process, titanium alloy target was used under an O2/Ar atmosphere, and sensitization of films were carried out by natural dye-sensitized complex in anhydrous ethanol. The structure, surface morphology and UV-vis spectra of titania films codoped were measured by X-ray diffraction analysis, scanning electron microscopy and ultraviolet-visible spectrometer. Theas-deposited films are found to be amorphous. The films annealed were examinedto be of anatase structure with orientation along the (101) planes, the averagecrystal size is in the range between 41 and 45 nm. SEM results show that thereare some pores in the codoped titania films, the optical properties of the dye-sensitized films were also measured which reveals that the spectral responses of films shift to the visible region. Under simulated sunlight illumination, the overall energy conversion efficiency of dye-sensitized nanocrystalline solar cell is 0.9%.     

混合室分配板成形工艺及模具设计

对混合室分配板零件介绍了一种落料拉伸成形和立体切沿分割的工艺思路以及模具结构和相关的理论计算 ,在实际应用中获得了好的效果。对同类形状产品 ,尤其是涉及到需要进行立体切沿分割的制件 ,可提供借鉴。     

表用步进电机铁芯冲压工艺及模具设计

介绍了几种进口生产线的铁芯冲压工艺和模具结构 ,对进口铁芯的冲压工艺和模具结构进行了分析,给出了适合国内中小企业使用的模具结构和制造工艺     

Influencing factors on elastic-plastic deformation of multi-layered surfaces under sliding contact

Stress distribution in the gradient multi-layered surface under a sliding contact was investigated using finite element method(FEM). The main structure parameters of layered surface discussed are total layer thickness,layer number and elastic modulus ratio of layer to the substrate. A model of multi-layered surface contact with rough slider was studied. The effect of the surface structure parameters on the elastic-plastic deformation was analyzed.     

基于文本分析的自动化疾病编码方法

对疾病进行编码是将疾病诊断名称转化为标准ICD(国际疾病分类)编码的过程.鉴于编码量庞大和人工编码效率低等原因,有必要实现疾病编码的自动化.提出一种自动化的疾病编码方法,使用一种文本建模方法将ICD表示为文本集,然后借助文本相关性度量,获取与待编码疾病诊断名称最相关的ICD编码.经实验验证,本文提出的自动化疾病编码方法准确率较高、效率优秀、分类层次变换灵活,可广泛应用于各种类型的数据分析场景.     

数字指纹的编码技术研究

指纹编码技术对数字指纹系统起着非常重要的作用,是发行商能否正确跟踪盗版用户的关键因素,也是数字指纹系统最重要的组成部分。在指纹技术的发展过程中,出现了一些比较典型的编码方案。针对几种典型的指纹编码方案,对这些研究成果进行归纳,讨论了指纹编码技术的设计思想及其具体实现,最后进行了总结和展望。     

模糊综合评判理论在研究性学习系统中的研究及应用

介绍了工程数学中的模糊综合评判理论以及相应树型向量推理算法,并将模糊综合推理机制运用到研究性学习系统中进行研究型应用。该系统中运用模糊综合评判对学习效果进行合理评判,得出综合成绩,以其作为改进研究性学习模式的参考评证,从而使研究性学习过程良性发展。