Combining ODM and OCL in ontology verification

In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.     

学科成长：问题与策略——以浙江工业大学学科建设为例

本文以浙江工业大学学科发展为例,对学科成长进行了调查研究,以揭示学科发展成长的一般规律。调查显示,浙江工业大学的学科大多处于形成期,组织化程度不高,社会服务能力不足,学科带头人培养亟待加强。调查详细分析了影响学科成长的主要因素,提出了相应的建设策略。     

火电机组过热汽温神经网络控制的研究

研究了单神经元PID控制器和BP神经网络PID控制器在火电机组过热汽温的应用．实验结果表明,神经网络PID控制结构简单,有较强的鲁棒性,取得了较好的控制效果．     

联合约束无线传感器网络连通支配集算法

针对无线传感器网络连通支配集构建问题,基于(α,β)-tree定义了具有传输时延约束的连通支配树CDTT问题,并提出CDT算法构建有限总功率消耗的CDT-tree,同时符合传输时延约束要求。给出的分布式CDS算法分为两个阶段执行,首先基于单位圆图构建MIS,然后在双权值无向图上使用MST和SPT实现CDT算法,同时满足联合约束要求,具有O(n2)的时间和消息复杂度。理论分析和仿真结果表明提出的算法能正确地解决CDTT问题,构建联合约束的CDS。     

改进星形图和超维树在健康信息系统中的应用

信息可视化主要应用于没有几何属性的抽象信息,揭示信息之间的关系和信息中隐藏的特征.介绍了几种典型的多维数据的信息可视化和交互方法,提出了用星形图技术和超维树技术对人体健康多维数据进行可视化的设计方法,给出了可视化结果.研究成果可以应用到环境,医学,体育和游戏等多个领域.     

缺失数据下m相依样本的大样本性质

讨论了缺失数据在随机补充方式下均值的估计,证明了估计的相合性和渐进正态性,并给出了经验似然比统计量的渐进分布．     

两种剪切型拉索减振器的振动试验

利用DASYLab5.0系列软件平台,对高阻尼橡胶阻尼器和黏性剪切型阻尼器进行拉索-阻尼器系统振动试验,分析比较了两者的减振特性。试验结果表明:安装高阻尼橡胶剪切型阻尼器后拉索阻尼有了很大提高,能达到制振要求;黏性剪切型阻尼器制振效果更为突出。     

外源调节物质对人参毛状根生长及皂苷合成的影响

通过向人参毛状根培养基中添加植物激素类物质2,4-二氯苯氧乙酸(2,4-D)、萘乙酸(NAA)、3-吲哚丁酸(IBA)、诱导子茉莉酸甲酯(MJA)和水杨酸(SA),研究了这5种外源物质对人参毛状根的生长量、总皂苷及单体皂苷Rb1的影响。结果表明,3种外源激素在适宜浓度下均能在不同程度上促进总皂苷和单体皂苷Rb1的积累。其中0.5mg/L的IBA能显著促进人参毛状根的生长(月增长量为50.73g/L)和总皂苷(质量分数为3.31%)的积累,单体皂苷Rb1(质量分数为2.293%)的含量也明显增大,使其在总皂苷中所占的比例增大。另外,2种诱导子对人参毛状根的生长无明显促进作用,在适当的浓度下能够促进人参毛状根人参皂苷的积累,并且这两种诱导子对人参皂苷含量的增加具有明显的协同作用,当MJA与SA浓度均为0.001mmol/L时,其对总皂苷和单体皂苷的积累比二者单独作用要大。     

基于jQuery的动态虚拟场景技术研究

介绍了X3D(eXtensible 3D)虚拟现实技术的特点,分析了使用SM修改虚拟场景的方法.在分析Ajax技术在X3D虚拟现实系统开发中使用现状及存在问题的基础上,提出将jQuery库引入到X3D虚拟系统开发过程中.该方法通过与SAI(scene access interface)的结合,实现了虚拟场景的动态加载和更新,有效提高了系统的开发效率.最后给出了相关应用实例.