论文部分内容阅读
基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状态可由介于0和1之间的数来度量，显示程序到达状态的程度。该方法的好处在于在做程序分析时，可避开状态爆炸问题。
基于微分方程的程序性能分析
【摘 要】
：
基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状态可由介于0和1之间的数来度量，显示程序到达
【机 构】
：
浙江理工大学数学计算与软件工程中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年13期
【基金项目】
：
国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of Chinaunder Grant No.2006AA01Z165）.
其他文献
提出了一种基于灰关联分析的多景遥感影像最佳镶嵌线的检测算法。该算法根据中心像元与周围像元之间的临近像元效应,在两景影像重叠区域选择中心像元邻域作为参考序列与比较序列,利用斜率关联度计算两者之间的灰关联度,据此找到一条影像色调和纹理差异较小的镶嵌线。以四组两景相邻影像自动寻找镶嵌线为例进行了实验研究,取得了良好效果,验证了该方法的可行性与有效性。
航拍胶片中的注释信息记录着重要的成像参数。胶片数字化后需要自动识别出注释信息供后续处理使用。介绍了注释信息字符识别的主要步骤,包括字符区域定位、二值化、字符分割和基于神经网络的字符识别;重点研究了预处理过程,特别是注释信息块的二值化,提出了一种新的阈值方法。大量的实验表明,实现的系统总体上具有很高的识别率,该阈值方法的效果能与Sauvola算法和White算法相比,而所需时间却大大减少了。
【正】 从1985年开始,我们国家对生产资料实行两种价格,即对计划调拨分配的生产资料由国家统一定价,对部分计划生产和计划外超产的资料,允许进入自由贸易,由企业自行定价。“
提出了一种基于小波变换和混沌映射的数字图像置乱加密算法。先对数字图像进行小波分解,再对变换后的小波系数进行混沌置乱,最后对置乱后的系数矩阵进行逆小波变换得到加密图像。实验表明,该算法具有令人满意的安全性和置乱效果。
建立了高效液相色谱法（HPLC）测定戊醛中的催化剂含量不确定度评定的数学模型。通过对整个测定过程中各种不确定度因素的研究,分析和评定了不确定度的来源,确定了不确定度分量和
本文依据汽车机械式变速器零部件寿命试验对试验工装的需求,论述试验工装的流程化管理模式及流程各步骤的要求,为系统管理实验室工装,满足试验要求提供保障。
以四氯化钛和Ｌ－抗坏血酸为主要原料，采用氮气保护合成了含钛植物生长调节剂—钛丰素，并将该制剂应用到小麦、花生等农作物的生长过程中，起到了明显的增产效果。尤其在小麦上与叶面
本文对市场较为常见的非国标、非行标型号电线电缆产生的原因、背景进行解析并在此基础上对检验检测试验室工作中如何准确界定产品类型并正确采标进行检验进行了详解。
近年来高考试题中多官能团组合的有机物纷纷亮相，这些似曾相识的陌生来客往往成为考生的思维障碍．怎样突破难点，准确解题呢？下面的妙招，同学们不妨一试．
本文以电能表检定装置示值误差测量结果不确定度评定为例,采用两种扩展不确定度表示方式U或U_P来进行评定,探讨两种评定方式所带来的结果的差异。