基于着色Petri网的资源共享问题的研究

Petri网具有严格的数学定义与直观的图形表示，又有丰富的系统描述手段与行为分析技术：是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题，解决多个进程共享资源同步与互斥的传统方法有：加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论，以计算机操作系统中的经典哲学家问题为引例，提出了基于着色Petri网描述与解决资源共享与同步问题，并用CPNTools工具进行了仿真，取得了简明直观的效果，为解决资源共享问题提供了一种新的研究方法。     

Linux多线程的互斥与同步控制及实践

随着计算机软硬件的发展,对计算机的执行效率的要求不断提高,多线程技术应运而生,现在已被许多操作系统所支持.介绍了多线程系统中互斥与同步机制,在Linux系统下利用信号量操作及利用pthread多线程函数编程实现多线程间的互斥与同步控制,并以生产者和消费者问题为例进行分析与实践.     

基于Linux的进程调度研究

针对进程调度中出现的优先级反向问题,对Linux内核源代码进行了分析,深入剖析了进程调度函数、基于信号量的互斥锁结构,在对互斥锁修改的基础上实现了优先级继承协议．经实验证明,互斥锁的优先级继承协议,降低了进程调度的时间延迟,提高了系统的实时性．     

嵌入式Linux优先级反向问题的研究

针对进程调度中出现的优先级反向问题,通过对Linux内核进程调度的研究,分析了优先级反向产生的原因、基于信号量的互斥锁结构,并在对互斥锁进行修改的基础上实现了优先级继承协议,结果证明：互斥锁的优先级继承协议降低了内核调度延迟时间,提高了系统的实时性．     

操作系统中进程同步与互斥的实现

介绍计算机操作系统中进程的概念与属性,阐述了进程同步与互斥的原理,举例分析了通过P、V操作实现进程的同步与互斥的方法.     

一种基于XML的可变粒度冲突避免策略

针对协同设计过程中的数据一致性问题,分析了已有的并发冲突避免策略,结合CATIA的特殊性提出了一套可变粒度锁的冲突避免策略,设计了总体框架及核心算法.以节点间关联性作为判断依据进行节点仲裁选择,并提出节点关联集的维护算法.在协同设计平台中,利用XML实现并发控制机制,对提出的算法进行了实验,验证了用户可互斥地访问对象,并保证一致性.     

嵌入式Linux的同步机制在设备驱动开发中的应用

基于ARM硬件平台和嵌入式Linux软件平台进行驱动开发时,对共享资源的保护是常遇到的问题,嵌入式Linux的同步机制便是解决该问题的方法之一,也是嵌入式Linux的核心内容之一.首先分析了自旋锁、信号量的原理和相关函数,然后论述了自旋锁与信号量的选用,最后用一个示例加以分析,详细说明了它们在驱动程序中的应用.并在Linux2.6平台上对自旋锁和信号量进行了验证,验证结果同理论分析一致.     

基于嵌入式系统管道内检测数据的存储模块设计

针对管道内检测装置的多通道实时检测数据存储问题,设计了基于FPGA并嵌入uClinux操作系统的管道在线检测系统数据压缩与存储部件,将采集数据压缩后存储到IDE设备.采用了多线程工作方式,多任务并行处理,避免了任务之间的等待和由于等待造成的采集数据的丢失.嵌入操作系统简化了FPGA对外部设备的管理与操作,使得压缩后数据的存储操作易于实现.     

视频画面分割器的FPGA实现

介绍一种在多点视频监控系统中基于FPGA的画面分割器的设计和实现方法,通过对视频画面分割器的系统结构的阐述,以及采用FPGA对ITU656格式的视频信号进行压缩和通过对双端口FIFO的读写操作,完成帧合成的软件设计过程.设计采用了无操作系统的纯硬件结构,利用FPGA的高速并行处理能力的优势,应用灵活的多画面合成方法实现了单屏幕上的实时多画面显示.     

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

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

多个静止无功补偿器并联运行的结构选择

多个静止无功补偿器(STATCOM)模块并联运行是解决大容量无功补偿的有效方法。本文在分析了现有并联结构的基础上,选择了集中控制型结构。该种结构下,由集中控制器计算无功电流并进行分配,各STATCOM模块根据集中控制器给出的指令发出补偿电流。建立了STATCOM模块并联运行的仿真系统,仿真结果显示,该方案在运行过程中有模块故障退出的情况下,仍具有良好的补偿效果。     

并行程序设计中的互斥与同步问题的归纳

本文通过对操作系统中进程并行工作时遇到的问题进行分析,归纳出不同状态下保持进程互斥和同步的不同方法。     

Study on Multi-enterprise Collaborative Resource Planning Based Process-oriented Decision Model

Aiming to share the information,knowledge and optimizing resource via collaborating with multiple external partners across their supply chains,the concept model and system framework of multi-enterprises collaborative resource planning (MECORP) are put forward.While there is Considerable pressure to improve the operation of MECORP system,their inherent complexity can make modelling a MECORP system a difficult task.Yet there could be considerable benefits in designing MECORP taking into account the operation of the system.In order to address the central research issue of developing of a methodology that can assist a manager in making decisions by modelling the operation of MECORP system.The methodology called process-oriented deci- sion model (PODM) is presented in the paper.This uses an abstracted network to model MECORP system.The MECORP system supported by PODM,can effective optimize the manifold resource,coordinate the relationship of multiple partners and assist deci- sion.Finally,an industry excample of MECORP system is described to illustrate the application of PODM.     

分布式电源与配电系统并网运行的探讨

分布式电源与电网并网运行能够充分发挥其优势,并且提高供电可靠性.参考国外的并网规则,论述了DG并网运行的基本技术和运行参数的相关要求,并且提出我国制定并网规则应该遵循的方向.     

嵌入式操作系统研究

嵌入式技术有着广阔的应用空间，是武器装备数字化、信息化、小型化的关键技术，已经成为赢得新形式下军事斗争必不可少的物质保证之一；对嵌入式操作系统作一个轮廓性的说明，并对自己的研究成果进行了概括与总结；通过此文可以了解嵌入式操作系统的概念、操作系统的模型、研究的范围、目前研究的水平及在研的嵌入式操作系统的结构特点等。     

一种粒子群优化的用户优先级虚拟网络映射算法

以底层网络资源利用率最大化为目标,对控制转发分离网络建立基于"资源抢占+重映射"的用户优先级虚拟网络映射整数线性规划模型,并提出了一种改进离散粒子群算法来解决虚拟网络映射问题.该算法的粒子进化更具方向性,同时引进不同粒子位置互斥因子,解决粒子群算法易早熟陷入局部最优解的缺陷.最后通过仿真实验从节点资源利用率、链路资源利用率、一般虚拟网络接受率、平均跳数和长期运营收益成本比等方面,将改进离散粒子群算法与贪婪算法和二进制离散粒子群算法对比,验证了改进离散粒子群算法的高性能.     

基于领域本体的答疑网格系统

目前我国答疑系统隶属于某个教育平台各自开发,导致资源重复建设;各个系统之间也不能有效互操作导致系统间资源无法共享和统一协调管理.本文从资源共享和易于建设的角度出发,提出基于领域本体的答疑网格系统,文中给出系统的体系结构,详细阐述答疑流程,探讨了关键技术及算法,并分析系统特点及优势.     

基于边际分析对存在期间法的质疑与剖析

互斥型投资方案的选择准则是净现值最大化,当NPVA=NPV8时,方案孰优孰劣,似无法直接予以评判,对于《现代企业投资决策管理》一书给出的几种辅助分析方法,基于科学的边际分析法的分析表明,包括存在期间法的辅助分析方法均是错误的,坚持经典的科学的边际分析方法完全可以解决净现值相等时的互斥方案选优的“难题”。     

基于分层的在线生成电网调度操作票专家系统

通过对电网结构和电网调度操作票的建立机制进行分析，基于分层结构的规则设计，利用应用数据库与面向对象的编程（OOP）技术设计了电网调度操作票专家系统，采用多智能体系统（MAS）实现与SCADA系统实时共享数据。文章给出该方法的设计思想、应用和设计系统的主体框架。     

电气设备微机防误操作系统的研制

针对电力系统电气设备误操作事故研制的一种微机防误操作系统，具有检验和打印操作票、进行强制闭锁等功能，且操作简便，使用灵活．