关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

2002十大知识英雄

评选标准: 1.他所代表企业的价值,主要包括营业额和利润; 2.他对整个产业的实际贡献,主要包括他在整个产业链上的位置以及对上下游的推动和拉动作用,而非资本运作; 3.他在2002年的重大变动,指新闻性; 4.他的影响力,指他作为行业领袖的个人魅力; 5.他所代表方向的创新及其独特性,指商业模式的创新实践; 6.他的未来,指可预见的两三年内的发展趋势。 吴鹰 1 吴鹰,是UT斯达康公司创始人之一。现任美国UT斯达康公司副董事长及UT斯达康(中国)有限公司总裁。 他1982年毕业于北京工业大学无线电通信专业,获电子工程学学士学位。1985年,他进入美国新泽西州理工学院攻读硕士学位,研究数字通讯及数字信号处理。 1987—1991年,他加入美国贝尔实     

该隐的标记

该隐,《圣经》中人类始祖亚当的长子。据《创世纪》记载,他因嫉妒将弟弟亚伯杀死。这是人类历史上第一桩凶杀案。作为惩罚,上帝给该隐立了一个标记带在身上,因此在西方文学中将“该隐的标记”作为骨肉相残的比喻。该隐杀弟,揭开了人类互相残杀的序幕,其实在动物界同胞相残并不鲜见。     

石嘴山一矿煤体结构变化的地质控制

采用反映煤体结构破坏程度的若干宏观与测试参数，研究了石嘴山一矿井田主采三层煤的煤体结构变化特征。揭示出三层煤体结构垂向变化的分层性主要受石嘴山向斜中和面所控制；煤体结构横向分区性主要受北西向缓波状褶皱所控制。研究还表明，三层煤煤岩组分的构成也对煤体结构类型的发育有一定影响。     

新教材·新教法

新的课程改革,新编历史教科书呼唤新的教学方式和方法,时代的潮流需要广大教师转变思想观念,充分、灵活地运用好教材资源,构建新的评价制度,为最终培养一代新人而努力奉献自己的才智。     

一类广义Ⅰ类不变凸半无限规划的最优性条件

利用对称梯度,对于一类半无限规划引入了几个非光滑广义Ⅰ类不变凸性概念,进而在这些新广义不变凸性情形,给出了半无限规划的一些最优性充分条件.     

模糊智能控制技术在库鄯线输油主泵控制中的应用

针对库鄯线输油主泵转速调节问题，采用了模糊控制技术进行控制，并通过实验数据对主泵自控调节效果进行了评价．结果表明，模糊智能控制技术对原油长输管道进行自动化调节是可行的。该技术能够在确保水力系统稳定的前提下，满足工艺运行的多方面需求。     

杨氏模量测量的一个程序设计

本文通过用计算机对杨氏模量测量的程序设计，说明微机不仅可以迅速完成数据处理工作，还可以判断实验结果，从而更好地探索实验规律。     

状态空间方程的计算机仿真计算

本文通过对系统状态空间方程的计算机仿真计算,提出了状态空间方程的求解方法,并通过求解获取系统的有关信息,如敛散性、能控性、能观测性等,为系统的参数调整与设计提供依据。