Fisher Z分布流形的几何结构

Fisher Z分布作为一个统计分布在实际中有广泛的应用。首先从信息几何的角度对该分布进行了分析,在分布的参数取其允许值时研究其全体所组成的流形几何结构;讨论了Fisher Z分布流形的对偶结构及其平坦性,进而给出了该流形的黎曼度量、α仿射联络和α曲率,并在该统计流形上定义了散度来衡量两点之间的距离;最后给出了Fisher Z分布流形在高一维欧氏空间中的一个图浸入。     

关于Z-空间的性质

提出了B-Z-空间的概念,研究了有关Z-空间的性质,同时将泛函分析中赋范空间的积空间与商空间的性质移植于Z-空间之中.     

Microsoft组件对象模型的形式化描述

基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.     

3种肉桂酸（4—X—（Z）—2—烯—丁基）酯（X＝OH，Cl,I））的合成、表征及理论研究

报导了3种肉桂酸（4－X－（Z）－2烯－丁基）酯（X＝OH,Cl,I)的制备,测定了标题化合物的红外和核磁共振谱,并有HF／4－31g方法优化了3种化合物构型,在此基础上计算机了其红外光谱,再用GIAO从头计算方法计算了3种化合物的NMR谱,其结果与实验值符合较好,显然,IR,NMR的量子化学计算机可为确定化合物的结构提供一种新的工具。     

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集     

基于MKE06Z64的电动汽车低速行驶提醒系统设计

为了解决电动汽车低速行驶中因无提示音而易引发交通事故的问题,设计了一个基于MKE06Z64的电动汽车低速行驶提醒系统.该系统主要包括主控模块、电源模块、稳压模块、CAN总线模块、LPF模块、功放模块和存储模块（备用）等.主控模块接收并分析电动汽车CAN总线的指令,获取档位、车速、使能信号和音源选择等车况信息,主控芯片再根据这些信息找到对应的音源,利用PWM输出提示音.     

Z_q可逆等变平面系统的一般形式及极限环分支

研究平面多项式系统极限环的个数是著名的希尔伯特第16问题的重要部分,由于这一问题十分困难,人们不断研究一些具有某种对称性的系统,例如,关于Zq等变平面系统的一般形式及其极限环的个数已有很多研究.研究了Zq可逆等变平面系统.首先通过变换把实系统化为与之等价的复系统,研究系统在复平面下具有可逆等变的性质,给出了所有Zq可逆等变平面系统的一般形式,并作为推论具体给出所有不高于六次的平面多项式系统具有Zq(q=2,4,6,8.)可逆等变性质的具体形式.这一具体形式简洁明了,易于使用.作为应用特别研究了一类五次Z4可逆等变哈密顿系统的Z4可逆等变七次多项式扰动系统(称之为Z4可逆等变近哈密顿系统),利用Melnikov函数的展开式和Hopf分支方法,得到这一Z4可逆等变近哈密顿系统至少能从中心分支出24个小极限环,并给出了其极限环的分布.最后让七次Z4可逆等变扰动项中某些参数为零的情况下使之成为五次Z4可逆等变扰动多项式,研究所得Z4可逆等变五次近哈密顿系统,发现在五次Z4可逆等变多项式的扰动下,系统可分支出8个小极限环,这8个小极限环可形成2种不同的极限环分布.