基于SDL/MSC的实时嵌入式系统概念级设计

概念级设计是实时嵌入式系统设计自动化的第一步 ,由于它的性能直接关系到整个系统的设计质量 ,所以也是非常重要的一步 .除了对所设计系统的功能进行描述、验证之外 ,概念级设计还应该对所设计系统的性能进行分析 .否则 ,如果将错误带到下一阶段 ,将会使整个设计付出沉重的代价 .在简单介绍了实时嵌入式系统的自动化设计原理 ,并分析了目前人们采用的三种概念级设计方法缺点之后 ,文章提出了基于 SDL / MSC描述与验证的 ,适用于单 FPGA或多 FPGA系统的概念级设计方法 .这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .在文章的最后 ,还指出了这种设计方法存在的不足     

一种快速分解大整数的小因子的优化分解树OFT算法

分解大整数的小因子是解决IFP，DLP问题的诸多攻击方法中的重要运算模块．本文在目前分解大整数小因子算法的基础上，提出的优化分解树(Optimized Factorization Tree)算法，利用树型数据结构和相应的构造算法与回溯算法，配合以作者提出的分解表截支方法和优化分组策略，可以将分解大整数小因子的速度提高50％以上．该算法还可以为大整数素性判别做高效过滤，快速识别大部分合数．     

基于差分服务的贪婪流问题解决算法

贪婪流问题是网络拥塞控制范畴的问题，泛指不遵从标准TCP拥塞控制机制的流。贪婪流给网络带来不公平性。提出了一种新的甄别算法，通过对目标流发送窗口随分组丢弃变化关系的分析，对不合规范的流进行检测。算法采用定长列表结构，具有实现简单、扩展性强的特点，提出了一种基于差分服务模式的体系结构，对传统Internet服务哲学进行了扩展，从根本上支持新型流式应用，实现了端到端的流量监管功能。     

利用粗糙集理论对AHCI中的用户建模

在智能计算机研究领域,自适应人机接口是一个重要的研究方向。在对其用户模型进行分析以后,选取一些具有代表性的因素,使用粗糙集中的处理方法,对用户建模,从而为系统自动适应用户提供了可能。     

一种高效的因特网密钥交换协议(IKE)的研究与实现

KE协议是因特网安全协议IPSec的重要组件,它的高效实现对整个IPSEC协议具有重要意义。论文分析了目前通用的IKE协议实现方案,针对其协商状态和安全连接(SA)素材分离的缺点,给出了一种基于保护套件封装的IKE实现,并对该实现进行了性能测试和分析,测试结果表明该实现是一种高效、合理的IKE协议系统。     

基于SIMULINK/PSB的电励磁双凸极电机系统的建模与仿真

针对新型电励磁双凸极电机特点，采用MATLAB软件下的SIMULINK/PSB工具箱，对电励磁双凸极电机系统进行建摸与仿真。建模时采用结构化和模块化的设计方法。介绍了系统各个功能模块构造的方法，并进行了整个系统的数字仿真。仿真结果与理论分析一致，表明了所用仿真方法的正确性和有效性．     

基于电流补偿思想的高功率因数电子镇流器

分析了现有镇流器存在的问题；提出一种基于电流补偿思想、结构简单、成本低廉的高效率和高功率因数电子镇流器电路。仿真分析和实验结果证明了该电路的可行性；大量产品应用也证明了该电路的良好经济性。     

大型汽轮发电机定子系统的双壳模型及响应分析

由圆柱壳的运动方程推导出圆柱双壳系统的耦合方程，并将其应用于大型发电机定子系统的响应分析。本是半解析法，其特点是将圆柱壳的三维弹性运动方程表达成Hamilton正则方程，没有应力和位移模式的假设，不限制壳的厚度；同时，象一般有限元方法一样该方法适应复杂的边界条件，未知量少于一般有限元方法，计算速度快，数据准确方便，适合工程应用。     

660MW机组防结渣的燃烧器改造和运行调整

在沙角C厂3号锅炉冷态试验结果基础上，指出炉内气流实际切圆过大、气流贴壁现象严重是导致锅炉运行结渣的直接原因；对燃烧器改造前后所采用的2种燃烧器--WR燃烧器和Aerotip^TM燃烧器特点进行分析。改造后冷态试验及运行运行时结果表明：燃烧器改造后炉内气流贴壁现象有很大改善，锅炉运行时结渣可能性较小，燃烧效率有所提高。     

用波形特征识别变压器励磁涌流的新算法

提出一种识别变压器励磁涌流和故障电流的简单算法。该算法的基本思路是在一个给定的移动数据窗内 ,励磁涌流在间断角处曲线与时间轴所包围的面积很小甚至趋于零 ,由波形曲线与时间轴所包围面积的大小构成鉴别励磁涌流的判据。仿真结果表明 ,该算法特征明显 ,鉴别准确。