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

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

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

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

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

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

基于J2EE的电力企业信息系统整合研究

在对电力企业信息系统整合问题的提出、研究的必要性、整合层次以及EAI逻辑架构论述的基础上 ,提出基于J2EE的电力企业信息系统整合方案 :采用基于异部的消息传送、基于JCA (JavaConnectorArchitecture)以及基于网络服务 (WebService)的整合技术 ,能够很好的与企业原有应用系统进行整合 ,并提出了J2EE应用服务器的总体结构。最后 ,给出了基于J2EE的企业应用整合框架。     

随机图的点可区别全染色算法

点可区别全染色(VDTC)是指在满足正常全染色的基础上,还要使得图中由顶点颜色和其关联边颜色构成的顶点色集合也不同,所使用的最少颜色数称为点可区别全色数.提出了一种针对随机图的点可区别全染色算法,算法的基本思想是对图G中的边随机地进行预染色,查找存在边染色不正常的冲突集,然后根据规则逐步迭代,直至使目标函数的值满足要求,此时说明染色成功.实验结果表明,算法能够有效地求得给定点数随机图的点可区别全色数,算法时间复杂度不超过O(n3).     

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

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

一种运行时验证监控器的构造方法

本文结合作者课题内容,介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程,过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义,使得该监控器在一定意义上具有预测性。     

多层模型设计与系统实现

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

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

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