论文部分内容阅读
本文给出了动态计算圆弧并面积算法的一个正确性证明。从逻辑上严格证明了对平面上任意个圆所覆盖的面积都存在一个划分，划分所得各区域内部不存在空区、各区域之间不存在重叠，从而论证了圆弧并面积计算算法是正确的。
动态计算圆弧并面积算法的证明
【摘 要】
：
本文给出了动态计算圆弧并面积算法的一个正确性证明。从逻辑上严格证明了对平面上任意个圆所覆盖的面积都存在一个划分，划分所得各区域内部不存在空区、各区域之间不存在重叠
【机 构】
：
海军工程大学计算机技术教研室,武汉,430033
【出 处】
：
2004年全国理论计算机科学学术年会
【发表日期】
：
2004年期
其他文献
在数值计算的环境中通常得不到矩阵e的准确自然法式，因此尽管Frobinius矩阵有许多优点，但仅限制在理论上。本文借助于符号计算完成了有理矩阵的自然法式，符号计算用于有理数的四
目的 建立能同时检测甘地胶囊样品中2种指标成分(黄芪甲苷、黄芩苷)含量的反相高效液相色谱法.方法 样品用超声提取法,用Inertsil ODS-3色谱柱分离样品,流动相为乙腈与0.5‰
目的探讨临床药师在参与抗菌药物临床应用中的作用。方法对112例药师参与抗菌药物临床应用干预情况进行总结分析。结果临床药师干预围手术期抗菌药物应用采纳率最高,为83.3%,
【病例】患者,男,29岁。因心悸1周,再发8 h,于2007年8月1日入院。患者1周前夜间睡眠时无明显诱因突发心悸,自觉心跳不规则,伴轻微胸闷,口唇及双手发麻,无晕厥黑矇,入院8 h前
期刊
本文对B样条曲线的最小二乘逼近做了阐述，实际上B样条曲线逼近问题还有很多方法，在实际应用中对曲线的逼近问题是在一定的规定精度的条件下进行的，设计拟和算法必须考虑到用户规
手术是处理外科患者主要的治疗方法,但许多外科患者在术前、术中及术后均可能斋要配合药物治疗.我们主要介绍了外科患者需要药物治疗的情况及外科疾病或手术对伴发症治疗的影
目的总结临床药师深入临床工作的经验和体会。方法结合药师深入心血管临床工作6 a的情况,分析药师介入临床案例。结果临床药师在不良反应监测、药物相互作用、给药途径等方面
目的 采用反相高效液相色谱法测定注射用前列地尔的有关物质和降解产物.方法 使用C8色谱柱(250mm×4.6mm,5μm),以磷酸盐缓冲液(0.015 mol·L-1磷酸二氢钾溶液)-乙腈(62:38,V
本文提出了一种基于凸函数和按梯度方向搜索的启发式算法求解BQP问题。通过构造一个凸函数作为新的目标函数，然后按照梯度方向搜索下一个可行解，并用l一邻域局部搜索启发式算法