搜索筛选:
搜索耗时0.4630秒,为你在为你在102,267,441篇论文里面共找到 321 篇相符的论文内容
发布年度:
[期刊论文] 作者：古天龙,,
来源：计算机教育 年份：2016
桂林电子科技大学（简称＂桂电＂）是一所电子信息特色鲜明的地方院校,建校50多年来,为国家、行业和地方培养了大批人才,特别是桂电计算机专业,创建30多年来成绩斐然,在国内外享有盛......
[期刊论文] 作者：古天龙,
来源：系统仿真学报 年份：1994
本文定义了一类扩展基本ｐｅｔｒｉ网及其迁移的引发规则，给出了其在极大代数意义下的状态转移方程。在此基础上。给出了组合逻辑电路的扩展基本ｐｅｔｒｉ网仿真分析法。...
[期刊论文] 作者：古天龙,,
来源：桂林电子工业学院学报 年份：1992
Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应...
[期刊论文] 作者：古天龙,
来源：桂林电子工业学院学报 年份：2000
近些年来，形式化技术的工业应用得到了长足的发展，并愈来愈引导卢研究人员的关注。形式化技术的成功应用归咨于：便于理解和描述的严格、可视规格语言的建立；可用于系统分析、验证......
[期刊论文] 作者：古天龙,,
来源：桂林电子科技大学学报 年份：2010
有序二叉决策图OBDD（Ordered Binary Decision Diagram）是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新...
[期刊论文] 作者：古天龙,,
来源：中国大学教学 年份：2019
数字经济是继农业经济、工业经济之后的新型经济形态。伴随着数字经济的发展和不断壮大,满足这一新型经济形态的人才需求愈来愈强烈。数字经济催生了新工科这一高等教育新理...
[期刊论文] 作者：古天龙,
来源：中国大学教学 年份：2020
摘 要：以人工智能为引领的新一轮技术革命催生新的产业革命，推动人类社会迈入人工智能时代。人工智能不仅是推动技术进步和产业发展的核心技术，而且已成为劳动者从业的必备之技和人们生活的必要素养。随着人工智能相关产业和经济的发展，人工智能专业的人才需求愈来......
[期刊论文] 作者：古天龙,
来源：西安电子科技大学学报 年份：1989
本文给出了一种利用泰勒级数估计双线性系统参数的方法。通过将输入输出进行泰勒级数展开,把原微分方程模型转化成一个代数方程,进而利用最小二乘原理得到参数的估值。...
[期刊论文] 作者：古天龙,
来源：西安电子科技大学学报 年份：1990
本文给出了分段线性函数的一些运算性质,利用这一性质对线性时变系统状态方程进行求解,推导出了形式简明、便于应用的递推算法。分段线性函数算法具有较高的分析精度。...
[期刊论文] 作者：古天龙,
来源：西安电子科技大学学报 年份：1989
...
[期刊论文] 作者：古天龙,,
来源：黑龙江自动化技术与应用 年份：1989
本文引入了Taylor级数基函数的微分运算矩阵及向量积矩阵，给出了非线性时变系统参数辨识的Taylor级数方法。...
[期刊论文] 作者：古天龙,
来源：电子机械工程 年份：1989
引言许多实际的机械系统可以简化为一个单自由度系统,因此,单自由度系统的减振问题已引起了人们的关注。由于对原系统进行修正往往是不切实际的,所以通常采用的方法是增...
[期刊论文] 作者：古天龙,
来源：计算机教育 年份：2008
ACM和IEEE-CS联合任务组提交的计算教程CC2005，对计算机学科相关专业的教学产生了重大的影响。本文对计算教程CC2005中相关专业的知识体系进行了分析，讨论了形式化方法的相关课...
[期刊论文] 作者：古天龙,,
来源：中国大学教学 年份：2007
本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroupon Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分...
[期刊论文] 作者：古天龙,
来源：实验技术与管理 年份：2011
以培养＂务实创新的高素质应用型人才＂为目标,阐述了在课程模式、实验内容、实习实训及第二课堂领域所进行的建设实践,并对进一步改革培养模式,强化学生创新精神和工程能力进行......
[期刊论文] 作者：古天龙,
来源：系统工程与电子技术 年份：1989
本文考虑了二维电磁场的数值计算问题,给出了二维电磁场数值计算中的延拓有限元技术。其特点在于:利用单元外部邻近节点信息构造单元内近似函数,从而在不增加场域离散网格的...
[期刊论文] 作者：古天龙,,
来源：电子机械工程 年份：1989
延拓有限元分析为一高精度的有限元分析技术,本文将其应用于机械构件平面问题热变形的分析计算,并给出了数值算例。...
[期刊论文] 作者：古天龙,
来源：桂林电子工业学院学报 年份：1996
离散事件系统的形式语言／自动机逻辑控制理论包括：监控和状态反馈控制两种形式。作者在文献「１」中讨论了考虑事件并发下离散事件系统的形式语言／自动机描述以及逻辑监拧问题。作......
[期刊论文] 作者：古天龙,
来源：桂林电子工业学院学报 年份：1992
基于Gershwin等学者的工作,本文对制造系统中离散事件的递阶控制进行了研究,给出了一种新的实时反馈递阶控制策略。...
[期刊论文] 作者：古天龙,,
来源：桂林电子工业学院学报 年份：1992
本文用极大代数对多托盘、有限缓存器串行生产系统建立了状态方程,讨论了如何通过系统分析来研究加工排序、托盘配置和缓存器容量分布对系统运行效率的影响,并给出了确定系统...
相关搜索：
