领域本体半自动化建模工具的设计与实现

现有的大多数本体都是通过手工构建的。然而,本体的构建是一项非常费时费力的过程,近年来如何半自动地构建领域本体的研究越来越多。文章提出了基于中文分词以及数据挖掘技术的半自动领域本体建模方法,该方法能大大提高本体构建的效率,并且一定程度上保证本体的质量。实验证明该方法是可行的。     

聚合物乳液粒子制备纳米多孔增透膜

采用提拉法在载玻片上沉积了PMMA/PS混合乳液粒子,用环己烷选择性地溶解掉表层PS粒子,制备了孔隙率从表向里梯度变化的纳米粒子增透膜,在578 nm处透过率可达99.5%;研究了两种聚合物纳米粒子的比例及环己烷浸泡时间对增透性能的影响。本方法可用于大面积和不规则基材上制备增透膜,并解决了提拉法成膜的粒子堆积紧密、孔隙率低且不易调节的缺点,使粒子膜的透过率大幅度提高。     

数字孪生在智慧工厂中的应用探讨及案例分析

中国制造2025战略的提出让中国的制造业获得了前进的动力,伴随着工业互联网、云计算、5G以及大数据的不断发展,新兴信息技术与制造技术的融合催生了智慧工厂、智能制造的概念,数字孪生正是这样一种面向未来的新兴技术。通过对数字孪生技术的概述以及对其实现技术的研究,提出了一种适用于智慧工厂的技术架构模型,并将其运用于实际案例,验证了数字孪生技术对工厂生产效益的拉动效果,具有一定的指导效应和示范效应。     

XRQL—基于XML的新型RDF查询语言

W3C组织以RDF等标准为基础致力于推广语义WEB的应用，期望能以更为结构化的方式组织和处理WEB数据。文中提出一个基于XML的新型RDF查询语言－XRQL，并构建了一个以XRQL为查询语言的RDF引擎（NSRE）的体系结构，最后简要探讨了相关实现技术。     

SE-FDP:一个软件自动生成环境

SE-FDP 是一个基于自动化的软件开发环境.它集成了多种软件工具,能实现软件开发过程的自动化,从而可大幅度提高软件的生产率,保证软件的质量.本文介绍 SE-FDP 的设计思想、关键技术、系统组成以及功能特点.     

重力式U型斜交桥台的开裂与加固的非线性有限元模拟分析

随着我国交通事业的迅猛发展,在桥梁建设中,大体积的重力式U型斜交桥台经常被采用,而很多桥台在施工中或投入使用后不久便出现开裂现象．经调查发现,裂缝大多出现在前墙与长侧墙交汇处附近,因此,探究造成桥台开裂的主要原因及采取何种加固改进措施,已经成为亟需解决的问题．笔者引入非线性有恨元理论,土体按服从DP屈服准则的弹塑性材料处理,土体与混凝土之间采用接触分析,通过对各种尺寸的桥台进行的仿真模拟得出结论：台后土压力是导致桥台开裂的主要原因．然后,拟采用钢筋混凝土圈梁法对桥台进行加固,达到了很好的效果．     

基于Web的工作流安全性研究

基于Web的工作流管理系统的安全问题主要涉及到两方面:授权(及访问控制)和安全通讯。工作流管理系统需要一个动态的授权机制,即在工作流的执行过程中动态地分配和撤销相应的权限。文中提出一个动态授权模型,即利用5个授权函数、授权数据库(AB)以及任务执行过程中产生的一些事件来实现动态授权机制。此外还简要介绍了基于Web的工作流中涉及到的安全通讯问题及其解决方法。利用这个模型,可以大大地增强工作流管理系统的安全性能。     

时间Petri网等效变换的工作流评价

时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后引入时间Petri网建立工作流网的时间约束模型.提出了保持网时间约束特性不变的网变换规则和时间性能计算方法,对工作流网进行化简及时间性能计算,并给出了相应的算法.最后通过一个实例说明本方法的应用过程.     

基于时域分析的风载激励下桥梁结构动力特性识别

为研究环境激励下针对混凝土桥梁结构动力特性的识别问题,将现有的时域分析方法进行改进。利用自然激励技术与特征系统实现算法相结合,模拟风载激励对一预应力混凝土连续梁桥进行动力特性识别的有限元仿真模拟分析。利用随机减量技术和Ibrahim时域联合算法和有限元模态分析进行结果对比验证。仿真模拟结果表明,基于最常见的环境激励———风载激励识别混凝土梁桥的动力特性参数是行之有效的。运用自然激励技术与特征系统实现算法相结合的时域分析方法识别结果较为准确,为此类结构的健康监测和结构设计提供了有效支持。     

面向飞腾处理器的多线程可复现DGEMV设计与实现

在高性能计算中,求解大规模、大尺度、长时程和病态问题过程中舍入误差的累计都可能会使算法的最终数值结果失真。在不同的计算软硬件资源下,每次运行的结果可能不一致,而这些结果是开发者调试程序和正确性检查的重要依据,会对科研工作的顺利进行造成干扰,因此算法数值结果的可复现性变得至关重要。文中面向飞腾处理器,基于OpenBLAS软件框架,结合美国伯克利国家实验室的Demmel教授团队开发的ReproBLAS软件中提出的可复现的方法与Castado提出的多层分块技术,使用舍入误差分析和无误差变换等技术,设计出了多线程可复现DGEMV的算法。数值实验显示,所提算法实现了数值计算的可复现性,且输出结果与ReproBLAS相同,验证了所提算法的可靠性。同时,所提算法在相同的测试环境下运行速度至少是ReproBLAS实现算法运行速度的2倍。此外,还将所提算法与日本理化研究所Mukunoki提出的OzBLAS中的可复现DGEMV函数进行对比,同为单线程时该算法的运行速度至少是OzBLAS算法的20倍,在相同多线程数量情况下,该算法的运行速度至少是OzBLAS算法的9倍。理论分析和数值实验均表明,该改进算法比...