距离边界条件域和H(o)lder连续性

主要利用距离边界条件域和H(o)lder连续性的定义,当kD(x1,x2),jD(x1,x2)满足一定条件后,得到了拟共形映射和H(o)lder连续性之间的4个充要条件和1个充分条件, 即设D是(R)n中的k-BC域,f是Rn中D→D'的K拟共形映射,则f在D中的任一开球B上是H(o)lder连续的,当且仅当D'=f(D)是k-BC域;设D是(R)n中的有界一致域,f是Rn中D→D'的K拟共形映射,则f在D上是H(o)lder连续的,当且仅当D'=f(D)是k-BC域;设D是(R)n中的有界一致域,f是(R)n中D→D'的K拟共形映射,则f在D上是H(o)lder连续的,当且仅当D'=f(D)是j-BC域;有界一致域D是(R)n中的K拟共形不变量,当且仅当f在D上是H(o)lder连续的;设D是(R)n中的一致域和j-BC域,则D是(R)n中的John域.     

DITA在汽车服务手册数字出版的应用

达尔文信息类型化体系结构（DITA）是一种基于可扩展标记语言（XML）的面向主题的数字化内容结构化写作与发布方案,DITA使信息具有的可检索、可组织、可重用特性,支持快速生成服务不同受众和终端展现的出版物,被更多汽车企业所使用。结合汽车维修技术信息公开法规、标准等要求,对DITA在汽车服务手册类型与信息分类、主题、架构、内容重用等方面进行介绍,对印刷版与电子版手册进行信息架构与建模,实现交付物的多样化应用。     

基于深度学习算法的船用高频电路工作状态检测研究

为了提升船用高频开关电源的运行可靠性,提出基于深度学习算法的船用高频电路工作状态检测方法。采集船用高频电路工作状态信号,作为深度受限波尔兹曼机的输入,深度受限波尔兹曼机利用2层受限玻尔兹曼机,通过2次非线性映射,提取船用高频电路工作状态特征。设置所提取的高频电路工作状态特征,作为支持向量数据描述方法的输入,将输入样本映射至高维内积空间,判定样本是否存在于高维内积空间的最优超球体内,检测船用高频电路工作状态为正常或异常状态。实验结果表明,该方法可以精准检测船用高频电路工作状态,满足船舶高频开关电源的运行可靠性需求。     

Lyapunov特性指数谱的研究及其应用

本文对于已有的运动方程的Lyapunov特性指数谱计算公式，从易于数值实现的角度作了简化，并通过Henon映射和Lorena方程对Lyapunov特性指数与倍周期分岔的关系作了分析和比较，最后通过对受特定参数下系统周期轨道控制时的混沌Lorenz系统的Lyapunov特性指数谱的计算和分析，进一步验证了Lyapunov特性指数与倍周期分岔的内在关系。     

择一定理及向量优化问题的Benson真有效性

在局部凸Hausdorff空间中,引入了近次似凸集值映射,建立了近次似凸集值映射下的择一定理.最后,获得了近次似凸集值映射向量优化问题标量下Benson真有效性的一个性质.     

大型船舶综合信息数据库的目标数据检索方法

为了提高大型船舶综合信息数据的挖掘和检索能力,实现大型船舶综合信息数据库优化访问,提出一种基于关联特征映射调度的大型船舶综合信息数据库的目标数据检索方法。在数据库中提取目标数据的频繁项规则性特征量,对提取的大型船舶综合信息特征量采用模糊K均值聚类方法进行分类管理,采用特征分解方法对数据库中的存储数据节点进行决策树分叉设计,实现目标数据的关联特征映射调度,提高数据的检索能力。仿真结果表明,采用该方法进行大型船舶综合信息数据库中目标数据检索的查准性较好,检索精度较好,数据的召回性较高。     

关于简单图中对称点的性质

研究了简单图的一些重要性质.     

大跨度铁路桥梁线-桥垂向变形映射模型

以大跨度铁路桥梁线-桥系统为研究对象,通过推导理论公式建立桥梁与有砟轨道的垂向变形映射模型,并通过算例对变形映射模型的正确性进行验证。结果表明：将大跨度桥梁线-桥系统划分为桥梁,有砟道床和轨枕,扣件和钢轨三个子系统开展垂向变形映射关系研究是可行的;通过线-桥垂向变形映射模型计算大跨度悬索桥、斜拉桥的钢轨垂向变形与有限元仿真结果一致,证明了本文提出的映射模型是正确的;通过线-桥垂向映射模型计算钢轨变形,可以避免在有限元模型中建立轨道结构,从而减少模型单元数量,提高计算效率。     

高速铁路桥梁-轨道体系检测监测与行车安全研究进展

为了提升桥梁-轨道结构服役安全性能,保证复杂环境条件下高速铁路结构适应性和行车安全舒适性,研究了高速铁路桥梁-轨道体系检测监测装备的改进与优化,分析了桥梁-轨道结构服役性能动态演变规律,总结了复杂条件下桥上行车安全评价与预测方法,展望了未来研究重点与方向.研究结果表明:在桥梁-轨道体系检测监测技术方面,现有研究聚焦于传...     

属于有向循环的模的刻划及预投射划分的某些性质

对一个模属于有向循环给出判断和深刻的刻划，且讨论了预投射划分的某些性质。