非抢占式实时任务1次容错调度

面向非抢占式任务实时调度问题,根据不同的故障间隔,推导出任务集合需要满足的条件.根据任务的可重复执行次数,分别设计了非抢占式固定优先级容错(NP-FP-FT)以及动态优先级容错(NP-DP-FT)调度算法,并与非抢占式最早期限优先容错(NP-EDF-FT)、非抢占式单调速率容错(NP-RM-FT)调度算法进行了对比分析.结果显示,采用非抢占式固定优先级算法调度的任务集合具有最低的任务失效率.     

一种面向通信领域的高效嵌入式操作系统进程队列模型

通信领域的应用程序运行时,往往会产生数目可观的就绪进程和延迟进程.如何合理组织这些进程并采用高效的调度算法是保障通信领域嵌入系统实时性和可靠性的关键.文章给出了一种更适用于通信领域应用的进程组织队列和调度模型.该模型中,进程就绪队列基于位图优先级组织,进程的调度也是采用基于位图的优先级调度算法;延迟进程队列采用循环计时多有序子队列模型.改造后的调度器模型可支持256个优先级,进程个数不受限,具有微秒常量级的进程切换时间及更高效的延迟队列处理能力.该模型的嵌入式操作系统更适用于通信领域的应用,实践证明通过在嵌入式Linux和μC/OS-Ⅱ上的改造,具有较大的实用价值.     

计算机网络数据链路层协议的一种设计方案的探讨

文章基于ISO/OSI七层模型,介绍了数据链路层协议设计的算法,并对该协议所采用的技术和方法加以讨论.这里,协议中采用编号的方法解决传输中的顺序控制问题,流量控制采用滑动窗口技术,及重发纠错处理差错问题.文中还定义了一种帧结构格式,传输控制规程采用HDLC,规定ACK、NAK控制帧作为传输中的肯定应答和否定应答.文中全部进程采用PASCAL语言进行编写.     

多机系统处理机调度算法的设计与实现

本文论述的是用IBMPC及其兼容机作为节点机组成的总线型紧耦合的多机系统中的处理机调度算法的设计与实现。作者根据各节点机具有独立工作能力主动性和智能性,设计并实现了一种适合本系统的面向实现的分布/集中式调度算法。分布在这里是指算法的局部算法是分布在各处理机上;集中在这里是指全局共享的控制数据是集中存放在共享存贮器中。用于实现调度的原语全部用C语言可调用的函数形式给出。     

一个机械化验证系统的研讨

程序验证是程序设计方法学中一个十分活跃的课题,但程序验证的过程又是一项十分繁琐的工作。因而,机械化验证系统的研讨引起了人们的重视。[3] 中作者提出了一种实现机械化验证的算法,[4] 中给出了证明蕴涵式 Q■R 永真的算法。在这些工作的基础上,我们使用 PASCAL 语言编制了一个简单的机械化验证系统,它主要由两个部分,即中间断言产生器和蕴涵式证明器组成。本文介绍了这一系统的一些基本内容。     

微内核调度系统研究

通过引入线程和处理机对象,使得微内核操作系统能够更好地支持多处理机体系结构.介绍了现有的微内核调度系统所采用的调度算法,有些算法是直接从进程调度算法扩展而来的.这些线程调度算法在调度时存在着公平性问题,同时,由于没有很好地利用线程的运行特点,调度系统开销较大.由此提出了一种新的同时兼顾进程和线程特点的调度算法,这种算法既解决了调度系统的公平性,同时又优化了系统性能.     

UNIX系统中调度程序的设计

UNIX系统中调度进程能维护多个进程的并发执行,维护进程的优先级、进程的行为和用户对优先级的要求,但系统提供的调度有时并不能满足用户的个人要求,如要求调度程序自动根据一定的条件,程序不断运行一些进程,做一些作业,检测并杀死挂起的进程等.针对这些问题详细讨论了进程启动,如何判断调度进程启动的进程中,哪些正在运行,哪些已经结束运行,如何判断一个进程是否挂死以及防止进程的重入.籍此用户可根据自己的需要,编写相应的调度程序.     

一种能自动均衡处理器负荷的仿真模型调度方案

本文针对目前采用序贯模块法，仿真开发环境在模型调度方面普遍存在的缺点，提出了一种新的模型调度方案，这种方案是基于可抢断式多线程并发机制的，能以不同频率执行模块，并能自动均衡处理器负荷。     

Linux2.6内核的实时调度的研究与改进

Linux操作系统由于其开源、稳定等特性，非常适合于嵌入式系统的开发，成为了嵌入式领域里发展最快的操作系统.改进Linux的实时性能，使其更加适应嵌入式的应用具有很大的实际意义，目前已经成为国内外计算机界的研究热点之一.针对通用Linux系统缺乏实时调度算法和机制的问题，借鉴了优秀的动态实时调度算法LSF(最小裕度优先算法)的“裕度”思想，将其与崭新的Linux2.6进程调度结构相结合，在保持了原有系统O(1)调度特性的同时，有效地增强了其实时调度能力.     

基于二进制粒子群算法的可中断负荷优化调度

可中断负荷是非常重要的需求侧资源.本文对于在保证系统安全的前提下进行可中断负荷的优化调度,基于二进制粒子群优化算法(BPSO)分时段优化调度特性不同的多个可中断负荷,以满足系统各时段削减容量的需求,同时满足可中断负荷的运行约束条件,并使供电公司支付的补偿费用最小以及执行中断的次数最少.使用加权的处理方法把可中断负荷优化...     

《劳务派遣暂行规定》浅析

《劳务派遣暂行规定》自2014年3月1日起施行,《规定》对用工单位使用劳务派遣用工进行了严格限制,并在辅助性岗位认定程序、用工比例、同工同酬待遇、异地派遣、过渡期等方面做了细致的规定。由于历史的原因,劳务派遣用工在企业中普遍存在,《规定》出台后,各用工单位需要加强政策研究,适应法规变化,优化用工策略,进一步提升用工的社会化、市场化和规范化水平。同时,也要加强劳务派遣用工的岗位、薪酬、福利、合同等管理,防范用工风险,维护企业和员工的利益。     

县级网络式电网调度自动化系统主站端的设计

根据目前计算机技术的发展水平和电力系统自动化发展的实际需要,县级电网调度自动化系统不断升级换代,而系统的升级换代主要是主站端的提高,为此设计了县级电网调度自动化系统主站端。该设计采用了网络式结构,增加了许多新的功能,使其系统结构合理、使用方便、技术先进、性能提高。     

露天矿生产的车辆调度模型

通过线性规划建立了露天矿电铲车、卡车优化配置的数学模型,并以问题自身的特点为基础设计了相应的快速算法,得到了具体的生产计划.针对不同的调度准则,建立了线形规划模型.将调度准则转化为目标函数,将一系列关键因素如卡车的不等待要求等转化为约束条件,求解结果为与最优值误差很小的近优值,这就保证了结果的精确度和近优性,最后依此来调度卡车,这种方法使应用数学模型解决问题的过程变得清晰、简洁.     

基于网络技术的实时协同设计并发控制策略研究

为了解决计算机辅助协同设计中重启动频繁、死锁等问题，建立了一种实时协同设计并发控制模型。针对协同设计中数据量大、事务长、多层嵌套的特点，采用操作优先权模糊控制策略。通过图形对象全局ID和实体属性表的一致性维护，系统能够根据运行情况和用户需求自动进行操作优先权控制策略的调整。建立了并发控制机制中事务结构、事务提交、锁机制和冲突协调的联系，事务发生改变后其它站点能够实时显示、实时读取有效数据。实例证明，并发控制策略不仅让协同用户自由地操作共享资源，还能够保证具有高并发率和数据的实时一致性。     

美国PJM完美调度及对中国电力调度的启示

美国PJM（Pennsylvania-New Jersey-Maryland）电力市场在2007年提出了＂完美调度＂的概念,旨在提高系统调度和市场运营的效率,最终实现最优调度.以完美调度的定义和操作流程为切入点,阐明相关基本概念,在此基础上介绍完美调度的数学模型;通过分析PJM完美调度的实际运行数据,说明其在系统经济运行方面所产生的巨大效益;概述＂完美调度＂理念对中国电力系统调度的启示.     

图论应用问题算法语言与直观求解软件

该文把图论中的有关工程应用问题用图示语言的观点进行解释和分类;定义了一种描述图论中某些工程问题求解的算法语言(称之为图论问题算法语言或者ALG);设计了自动地把ALG程序转化为PASCAL程序的软件工具——STATP(Software Tool to Translate the ALG Porgram to Pascal Program)。生成的PASCAL程序在运行时,只需用户输入应用问题的图形(即图形模型),就能在计算机上直接给出问题的解答。因此它是一种直观求解的软件。     

白山发电厂计算机监控系统AGC功能的实现

介绍了东北电网调度中心与白山发电厂计算机监控系统通讯联系的解决方案 .通过运行实践证明 ,白山发电厂计算机监控系统AGC网调给定功能的实现的可行性     

基于部分共享存贮器的并行软件研究

并行计算机软件是并行机系统发展应用的一个薄弱环节。本文介绍了作者对几种不同类型并行机软件所做的研究与实践工作，并据此总结出几个基于部分共享存贮器结构提高并行软件开发与运行效率的原则和实现方法。     

教学编译程序实例的设计

介绍了教学编译程序实例的设计思想和语法规则,并着重对主程序,分程序和几个功能性程序给予详细分析,本编译程序取标准ＰＡＳＣＡＬ的一个典型子集作编译对象,词法分析中使用了超前搜索和状态转换图,语法分析中使用了算符优先分析法和递归下降分析法,中间代码是四元式,查表方式是折半查找,这些技术同样也适用于处理标准ＰＡＳＣＡＬ和其它程序设计语言书写的源程序。     

利用沃尔什码扩频的MC-CDMA系统频偏估计算法

针对多载波码分多址(MC-CDMA)系统上行链路存在的多用户载波频偏问题,提出了一种利用沃尔什码进行扩频的载波频偏估计导频算法．该算法使用全1的沃尔什码作为专用扩频码,对频偏待估计用户的两个相同导频符号进行扩频; 在接收端,利用导频的专用扩频码码片与信息符号的扩频码码片不同的均值特性,得到频偏待估计用户的导频接收信号的近似成分,并从中利用辐角值提取方法得到载波频偏估计值．仿真结果表明: 在频率选择性衰落信道下,与基于信号子空间分解的自适应训练序列(ATS)算法相比较,该算法降低了计算复杂度,而且频偏估计的性能也很接近ATS算法,适用于系统在信息数据发送的过程中需跟踪频偏变化的场合．