信息集成中冲突的语义解决方案

在集成异质异构的信息系统时,系统间会出现大量的冲突。对可能的冲突进行了整理,列举出5大类冲突,并进行了深入分析。在此基础之上,提出了采用语义技术的完整解决方案,以消解各个层次的冲突。     

从UML建立的模型中得到需求目标

UML已经被软件工程实践者广泛地使用，但是，就其本质而言，它并没有清晰地描述出需求目标。该文介绍一种方法试图在UML模型与软件需求目标之间建立语义上的联系。     

影响管式电池低温性能的因素分析

首先,介绍了管式正极板及其生产工艺特点。接着,分析了低温环境下管式电池内阻和液相传质的影响因素。然后,分析和探讨了极板浸酸、固化和化成等生产过程对管式电池低温放电性能的影响。最后,讨论了极板结构、隔板和负极活性物质对管式电池低温性能的影响。     

银的迁移对铅酸电池负极性能的影响

为了研究含银板栅中银的溶解和迁移对铅酸电池负极性能的影响,测试了锑含量不同的铅锑合金电解后银的迁移量,发现锑含量升高抑制了银在阴极的析出。利用循环伏安方法测试了银阳极氧化后负极的析氢性能,发现银使电极的析氢电位发生了正移,析氢电流增加,同时发现银使电极的还原电位发生了负移。     

铅酸电池负极用纤维的应用研究

首先,采用DSC/TGA、金相显微镜、SEM扫描电镜测试了涤纶高强纤维和丙纶纤维;然后,测试了添加这两种纤维的负极铅膏的BET和孔率;最后,测试了电池的初期性能.涤纶高强纤维热稳定性比丙纶纤维好.它与活性物质晶粒结合性也比丙纶纤维好,更有利于提高生极板的强度.纤维添加量越多,铅膏的孔径越小,BET比表面积也越大.大孔数...     

数据库查询优化技术的历史、现状与未来

传统的查询树优化方法,即基于左线性树、右线性树、浓密树、操作森林的并行数据库查询优化方法,各有优劣,对其的研究比较深入、成熟;基于多重加权树的查询优化方法,研究了其并行查询计划模型、并行查询计划的复杂性模型和查询优化算法;语义查询优化方法将一个查询变换成一个或数个语义等价的查询,进而寻找并执行这些等价查询中具有较好实现策略的一个;基于Agent的并行数据库查询优化采用Multi-Agent技术自动查找与给定查询有关的完整性约束条件,使得多个关系间连接操作的效率得到很大的提高;基于遗传算法的并行优化算法,深入研究了基于机群并行数据库中关系存储的选择、多连接查询优化和查询处理等关键技术。     

管式铅蓄电池排管性能研究

通过对三种材料的管式铅蓄电池用排管进行微观结构、差热分析(DTA)、内阻测试以及对硫酸的透过率研究发现,使用不同固化剂的涤纶排管结晶度不同,从而影响排管的热缩性,其中酚醛树脂的结晶度较好;还发现无纺布排管电阻较小,使用不同固化剂的排管电阻差别不大。最后分析了排管内部不同孔径对硫酸的透过率,发现由于涤纶排管内部含有大量的微孔,电解液需要在更大的压力下才能穿过,无纺布排管内孔径较大且一致性较好,电解液透过率较为均匀。     

图形化本体模型到N-TRIPLES文本转化方法研究

分析了图形化本体编辑器VOEDITROR中的OWL构造子分类方法,提出了将图形化本体模型转化为N-TRIPLES格式文本的算法,解决了可视化本体建模工具与Oracle 11g之间的整合问题.目前这套算法已经应用于以VOEDTIOR、VOQUERY和Oracle 11g 为核心的基于语义Web技术的网上资源整合平台中.     

数据库语义合取查询研究

针对异质、异构数据库的语义集成中,对海量元组进行语义查询时因效率问题而无法使用丰富的语义表达能力的问题,提出一种兼顾速度和语义表达能力的算法,将语义查询和本体都进行图形化表示,并实现子图的语义匹配,将匹配的结果转化成数据库查询语句。与将语义查询直接重写为SQL的算法相比,该算法能支持更丰富的语义。     

MDA中从PIM到PSM的模型转换

基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现对模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望了模型转换的实现前景。