关于不相容选言判断的几个问题

据何断定选言判断选言支间相容与否，涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定，是传统逻辑应用层次的事实存在裁定；现代形式逻辑中之所以没有严格析取的判断形式，是用合取与析取的综合方式进行了取代；不相容选言判断是对思维实际的抽象概括，具有非形式性质，运用形式化析取符号表述排中律，存在矛盾；不相容选言判断的负判断的等值判断，不只有(p∧q)∨(┐p∧┐q)一种形式，还应有(p∧q)∨(┐p∧┐q)的形式，从思维实际论，(p∧q)∨(┐p∧┐q)的形式，更贴近日常思维，更利于研习者理解。     

降水空间插值方法应用研究——以黄河源区为例

使用反距离加权法、张力样条函数法和普通克里格法对黄河源及其周围地区65个气象站点1990～2001年12年间月平均降水数据进行空间插值,并对模拟结果进行了交叉检验和站点检验.3个检验标准的检验结果表明:3种插值方法的结果都基本能反映黄河源区降水的大体空间分布规律,而普通克里格法略优于其他两种方法.研究结果表明:样本本身的空间分布在很大程度上影响插值精度,台站的密度对插值效果的影响也非常显著.给出了黄河源区年平均降水空间分布图.     

一种改进的图像模糊增强方法

本文在ＰＡＬ提出的用模糊集合理论进行图像增强的方法的基础上，提出了一种用正弦函数进行图像模糊增强的方法，我们对四幅图像进行了处理，并给出了定量的描述结果。     

基于CEEMD-BiLSTM-RFR的短期光伏功率预测

由于短期光伏预测中气象因素的时间尺度不同,直接分析其对光伏功率的相关性,易忽略时间尺度的影响,进而导致预测模型误差。为提高光伏功率预测精度,构建了预测模型。首先,利用互补集合经验模态分解(complementary empirical mode decomposition, CEEMD)将光伏序列进行分解,得到在不同时间尺度上的光伏分量;然后,通过Pearson相关系数分析各光伏分量与空气温度、太阳辐射度、风速、风向和空气湿度的关系,对于强相关分量建立关于气象因素的随机森林回归(random forest regression, RFR)预测模型,弱相关分量直接通过双向长短期记忆网络(bidirectional long short-term memory neural network, BiLSTM)进行预测;并将预测求和输出。通过安徽省蚌埠市光伏电站7月实测数据进行验证,实验结果表明,所提预测模型CEEMD-BiLSTM-RFR相比传统预测模型有较好的预测精度。     

细胞转化法生产L—苹果酸的研究

报道普通变形杆菌细胞转化法生产Ｌ－苹果酸的研究,探讨菌体培养和转化反应条件等因素对菌体延胡索酸活性的影响、菌体酶的热性和ＰＨ稳定性。确定最佳工艺条件和酶的稳定性条件分别为：菌体培养时间７２ｈ,转化反应温３５℃,底物转化液ＰＨ７．０,转化反应时间３ｈ;温度≤３５℃,ｐＨ６．０－７．８,菌体经过１０批次转化反应后,其延胡索酸酶活性仍很稳定,酶活保存率达８７．０％。     

三种空间现实集合种群模型的比较

介绍了适合于研究真实的集合种群动态的3种空间现实集合种群模型:关联函数模型、状态转移模型和模拟模型,简述了它们各自的建模过程,指出了3种模型各自的前提假设、应用时的局限性以及模型结果的优点和不足之处. 关联函数模型简单易用,适合于研究局域种群能够快速达到栖息地斑块承载力的处于随机灭绝-再殖平衡状态的集合种群;状态转移模型无需假设集合种群处于平衡状态,适合于研究拥有多年的局域种群灭绝和再殖数据的集合种群;模拟模型是与种群真实动态最为接近的能够同时描述集合种群及其各局域种群动态的模型,适合于研究对种群的生物背景知识非常了解且收集了大量数据的集合种群. 结合各模型的优缺点及适用范围,根据所研究对象的特点及掌握的数据,就可以选择出合适的模型来研究集合种群的动态.     

双向张拉索-混凝土结构静力分析

结合张弦梁的结构特点,对双向张拉索-混凝土结构进行静力分析.对双向张拉索-混凝土结构与普通混凝土井字梁在极限荷载与重力荷载分别作用下的位移,应力与裂缝情况,进行对比与分析.结果表明:双向张拉索-混凝土的跨中挠度、承载力都有提高;跨中裂缝减少;受拉钢筋最大应力值减小等.     

一类集合值算子方程的求解问题

本文给出集合值O-proper 0-eoi映射的概念,以及相应的同伦延拓原理,并利用这些结论讨论了集合值算子方程F(x)=λH(x)的求解问题。     

集合转换卡尔曼滤波同化的一种分析方案

集合转换卡尔曼滤波在处理非线性观测资料的同化时,通常对非线性观测算子做简单的线性化处理,这会带来较大的舍入误差,降低同化效果。通过对状态变量和观测变量的转换,将观测算子视为预报算子的一部分,对传统的同化算法进行改进,减小了同化中的误差。以典型的Lorenz-96预报模型来验证算法,对于较大模型误差或较强非线性观测算子的情形,结果好于传统的方法。     

模糊划分的一个新定义及其应用

提出了模糊划分的一个新定义。可以证明它蕴含了Ruspini的定义,并且具有与直观及其实际应用相符的性质。而且根据此定义,可以定义模糊集合的相对清晰度及模糊划分的平均清晰度。实验证明,模糊划分的平均清晰度可以衡量FCM算法的聚类效果。