您的位置: 专家智库 > >

程世辉

作品数:22 被引量:122H指数:5
供职机构:河南教育学院信息技术系更多>>
发文基金:河南省科技攻关计划郑州市科技攻关计划项目中国博士后科学基金更多>>
相关领域:自动化与计算机技术理学文化科学社会学更多>>

文献类型

  • 21篇中文期刊文章

领域

  • 11篇自动化与计算...
  • 5篇理学
  • 3篇文化科学
  • 2篇经济管理
  • 2篇社会学
  • 1篇交通运输工程

主题

  • 4篇网络
  • 3篇网络安全
  • 2篇遗传算法
  • 2篇舆情
  • 2篇政府
  • 2篇网络舆情
  • 2篇基于遗传算法
  • 2篇非线性
  • 2篇负面
  • 1篇到发线
  • 1篇到发线运用
  • 1篇等价
  • 1篇等价定义
  • 1篇调度
  • 1篇调度算法
  • 1篇定理
  • 1篇动点
  • 1篇信号量
  • 1篇信息技术
  • 1篇一阶非线性

机构

  • 19篇河南教育学院
  • 3篇河南财政税务...
  • 3篇四川大学
  • 2篇中山大学
  • 2篇武汉理工大学
  • 2篇河南财经政法...
  • 1篇东南大学
  • 1篇华南农业大学
  • 1篇中国科学院数...
  • 1篇焦作建筑经济...

作者

  • 21篇程世辉
  • 6篇孙飞显
  • 3篇徐明洁
  • 2篇倪天林
  • 2篇王其如
  • 2篇郭改文
  • 2篇靳晓婷
  • 1篇朱连军
  • 1篇王电钢
  • 1篇邢利红
  • 1篇王继先
  • 1篇焦留旺
  • 1篇倪建成
  • 1篇张松枝
  • 1篇高瑾
  • 1篇刘孙俊
  • 1篇李文权
  • 1篇王炜
  • 1篇徐海涛
  • 1篇王铁方

传媒

  • 11篇河南教育学院...
  • 2篇情报杂志
  • 2篇计算机应用研...
  • 1篇系统工程理论...
  • 1篇信阳师范学院...
  • 1篇计算机工程
  • 1篇中山大学学报...
  • 1篇Journa...
  • 1篇科技创新导报

年份

  • 3篇2015
  • 1篇2014
  • 2篇2009
  • 4篇2007
  • 2篇2006
  • 1篇2005
  • 1篇2003
  • 3篇2002
  • 2篇2001
  • 2篇2000
22 条 记 录,以下是 1-10
排序方式:
信号量和进程互斥
2005年
本文给出了信号量的具体含义并提出用P,V原语实现进程互斥的一般模型.
程世辉高景丽
关键词:信号量互斥
先来先服务(FCFS)调度算法响应时间的计算被引量:3
2006年
本文给出了操作系统中先来先服务(FCFS)调度算法响应时间的计算.
程世辉张林
关键词:先来先服务
一阶非线性单实变量复Cauchy问题解的惟一性
2001年
一阶非线性复柯西问题的C2 类复值解的惟一性至今还没有定论 ,本文在限制了若干条件的情况下 ,在一点的邻域里讨论了其C2
张松枝焦留旺程世辉
关键词:全纯函数非线性
基于遗传算法的文件满TRIE结构最小化问题研究
2002年
提出了用遗传算法寻求一个检索顺序来构造文件较小或最小的满结构的方法。
程世辉
关键词:TRIE结构遗传算法数据结构最小化问题
树的等价定义及其证明被引量:1
2003年
本文给出并证明了树的七种等价定义。
程世辉高景丽
关键词:图论等价定义连通图回路
Oscillation Theorems of Second Order Nonlinear Neutral Functional Differential Equations被引量:2
2001年
This paper, we discuss a class of second order nonlinear neutral differential equations with variable coefficients and variable deviations, Sharp conditions are established for all bounded solutions of the equations to be oscillatory, Linearized oscillation criteria of the equations are also given,
王其如程世辉
河南省中小学教师信息技术应用能力评价研究被引量:2
2015年
针对河南省中小学的现状,按照教育部的相关标准,在调研的基础上,设计了由5个维度构成的中小学教师信息技术应用能力评判指标体系,给出了各要素的评价准则和度量方法,为河南省中小学教师信息技术应用能力提升研究奠定了基础.
程世辉孙飞显郭改文
关键词:中小学教师信息技术
二阶非线性中立型时标动态方程非振动解的存在性被引量:5
2009年
利用Krasnoselskii不动点定理,建立了研究二阶非线性中立型时标动态方程[r(t)(x(t)+p(t)x(t-τ))Δ]Δ+∑mi=1Qi(t)fi(x(t-σi))=0,t∈T的非振动解的存在性条件。所得结果包含二阶非线性中立型微分方程相应的结论,并给出二阶非线性中立型差分方程新的判别准则。
高瑾程世辉王其如
关键词:非振动解中立型KRASNOSELSKII不动点定理
基于ARM-linux的智能家居控制系统的设计
2014年
该文主要针对智能家居的实现技术,提出了一种基于无线通信技术WIFI作为连接介质,以ARM(Advanced RISC Machines)搭配LINUX系统即ARM-LINUX为核心控制系统。该系统以89C52单片机作为外设控制节点,以PC上位机以及移动终端应用软件实现人机交互的智能家居实现方案。由该系统提供的解决方案与传统的智能家居方案相比,具备更容易安装,更易于按需求定制的优点。
程世辉刘桂玲杨学涯杨越徐海涛
关键词:智能家居ARMLINUXWIFI
公共工期排序问题的分枝定界算法被引量:1
2002年
本文着重对以极小化延误损失为目标的公共工期单机排序问题 1|d|ΣWiTi 进行了研究 .根据该问题的性质 ,我们设计一个分枝定界算法 .
程世辉朱连军
关键词:分枝定界算法
共3页<123>
聚类工具0