基于.NET的航天电磁继电器电寿命试验系统分析软件设计与实现

电寿命是表征航天电磁继电器性能的重要特征,航天工程中需要对其进行测试分析。现有试验系统条件下,使用者受软件兼容性差及定点作业的限制。针对上述问题,设计一套新的系统软件,由客户端软件与服务器软件组成。双方基于Socket建立通信连接,突破定点作业的局限。基于通信协议解析显示数据,基于双缓冲技术绘制波形,加强试验数据的直观分析。测试结果表明,通信连接稳定可靠,数据解析与波形分析准确流畅,具有很高的工程应用价值。

不同外网等值模型对EMS应用效果影响的试验研究

利用广东省调实时外网等值自动生成系统为深圳地调生成了几种外网等值模型：外网简单挂等值机模型、外网直接等值模型、缓冲网等值模型和详细外网模型。通过远程网将等值模型送到深圳地调,在深圳地调现有能量管理系统上进行了几种主要开合环操作的仿真计算,并和现场实际操作的测试结果进行了比较,评估了应用不同外网等值模型时开断潮流的计算精度。结果表明,缓冲网等值模型具有与详细外网模型一致的精度,是最佳的外网等值建模方式。

基于Petri网的非串行制造系统的可靠性分析

对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度定理,对中间缓冲区和机器本身的状态转移概率分别分类求解,计算出相应的缓冲区可用度和等效机器可用度;同时通过功能可靠度指标,对整个加工任务车间的可靠性进行总体评价,从时间量和产品量因子出发,来衡量由于生产率的不平衡以及中间缓冲区的库存太小,引起生产流程中传输道的阻塞和缺料,进而造成的相关工件的加工时间延迟等问题。以三台机床和两个待加工工件的加工装配单元为例,验证该模型与分析方法的有效性。

基于Petri网的程序缓冲区溢出检测方法

由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了 Petri 网缺乏描述系统事件之间时序关系的局限性,同时发挥了 Petri 网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。

基于动态缓冲阈值的Internet区分服务

该文提出了一种将 Internet网络分组传输延时和丢失控制的区分服务要求合并在一起的综合方案 .在这个方案中 ,分组丢失控制是基于动态缓冲阈值 ( dynamic buffer threshold,简称 DBT)方案 .在 DBT方案中 ,缓冲控制阈值基于分组丢失行为而动态地变化 .在静态缓冲阈值 ( static buffer threshold,简称 SBT)方案中 ,分组丢失变化没有控制 ,丢失率变化大 .对于缓冲控制阈值的确定 ,没有简明的数学表达方式 .由于 SBT不能随着传输突发特性的变化而变化 ,从而影响网络的系统性能 .该文提出的 DBT方案不但可以克服这些问题 ,而且可以确定和控制标志分组与非标志分组丢失率之间的比例关系 .文章给出了所提出方案的随机 Petri网性能模型。

基于Petri网的Web服务组合分析方法

为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.

基于GDI+的心电波形处理

首先介绍了利用GDI+绘图的一般过程和方法。然后结合在远程心电监护项目开发中的应用,针对在绘制较大图形时,出现的图形闪烁问题以及采用在paint事件中绘制图形的方法,导致系统频繁重画,性能下降的问题,进行了分析和探讨。提出采用双缓冲技术解决图形绘制过程中的闪烁问题;采用避免在paint事件中绘制大图形的方法来解决系统性能下降的问题,最终取得了满意的图形显示效果。

一种快速有效的阴影测试方法——光源球面缓冲器法

本文介绍了一种快速有效的阴影测试方法——光源球面缓冲器法。这种缓冲器是以光源为中心的光源球面经纬网组成,网格里记录着从此光源通过网格的辐射角所能看到的物体表面,因此在对可见点进行阴影测试时,仅需和该可见点所属的网格表里的为数不多的物体表面求交,提高了测试速度;而且不论光源的位置如何,使用这种缓冲器法均可统一地处理。

农用地分等省级汇总中单元制图综合方法

根据农用地分等省级汇总的要求,提出了四种带有顺序性的分等单元制图综合方法,第一按地类、自然等、利用等、经济等相同合并邻接单元;第二在构建位于分等单元之外约束性Delauney三角网的基础上,用边长作控制合并邻近地类、自然等、利用等、经济等相同的单元;第三删除零星单元,将面积归并到乡内地类、自然等、利用等、经济等相同的单元中;第四扩充零星单元。对提出的方法进行了编程实现,并在农用地分等省级汇总项目中得到了应用。理论分析及实验结果表明,所提方法具有严密的数学逻辑性,同时对地图制图综合这一前沿学术研究议题也具有一定借鉴与参考价值。

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网的建模及性能指标评估方法．文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限、不同的站点优先级和系统总线故障率等因素影响下的网络性能指标评估问题．克服了以往对网络性能评估的某些局限．本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论．

基于时间Petri网模型的缓冲优先调度策略稳定性分析

描述了一种时间 Petri网模型和方法 ,它能对具有缓冲优先调度可重入生产线系统进行稳定性分析 .基于系统模型标识的动态变化 ,以缓冲界限概念作为稳定性分析判据 .这种方法可用于具有固定优先次序调度策略的稳定性分析 .推导了基本时间 Petri网结构的稳定特性以及具有正反馈环系统稳定的充分条件 .

容错型令牌总线局域网建模及性能指标评估

本文对符合ＩＥＥＥ８０２．４标准的容错型令牌总线局域网给出了其Ｐｅｔｒｉ网建模及性能指标评估方法．文中考虑了具有信包重发机制、令牌最大保持时间和信包缓冲区容量有限的令牌网络的性能指标评估问题．克服了以往不能分析具有信包重发机制和令牌最大保持时间等令牌网性能的局限．本文讨论了带计数禁止弧的确定性时延随机Ｐｅｔｒｉ网（ＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论．

局域网服务器缓冲区容量的Petri网设计方法

本文在分析局域网服务器信息缓冲区、数据包接受和发送缓冲区的相互关系基础上提出一种新的局域网服务器缓冲区设计方法─—广义随机Ｐｅｔｒｉ网方法，并给出了局域网服务器信息缓冲区的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备、严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。

用改进的MPEG-4分层算法实现网络视频

实现网络视频首先要在发送端对连续的图象图形进行压缩编码,其次要将编码的比特流分层表示,第三要解决图象在网上传输时出现的包丢失问题。本文从上述三个方面出发,对MPEG-4分层编码算法进行改进,并用改进的算法实现基于物体的编码和比特流的分层表达;采用传输解码缓存模型实现图象传输的连续性,用优先重传技术解决包丢失问题。实验结果表明,上述理论是实现网络视频的较为优选的方案。

基于Petri的改进优先级队列缓存管理分析与仿真

为了解决由于网络环境中多媒体业务需求的快速增加,导致应用对延迟和拥塞概率等性能指标的要求逐渐提高的问题,提出了一种改进的优先级队列的缓存管理机制。详细研究了该机制的实现原理和方法,并使用Petri工具及排队理论对改进的优先级队列进行了建模。通过仿真实验分析了该缓存管理机制在缓存管理过程中的性能指标,证明了该缓存管理机制能有效地提高多媒体通信的性能,满足多媒体通信的服务质量要求。

一种限制输入缓存器的分析方法

提出了一种限制输入缓存器方案的广义随机Petri网模型 ,并给出了可达图及MC ,从而可描述、分析限制输入缓存器方案的入口模式。通过比较无控制方式和输入缓存区限制模式 ,给出了这两种控制机理的性能指标 ,说明了限制输入缓存器方案可以控制和防止拥塞的发生 。

柔性制造系统的P－定时有色Petri网模型

给出了Ｆｌｏｗ－ｓｈｏｐ型系统缓冲器容量无限和有限两种Ｐ－定时有色Ｐｅｔｒｉ网模型。模型结构简单，不随机器、加工件种类、数量的增减而变化，普遍适用于按顺序操作或施工过程的模拟。

冲击动能作用下被动网变形解析解与数值模拟研究

针对被动柔性防护网结构的系统缓冲性能,从冲击变形控制机理分析系统冲击变形的影响因素;设计了优化的缓冲结构体系。分析发现:系统冲击能力主要由网片顶冲变形、支撑绳牵引拉伸、支撑结构变形构成。对被动柔性防护网系统采用非线性数值模拟,提取系统工作条件下各部分冲击变形分量,与解析分析结果对比,验证了冲击大变形解析方法的正确性。

基于.NET框架的教务管理系统的设计

该文介绍了在校园网环境下,规划设计学校教务信息化管理系统的组成结构,使全校师生可以在任意平台、任意时间和地点查询本专业教学计划、成绩等信息,方便授课教师及时掌握课程的设置情况、选课学生人数等,学生可进行网上查询成绩、网上选课等。