一种基于NAND FLASH的FAT文件系统的研究与实现

在研究NAND FLASH结构及特性的基础上,对NAND FLASH之上的FAT文件系统的实现进行了探讨,并运用了磨损均衡算法及坏块管理机制以延长FLASH的稳定性和使用寿命．实验结果表明,该系统具有较强的可靠性,所采用的磨损均衡算法及坏块管理机制简便有效．     

面向服务工作流补偿机制的研究与实现

为了解决面向服务工作流中异常的动态补偿问题,在传统工作流异常处理理论的基础上,结合Web Services的事务处理的特点,提出了基于工作流执行日志实施补偿的策略.补偿过程包括补偿判断、补偿路线产生和补偿行为调用,异常管理器控制补偿的执行过程.因为服务具有动态调用、动态执行特点,异常管理器需要在业务运行时依据工作流基本模式和事务依赖关系确定补偿范围,动态生成补偿路线并调用相应的补偿操作.为了验证补偿策略的可行性和正确性,实现了基于Web Services的原型系统WFCF.实验表明,该机制在失效补偿范围和补偿行为调用2个方面提高了工作流异常恢复的效率.     

浅谈WORD使用的快捷方法

简要介绍了几种使用WORD的快捷方法，包括用WORD直接从现有数据库中提取数据快速制表，WORD图形的处理技巧，文本和图形块的快速复制，将WORD文件转换为文本文件等。     

可重构制造系统预防维护策略与EPQ整合模型

以生产单一品种的可重构制系统为研究对象,采用设备维护策略和重构策略确定经济生产批量（EPQ）并建立EPQ整合模型.在维护策略中,采取周期性预防保养策略对生产周期内的故障进行小修处理;在重构策略中,当系统内设备状态发生改变时,通过判断最优作业模式及系统可靠度阈值而进行重构,建立了包含生产准备、库存、重构、可变小修、预防维护和生产等成本的利润函数模型,并基于数值方法和遗传算法对模型进行求解,得出使单位时间利润最大的最佳预防维护周期、系统可靠度阈值及EPQ值.同时,通过仿真分析算例,验证了模型的有效性.     

一种FPGA结构描述文件到布线资源图的转换系统

作为描述FPGA硬件资源的结构描述文件,不仅能被解析以抽取FPGA芯片内部的结构信息,并且能被转换到布线资源图以获得FPGA可编程布线资源的通用抽象模型。采用有向图来构建FPGA布线资源图和描述FPGA拓扑结构,其中FPGA的每个逻辑块端口或互连线段对应于布线资源图的顶点,FPGA的逻辑块端口与互连线段、互连线段之间的可编程通路构成了布线资源图的有向边集。然后阐述了FPGA结构描述文件到布线资源图转换系统的流程图,还给出了FPGA结构描述文件编译所需的EBNF表达式和结构线网到布线资源图的自顶向下转换算法。最后,在Windows平台下用C++实现了该转换系统,并选用Virtex-6型号Slice结构测试用例,进行了FPGA结构描述文件到布线资源图的转换,验证了FPGA结构描述文件到布线资源图转换系统的正确性和有效性。     

具有单面非完整约束系统的Raitzin正则形式的Noether定理及其逆定理

应用无限小变换的广义准对称变换，给出具有单面非完整约束系统的Raitzin正则形式的Noether定理及其逆定理。     

巧用FOXPRO的函数

ＦＯＸＰＲＯ ＦＯＲ ＷＩＮＤＯＷＳ的低级文件函数功能强大,基本上Ｃ语言具备的功能、ＦＯＸＰＲＯ都能做到,而且更简单实用。本文对部分低级函数的利用有助于读者了解ＦＯＸＰＲＯ的丰富函数功能。     

基于分级安全局域网的分布式文件系统模型

分布式文件系统是云计算研究领域内一个重要的分支,尽管分布式系统的分级安全功能的重要性很早就被意识到,但是在安全网络下进行分布式文件系统工作却极少。该文提出并设计基于分级安全局域网的分布式文件系统。采用主从式的结构,通过在客户端采取驱动式编程,用Reed-Solomen算法进行数据拆分存储,实现安全分布式文件系统的基本功能,包括数据传输、存储、数据加密、数据拆分、访问控制等。该系统性能测试实验结果满足多级安全局域网的性能要求。     

非平衡异方差单向分类模型中的广义置信区间

讨论了在单向分类模型中多个正态总体样本容量不等, 方差不等时样本均值的同时广义置信区间的估计问题. 结合Scheffe 和Bonferroni 区间的定义, 给出了相应的广义检验变量及广义枢轴量, 进而求得样本均值的同时广义置信区间, 并且通过数据模拟, 和文献[1]中给出的方法比较, 本文所给方法具有较好的可行性.     

相对运动动力学系统Nielsen方程Mei对称性导致的一种新型守恒量

研究相对运动动力学系统Nielsen方程的Mei对称性导致的一种新型守恒量.在群的无限小变换下,给出相对运动动力学系统Nielsen方程Mei对称性的定义和判据;得到相对运动动力学系统Nielsen方程Mei对称性导致的新型结构方程和新型守恒量的表达式.