微重力落塔电磁悬吊、释放技术研究

论述了微重力落塔电磁悬吊、释放、提升机构的关键技术,电磁释放过程的特性分析以及微重力落塔实际试验的情况。分析说明:悬吊、释放性能的好坏决定了试验落舱的微重力水平,也是微重力落塔试验能否成功的关键技术。     

系统阻尼对冲击法测量磁场的影响

本文分析了系统阻尼对冲击常数测量的影响，指出通过测量冲击常数的相对误差，选择合适的系统阻尼，是提高系统测量精度的有效方法。     

面向参数化LTL的预测监控器构造技术

介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称P_ALTL)公式运行时预测监控器构造方法.一方面研究P_ALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀.     

LTL概率模型检验工具的实现与优化

概率模型检验建立在非概率模型检验技术的基础上,不仅能够对系统进行定性的验证,还能够定量判断系统满足相关性质的概率,具有广泛的适用性。LTL概率模型检验算法的复杂度较高,达到双重指数级别,现有的工具如PRISM与MRMC均不支持对LTL性质的验证。针对这个问题,通过对原有的LTL概率模型检验算法进行优化,实现了一个高效的LTL概率模型检验工具。通过对比实验验证了该工具的有效性。     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

PCMCIA数据加密卡的软硬件协同设计

符合PCMCIA标准接口的PC卡被广泛地应用在各个领域。同时，由于数据安全日益得到重视，对笔记本电脑硬盘中的数据进行加密成为一种迫切需要。该文在PCMCIA接口规范的基础上设计了一种高性能的PCMCIA数据加密卡，重点介绍了该系统的结构设计，并给出了软硬件的实现方案。该系统通过在FPGA上的仿真和在Windows 9X环境下的测试，完全符合PCMCIA的设计规范要求，可以对计算机的数据进行有效的加密保护。     

多层模型设计与系统实现

介绍了多层模型的特点及其向4层结构发展的趋势，并通过一个基于Web的企业管理信息系统的实例，详细描述了以JSP／Senrvlet技术为核心、采用多层模型的系统实现过程。     

能量市场和运行备用市场定价方法的解耦条件

该文利用随机生产模拟得到了在能量市场和备用市场中机组的收益估计。按优良加载序加载机组，在目前的市场规则下可能出现备用市场的收益大于能量市场的收益，从而引起系统运行经济性的破坏。该文给出了产生这种情况的临界条件，即所谓解耦条件。而且由于在目前的定价机制中这个关系容易被破坏，所以这个条件应该引起足够的重视。     

MPEG2视频芯片IDCT的一种VLSI实现方案

介绍了一种2-D × 8 8 IDCT处理器系统的ASIC架构,采用分布算法、并行结构、流水线设计。对于常用的ROM查找表实现方案,该文提出了一种以寄存器、加法器构建的替代电路的新方案,同样省去了乘法器,避免了使用ROM,且硬件代价与使用ROM相比还略有减小,最终提高了数据的吞吐量,达到2.4GB/s,满足了MP@HL标准的HDTV的108MHz的频率要求,而同样工艺条件下采用ROM查找表则只能达到90MHz的频率。