程世辉 作品数:22 被引量:122 H指数:5 供职机构: 河南教育学院信息技术系 更多>> 发文基金: 河南省科技攻关计划 郑州市科技攻关计划项目 中国博士后科学基金 更多>> 相关领域: 自动化与计算机技术 理学 文化科学 社会学 更多>>
信号量和进程互斥 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上位机以及移动终端应用软件实现人机交互的智能家居实现方案。由该系统提供的解决方案与传统的智能家居方案相比,具备更容易安装,更易于按需求定制的优点。 程世辉 刘桂玲 杨学涯 杨越 徐海涛关键词:智能家居 ARM LINUX WIFI 公共工期排序问题的分枝定界算法 被引量:1 2002年 本文着重对以极小化延误损失为目标的公共工期单机排序问题 1|d|ΣWiTi 进行了研究 .根据该问题的性质 ,我们设计一个分枝定界算法 . 程世辉 朱连军关键词:分枝定界算法