排序方式: 共有45条查询结果,搜索用时 31 毫秒
11.
莫志浩 《南京航空航天大学学报》2001,33(2):149-154
中介系统是以中介原则为基础,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML,它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*,以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言,在保证其相容性、完备性和独立性的前提下,形式系统的推理规则集越简洁,使用越方便。本文对规则集SA进行了简化,方法是:如果SA中某条规则可由SA中其余规则推导出来,并且推导过程所用形式定理的证明未用到此规则,则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。 相似文献
12.
如果你正在被一头狮子追赶,你最好像一头羚羊一样行动迅速,动作敏捷;或者像一头健壮有力的犀牛,令对手望而生畏!如果你想在商业零售领域赚钱,要么像沃尔玛一样高效无比,要么像皮毛专卖店Neiman Marcus一样奢华。在航空公司领域,如果你不具备低成本结构或者又没有一流的产品和服务,那么你将站在一个"死亡地带",公司经营要么很艰难,要么变得很糟糕。 相似文献
13.
莫丽娜 《桂林航天工业高等专科学校学报》2013,(3):347-349
海明威的短篇小说独树一帜,以陈述句为主,描写精准,对白简短,《白象似的群山》更是其中的经典之作。朗吉弩斯认为崇高是一颗伟大心灵的回声,是一切伟大作品共有的风格。小说在主题思想和写作风格两方面都孕育着崇高美的意境。 相似文献
14.
AVIATIONWEEK》》&SPACETECHNOLOGYEuropeanRεDprojectsTargetCleanerEngines为在未来的民用发动机市场上占更多的份额,欧洲发动机公司正在实施环保型发动机研究计划,目标是大大减少CO。和NOX的排放,并降低拥有费用欧洲委员会已同意投资两项研究计划,旨在为商用飞机研究更清洁和更高效的发动机。这些称为技术平台的飞机发动机计划是根据欧洲委员会研究指挥部第5框架计划进行的,这些计划从2000年到2004年实施,是提高欧洲航字工业竞争性的一系列主要研究和发展计划的首批计划。根据第5框架计划投资的其他技术平台计划… 相似文献
15.
现代商业竞争最为激烈的两场商业大战在今天同时打响了,这两场戗争的中心都在美国,但已经蔓延至欧洲和世界其他地区。通用汽车和福特——曾经的汽车制造领域的领军人物,现在则出现亏损、丢失市场份额,而且似乎无助地在同入侵者——如丰田和日产竞争,他们在竞争中难以捍卫自身市场。在民航业,美联航(United)和合众国航空公司(US Airways)已经在曾经是处在缝隙市场的航空公司如西南航空公司的入侵中濒于破产。在这两个案例中,处于挣扎之中的老企业的失败原因都有一些共同之处:市场需求下降、劳动力成本过高、历史包袱沉重和不断上涨的油价。 相似文献
16.
本研究使用Stackelberg博弈模型来研究未来5G异构蜂窝网络中宏蜂窝和小蜂窝之间的干扰协调问题.考虑到异构组网的限制,考虑了资源分配和功率控制进行分布式决策的干扰协调场景,将资源分配和功率控制问题转化为2步博弈:首先,由小蜂窝决策的跟随者博弈中,根据成本参数计算出小蜂窝链路的发射功率;其次,在宏蜂窝决策的领导者博... 相似文献
17.
为了使航空发动机达到高推质比、低燃油消耗率、低污染以及拓宽稳定工作范围的目标,应使用涡轮导向器增燃技术在涡轮导向器叶片间喷油点火再次燃烧,提高涡轮内燃气温度,从而提高发动机的总体性能.阐述了涡轮导向器增燃技术具有提高航空发动机总体性能的潜在优势,分析研究了该技术中组织燃烧的关键技术、参数和机理问题,得出如下结论:①对于射流旋流方案,径向凹槽对燃烧室出口温度分布起决定性作用;降低燃烧凹环内当量比,可提高燃烧效率,从而降低CO,UHC(未燃碳氢化合物),NOx等污染物排放量.②当二次气流角为60°时,射流涡流方案各项燃烧性能较好. 相似文献
18.
一种新的气动位置系统开关控制方案 总被引:1,自引:0,他引:1
首先建立了阀控气缸系统的数学模型,并定性地分析了其动态特性;然后提出了一种新的、气缸位置的开关控制算法;最后,本文通过实验研究说明采用这种新算法的系统具有较好的动、静态性能。 相似文献
19.
20.
案卷编号:NO.74目击地点:美国,威斯康辛,沃帕卡目击时间:日落时分目击者数量:1人城市/乡村:城市飞行物数量:1个飞行物大小:很大距离飞行物远近:大约飞机的高度飞行物形状:三角形飞行物颜色:亮黄色是否报告:是目击者姓名:杰夫 相似文献