Goedel逻辑系统中公式条件概率真度的研究

基于条件概率的思想,在Goedel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。     

Gödel逻辑系统中公式条件概率真度的研究

基于条件概率的思想,在Gödel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。     

几类特殊的概率度量空间

给出了概率度量群和线性概率度量空间的定义,并引进一种特殊的线性概率度量空间--概率赋准范空间.随后定义了概率仿射度量空间,它是一种特殊的概率度量空间,在上面可以构造出一种线性结构使得该度量空间成为一个线性概率度量空间.最后给出了一个概率仿射度量空间的例子,该空间是通过一个非拓扑线性的概率赋范     

“围点”的概率问题

本文利用集合论的方法研究“围点”的概率。给出“围点”概率的概率空间，并就圆域和正方形域两种情形给出了“围点”概率的计算公式。     

退化椭圆型方程Dirichlet问题的概率数值解法

A.Friedman 在参考文献中给出了退化椭圆型方程 Dirichlet 问题解的概率表达式,本文在此基砷上,给出了它的概率数值解及其误差估计.     

无失效数据的失效概率的E-Bayes估计

提出了参数的一种新估计方法--E-Bayes估计法.在无失效数据情形下,给出了失效概率的E-Bayes估计的定义,在此基础上给出了失效概率的E-Bayes估计.     

概率约束规划逼近问题最优解集的下半收敛性

在初始概率约束规划问题水平集正则的条件下,利用最优解集的结构特征给出了概率约束规划逼近问题最优解集下半收敛的一个充分条件,并由此结果给出了概率约束规划逼近问题最优解集Hausdorff收敛的一个充分条件.     

三维随机变量在长方体内取值概率公式的一种证明

本文给出了二维随机变量在长方形内取值概率公式的一种新的证明方法，比已有证明直观、易懂，并用这种方法给出了三维随机变量在长方体内取值概率公式的证明．     

普通划分下F事件的全概率公式

给出Ｆ事件的条件概率定义和性质，并在基本空间普通划分下给出Ｆ事件的全概率公式。     

双向S-概率粗糙集及其应用

在集合X的双向动态特性与知识库中统计信息的基础上,提出了双向S-概率粗糙集模型。讨论了双向S-概率粗糙集的动态特性,给出了双向S-概率粗糙集的应用。     

CT血管成像(CTA)对头部血管性病变的临床应用价值

目的:探讨CT血管成像(CTA)对头部血管性病变的临床应用价值.方法:对30例脑血管病患者进行常规头颅CT平扫加CTA检查,并对其图像进行对比分析.结果:头颅CT平扫表现为颅内出血8例,蛛网膜下腔出血14例,正常8例.而CTA检查显示动脉瘤16例,动静脉畸形6例,动脉狭窄4例,动脉硬化1例,正常3例.结论:CTA可做为脑血管疾病的诊断和介入治疗筛选的方法,尤其可做为脑动脉瘤和动静脉畸形所致蛛网膜下腔出血的首选检查方法.     

蹦床项目制胜因素探讨

对蹦床项目制胜的因素探讨、分析后认为,稳定是基础、难度是途径、质量是根本、心理是保证。此外,运动员还需要发扬团队精神和拼搏精神。     

汉越语与中古汉语的舌面音韵尾比较

在汉越语中鼻音韵尾、塞音韵尾分布十分整齐.汉越语中的对应,暗示着中古汉语语音系统对应性.有一些证据表明,中古汉语"梗摄"和"宕摄"的阳声韵以舌面鼻音收尾,入声韵以舌面塞音收尾,这样中古汉语的鼻音、塞音分布也十分整齐对称.     

应用型人才培养中大学生创新平台的建立

通过机械类学生创新能力与实践能力的培养事例,阐述了以学生为中心,以兴趣为导向,以CAD协会为平台,以创新设计为手段,以校内外竞赛为激励机制的课外培养体系,构建集教学、训练和创新活动为一体的新型教育平台,达到应用型创新人才培养目标.     

学分银行视阈下职业教育课程建设探究

课程是学分依存以及学习者学习的载体,在职业教育学分银行建设中处于核心地位。学分银行视阈下的职业教育课程建设要坚持以标准化为逻辑起点、以完整性为基本要求、以模块化为表现形式、以层次性为设计原则以及以一体化为根本追求的理念,按照专业标准建设、课程标准建设、课程内容建设、反馈机制建设的逻辑序列进行。同时,需要辅以完善顶层设计、加快经费投入、建立评价机制、加快师资储备来保障其顺利运转。     

三维参数绘图技术路线的实现

对高端支撑软件，如UG、Pro／ENGINEER和低端支撑软件，如AutoCAD、SolidEDGE各自所具有的特点进行了分析比较；介绍了交互式建模和编程式建模的优缺点；对以命令组文件（SCR文件）和图形交换文件（DXF文件）为接口的技术路线进行了对比。通过综合分析，介绍了以AutoCAD为图形支撑软件、Visual C＋＋为开发平台、命令组文件（SCR文件）作为接口文件，采用编程式建模来实现三维参数绘图的技术路线，并通过桥式起重机为例说明。     

大学生自我同一性形成的心理策略

大学阶段是整个人生发展的重要环节，也是人格形成与发展的重要阶段。在这个阶段里，大学生最主要的任务是选择和确定自己的社会角色，并尽量认同和接纳自己，完成自我同一性，否则将会阻碍人格的健康发展，影响大学生的学习与生活。因此，大学生应正确形成自我同一性，完成人生发展的重要转折。     

两类非奇异阵的性质

讨论了有广泛一般性的两类非奇异阵的基本性质，得到这两类非奇异阵的逆阵、伴随阵及其主子阵的Ｓｃｈａｒ补以及Ｓｙｌｖｅ３ｔｅｒ矩阵、三角分解方面的若干有用的结论．     

基于粗糙集的车牌字符识别方法

提出了一种基于粗糙集理论的车牌字符识别的方法，通过粗糙集的属性约简，有效地压缩了图像的特征数目，提高了运行效率，并且采用基于影响因子的图像判别算法，有效地提高了识别的准确率．以在高速公路收费站实地拍摄的车牌图像为样本，经过车牌的定位、分割，以及字符的分割，选取其中的300幅字符图像作为训练集，100幅字符图像作为测试集，实验结果表明：将训练集图像作为输入，正确识别率为100％；将测试集作为输入，正确识别率为86％。     

运动对小鼠自由基代谢及衰老的影响

通过对造衰小鼠进行12周不同负荷的游泳训练,观察血清和组织线粒体中的丙二醛、超氧化物歧化酶和过氧化氢酶以及脑组织中的脂褐素的变化结果发现不同负荷运动对抗氧化酶的活性和丙二醛的含量以及脑组织中的脂褐素的水平影响不同。