排序方式: 共有15条查询结果,搜索用时 31 毫秒
1.
雪域高原,美丽而神奇,是多少人向往已久的旅游胜地,《藏地牛皮书》的书界喧嚣尝未散尽,又迎来了西藏自驾游完全手册《巅峰之旅》。有人曾对为热衷于独行天下背包客们设计的《藏地牛皮书》那充满人性化的细节而喜欢得发抖,而《巅峰之旅》的作者赵柯为乐于自驾车的游客用心制作的这部手册,形式的新颖和巧妙、内容的完备和 相似文献
2.
十三、外星人和UFO 外星人到过地球吗 这个命题有多重含义:一是外星人是否到过地球?二是外星人为什么还没有到过地球?三是没有外星人到过地球的事实,是否说明没有外星人? 相似文献
3.
航班正常性这一困扰航空公司的难题,正如我们在生活中遇到的许多问题一样,是无解、多解抑或是唯一正解?我想首先我们应该证明这一命题的合理性,只有证明命题存在是合理的,我们才需要根据命题去寻求答案。否则,我们只有重新命题,进而再寻找答案。也就是说,我们应先证明目前这一困扰的存在是否合理。我们不妨从以下几个问题中去寻找答案。 相似文献
4.
莫志浩 《南京航空航天大学学报》2001,33(2):149-154
中介系统是以中介原则为基础,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML,它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*,以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言,在保证其相容性、完备性和独立性的前提下,形式系统的推理规则集越简洁,使用越方便。本文对规则集SA进行了简化,方法是:如果SA中某条规则可由SA中其余规则推导出来,并且推导过程所用形式定理的证明未用到此规则,则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。 相似文献
5.
叶轮机械任意旋成面叶栅气动杂交命题矩函数型变分有限元解法 总被引:1,自引:1,他引:1
本文在文[1]、[2]提供的矩函数变分原理基础上建立了任意旋成面叶栅A类、B类杂交气动命题的变分有限元解法。文中用有限元法对相应的变分原理进行离散,所得非线性代数方程组迭代求解。由解出的矩函数计算流场速度、压力与密度,最后通过积分获得叶片未知边界形状。本文给出的计算结果显示了杂交命题方法的有效性和灵活性,它可以直接用于叶片改型与设计工作。 相似文献
6.
本文建立了适用于纯物质流体轴流式S_2流面正命题的变分原理族及其对偶变分原理族。证明了其中的两条狭义变分原理在均转子焓均熵条件下在亚声速区内分别为极大值原理和极小值原理。在变分原理的构造中,采用吉布斯关系作为约束,从而使这些变分原理适用于纯物质流体。 相似文献
7.
应用坐标变换,把可变动的物理平面,在映像平面上转化成的十分规则的矩形区,这给有限元计算带来了极大的方便。 相似文献
8.
两个人在云端摆的龙门阵中国历来有"四大美女"之说,也有"四大美男"或"五大美男"、"十大美男"之说。谈论"男色"似乎被认为不太正经,但透过所谓"美男"之死来看古代知识分子的命运,却不能不是一个严肃的命题。历史上,人们偏爱称道 相似文献
9.
李松 《华北航天工业学院学报》2004,14(2):53-55
2000年中英首次在自考领域合作开考了商务管理专业和金融管理专业,《会计学》是其开设的专业基础课,由于采取了中外合作办学形式,该课程在内容结构、命题模式、案例分析等多方面具有独特性,本文就该课程的特色以及有针对性的开展教学进行有益的探索。 相似文献
10.
一、培训命题民航企业管理培训工作首先应该面对企业管理的核心命题。求解的基本方式是在向企业负责的前提下,立足于对企业管理命脉的深入了解,以及在此基础上的链式推进。这就是克罗顿维尔模式的基本特征。 相似文献