论文部分内容阅读
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.
不等式自动发现和判定程序agl2010的若干改进及应用
【摘 要】
：
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.
【机 构】
：
西藏自治区组织编制信息管理中心
【出 处】
：
广东第二师范学院学报
【发表日期】
：
2011年3期
其他文献
doi:10.3969/j.issn.1007-614x.2010.28.197 流行病学调查 一般资料:4例手足口病(HFMD)患者均为本街道天义小区的居民,其中男2例,女2例,3例是5岁的托幼机构儿童,发病至就诊时间2～3天。
目的：分析广州市男男性接触者（MSM）的性行为特征、HIV和梅毒感染情况及其影响因素，为进一步在男男同性恋人群中开展艾滋病高危行为干预提供科学依据。方法：对1454名MsM进行问卷调
研究了一类海洋输油管道系统建模和振动控制问题．通过将管道简化为Euler-Bernoulli梁模型进行处理，将属于分布参数系统的管道模型由一组偏微分方程和一组常微分方程来表示．为抑
护理工作是医疗卫生事业的重要组成部分，护理工作质量直接关系到医疗质量和医疗安全，关系到社会对医疗卫生服务的满意度。体现服务性较强的职业，患者的满意度就是评价护理服务优质程度最关键的标准。随着社会的发展，患者对医疗服务的需求不断提高，对护理工作也提出了更高的要求，怎样围绕患者不断增长的服务需求，创新思维，推行更易于患者接受的服务模式，是护理管理者应思索的关键问题。响应卫生部推行的“优质护理服务示范工
通过盆栽实验，研究了不同镉积累特性的3个蕹菜典型品种在不同土壤条件下的叶绿素含量．方差分析结果显示品种对叶绿素含量的效应显著（p〈0．05）．土壤A上，叶绿素a、叶绿素b、叶绿素总含