数理逻辑中Rasiowa-Sikorski定理的推广

本文推广了数理逻辑中著名的Rasiowa-Sikorski定理,得到了伪补格上Rasiowa-Sikorski定理的加强形式,以及在Martin定理下的不可数情形,并指出了所有结果对于Heyting代数自然成立。     

机载卫星通信波束受机身固定遮挡建模及仿真

作为超视距通信的主要手段之一,卫星通信是特种飞机执行远程飞行任务的重要保障。由于特种飞机机身的特殊结构,卫星通信波束可能会在飞机处于某些飞行区域或以特定姿态飞行时受到机身固定突出构造的遮挡,造成卫星通信链路性能恶化,甚至通信中断。针对特种飞机机身的固定遮挡难题,利用电磁传播的菲涅尔区理论建立了遮挡模型,并基于投影理论提出了基于双坐标系变换的遮挡分析方法。所提的遮挡模型和分析方法能够准确刻画固定遮挡造成的电磁波传播损耗,为卫星通信天线位置的优化设计提供参照。此外,所提出的分析方法实现复杂度低,适于工程实践。     

新型红薯饮料的开发

红薯的生物活性已经被广泛认同,其中最主要的特性为抗氧化和预防肿瘤。针对目前红薯深加工产品较少的状况,以红皮白芯红薯为原料,研究了温度对新型红薯饮料出汁率的影响,红薯汁的榨取应在室温下进行。以正交试验方法研究了复合护色剂护色、α-淀粉酶酶解澄清、饮料稳定性等工艺,最佳护色条件为0.3%(质量分数,下同)抗坏血酸加0.6%柠檬酸复合,护色15 min。酶解澄清处理最佳条件为pH4.5,温度60℃,处理1 h。稳定剂为0.12%黄原胶,0.20%CMC-Na,0.15%海藻酸钠。开发出一种营养丰富、风味独特的新型红薯饮料。最后,确定了产品质量标准。     

浅谈水力水电工程业主方的合同管理

水力水电工程在我国国民经济发展中占有十分重要的作用和地位,并且关系到国家的经济建设和人民的生命、财产安全等许多重要的问题。水力水电工程业主方对于合同管理,是工程从决策、招投标、施工到竣工验收全过程的执行标准和依据,关系水力水电工程的成败,本文就此作以浅谈。     

关于两个著名基数不等式的改进

用e(X)与其他基数函数估计|X|的著名不等式有。(1)(Ginsburg 和Woods)X∈■_1,|X|≤2~(e(X)·△(X)),其中,△(X)=min{k|对X×X 的对角线△,有△=(?)U_α,U_α开,(?)α相似文献   

在正规Moore空间中c.c.c.是否蕴含~*Lindelf与ZFC系统独立性的一个直接证法

本文借助Pixley—Roy拓扑的结构,直接证明了MA+CH蕴含着存在正规、Moore、c.c.c.、非~*Lindelf、不可分空间这一结果,且说明在PMEA模型中,在正规Moore空间中c.c.c.蕴含~*Lindelf,从而证明了在正规Moore空间中c.c.c.是否蕴含~*Lindelf性这一问题与ZFC公理系统是相互独立的.     

谈中小学课业多元评价体系的实施

阐述了作者在教育教学活动中实施中小学课业多元评价体系的具体做法。     

浅谈信息技术对丰富教学模式的作用

阐述了信息技术在学科教学内容、教学形式、教学方法及研究型课中的应用。