您的位置: 专家智库 > >

陈国龙

作品数:70 被引量:105H指数:7
供职机构:宿州学院信息工程学院更多>>
发文基金:安徽省高校省级自然科学研究项目国家自然科学基金安徽省优秀青年科技基金更多>>
相关领域:理学自动化与计算机技术文化科学电子电信更多>>

文献类型

  • 59篇期刊文章
  • 5篇会议论文
  • 5篇专利
  • 1篇学位论文

领域

  • 41篇理学
  • 17篇自动化与计算...
  • 6篇文化科学
  • 3篇电子电信
  • 1篇机械工程

主题

  • 19篇模型论
  • 10篇除环
  • 8篇定理
  • 5篇代数
  • 5篇紧致
  • 5篇紧致性
  • 5篇紧致性定理
  • 5篇高校
  • 4篇教学
  • 3篇电子商务
  • 3篇电子商务体系
  • 3篇商务
  • 3篇前臂
  • 3篇写字
  • 3篇逻辑
  • 3篇密码
  • 3篇课程
  • 3篇机器人
  • 3篇铰接
  • 3篇本科

机构

  • 25篇淮北煤炭师范...
  • 23篇淮北师范大学
  • 21篇宿州学院
  • 13篇中国科学院软...
  • 2篇中国科学院
  • 2篇中国科学院等...
  • 1篇安徽大学
  • 1篇安徽工贸职业...
  • 1篇蚌埠学院
  • 1篇华北电力大学

作者

  • 70篇陈国龙
  • 5篇张益铭
  • 5篇王超
  • 5篇张龙
  • 5篇万展翔
  • 4篇胡智文
  • 4篇董全德
  • 4篇张明新
  • 3篇路凌峰
  • 3篇张万礼
  • 3篇潘正高
  • 3篇宋启祥
  • 3篇王振山
  • 2篇李贵明
  • 2篇罗家融
  • 2篇魏仕民
  • 2篇段彦峰
  • 2篇武成伟
  • 2篇周玮
  • 2篇王学峰

传媒

  • 7篇佳木斯大学学...
  • 6篇淮北煤炭师范...
  • 5篇计算机工程
  • 5篇宿州学院学报
  • 4篇淮北煤师院学...
  • 4篇洛阳师范学院...
  • 3篇计算机工程与...
  • 3篇长江大学学报...
  • 2篇数学学报(中...
  • 2篇数学进展
  • 2篇应用数学
  • 2篇数学杂志
  • 2篇淮北师范大学...
  • 1篇进展
  • 1篇Journa...
  • 1篇高校应用数学...
  • 1篇工科数学
  • 1篇网络安全技术...
  • 1篇科学技术与工...
  • 1篇国家教育行政...

年份

  • 1篇2022
  • 3篇2020
  • 4篇2019
  • 2篇2018
  • 3篇2017
  • 2篇2016
  • 5篇2015
  • 2篇2014
  • 8篇2013
  • 4篇2012
  • 2篇2010
  • 4篇2008
  • 3篇2007
  • 3篇2006
  • 2篇2005
  • 6篇2004
  • 1篇2002
  • 3篇2001
  • 9篇2000
  • 3篇1999
70 条 记 录,以下是 1-10
排序方式:
在Visual Studio.NET中通过鼠标自动控制实现程序的自动化操作被引量:2
2004年
Windows系统本身是一个消息系统,消息传递是其核心。通过向窗口对象发送鼠标点击消息来实现鼠标的自动控制,以及通过Sendkeys类将键击和组合键击发送到活动应用程序来模拟键盘的输入等方法来实现应用程序运行的自动化。文章着重就在VisualStudio.NET中实现鼠标的自动控制、以及实现程序的自动化操作过程中需要解决的一些关键问题作深入的探讨。
胡智文陈国龙
关键词:鼠标自动控制APISTUDIO.NET
以评促建 全面提升我校办学质量
2007年
评估工作是国家教育行政主管部门宏观统筹高等教育工作的一项举措,同时也是提高高等教育教学质量的一项重要举措。各高校非常重视通过评估来促建、推改、规范管理,我校2007年将迎来教育部本科教学工作水平评估工作,对此我校以提高认识,建立组织、加强检查等措施着力推进教学评建工作。
陈国龙喻道安刘超王瑛
关键词:教学评估
基于Web的极向场远程控制系统设计与实现被引量:2
2006年
利用Microsoft.NET的托管服务,构建基于Web计算的极向场远程控制系统,为合作伙伴提供协同实验的应用平台。该系统中,通过设计托管控件来封装业务逻辑,实现了增强型的B/S计算结构,解决控制过程中复杂的科学计算,并实现了灵活的实验同步监控。此外,在数据交换机制中,部署了Web Services和Data File Services两层服务。最后讨论了该系统与本地实验控制系统的接口功能及其安全机制。
张明新罗家融李贵明王华陈国龙
关键词:数据服务XML
模型论的研究及其应用
模型论是数理逻辑的主要分只学科之一,是研究形式语言及其解释(模型)之间关系的理论.数理逻辑中以一阶逻辑发展最为成熟.所以模型论也是以一阶模型论的内容最为丰富,应用也最多.模型论的成果不但是作为数学性的结论起作用,而且是作...
陈国龙
关键词:模型论数理逻辑
文献传递
认知与探索:地方本科高校的创业型大学建设之路被引量:3
2020年
地方本科高校走创业型大学的发展之路,是回应人才培养模式改革的必然要求,是学校追求非同质化、特色发展的必然要求。地方本科高校建设创业型大学具有与“地方”的亲缘性优势。地方本科高校自身的科学研究水平不高、产学研运行机制不畅通、外部评价导向性不明显等,是影响其创业型大学建设的重要因素。地方本科高校是建设创业型大学的应然主体,当务之急是遵循创业型大学建设规律,汇聚学术资源、理顺产学研关系、深化内部改革。
陈国龙
关键词:地方本科高校
基于ERD/ERS现象的运动想象脑电信号分类研究被引量:4
2015年
运动想象脑电信号的分类正确率直接影响到BCI系统的应用价值.为了提高分类正确率,通过对脑电信号的特征提取和分类识别方法的研究,根据运动想象过程中的ERD/ERS现象,提出利用独立分量分析法对采集到的多导联运动想象脑电信号进行盲源分离,获取与想象任务相关的ICA滤波器,将其作用到预处理后的观测信号上,得到与想象任务相关的脑电成分,再以支持向量机为分类器来实现对三类运动想象任务的脑电信号进行分类识别的方法,并对三位受试者的脑电数据进行了分类实验,实验结果验证了该方法的有效性.
陈黎黎国红军陈国龙
关键词:独立分量分析特征提取
模型论中有关代数闭域的一个性质
2013年
模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.
张龙陈国龙万展翔
关键词:代数闭域
有关环的有限可公理化问题
2013年
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
万展翔陈国龙张龙
关键词:整环除环
无限集合的有限子集理论的等价转化
2000年
利用Ehrenfeucht博奕 。
陈国龙
关键词:等价转化
紧致性定理在近世代数中的应用被引量:3
2012年
模型论中紧致性定理在代数中有很广泛的应用。用紧致性定理证明了若L中的理论.T有任意大特征的整环或除环模型,则T有特征为O的整环或除环模型;若一个语句(?)在任意一个特征为零的整环或除环中为真,则对任意的自然数n,存在素数P>n,使(?)在特征为P的整环或除环中真。
段彦峰陈国龙武成伟
关键词:模型论紧致性定理整环除环
共7页<1234567>
聚类工具0