摘要：限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.

摘要：目的针对国六标准三元催化器GBD机器人自动封装生产线设计需求,为了提高GBD的封装效率和质量,减少重复劳作,减轻生产过程中的劳动强度,降低企业生产成本,以缩短生产线生产周期、提升自动化水平。方法重点完成生产线电气系统设计等内容,改变传统的单PLC控制方法。结果在原有的封装生产线的基础上,突破多PLC控制系统的关键技术,研制出了GBD机器人自动封装生产线电气系统。通过实际生产使用,有效地提升了生产线封装效率,将单载体单次缩径整线生产节拍由60 s缩短至45 s,有效提高了生产线的封装效率。结论实践证明,该GBD封装生产线能平稳运行,显著提升企业的自动化水平。

摘要：根据移动鼠标电池后盖产品的特点,运用Moldflow 2015软件对其进行模拟分析,优化了浇注系统和冷却系统设计,并以翘曲变形量为评价质量的目标,结合正交实验和极差法分析,得到了最佳工艺参数。结合Moldflow2015分析结果,利用AutoCAD和UG6.0软件对移动鼠标电池后盖进行注射模设计。设计出的模具结构工作可靠,生产周期短,有利于指导企业实际生产。

摘要：在对Y型喷嘴结构和雾化机理研究分析的基础上,设计了一种新型的扇形雾化喷嘴,并对该喷嘴进行了实验研究.实验测量了不同气、液压力下扇形雾化喷嘴的流量、雾化角和索特尔平均粒径及其在空间上的横向和纵向分布.通过对液流量用Y型喷嘴设计公式进行拟合,得到了公式中适合扇形雾化喷嘴设计的系数取值:μ=0.39,β=0.98.喷雾雾化角α大约在90o～98o之间,变化不大.喷雾的索特尔平均粒径在空间横向呈类似'W'的分布,在空间纵向呈逐渐降低并趋于稳定的分布.

摘要：提出了基于排样思想的模具零件工程图尺寸防干涉算法,给出以最小尺寸偏移量为目标,尺寸干涉为约束条件的优化数学模型,并在AutoCAD软件中利用VisualLISP语言实现该方法。采用该算法对模具零件进行自动标注。实例测试结果表明:采用所提出的算法可以很好地解决尺寸重叠干涉问题,实现了尺寸标注过程的自动化,提高了模具开发效率。

摘要：针对现有加速器驱动核能系统概念设计中存在的安全隐患,采用MCNP程序设计了加装辅助停堆系统的次临界实验装置;通过改变热区栅距、热区厚度和控制棒的下插深度来改变堆芯参数,对反应堆有效增殖系数进行计算和比较分析,实现了不同堆芯参数下keff值可调;对几种不同热区栅距和热区燃料棒根数所对应的停堆深度和控制棒价值进行了计算,结果表明,辅助停堆系统提高了加速器驱动系统(ADS)的安全性。

摘要：无线传感器节点通常依靠电池供能,为了满足无线传感器网络的往往长达数年的生命周期要求,应当努力提高其能量有效性,特别是消耗大部分能量的通信模块的能量有效性。首先系统讨论了无线传感器网络的通信的能量有效性的研究现状,然后基于传感器节点的通信模块的功耗特性,运用应用驱动和跨层优化的方法,设计了一种无线传感器网络通信架构——ADCOCA(Application-Driven and Cross-layer Opti mized Communication Architecture)。理论分析表明,ADCOCA改善了无线传感器网络通信的能量有效性,延长了网络的生命周期,推动了无线传感器网络应用的普及。

摘要：为克服传统设计降雨方法对降雨要求高且忽略空间分布等特点,基于ERA5再分析降雨数据,分析东江流域降雨时空分布特征,并选取不同时期的短时序降雨数据耦合RainyDay模型,以推估得到具有时空特征的区域设计降雨,并探讨基于短时序降雨数据推估设计降雨的可行性。结果表明,东江流域时空分布不均匀,空间上流域西南平均降雨量和极端降雨发生概率较大,而时间上有明显的季节性,降雨集中于4~9月;耦合RainyDay模型和短时序降雨数据能较好地反演和推估研究区域的设计降雨,其能够考虑不同重现期下降雨的空间分布特征,克服了传统方法简化空间分布、所需降雨数据时间序列长等缺陷。

摘要：空间飞艇无线通信系统为其安全飞行提供必要数据支持,而供电设计则是制约空间飞艇的安全飞行时长。为了配合空间飞艇的长航时飞行,针对无线通信系统的持久供电问题,利用太阳能电池进行自供电设计。高转换效率是自供电设计的重要技术难点。为了提升太阳能自供电系统的转换效率,对传统的BOOST电路结构和最大功率点跟踪算法进行优化设计。采用同步BOOST电路结构降低电路功耗,并提出了高效率的自适应电导增量法。最后进行了Simulink仿真设计,以及硬件电路设计。实验结果表明,自适应自导增量法实现了快速、高效的最大功率点跟踪,硬件电路系统实现太阳能电池的能源转换。整个系统设计合理可行。

摘要：S-(+)-2,2-二甲基环丙烷甲酸是合成西司他丁(一种肾脱氢二肽酶抑制剂)的关键中间体,今设计了一条新的2,2-二甲基环丙烷甲酸合成路线并改进了拆分工艺,它是以异戊烯酸为原料,经酸的酯化、烯键的环丙烷化、酯水解制得2,2-二甲基环丙烷甲酸,收率为44.1%。其中,环丙烷化反应用锌粉/氯化亚铜-乙酰氯作为催化剂,二溴甲烷作为环丙烷化试剂,这样可以在温和的条件下进行反应,降低成本。此外用L-肉碱草酸盐作为手性拆分试剂,经酰化、成盐、部分结晶、水解得到S-(+)-2,2-二甲基环丙烷甲酸。收率为16.7%,手性纯度大于95%。此路线工艺简单、环境友好、成本较低,易于工业化。