程世辉
- 作品数:22 被引量:120H指数:5
- 供职机构:河南教育学院信息技术系更多>>
- 发文基金:河南省科技攻关计划郑州市科技攻关计划项目中国博士后科学基金更多>>
- 相关领域:自动化与计算机技术理学文化科学社会学更多>>
- 信号量和进程互斥
- 2005年
- 本文给出了信号量的具体含义并提出用P,V原语实现进程互斥的一般模型.
- 程世辉高景丽
- 关键词:信号量互斥
- 先来先服务(FCFS)调度算法响应时间的计算被引量:3
- 2006年
- 本文给出了操作系统中先来先服务(FCFS)调度算法响应时间的计算.
- 程世辉张林
- 关键词:先来先服务
- 一阶非线性单实变量复Cauchy问题解的惟一性
- 2001年
- 一阶非线性复柯西问题的C2 类复值解的惟一性至今还没有定论 ,本文在限制了若干条件的情况下 ,在一点的邻域里讨论了其C2
- 张松枝焦留旺程世辉
- 关键词:全纯函数非线性
- 基于遗传算法的文件满TRIE结构最小化问题研究
- 2002年
- 提出了用遗传算法寻求一个检索顺序来构造文件较小或最小的满结构的方法。
- 程世辉
- 关键词:TRIE结构遗传算法数据结构最小化问题
- 树的等价定义及其证明被引量:1
- 2003年
- 本文给出并证明了树的七种等价定义。
- 程世辉高景丽
- 关键词:图论等价定义连通图回路
- 二阶非线性中立型泛函微分方程的振动定理(英文)被引量:2
- 2001年
- 本文研究一类具有变系数和变偏差的二阶非线性中立型微分方程,得到了这类方程的所有有界解都振动的Sharp条件,并给出了这类方程的线性化振动准则,
- 王其如程世辉
- 关键词:非线性中立型泛函微分方程振动定理线性化
- 河南省中小学教师信息技术应用能力评价研究被引量: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 进行了研究 .根据该问题的性质 ,我们设计一个分枝定界算法 .
- 程世辉朱连军
- 关键词:分枝定界算法