三值R0命题逻辑系统的条件真度理论

文章在三值命题逻辑系统中随机真度，随机度量空间的基础上，引入了命题的条件随机真度、条件相似度和条件伪距离的概念，研究了其性质，建立了条件随机度量空间。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

“禅悟”行云流水——再读翁凯旋

前不久在成都的蓝色空间画廊，翁凯旋先生参加了一个命题为“行云流水”的艺术展，他带来了近年的一批新作，着实让他的新老朋友们饱了眼福。诚如该展览的策划人所言：“在翁凯旋，用常人不能感悟之感悟，用常人知晓又不知晓的油彩画笔，极尽所能的揭示‘行云’生命的内在数三律动和外在形态的华丽煽情，让一种叫风景画的东西，     

有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。     

艺本无缰 万山河的新水墨艺

近些年，画家万山河始终把艺术探索的重心．放在对传统艺术向现代的创造性转换这个基本点上，围绕中国水墨画从古典形态转变为现代形态这个时代命题，他主张从精神内涵和艺术语言这两个层面上双向推进。为此．万山河进行了长期的准备，在近10年中行30万里路，几乎跑遍中国的名山大川．横跨亚、欧、美三洲，一心一意地在探新的路上摸索。     

居高声自远

做文章写诗当然是自己所思所想为最好。可是．世间的事情往往并不能由自己来决定。比如，现在的学生从小就要练习“命题作文”，现在想求得一个职业，也要经过类似命题作文这一关。在中国，古人做官须考功名，今人当公务员必考“申论”。可见，善于“命题作文”．往往成了一个人立世成名致胜的关键。“命题作诗”也是一样．生活中难免不遇到。     

陈其泰《桐花凤阁评〈缸楼梦〉》对《红楼梦》主题的接受（上）

在对《红楼梦》主题的接受与阐释中，评点派代表人物陈其泰力主“写情说”。他在《桐花风阁评（红楼梦〉》中，从“知已”、“真情”的角度把握与阐释《红楼梦》写情的主题，对《红楼梦》淋漓尽致描写与表现的男女之情给予了充分的肯定，并拔俗超群地提出了“泛爱”“爱博”的重要命题。陈氏认为抒写知己真情、至情是《红楼梦》的全部之意，而这种...     

中国原创动漫视频发布平台正式启动

3月9日．百度旗下高清视频网站奇艺（WWW.QIYI.COM）举办“改变视界”2011新媒体与动漫产业发展论坛，共同启动了中国首家正版原创动漫视频发布平台。会上．代表们就网络视频为代表的新媒体为中国动漫产业带来的影响以及国产动漫的新媒体传播优势两大命题展开了充分的讨论．并一致认为，作为新生事物．新媒体更易于为年轻一代所接受．随着30岁以下消费群体通过网络获取信息的比例已经接近了电视的数量，     

对“‘论虚功原理’一文的讨论”的答复

“论虚功原理”首先证明了这样一个命题,即在承认惯性定律的前提下,牛顿第二定律是质点动能定理的逻辑推论。证明过程的开始是这样说的,“假定我们能够独立地定义力和质量(例如根据万有引力定律)”。这个命题引起了一些同志的担心,担心它的成立就会贬低牛顿第二定律的地位。雍巧玲同志以近代理论物理学的成就,对这个命题提出了疑问。他认为毛病出在证明过程的开始,即“根据万有引力定律定义的质量应是引力质量”而不是惯性质量。我们认为,他的具体意见是正确的,但这个问题是牛顿力学固有的问题。 牛顿在三百年前在其《自然哲学的数学原理》(1687年)中,首先给出了几个定义,然后才提出其原理。关于惯性质量的定义,牛顿的大意是:     

认知语法与系统功能语法对比研究

本文从时态、情态、语态、体态、归一性及小句等结构维度，探讨认知语法和系统功能语法的系统观与功能观。从系统维度讲，系统功能语法重点研究不同结构系统之间的体现关系，而认知语法侧重于分析这些结构系统之间的层次关系。从功能维度讲，系统功能语法认为语言结构实现概念功能、人际功能和语篇功能等三大元功能，而认知语法认为语言结构的主要功能是陈述事件或情状、描写和协商命题的效度。     

激光烧结铸造型壳强度试验分析

利用激光烧结快速成型技术可以烧结覆膜陶瓷材料，形成然造用型腔壳体并直接应用于铸造，制作金属零件，由于在快速原型制造领域所使用的激光器功率普遍较低，因此，无法实现真正意义上材料的直接烧结，目前所能实现的是覆膜陶瓷的间接烧结，即利用激光融凝陶瓷表面涂覆的有机物薄膜，使陶资粉末粘结成一个原型壳体。由此形成的壳体原强度较低，不能直接用于铸造。因此，二次烧结作为一种后处理工艺用于提高壳体强度，与烧结工艺参数对原型壳体强度的影响同等重要。通过试验分析，在烧结工艺参数中，扫描间隔和扫描速度是影响原型壳体强度的主要因素，其直接影响烧结原型第一强度的变化。二次烧结后处理可以大幅度提高壳体的二次强度，满足铸造对壳体的强度要求，最后以整体叶轮的快速制造为例，验证了上述结论。     

关于孤独的伦理反思

生活难免遭遇孤独，然对待孤独有两种人生态度：一是消极的人生态度，其形而上学基础是知性地看待孤独，即把孤独虚无化，因而结果是无聊与寂寞；一是积极的人生态度，其形而上学基础是辩证理性，即把孤独视为一种必然，因此对待孤独的合理方式是在孤独中励行创造，体验生命意义。孤独是人生的一道风景线，具有审美意蕴。     

用于研究列车空气动力学的数据可视化系统

列车气动试验数据可视化对列车空气动力学研究很重要。由于列车气动试验数据场是基于曲面域的散乱数据场,采用数据场网格划分和基于等参变换的区域映射插值相结合的插值方法。在此基础上改进了扫描线算法,克服了传统扫描线算法求解收敛性得不到保证的不足。为了适应试验数据可视化系统对系统扩展性的要求,采用面向对象的软件工程思想编制了试验数据可视化系统,并在实践中改善系统。     

无人机螺旋桨实验天平的研制

螺旋桨实验是一种非常规实验 ,其特点决定了螺旋桨天平的特殊性。为了探索新的扭矩测量方法 ,准确研究螺旋桨的性能 ,设计了螺旋桨实验专用天平。该天平是同步旋转应变天平 ,实验中天平随螺旋桨高速旋转。天平设计要保证质量分布均匀 ,采用特制滑环引出电信号 ,并且天平后端用支架支撑以减小振动。该天平较一般固定式天平复杂 ,但更合理地解决了扭矩测量问题。实验结果表明 ,天平总体方案正确 ,设计合理 ,测量精度高 ,有效解决了小型螺旋桨实验问题     

空间目标监视雷达信号频率的优选准则

随着在轨微小卫星及空间碎片数量不断增加,为保证在轨卫星的运行安全,需要对微小目标进行有效跟踪探测及稳定编目。雷达作为近地空间目标监视的主用设备,在对厘米级小目标进行探测跟踪时,其工作频率是决定其能否可靠探测关键因素,高频有利于探测小目标,并可获得相对稳定的RCS,但高频信号的波束小、搜索能力较低,实现难度大,也使得成本过高。为适于实际工程应用,需从效费比出发,对频率进行优选。本文从目标RCS的角度提出一种空间目标监视雷达信号频率的优选准则,给出该准则下周长波长比ka的取值范围。为了更加清楚地说明该优选准则的应用,给出了直径5 cm和10 cm的目标在该准则下信号频率的取值范围,并与国外工作做了比较,证明该准则可行。     

基于枝切截断的高质量相位解缠算法

针对传统枝切截断相位解缠算法受残差检测理论缺陷的影响,不能实现对相位完全正确解缠,在总结枝切截断法和质量图导向法的基础上,提出一种新的相位解缠算法。在残差检测理论的基础上,使用一种新的表征相位质量的可靠性导向图指导放置枝切阻断线,对低质量相位的界定使用一种自适应阈值的方法使残差检测达到最优,提高了相位解缠的质量。对于一些背景噪声严重的情况,调制度预处理的方法提高了相位解缠的鲁棒性。实验结果表明,该算法能自动避开相位不连续区域,得到较高质量的相位解缠结果。     

航空公司航线网络设计的一种三阶段方法

采用三阶段方法来构建航空公司的航线网络,首先利用推广的F loyd算法得到候选航线,然后基于多属性决策方法从候选航线集中选出有效航线构成航线网络,最后结合民航实际建立了航班频率非线性整数规划模型,并采用ILOG软件求解所建模型,从而得到合理的航空公司航线网络设计方案。文中算例证明了本文航线网络设计方法的可行性和有效性。     

基于质量损失函数的模块实例稳健选配方法

为提高飞机工艺装备模块化设计的质量稳健性,提出了一种基于质量损失函数的模块化产品模块实例的稳健选配方法。该方法首先在给出质量损失函数统一描述的基础上,引入信噪比表达模块实例的稳定性。并综合考虑模块的功构连接形式和装配偏差,建立面向模块化产品的模块实例稳健选配模型,同时给出模型求解方法。最后,通过实例应用验证了方法的有效性和合理性。     

客机总体方案的综合评价方法

从民用飞机的经济性、环保性、舒适性和适应性出发,运用层次分析法建立多级层次结构,形成民机总体方案的综合竞争力评价模型。给出了民机方案各性能指标的量化方法,将设计准则转化为具体的民机性能指标。引入多人评价机制,提高评价模型各层级权重分布的合理性。应用本文方法对两种大型客机总体方案进行了综合评价,结果表明该方法能明确地识别出竞争力较高的设计方案,且评价结果具有合理性。算例表明该综合评价模型可用于民机总体方案的优选。     

改进的等残余高度加工自由曲面刀具路径生成算法

提出了改进的等残余高度算法用于加工自由曲面刀具路径生成。算法在生成相邻刀具路径轨迹时分两步,首先根据当前刀具路径轨迹,采用了Newton-Raphson迭代法精确求取刀具运动包络体上的点到自由曲面的距离,结合给出的Newton迭代法的迭代角度初值计算方法,精确求取满足要求的等残余高度点构成等残余高度线;然后根据求取的等残余高度线精确求取相邻刀具路径轨迹,求取过程类似。验证实例表明,该方法可极大地减少刀具路径轨迹长度,均匀曲面加工残余高度,提高曲面加工质量。