从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

气动多向柔性驱动器形变与驱动特性

设计一种片状约束环套装5个密封弹性腔体和弹簧的气动多向柔性驱动器，分析驱动器受力和力矩，建立气压与轴向伸长量、驱动力、弯曲方向的非线性理论模型.通过试验与理论模型对比，获得驱动器在不同气压下的形变与驱动性能关系.结果表明：通过控制通入气体压力，可以控制驱动器产生不同程度的形变与驱动力；气压越大，形变与驱动力越大；该驱动器具有较高的灵活性和良好的驱动性能，改变通气方式，驱动器可以完成轴向伸长和空间多个方向的弯曲变形；0.23 MPa气压下驱动器轴向伸长量为137 mm,伸长率超过100%,弯曲角度达225°,轴向驱动力为242 N,弯曲夹持力为169 N.     

可加白高斯信道上软判决序贯译码的码元度量的估计

其中,n(t)为高斯白噪声,具有均值 E_n(t)=0和自相关函数 E_n(s)n(t)=(N_0)/2δ(t—s);N_0称为噪声 n(t)的单边功率谱密度,δ(τ)称为δ函数或单位脉冲函数.r_i(t)通过相干解调后得     

PMS最佳工艺条件的选择

PMS(磷酸单酯淀粉)是由淀粉经化学改性而得,广泛应用于造纸、纺织、食品等方面。在造纸工业中,作为湿部添加剂,能够改善纸张强度和提高填料留着率。作为纸张增强剂,由于它的价格比阳离子淀粉低,且使用效果好,很受用户欢迎。在纸张表面施胶中,可代替市场紧张、价格昂贵的干酪素,与缎白颜料一起生产具有优良耐湿磨擦性能的高档纸。PMS的研究、生产和应用开始于50年代,但有关应用于造纸行业的PMS的最佳合成条件尚未见有详细报道。本文利用正交试验,研究了PMS的合成,找出了最佳反应条件。     

一道立体几何题教学的体会

在全日制十年制学校高中数学课本第二册的第五章空间图形(四)空间两个平面5.14两个平面垂直的判定和性质中安排了唯一的一条例题: 已知两条异面直线a、b所成的角为θ,它们的公垂线段AA′的长度为d.在直线a,b上     

诗人白居易的伟大成就

公元七五五年,即天宝十四年,是唐帝国发生钜大事变的一年。原来镇守帝国北部的蕃将安禄山起兵叛唐,不久即占领帝国的都城长安。李隆基(唐玄宗)被迫逃蜀,结束了他的四十年宫廷奢侈腐化生活。所谓安史之乱,经过七年又三个月,总算平定,接着仍是地方藩镇与中央政府长期对立的局面,军事行动无法停止。所以讲到唐代历史,应以七五五年为最大转捩点,(?)成以前     

伦敦奥运会我国竞技体操优势项目群的研究

运用文献资料、数理统计以及比较分析法,以第41—43届世界体操锦标赛各国竞技体操项目奖牌数为研究平台,依据竞技比较优势理论找出目前我国竞技体操的优势、潜优势项目,在此基础上,对近3年世界竞技体操强国的优势项目群的动态变化以及与我国优势项目群重叠的各竞技单位优势项目群的动态变化进行分析,结果显示:伦敦奥运会我国竞技体操的比较优势项目有双杠等6项,潜优势项目有高低杠等5项,伦敦奥运会世界竞技体操强国有各自的优势项目群且比较优势程度不同.伦敦奥运会我国竞技体操优势项目与潜优势项目的主要竞争对手如下:男子团体项目为日本,平衡木项目为美国,女子团体项目为美国和俄罗斯,高低杠项目为美国,女子自由操项目为澳大利亚,鞍马项目为匈牙利.     

函数型数据回归分析综述

随着计算机储存能力和在线观测技术的提高,当今数据越来越多的以曲线和图像的形式存在.曲线和图像数据两个最显著的特征是高维和相邻数据间高度相关.这些特征使得传统的多元统计分析方法不再适合,而函数型数据在处理曲线和图像数据中具有无可比拟的优势.近年来各种各样的函数型数据分析方法得以发展,其中包括数据的对齐、主成分分析、回归、分类、聚类等.本文主要介绍函数型数据回归分析研究的起源、发展及最新进展.具体地,本文首先介绍函数型数据的概念;其次介绍函数型主成分分析方法;再次着重介绍函数型回归模型的估计、变量选择和检验方法;最后将简要探讨函数型数据未来的可能发展方向.