用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

GeO2基Er^3＋和Yb^3＋共掺杂氟氧混合物材料的上转换发光

制备了以GeO2为基础的6个Er^3 与Yb^3 共掺杂样品,并测试了它们在858nm半导体激光和930nm二极管激光激发下的荧光谱,测量发现,930nm二极管激光激发下各样品的荧光强度较之858nm半导体激光激发下的荧光强度普遍要强,且Ge4,Ge5两样品较之其余四个样品在两种光源的激发下的绿光段的荧光强度要强的多,且用肉眼在白天即可见很强的 绿光。简单分析了它们的上转换机制。     

隔离开关自动转换装置设计

针对低压隔离开关试验中操作手柄力矩和行程时间的统一配合问题,对电感式接近开关进行了研究。隔离开关自动转换装置中的制动装置采用高可靠性的电感式接近开关,自动转换驱动是利用电容分相的原理控制电动机正向转动和反向转动,从而使被测隔离开关分合闸自动操作。依据国家标准GB/T 14048.3—2017研制了隔离开关自动转换装置,提高了产品试验时的稳定性和可靠性,保障了试验操作人员的人身安全和试验线路的设备安全,为生产企业进行产品研发论证提供了参考。     

全光波长转换与光收发模块国家重点技术改造项目通过验收

2005年12月22日，华工科技承担的“全光波长转换与光收发模块国家重点技术改造项目”通过了由湖北省发改委、湖北省信息产业厅、武汉市发改委等单位组成的项目验收委员会的竣工验收．该工程2003年1月动工，2003年12月完工，2004年3月投入试生产，完成投资18867万元．     

煤矿排水设备性能的自动检测

本文提出了利用单板计算机对井下排水设备性能进行自动检测的方法,其中包括检测系统、机械量转换、计算机程序及系统误差分析等内容,为解决煤矿固定设备的性能检测提出了新的途径.     

惯性导航系统仿真可靠性评价的新方法

从目标分类角度,通过挖掘隐藏在各指标隶属度中关于目标分类的知识信息,设计一种滤波器,能清除指标隶属度中对目标分类不起作用的冗余数值,在无冗余数据干扰下实现隶属度转换。由此建立隶属度转换的一般方法,最终解决系统仿真可靠性评价中隶属度转换问题。     

极性有机小分子PC-Nafion膜的结构特性

从Nationll7出发，制备了H^ 、Li^ 、Na^ 3种不同阳离子类型的Nation膜，采用傅里叶转换红外光谱法研究了极性有机小分子增塑剂碳酸丙烯酯(PC)与3种阳离子型Nation膜的相互作用．结果表明，PC的加入能和阳离子发生很强的络合作用，在一定程度上破坏了Nation膜体系的离子簇结构，从而促使盐的离解，导致体系电导率的提高；此外，PC羰基与Li^ 离子之间的络合作用要强于其与H^ 离子间的相互作用．     

群决策中两类偏好信息——AHP判断矩阵和模糊偏好关系矩阵的一致化方法

在有限方案的群决策问题中，如何统一具有不同形式的偏好信息是一个新的研究课题。本文针对群决策中决策者给出着于方案的两类偏好信息－AHP判断矩阵和模糊偏好关系矩阵，通过构造转换函数，给出关于这两类偏好信息的一致化方法，这为研究群决策中不同形式偏好信息的集成方法和方案排序打下了坚实的基础，最后给出一个算例。     

一种随机利率条件下企业可转换债券定价的离散时间方法

在考虑了企业市场价值波动和利率及其期限结构的波动及两种波动之间的相关性的基础上 ,本文提出了一种可转换债券无套利定价的离散时间模型 .通过研究它与连续时间模型之间的关系 ,证明了这一模型的合理性 ,并得到了参数估计方法 .结合可转换债券的价值边界条件 ,就可以用这一定价模型计算出可转换债券的定价了 .作为离散时间模型 ,这一定价方法可适应可转换债券条款多变的特点 ,并在计算机上能方便实现 .     

一种实用的高速数据采集系统

介绍了以MDA技术为核心的高速数据采集系统的设计，分析了系统的工作原理和技术要点，给出了用汇编语言编写的程序段和电路原理图，该系统可用于生物电波、电子学频谱、声波分析等瞬态信号的实时采集。