利用方程思想求解几何图形的面积

解决某些数学问题的时候,需要通过已知量去求出未知量,这时解决问题的指导思想就是想方设法抓住问题的相等关系,建立数学中的方程或方程组的模型,通过方程或方程组来解决问题,这就是方程思想.利用方程思想可以求一些几何图形的面积,甚至用其他方法无法解决的面积问题,运用方程思想就可     

Information-Disturbance Tradeoff in Estimating the Unknown Three-Qubit GHZ State

In a recent paper, Sacchi （Phys. Rev. Lett. 96 （2006） 220502） studied the information-disturbance tradeoff in estimating an unknown two-qubit maximally entangled state. In this study, we explore the tradeoff in estimating 13 an unknown three-qubit GHZ state. The optimal estimation process supplies a fidelity of 13/54 and the tradeoff interpolates smoothly between non-informative measurement and optimal estimation process.     

分区域式内包层结构的双包层光纤激光器

本文介绍了上海光机所楼棋洪老师提出的一种新型双包层光纤结构,以计算该结构的纤芯对泵浦光的吸收效率为目的,采用二维光线分析法思想,在内包层中任取一点从任意方向发出的光线,该光线经过内包层时反射,经过纤芯时被吸收,按此方法计算出所有点、所有方向被纤芯吸收前的反射次数,分别统计经0次反射、1次反射、2次反射…就被纤芯吸收的光...     

The Minimun -Bases for Partially Order Sets

Asetofgeneratingelements(see[1,2J)anditsdualconcept,anordergeneratingset(seeL3]),areimportantconceptsinlatticetheory.Theconceptofasetofgeneratingelementforcontlnuouspartiallyordersetswasalsoproposedin[2J-Inthispaper,theconceptofageneratingsystemisintroducedatfirst-ThentheconceptofpbaseforthegeneratingsystemFofapartiallyorderset(P0Sforshort)isprop0sed-Finally,theminimumpbasesf0rPOSarestudied.Definition1LetTbeasetofsubsetsofaPOSL.Iff0ranyaeL,thereexistsAep,suchthata=supA,then9iscalledage…     

循环矩阵本原指数的上界估计

本文给出了循环矩阵本原指数上界的新的估计及一种由级数较低的循环矩阵的本原指数估计级数较高的循环矩阵的本原指数的方法，解决了一类循环矩阵本原指数的计算问题．     

突发事件下应急物资多目标优化调度模型与算法研究：以新冠肺炎疫情为例

突发事件下应急物资调度具有高度不确定性与动态性,应急物资跨区域调度计划能否科学合理制定对应急救援的有效开展具有重要影响。以武汉市新冠肺炎疫情为例,考虑应急物资跨区域调配的时效差异、地域分散以及资金消耗等要素,建立多周期下包含软硬需求时间窗约束的多物资品种、运输方式的跨区域三级动态物资调度网络模型,并设计一种带变异操作的动态变惯性权重自适应粒子群算法(VDCWPSO),利用疫情算例验证该算法的有效性和可行性。研究结果表明,在保障应急物资供应时效性、公平性、经济性原则下,物资跨区域调度可以缓解资源严重短缺状况、提高医用物资利用率,研究可为突发事件下应急物资调度计划的制定与动态调整提供决策支持。     

非线性椭圆型偏微分方程弱解的存在性

在W1,p(x)空间框架下研究了具有p(x)增长条件的椭圆型偏微分方程:-d iva(x,u,D u) g(x,u,u)=f,得到了在W10,p(x)空间中弱解的存在性,推广了Boccardo等关于在Sobo lev空间中弱解的相应结论.     

(ω)性质及Weyl型定理

(ω)性质是Rakocevic给出的Weyl定理的一种变化.本文通过定义新的谱集,给出了有界线性算子同时满足(ω)性质和a-Weyl定理的充要条件.同时,利用所得的主要结论,研究了H(p)算子的(ω)性质.     

机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。     

进位返加与逐位模2加及模2n加的相容程度分析

深入分析了进位返加运算与逐位模2加运算及模2^n加运算的相容程度,给出了它们的相容概率的计算公式．结论表明,进位返加运算与逐位模2加运算的相容概率尽管很小,但远大于理想值2^-n;进位返加运算与模2^n加运算的相容概率很大,近似为2／3．