期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于元建模的实时系统模型转换方法研究 被引量:8
1
作者 刘亚萍 黄志球 祝义 《小型微型计算机系统》 CSCD 北大核心 2010年第11期2145-2153,共9页
通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建... 通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性. 展开更多
关键词 模型转换 MARTE(modeling and analysis of REAL TIME and embeded systems) 模型验证 时间自动机
下载PDF
基于提花大圆机的花型数据转换与图形界面的研究
2
作者 吴晓光 刘玲 张驰 《武汉科技学院学报》 2008年第10期1-4,共4页
以ARM为硬件开发平台,针对针织提花大圆机选针器控制系统花型数据转换功能的研究。以QT平台下实现花型图形界面的设计,实现花型数据转换功能可视化操作,为已有的提花选针控制的移植工作奠定基础。
关键词 提花图形 QT/Embeded 界面的设计 可视化编程
下载PDF
基于Murphypinyin嵌入式键盘的移植与实现 被引量:4
3
作者 滑伟 《软件》 2012年第6期80-82,共3页
文中深入分析了Qt Embeded的输入法的实现原理,详细的介绍了Murphpinyin输入法的移植过程,实现了该输入法在嵌入式linux下的移植。
关键词 嵌入式系统 QT Embeded 中文输入法 Murphypinyin
下载PDF
电脑自动调线机控制系统研究与实现 被引量:2
4
作者 刘玲 《武汉科技学院学报》 2009年第1期13-16,共4页
以ARM9为硬件平台,针对电脑自动调线机的控制系统功能的研究,在QT开发平台下实现图形界面的设计及软件编程,使该软件在调线机手指切换功能方面具有良好的精确性和易编程性,完成了调线机的控制系统的可视化操作,为调线机的控制系统的移... 以ARM9为硬件平台,针对电脑自动调线机的控制系统功能的研究,在QT开发平台下实现图形界面的设计及软件编程,使该软件在调线机手指切换功能方面具有良好的精确性和易编程性,完成了调线机的控制系统的可视化操作,为调线机的控制系统的移植工作奠定了良好的基础。 展开更多
关键词 调线机 QT/Embeded 图形界面 可视化编程
下载PDF
Molecular dynamics simulation on generalized stacking fault energies of FCC metals under preloading stress 被引量:1
5
作者 张亮 吕程 +3 位作者 Tieu Kiet 赵星 裴林清 Michal Guillaume 《Chinese Physics B》 SCIE EI CAS CSCD 2015年第8期586-593,共8页
Molecular dynamics(MD) simulations are performed to investigate the effects of stress on generalized stacking fault(GSF) energy of three fcc metals(Cu, Al, and Ni). The simulation model is deformed by uniaxial tension... Molecular dynamics(MD) simulations are performed to investigate the effects of stress on generalized stacking fault(GSF) energy of three fcc metals(Cu, Al, and Ni). The simulation model is deformed by uniaxial tension or compression in each of [111], [11-2], and [1-10] directions, respectively, before shifting the lattice to calculate the GSF curve. Simulation results show that the values of unstable stacking fault energy(γusf), stable stacking fault energy(γsf), and unstable twin fault energy(γutf) of the three elements can change with the preloaded tensile or compressive stress in different directions.The ratio of γsf/γusf, which is related to the energy barrier for full dislocation nucleation, and the ratio of γutf/γusf, which is related to the energy barrier for twinning formation are plotted each as a function of the preloading stress. The results of this study reveal that the stress state can change the energy barrier of defect nucleation in the crystal lattice, and thereby can play an important role in the deformation mechanism of nanocrystalline material. 展开更多
关键词 molecular dynamics embeded atom method generalized stacking fault
下载PDF
使用EVC开发PDA/GPS海上引航系统
6
作者 张堂华 《导航》 2006年第2期47-54,共8页
目前,大型船舶普遍采用笔记本、光纤陀螺、DGPS所组成的引航系统进行海上定位、导航,但系统体积过大不易携带、功能相对简单。本文主要介绍在PDA平台开发GPS海上引航系统,其软件开发使用嵌入式Embeded Visual C++(EVC).
关键词 个人数字助理(PDA) GPS 引航 Embeded Visual C++(EVC)
下载PDF
The Superconductivity in Fe-Based Family of Superconductors and Its Electronic Structure Analysis in Presence of Dopants Rh and Pd
7
作者 Ronald Columbié-Leyva Alberto López-Vivas +2 位作者 ] Ulises Miranda Ilya G. Kaplan 《Journal of Quantum Information Science》 CAS 2022年第4期111-124,共14页
The discovered in 2008 Fe-based superconductors (SC) are a paramagnetic semimetal at ambient temperature and in some cases they become superconductor upon doping. In spite of so many years since its discovery it is st... The discovered in 2008 Fe-based superconductors (SC) are a paramagnetic semimetal at ambient temperature and in some cases they become superconductor upon doping. In spite of so many years since its discovery it is still not known the mechanism that leads to superconductivity. The electronic structure study is used for determining key features of the SC mechanism in these materials. The calculations were performed using the modern suite of programs MOLPRO 2021. We performed quantum calculations of a cluster embedded in a background charge distribution that represents the infinite crystal. The Natural Population Analysis was used for determining the charge and spin distribution in the studied materials. As follows from our results, the possible mechanism for superconductivity corresponds to the RVB theory proposed by Anderson for high T<sub>c</sub> superconductivity in cuprates. 展开更多
关键词 Iron-Based High-Tc Superconductors SUPERCONDUCTIVITY Embeded Cluster Method Natural Bonding Orbitals Analysis
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部