排序方式: 共有462条查询结果,搜索用时 15 毫秒
371.
本文主要给出了分块矩阵的加权广义逆P(1,3M),P(1,4N)与其相对应的加权广义逆的Banachiewicz-Schur形式相等的证明。利用二者之差的秩等于零证明了该形式的存在性,以及二者相等时的充要条件。 相似文献
372.
罗贤兵 《贵州大学学报(自然科学版)》2014,(3)
本文探讨二阶双曲方程初边值问题的有限体元法,给出了对称的半离散格式,以此为基础,给出了一个对称的全离散格式,并分别对半离散近似和全离散近似得出了先验误差,最后给出了数值算例。 相似文献
373.
本文根据1998-2011年贵州省农作物受灾面积统计数据,利用集成预测模型,得到贵州省农作物受灾面积的预测模型,通过将农作物受灾面积的拟合值与真实值作比较,证实模型的拟合效果较好,进一步对贵州省2012年农作物受灾情况进行预测。 相似文献
374.
谢德悠 《贵州大学学报(自然科学版)》2014,31(4):18-21
仿真模型的验证方法研究是仿真模型可信性评估VV&A(Verification,Validation and Accreditation)中重要的研究内容之一。本文根据仿真模型的特点,利用曲线拟合方法,提出了一种基于计算模型指标过程差的统计验证方法,并以一个简单的物流仿真模型验证为例,说明了该方法的可行性和有效性,为仿真模型的验证提供了一个方法参考。 相似文献
375.
一种理性安全协议形式化分析方法及应用 总被引:1,自引:0,他引:1
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析. 相似文献
376.
在分析DentchevaRuszczynski(2006)提出的基于二阶随机占优约束的投资组合优化模型的基础上,构建了三阶随机占优约束下的绝对风险厌恶递减型投资组合模型.该模型在投资组合的收益率三阶随机占优于基准参考组合的收益率约束下,最大化投资组合的期望收益率,离散分布情形可以转化为二次规划问题.该方法与均值–风险模型和效用函数模型相比具有重要的优势.利用上海证券市场的实际交易数据验证了该模型的有效性和实用性,实证分析结果表明,该模型既能实现较小的跟踪误差,也能实现一定的超额收益. 相似文献
377.
引入拓扑线性空间中的锥拓扑概念,并由此定义了网和集网的锥极限点、锥聚点和集网的锥上极限、锥下极限、锥极限,给出并证明了集网的锥上极限、锥下极限、锥极限的一些性质. 相似文献
378.
本文讨论常微分方程周期问题的一种数值求解方法.首先将常微分方程周期问题转化为等价的最优参数选择问题,通过研究最优参数选择问题的数值求解方法,得到常微分方程周期问题数值求解的一种新方法.最后,应用最优控制的软件Miser计算三个算例,验证了此数值方法的有效性. 相似文献
379.
颗粒物质的流动行为及其复杂,造成它流动的构形不同,其流动的特征也不同,因此其体积分数也表现异常.本文针对稳定的均匀的多分散颗粒体系,在四种不同的几何构形中的变化规律进行了分析和讨论. 相似文献
380.
根据一般域上的矩阵理论和四元数体上矩阵理论的异同,讨论了四元数体上正规矩阵的几个充要条件. 相似文献