摘要： SPN：即给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型。一个SPN 同构于 一个连续时间MCSPN的每个Marking 映射成 MC的一个状态SPN的可达图 同构于 一个MC的状态空间构造SPN可达图和MC之间同构的关键因素：1、变迁实施速率的指数分布所导致的无记忆性；2、Marking的可数性；由SPN可达图->易得->MC转移速率矩阵的参数->故可算->MC的每个状态的稳定状态下的稳定概率->进而->分析一些性能指标 如 place中标记概率密度：反映系统部件的利用率； 变迁的利用：反映系统吞吐量和延时SPN 阅读全文

摘要： 一 网与子网definition 1：网N = (S,T;F)1）S_元，库所，位置 -> place ->　圆圈2）T_元，变迁 ->　transition -> 矩形3）流关系 ->　flow relation -> 有向边definition 2：x的前集 or 输入集x的后集 or 输出集x的外延definition 3：1）纯网（pure net）:不含自环的网2）简单网（sample net）3）T-图（T-graph）4）S-图（S-graph）5）自由选择网（free-choice net）6）扩充的自由选择网（extended free-c 阅读全文

摘要： Abstract 在本文中，我们将介绍一种新技术，建模和求解具有复杂行为特征的系统的动态电源管理问题（dynamic power management），如并发，同步，相互排斥和冲突问题。我们将具有分布式电源管理的计算机系统建模为一个可控的广义随机Petri网（GSPN）。得到的GSPN模型自动转换为等效的连续时间markov决策过程。由于延迟的限制，系统元件的最佳电源管理策略以及请求的优化调度策略是在markov决策过程的基础上通过求解线性规划问题计算求得。实验结果表明，相比其他现有的DPM技术，该技术可以实现20％以上的节能。 阅读全文

摘要： 1、用指针实现拷贝字符串功能将*psource所指内容复制到*pdest中 1 char* pcopy(char *Pdest, char *Psource) 2 { 3 char *tempdest,*tempsource; 4 tempdest = Pdest;//指向目标指针头部 5 tempsource = Psource; 6 if (Psource == NULL) 7 { 8 Pdest = NULL; 9 return Pdest;10 }11 while ((*Pdest++ =*Psou... 阅读全文

摘要： 一、顺序表可用一维数组实现1、初步实现思路 假设数据类型为ElemType，存储100个元素的数组ElemType elem[100]； 顺序表还需要什么属性，怎样表示顺序表？将顺序表定义为：顺序表定义1 typedef struct 2 {3 ElemType elem[MAXSIZE];//存储顺序表元素4 int length; //元素数目，也称长度5 }List;1.1初始化ListInit1 Status ListInit ( List &L )//初步实现——初始化2 { 3 L.length= 0 ; 4 return OK ; ... 阅读全文

摘要： 1、函数介绍func.h/* * 文件名称：filename.h * 文件标识：见配置管理计划书 * 摘 要：遍历某文件加下%i_%i_%i_%i_%i.txt格式的文件，存储到数组中* * 当前版本：1.0* 作 者：whl * 完成日期：2012-11-17*/ #include "func.h"#include <string.h>#include <stdio.h>#include <IO.H>//将文件名转换为整形的以便建树void convert(struct FileName_type txtfile[],int lengt 阅读全文

摘要： sizeof 阅读全文

摘要： 1、建立索引BuildIndex.c#include <stdio.h>#include <stdlib.h>#include <string.h>#include <time.h>#define random(x) (rand()%100)#define NULL 0#define Att_Order 3 //属性个数#define Att_Length 10 //属性长度#define Path_Length 20 //路径长度struct Index{ char attribute[Att_Order][Att_Length]; char 阅读全文

摘要： 练习1：1、编写程序，利用输出语句将自己的简单介绍文字输出到文本文件“resume.txt”2、完成一个冒泡排序的算法程序，排序对象为int型，主程序需要考虑输入、输出方式。练习23、实现一个二分查找算法，要求：查找对象：整数（已排好序）；排序算法写在独立函数，类似于：int BinarySearch(int data[],int n,int value)data[]是一个排好序的整数数组；n是数组的维数；value是查找的对象；如果找到函数返回命中的数组下标，否则返回-14、实现一个新浪微博MID转换算法 新浪微博的消息ID（MID）有字符型和数字型两种形态，可以互相转换。数字型值是字符型值 阅读全文

摘要： 题目一 将英文文本article-1e.txt~ article-82e.txt共82个文本文件的数据写入一个大文件article.dat，并对article.dat建立索引文件article.idx，在article.idx文件中记录每篇文章在article.dat文件中的起始位置和长度（此为子程序1：建立索引程序）； 实现文档检索：通过控制台输入文档编号，程序可通过article.idx查询到该文档在article.dat中的位置，读出该文档并输出到控制台（此为子程序2：检索程序）。参考方法：index.cpp 1 #include <stdio.h> 2 #include & 阅读全文