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

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

KBr-H2O、NH4Br-H2O和ZnBr2-H2O作用浓度计算模型

建立了强电解质水溶液KBr-H2O、NH4Br-H2O和ZnBr2-H2O作用浓度的计算模型,计算了上述三个溴化物二元水溶液体系在温度为298.15K、质量摩尔浓度达到饱和前的作用浓度.热力学模型计算的组元作用浓度以纯物质为标准态和摩尔分数为浓度单位,与文献报道的组元活度以无限稀为标准态和质量摩尔浓度为浓度单位经过活度的标准态转换后可良好地吻合,且转换系数在计算的浓度范围内基本守恒.以上热力学模型计算的组元作用浓度能反映出强电解质水溶液的结构本质;在本模型的假设下电解质水溶液呈现理想溶液特征,组元的作用浓度在计算的浓度范围内严格遵守质量作用定律.     

基于形态学滤波和Hough变换的掌纹主线提取方法

提出一种结合形态学滤波和Hough变换提取掌纹主线的方法,在对方向性掌纹线特征子图像做形态学滤波后,将滤波图像转换至Hough变换参数空间,利用Hough变换具有的点线对偶性,检测参数空间内累加数组的峰值来确定主线的空间位置和走向,并展开邻域检测得到主线.本文算法更符合主线的自然生长规律,在成功提取主线的同时消除了粗大掌纹皱纹在主线提取中易产生的干扰.     

碳钢太阳能相变硬化组织特点及其形成机理

本文阐述了太阳能相变硬化的基本原理,对三种有代表性的碳钢(亚共析钢、共析钢和过共析钢)试样进行定点及扫描加热自冷淬火,观察和分析了淬火层的宏观结构、显微组织及马氏体亚结构;测定了晶块尺寸、残余奥氏体量及碳浓度分布情况;讨论其特点及形成机理。     

单航片数字转绘在土地详查系统中的应用及其精度评定

土地详查系统是将来建立国土信息系统的一个子系统,建立该系统的关键之一是实现调绘航片的数字转绘,本文通过分析单航片数字转绘的精度,从理论上阐明了以数字转绘代替仪器纠正实现土地详查内业自动化的可靠性。     

对混合Abel群中一定理证明的改进

本文指出了A.T.库洛什“群论”(上)书中一定理证明的错误,并给出了正确的证明。     

有机物溶解度和辛醇/水分配系数的QSPR研究

通过对分子图的顶点和边同时着色得到染色分子图,借助于相对键长和点价δｉ来分别代替拓扑距离以及顶点度ｖｉ,并结合邻接矩阵和距离矩阵提出了一个用于表征含多重键,杂原子化合物的拓扑指数Ｘｕ,研究了拓扑指数与醇,醚,酯,酮和烷基苯的溶解度,正辛醇／水分配系数的相关性。     

频哪醇重排反应与构象最小改变原理的研究

本文应用构象最小改变原理分析讨论pincol重排反应.指出基团的迁移不是由基团迁移能力来控制.而是由反应物的立体构象控制.反应物总是处在最稳定的构象中.离去基团和迁移基团总是处在反式共平面的位置.整个反应都遵循构象最小改变原理.     

闭光滑流形上具有拓广的Bochner-Martinelli 核的奇异积分的置换公式

利用拓广的Bochner Martinelli型积分的Plemelj公式,得到了闭光滑流形上具有拓广的Bochner Martinelli核的奇异积分的置换公式,并且当密度函数可全纯开拓到区域D内时,证明了相应的合成公式.     

体上一类分块矩阵的群逆研究

给出2个矩阵和的群逆存在的条件及其表达式,在此基础上得到了体上分块矩阵XA+YBBAD)会在一定条件下群逆存在条件及其具体表达式,其中:A,B,X,Y∈Kn×n,A#,B#存在.