三值逻辑命题的条件真度理论

基于条件概率的思想,在三值逻辑命题中引入条件真度的概念.在三值逻辑系统中初步给出在信息Σ下的近似推理理论.     

我国煤矿安全生产标准体系综述

我国煤矿是世界产煤国家中伤亡事故最多的国家。事故多发严重影响了煤矿形象和社会稳定，甚至影响到我国的国际声誉。从管理技术层面看，安全管理和技术标准跟不上生产条件的变化，覆盖不了整个行业安全生产全过程，也是煤矿事故多发的原因之一。     

单调算子序列的等价条件和应用

本文给出了在线性赋范空间C[a,b]上的单调线性算子序列的三个等价条件及证明,又用此等价条件证明了维尔斯特拉斯第一逼近定理。     

科学发现中的主客观因素——核物理中的三例发现剖析

一项重大科学成果的诞生,往往由错综复杂的主观、客观条件,以及相关的多种因素所决定.其中主客观因素的瞬时辩证关联是科学发现的加速剂,其基础应该是主观因素的成熟程度.     

定西地区无公害蔬菜 金针菇生产技术规程

本标准规定了无公害金针菇产地环境条件、生产技术、收获及后续管理措施。     

兼顾下游航运要求的向家坝水电站枯水期日发电优化运行方式

向家坝水电站短期日发电调度与坝下游航运间矛盾冲突严重,为缓解航电矛盾,该文提出一种兼顾下游航运要求的向家坝水电站枯水期日调节优化方法。综合考虑向家坝水电站水库运行方式、电站出力特性和大坝下游通航水力条件要求,以日发电量最大为目标,建立向家坝日发电精细化模型,运用一维水流模型实时验证下游航运水力条件,可实时保障下游航运安全,同时提出免疫差分进化算法进行求解。最后以向家坝历史径流数据进行仿真模拟分析,优化结果表明:运用本文所提优化方式及求解方法能够在满足下游航运水力条件和电网要求的同时使日发电量达到4 705万kWh,在时效性方面是动态规划计算时间的1/50,具有较大优势。可用于兼顾航运和调峰功能的水电站日调节方案制定,具有一定的理论与工程实用价值。     

Hamilton-Jacobi方程的广义条件对称约化

研究Hamilton-Jacobi方程与广义条件对称群的关系,得到了方程容许的一类二阶广义条件对称,利用该对称对Hamilton-Jacobi方程做了对称约化。     

一致K-(F_b,ρ)-凸多目标分式半无限规划的最优性充分条件

在一致K-(Fb,ρ)-凸、一致K-(Fb,ρ)-伪凸和一致K-(Fb,ρ)-拟凸等一些非光滑广义凸函数的基础上,研究了涉及此类广义凸性的一类非光滑多目标分式半无限规划.利用反证法证明了上述非光滑多目标分式半无限规划的一些最优性充分条件.