一种基于QVT的模型转换技术

提出一种基于查询/视图/转换(QVT)规范的模型转换技术, 并采用这种模型转换技术, 利用Kermeta语言中的模型转换功能, 通过对QVT核心分层, 设计了一种基于映射四层QVT结构的模型转换工具, 实现了Ecore元模型到Kmt元模型的转换.     

一类离散正交三角变换快速算法

根据离散三角变换的一般形式,在正交条件下,按频域分法提出了一类具有二分结构的快速算法,其运算量为ｏ（Ｎｌｏｇ2Ｎ).这样,离散余弦、离散正弦、离散W变换快速算法就有了一个统一的格式.     

河南省旅游竞争力评价与对策研究

旅游竞争力是资源优势、市场能力、产业发展潜力和支持能力的综合反映,是实现旅游业可持续发展的重要保障.根据旅游竞争力的内涵,运用层次分析法建立旅游竞争力评价指标体系,并计算出河南省旅游竞争力评价指数,在此基础上提出了提升河南省旅游竞争力的措施.研究结果表明,河南省旅游竞争力综合评价指数为0.43,旅游竞争力较弱;4个子系统中,旅游资源条件、市场开拓能力、产业发展能力较弱,产业支持能力则很弱。     

高原冻土地区公路边坡冻融稳定性及施工技术

以中国一带一路重点项目西藏自治区羊八井至大竹卡段公路改建工程为依托,研究了高原冻土地区公路边坡冻融稳定性及施工技术.采用有限元软件MIDAS-GTS NX建立边坡模型,运用强度折减法计算、分析了冻融循环前后公路边坡位移、应力及应变等力学特性的变化规律,并与施工现场检测数据进行对比分析.结果表明:边坡水平方向上的最大位移...     

深海"风暴"

在人们的印象中,深海底是一个美丽幽静的世界。最近,美国马萨诸塞州伍兹霍尔海洋研究所的科学家们说:海底并不平静,类似陆地上飓风的各种激流,一年四季都在横扫海底世界的一切。海洋科学家把这些激流称为“海底风暴”。它犹如强大的龙卷风,旋转着横扫海底。“海底风暴”的破坏力极强,它会冲掉安装在海底的科学仪器,毁坏海底通信电缆,甚至可能危及海上石油钻井平台。在20世纪80年代,还很少有人相信海底“风暴”的存在。一些科学家甚至认为:从物理学的角度分析,海底“风暴”是不可能存在的。因为海底受到上层水的重大压力,表层海流影响不到海…     

淋巴囊肿病病毒主要衣壳蛋白1.3 kb基因片段的原核表达

取淋巴囊肿病病毒感染牙鲆组织,蛋白酶K裂解,PCR法成功获得了淋巴囊肿病病毒主要衣壳蛋白1.3 kb基因片段.构建其原核表达载体,IPTG诱导表达.结果表明,该融合蛋白分子量约70 kD,可与抗LCDV多克隆血清特异反应.为LCDV基因工程疫苗的研制奠定了实验基础.     

肋环形平面结构失谐振动模态局部化问题的研究

对失谐肋环形平面结构的振动模态局部化问题进行了研究。将径向杆模拟为一端固定一端简支的超静定梁。环向连接杆模拟为无质量的线弹簧,采用Hamilton变分原理和Galerkin方法,导出了系统的运动方程表达式。分别计算出了谐调和失谐情况下的模态振型,并对计算结果进行分析讨论。     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

天津地区的独立学院专职专任教师队伍结构情况探讨与分析

教学质量是独立学院办学特色的生命线，而这往往取决于高素质的师资队伍。本文对天津地区独立学院的专职专任教师队伍现状以及存在的问题进行了深入分析，从政府、学院、教师个体等各层面努力探索适应独立学院特点的师资队伍建设新途径，对于提高教育教学质量具有重要意义。     

假设检验的可视化教学

利用大家熟悉的ExceI软件，解决假设检验的相关问题。