每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

相依回归系统参数的一种有偏估计

对二个相依回归方程组成的线性系统,提出两种新的有偏估计广义岭型协方差改进估计和广义岭型两步协方差改进估计．讨论了这两种估计的优良性质,给出的这两种估计是岭型协方差改进估计和岭型两步协方差改进估计的推广．     

基于CAP模型的ADS-B管制间隔标准评估

摘 要：随着航空业的快速发展,传统监视系统已无法满足空中交通管制的需求,建设以广播式自动相关监视(ADS-B)为主要监视手段的新航行系统成为必然趋势。论文提出了危险碰撞概率（CAP）模型的概念,选择终端区二次监视雷达作为参考基准系统,根据国际民航组织认可的安全目标等级（TLS）,得到ADS-B管制间隔标准评估的参考基准间隔,并通过CAP模型计算出ADS-B保持参考基准间隔时所能达到的安全等级。计算结果表明：ADS-B监视安全等级远低于TLS,在终端区使用ADS-B实施3海里的管制间隔标准是安全的。     

计及输电线路相关停运的大电网可靠性评估

为了计算和分析输电线路对大电网可靠性评估的影响,提出一种计及双回平行输电线路独立停运、共同模式停运和相关停运的大电网可靠性评估模型和算法.计及共同模式停运和相关停运时,双回平行输电线路的两回线实际上是一个具有多个状态的元件.提出的算法可以在形成可靠性指标时,同时计算这种多状态元件造成系统失效状态下独立停运、共同模式停运和相关停运的概率和频率,减少了计算复杂性.通过对RBTS系统、IEEE-RTS96区域A系统和一个实际电力系统进行的可靠性计算分析,验证了提出的算法的正确性和有效性.     

用独立乘积空间构造相依随机变量的组装法

给出了一种利用独立乘积空间构造相依随机变量或相依随机过程的组装方法.首先,依照给定的条件,构造一些独立随机变量;然后,将独立随机变量进行组装,得到要求的相依随机变量.该方法的优点是:构造相依随机变量或相依随机过程时,不用算出联合分布或有限维分布族;研究它们时可以使用较方便的、简单的处理独立随机变量的方法;还可以给出一些随机过程存在性的概率的构造性证明.     

基于依赖型算子的不确定语言多属性群决策法

研究了属性权重以实数形式给出、属性值以不确定语言变量形式给出的多属性群决策问题。基于不确定语言变量的运算法则,给出了一种基于不确定语言变量及其运算法则的新算子：依赖型不确定语言有序加权几何 (dependent uncertain linguistic ordered weighted geometric, DULOWG) 算子。与该类算子相关联的加权向量依赖于被集结的不确定语言变量,并且对错误或有偏见的不确定语言变量赋予较低的权重来减轻不公平性对评价结果的影响。提出了一种基于ULWGM算子和DULOWG算子的不确定语言多属性群决策方法,并进行了实例分析。     

基于区块自适应网格的全球地形快速绘制算法

在基于球面剖分的全球地形数据组织模型基础上,实现了一种视点相关的全球地形数据快速调度与可视化的算法。提出了一种基于区块纹理分辨率的自适应目标层次模型提取方法,能够快速准确地得到视点相关的正确细节模型,且算法的时间空间复杂度与全球地形模型的数据量无关。进而通过利用区块结构的一致性进行高效的外存数据调度,尽可能地减少了系统I/O带来的性能瓶颈,在实现数据重利用的同时很好地管理了内存消耗。实验表明,基于该算法可以实现全球地形的高效绘制,并且对硬件配置要求很低,具有很好的实用性。     

三重四象限变流器系统的半实物仿真研究

通过分析开关元件的不同导通情况与变流器电路拓扑结构的对应关系建立了三重四象限变流器系统的数学模型。对由其形成的闭环系统进行了离线和半实物仿真试验研究。结果验证了所建三重四象限变流器系统的正确性,可用于交流传动系统的研究和测试。     

环辛酮分子在非对称外电场作用下的光谱性质计算

采用密度泛函理论中的B3P86方法, 在6-311++G(2-df-)基组水平上, 计算得到不同外电场(-0.008 0~0.002 5)作用下环辛酮分子的基态构型, 再用含时密度泛函理论(TD-DFT)方法研究相同电场强度对优化环辛酮分子激发能和振子强度的影响. 计算结果表明： 电场强度影响分子的几何构型; 激发能随电场强度反向变化, 即环辛酮分子在电场作用下易解离和激发.     

Plate方程时间依赖吸引子的渐近结构及正则性

考虑系数依赖于时间的Plate方程时间依赖吸引子的渐近结构及正则性, 基于时间依赖全局吸引子的存在性定理, 证明时间依赖吸引子的渐近结构, 得到了时间依赖吸引子的正则性结果.