期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
X语言、方法及工具——支持MBSE的新一代一体化建模仿真技术体系
1
作者 张霖 陈真 +3 位作者 古鹏飞 谢堃钰 吴卓屹 章宇腾 《系统仿真技术》 2024年第1期1-14,共14页
在当前基于模型的系统工程(MBSE)实践中,基于现有的建模语言、方法与工具,仍难以实现系统设计与仿真验证之间真正的闭环,因此无法完整体现MBSE的全部价值。针对这一问题,本研究较为系统地介绍了新一代建模仿真语言——X语言及其技术体系... 在当前基于模型的系统工程(MBSE)实践中,基于现有的建模语言、方法与工具,仍难以实现系统设计与仿真验证之间真正的闭环,因此无法完整体现MBSE的全部价值。针对这一问题,本研究较为系统地介绍了新一代建模仿真语言——X语言及其技术体系,具体包括混合系统建模框架——XDEVS,X语言架构及基本要素,X语言支持下基于建模仿真的系统工程方法论——X-SEM,以及面向X语言的建模仿真软件——XLab。基于X语言技术体系可以实现全系统统一建模和一体化仿真验证。最后用一个案例展示了基于X语言及其工具并遵循X-SEM方法论的系统开发过程。 展开更多
关键词 x语言 基于模型的系统工程 一体化建模仿真 系统设计
下载PDF
基于X语言的起飞场景民机协同设计与仿真一体化方法 被引量:3
2
作者 古鹏飞 张霖 +1 位作者 陈真 叶俊杰 《系统仿真学报》 CAS CSCD 北大核心 2022年第5期929-943,共15页
针对大型复杂产品,传统基于模型的系统工程(model-based system engineering,MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复... 针对大型复杂产品,传统基于模型的系统工程(model-based system engineering,MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。 展开更多
关键词 复杂产品 x语言 基于模型的系统工程 建模仿真 协同优化
原文传递
MINIX中的Intel x86汇编语言
3
作者 毛耀 杨颂华 《西南民族大学学报(自然科学版)》 CAS 2003年第5期615-620,共6页
MINIX是一种教学用的类UNIX操作系统,是学习操作系统的重要实例,但其源代码中有很多底层的代码使用 了特殊的汇编语言,目前尚无这种汇编语言完整准确的说明,给MINIX的研究者带来很大的困难.从代码编译、文件 结构、汇编代码和C代码的相... MINIX是一种教学用的类UNIX操作系统,是学习操作系统的重要实例,但其源代码中有很多底层的代码使用 了特殊的汇编语言,目前尚无这种汇编语言完整准确的说明,给MINIX的研究者带来很大的困难.从代码编译、文件 结构、汇编代码和C代码的相互调用、语法四个方面详细准确地解释了MINIX操作系统中汇编语言的使用. 展开更多
关键词 MINIx INTEL x86汇编语言 代码编译 文件结构 汇编代码 C代码 语法
下载PDF
x86汇编语言多任务虚拟机的设计与实现
4
作者 黄彪 李潭洪 +1 位作者 刘聪 张磊 《现代计算机》 2011年第7期89-92,共4页
基于虚拟机技术的设计思想,设计一个具有多任务特性的汇编程序虚拟机并实现。针对汇编程序的特点,设计汇编虚拟机内核多任务调度机制,使之可同时运行多个汇编程序。通过实验证明,在此具有多任务特性的x86汇编虚拟机上能够较好地实现多... 基于虚拟机技术的设计思想,设计一个具有多任务特性的汇编程序虚拟机并实现。针对汇编程序的特点,设计汇编虚拟机内核多任务调度机制,使之可同时运行多个汇编程序。通过实验证明,在此具有多任务特性的x86汇编虚拟机上能够较好地实现多任务的无错误运行。 展开更多
关键词 x86汇编语言 多任务 虚拟机
下载PDF
应用型本科院校“语言素养类课程+X”模式改革与实践
5
作者 吴燕侠 《湖北开放职业学院学报》 2021年第5期148-149,共2页
在应用型本科院校语言素养类课程改革的背景下,基于1340名北部湾大学本科生“语言素养与能力提升”调查,从实际教学经验出发,深入分析语言素养类课程存在的问题。从人才培养方案修订、语言素养类课程体系建设、教学模式改革与课程考核... 在应用型本科院校语言素养类课程改革的背景下,基于1340名北部湾大学本科生“语言素养与能力提升”调查,从实际教学经验出发,深入分析语言素养类课程存在的问题。从人才培养方案修订、语言素养类课程体系建设、教学模式改革与课程考核方式变革等四个方面进行策略研究和实践,并取得良好的实践成果。 展开更多
关键词 语言素养 应用型本科院校 语言素养类课程+x”模式
下载PDF
构式“X言Y语”探究
6
作者 柴雨辰 《贵州工程应用技术学院学报》 2023年第4期16-23,共8页
以构式语法理论为指导对“X言Y语”构式进行了描写和探讨。结果表明:能进入构式“X言Y语”的词性以形容词和名词为主;该构式的网络体系可分为微观、中观、宏观三级;该生成及发展是构式互动的结果;该构式具有主观评价、表达修辞效果、传... 以构式语法理论为指导对“X言Y语”构式进行了描写和探讨。结果表明:能进入构式“X言Y语”的词性以形容词和名词为主;该构式的网络体系可分为微观、中观、宏观三级;该生成及发展是构式互动的结果;该构式具有主观评价、表达修辞效果、传递感情色彩的语用功能。 展开更多
关键词 x言Y语” 构式 网络体系 互动机制 语用功能
下载PDF
X10并行程序中静态数据竞争检测
7
作者 王旭 陈雨亭 《计算机工程》 CAS CSCD 2012年第15期35-38,42,共5页
在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存... 在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存对计算和逃逸访存对计算4个阶段。通过在WALA框架中分析构建程序的调用图,计算源访存对集合,检测出内存访存中可能发生数据竞争的无序对。实验结果表明,该算法可以在不显著增加X10并行程序总体运行时间的情况下,达到比较理想的数据竞争检测效果。 展开更多
关键词 x10语言 数据竞争 并行程序分析 静态检测 多线程
下载PDF
半群X*的一族极大自由幺子半群的推广 被引量:1
8
作者 赵平 陈云坤 +1 位作者 徐波 汪莉萍 《贵州师范大学学报(自然科学版)》 CAS 2011年第2期81-83,共3页
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,A=B2∪E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM2-1B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群。利用文[2]的结果证明了对N≥2,幺半... 设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,A=B2∪E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM2-1B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群。利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的极大自由幺子半群. 展开更多
关键词 极大码 自由幺半群 极大自由幺子半群 语言图Γ(x*)
下载PDF
X86汇编程序可视调试虚拟机的设计与实现
9
作者 苏庆 吴伟民 +2 位作者 黄彪 刘沛昌 刘聪 《计算机工程与设计》 CSCD 北大核心 2012年第7期2858-2863,共6页
应用虚拟机构建技术与可视化技术相结合,设计一个汇编程序可视化集成开发环境X86VVM2。实现了一个可执行X86汇编程序的虚拟机内核,在此内核的基础上,进行对程序运行时数据及其执行过程的可视化研究,实现CPU寄存器值及寄存器之间的数据... 应用虚拟机构建技术与可视化技术相结合,设计一个汇编程序可视化集成开发环境X86VVM2。实现了一个可执行X86汇编程序的虚拟机内核,在此内核的基础上,进行对程序运行时数据及其执行过程的可视化研究,实现CPU寄存器值及寄存器之间的数据交换可视化、堆栈信息可视化、代码跟踪和调试可视化。同时也实现了一个可视化代码编辑器。经过实验与分析,具备可视调试特征的X86汇编程序集成开发环境可令程序设计者更为直观地理解汇编程序的执行过程,提高调试效率。 展开更多
关键词 x86汇编语言 虚拟机技术 可视化 调试 代码跟踪
下载PDF
X3DOM技术在网络教育中的研究与应用
10
作者 仇宾 王忠芝 《电脑编程技巧与维护》 2013年第4期103-104,共2页
介绍了一种新的Web3D技术X3DOM,应用该技术可以较好的在网络中传输、显示3D内容,解决了网络教育中3D内容的显示问题,丰富了网络教育的媒体类型。
关键词 网络教育 x3DOM语言 3D内容 WEB3D技术
下载PDF
基于X3DOM的3D阅览室构建
11
作者 刘玉 王娜 付鹏伟 《电脑编程技巧与维护》 2013年第4期101-102,共2页
X3DOM作为一种无需插件的Web3D技术显示出强大的发展潜力,应用领域也非常广阔,虚拟场馆的建设是其优势之一。近年来,随着网络的发展,电子阅览室受到越来越大的冲击,逐渐萎缩,传统阅览室则一直受到其自身空间、时间以及资源的限制。使用X... X3DOM作为一种无需插件的Web3D技术显示出强大的发展潜力,应用领域也非常广阔,虚拟场馆的建设是其优势之一。近年来,随着网络的发展,电子阅览室受到越来越大的冲击,逐渐萎缩,传统阅览室则一直受到其自身空间、时间以及资源的限制。使用X3DOM构建的3D阅览室,可以在网络上呈现了一个仿真的、资源丰富的虚拟阅览室,它克服了电子阅览室和传统阅览室的弱点,并集合了二者的优点,具有一定的发展潜力。 展开更多
关键词 x3DOM语言 3D阅览室 WEB3D技术
下载PDF
采用PaaS模式的机械产品三维模型动态展示平台
12
作者 骆正茂 王娟 《现代制造工程》 CSCD 北大核心 2011年第3期32-35,共4页
鉴于中小企业无能力、无资金建立自己的网站宣传产品,开发了基于PaaS模式的机械产品三维模型动态展示平台。平台采用五层架构实现,使用X3D语言展示三维模型,通过SAI方式实现动态交互。结合机械产品非结构化数据多且数据量大的特点,... 鉴于中小企业无能力、无资金建立自己的网站宣传产品,开发了基于PaaS模式的机械产品三维模型动态展示平台。平台采用五层架构实现,使用X3D语言展示三维模型,通过SAI方式实现动态交互。结合机械产品非结构化数据多且数据量大的特点,考虑节省数据库物理空间,将X3D文件及三维模型文件放在服务器端,通过Production表来索引相关文件。展示平台显示三维模型速度快,动态交互性强,有利于宣传企业产品。 展开更多
关键词 Paas语言 x3D语言 三维模型展示 动态交互
下载PDF
信号码的刻划及性质
13
作者 胡华碧 赵平 +1 位作者 胡思贵 杨梅 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2010年第4期583-587,共5页
设X*是字母表X上的自由幺半群,引入语言图Γ(X*)的共同横截集概念.利用语言图Γ(X*)的横截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A为语言图Γ(X*)的横截集,给出了信号码的一些刻划和性质.
关键词 极大前缀码 语言图Γ(x*)的横截集 信号码
下载PDF
信号码的一个性质
14
作者 胡华碧 赵平 +1 位作者 胡思贵 刘晓春 《贵州师范大学学报(自然科学版)》 CAS 2010年第2期66-68,共3页
设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。
关键词 极大前缀码 语言图Γ(x*)的横截集 信号码
下载PDF
极大前缀码的一个性质
15
作者 赵平 陈云坤 +1 位作者 胡华碧 郭凯 《四川理工学院学报(自然科学版)》 CAS 2011年第1期27-28,共2页
设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了极大前缀码的一个性质。
关键词 前缀码 极大前缀码 语言图Γ(x*)的横截集
下载PDF
信号码的一个刻划
16
作者 胡华碧 郭凯 陈琳 《四川理工学院学报(自然科学版)》 CAS 2010年第5期511-512,515,共3页
设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了信号码的一个刻划。
关键词 极大前缀码 语言图Γ(x*)的横截集 信号码
下载PDF
极大前缀码的部分幂
17
作者 胡华碧 赵平 +1 位作者 胡思贵 杨梅 《南昌大学学报(理科版)》 CAS 北大核心 2010年第5期443-446,共4页
设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了极大前缀码的一些性质,给出了极大前缀码的部分幂的一些性质,并推广了相关文献的结果。
关键词 极大前缀码 极大前缀码的部分幂 语言图Γ(x*)的横截集
下载PDF
极大前缀码的刻划 被引量:14
18
作者 赵平 徐波 《数学的实践与认识》 CSCD 北大核心 2007年第9期168-171,共4页
设X*是字母表X上的自由幺半群,本文通过以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了极大前缀码的一个刻划.同时,证明了满足含有X中字母且长度有限的极大前缀码必是极大码.
关键词 极大码 极大前缀码 语言图Г(x’) 语言图Г(x')的横截集
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部