实时离散事件系统的动态反馈控制

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定 语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/ Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要 条件.     

振动沉管劈裂注浆法在圩堤防渗加固处理中的应用

介绍了拓动沉管劈裂注浆法在圩堤防渗加固处理方面的应用，并结合工程实践阐述本方法的基本原理、主要机具设备和施工方法以及应用前景。     

单晶高电压三元的制备及性能研究

采用固相法制备出掺杂镁、铝的镍钴锰三元氧化物LiNi_(0.5)Co_(0.2)Mn_(0.3)O_2的单晶材料。采用X射线衍射光谱法(XRD),扫描电子显微镜法(SEM)和恒电流充放电测试等方法对该材料的结构、形貌及电化学性能进行表征。结果表明,材料具有较好的层状结构,在3~4.4 V下,扣式电池0.1放电比容量可达186.7 m Ah/g,全电池1 300次循环后放电比容量仍为初始放电容量的98%,是一种电化学性能优异的三元正极复合材料。     

随钻电阻率地层边界响应特征分析及应用

针对大斜度井、水平井随钻电阻率测井过程中随钻电阻率受地层界面影响大、极化效应明显的问题,从电磁场基本理论出发,建立了层状地层模型,利用数值模拟方法模拟了随钻电阻率测井仪以水平姿态穿过不同电阻率地层界面时的响应特征,分析了地层界面附近随钻电阻率测井仪的响应规律,总结了极化效应的产生前提和影响因素。结果表明,随钻电阻率测井仪的线圈距越大、工作频率越高,极化效应越显著,相位差电阻率与幅度比电阻率相比受极化效应的影响更明显。以永X断块A井为例,介绍了随钻电阻率地层边界响应特征在地质导向钻井中的应用情况。研究结果表明,在地质模型较为确定的情况下,可以利用随钻电阻率曲线的极化现象判断地层界面,进行地质导向。      

一种谓词驱动的目标求精方法

目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模，提出了谓词驱动的目标求精方法，通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比，该方法具有对需求分析员的依赖较小、自动化程度高等优点。     

基于Axis的服务端SOAP处理分析

Web Service是分布式计算领域出现的最新成果.SOAP作为Web Services的核心部分担负了其大部分工作,虽然有集成化的应用,但是目前对其内部处理的研究很少,难以使人对Web Services包含的技术有深入的理解,不利于技术灵活性和细节应用的拓展.本文在深入分析Axis的服务端SOAP处理机制的基础上,对SOAP模型进行讨论,拓展了Axis功能,以便能实现更复杂的处理模型.     

组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。     

N-3M立式炮塔铣床盘铣刀的改进

该文介绍N-3M立式炮塔铣床在加工平面时,使用盘铣刀加工平面零件时机床、刀具产生较大振动,工件表面粗糙度差,吃刀量较浅的问题,经过改进后得出的直柄小型盘铣刀适合N-3M立式炮塔铣机床的使用,可以解决加工平面零件时出现的刀具与主轴的振动和背吃刀量的问题,提高了零件表面粗糙度,满足加工平面零件的需求,提高生产效率和加工质量。     

基于部分相位同步的中少年脑电分析

应用一种基于部分相位同步的算法,该算法与双变量相位同步分析方法相比,在多变量非线性系统中能有效地推断直接耦合关系 还是间接耦合关系,因此,可以用此方法判定系统之间的耦合程度。首先把该方法应用于3个耦合的Rossler混沌系统中,仿真结果表明,部分相位同步方法能够准确地推断Rossl er系统之间的耦合关系。然后应用该方法对少年人脑电与中年人脑电进行分析,实验结果表明,少年人脑电耦合程度与中年人脑电耦合程度有显著的差异,说明部分相位同步算法可以作为区分中少年脑电信号的一个依据。     

适用于疫苗低温保存冷库的空气压缩制冷系统性能研究

基于空气制冷系统制冷剂安全环保且可就地取材、蒸发器无需除霜的特点,本文研究了其应用于-70 ℃低温疫苗冷库的性能和可行性,与文献对比验证了热力学模型的准确性,并与复叠式制冷系统进行了性能对比。结果表明：在环境温度35 ℃时,采用三级压缩（总压比为8）和回热器（夹点温差为5 ℃）的空气制冷系统的COP在库温-70~10 ℃范围内为0.23~0.38,基本呈线性变化,在-70 ℃时比复叠式制冷系统COP小25.8%;在环境温度升高10 ℃时空气制冷系统COP和制冷量仅降低5%和3%,变化程度远小于复叠式制冷循环（COP降低15%,制冷量降低8%）,因此环境温度对库温造成的波动更小;空气制冷系统可以通过调节出气状态来改变送风压差,对疫苗冷库进行均匀送风。相比复叠式制冷系统减少了风机设备成本功耗,调节更加方便。因此,空气制冷系统在-70 ℃以下温区应用于疫苗低温保存具有很高的可靠性和稳定性,特别适用于疫苗低温运输设备,具有很大应用潜力。