泰勒公式与函数极值——极值判定的充分条件

本文就应用函数的泰勒公式,对函数极值问题的另一个充分条件作了进一步讨论。     

飞机座舱压力自动调节系统可靠性研究

飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。     

基于STPA-Bayes模型的机载平视显示系统安全性分析与评价

机载平视显示(head-up display, HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis, STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架。同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型。结果表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持。     

关于茶文化符号“茶祖神农”的符号思考

茶祖神农氏是中国远古时期最著名的部落首领.尽管学术界对神农的考证众说纷纭,但我们现在可以肯定的是:神农氏作为一种具有特殊意义的象征性符号,是远古时期人民大众集体智慧的化身.本文运用符号学的基本理论,从符号与象征性符号"茶祖神农"、神农氏成为茶祖的符号学意义及神农氏作为茶祖对茶文化发展的价值三个方面着手,试图对茶文化符号"茶祖神农"的进行比较可行的分析.     

基于形式化方法的DIMA动态重构仿真与验证

针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分...     

庄周故里考证——从相关县志收录咏庄诗歌的多寡说开去

目前对庄周故里的研究,多是引经据典的推论和古代遗迹典实的直接结论,有的甚至是耄耋鲐背老者的口传。文章从山东东明、曹县、鄄城县,安徽蒙城县,河南商丘、民权县六县县志中辑录咏庄诗歌多寡的角度,来分析对比庄周在当地影响的深广度,以之确定庄周故里之所在的概率。     

宋代江西农业经济发展概述

农业经济是整个封建社会经济的基础。宋代江西农业以种植业为主,辅之以养殖业、渔业、菜圃业,发展较快。表现为:人口不断增长,加速了耕地的开垦,耕地面积属全国之冠,粮食丰足而富余;多种经济的发展,为江西农村经济注入了活力,也为江西手工业经济、商业经济的发展创造了良好的条件。     

巧用醋来除菌

我爱看书,也爱买书。去年爸爸给我买了两个书橱让我放书,可是书橱容易发霉,星星点点的霉菌呈墨绿色,像一簇簇小花开放着。妈妈每次擦完不久就会又长出新的霉菌来。真让人苦恼。有一次,我看见妈妈用抹布在擦书橱,恍     

日本的纪年法问题

纪年方法在日本是一个时常引起争论的问题。今年上半年,在日本国会开会期间,日本各党派曾就政府提出的“元号(即年号)法案”展开了一场辩论。最后,这项法案在国会获得通过。法案的内容是:日本的年号由“政令”来确定,在出现皇位继承时实行改元。也就是说,在新的天皇即位的时候,就确定新的年号。日本的几届内阁为使国会通过一项年号法案,做了长期的准备,特别是舆论上的准备。其所以这样重视,首先是因为天皇年事已高,日本政府决心要将年号问题作为一个与皇位继承密切相关的重要问题,用法律的形式把它确定下来。