论文部分内容阅读
针对Microsoft Visual C＋＋程序的浮点运算的正确性问题，进行了底层分析研究，给出了剖析结论；提出了编译优化影响浮点运算正确性问题的解决对策及其实现方法；同时提出了程序设计者为提高软件的可靠度，应特别关注会影响浮点运算正确性的几种情况。
编译优化对浮点运算正确性影响的分析研究
【摘 要】
：
针对Microsoft Visual C＋＋程序的浮点运算的正确性问题，进行了底层分析研究，给出了剖析结论；提出了编译优化影响浮点运算正确性问题的解决对策及其实现方法；同时提出了程序设计者为
【机 构】
：
上海第二工业大学计算机与信息学院
【出 处】
：
上海第二工业大学学报
【发表日期】
：
2007年3期
其他文献
摘 要：新型城镇化进程中农民工市民化问题日益突出，除了外在因素的影响，农民工自身也是严重制约其市民化的重要原因，如农民工的技能缺失导致就业高移之困、观念落后导致城市归属之困、心理失衡导致城市适应之困、素质低下导致城市融入之困。突破这些困境需要职业教育与培训提高农民工的人力资本、心理资本与社会资本，从而促进农民工顺利实现市民化。为了更好地通过培训提高农民工的市民化能力，加大宣传，激发农民工市民化培训
视频服务器在网络视频服务和视频监控等领域有着广泛和重要的应用。基于嵌入式视频网络服务器（IAVS806）的系统因其小巧的体积、稳定的工作性能、低廉的价格和无需人值守的优点
概述了目前复合纤维摩擦材料、半金属摩擦材料和粉末冶金材料三类无石棉摩擦材料配料特点，并从性能、应用范围和研究现状等角度进行了比较。发现碳／碳复合材料具有优良的摩擦特
据统计，中国目前有84万艾滋病感染者，其中艾滋病病人约8万。尽管成人总人口感染率不到0.1%，但疫情已经涉及31个省、市、自治区，艾滋病正在逐渐通过接触吸毒者、性工作者和男性同
JSF（JavaServer Faces）是由SUN公司推出的一种面向组件Web应用程序的开发技术，是J2EE5的一个重要组成部分，同时也是对诸多Web程序规范的一种补充。以网站用户注册程序为例，介绍了J
年前的一个夜班，一个急腹症的患者被送进病房，看样子是新婚不久的新娘。诊察室看病的人很多，依据病情需要对腹部进行触诊。这时患者的丈夫提出：除医生外其他人要回避，如果做不到也
用硫杆菌氧化还原态硫产生硫酸来浸出磷矿,可望为低品位磷矿废石的综合利用及环境保护开辟新的途径,但是用硫杆菌浸出磷矿的浸出率较低。采用加入不同吐温类表面活性剂的方法
研究了朱子《韩文考异》的学术背景,比较朱子《考异》方崧卿《韩集举证》的异同。朱子的时代,韩文传本的大量产生、韩学热潮的出现,为《考异》提供最充分的准备。宋代校勘学
摘要：高职产业学院建设背景下，集系统性、独立性、指向性、开放性等特点于一体的课程群，是课程组织形态的理想选择。其间的逻辑在于：课程群的优势较大程度上满足了产业学院对明确的产业服务面向、灵敏的市场需求跟进、高效的资源配置与利用、产业服务综合性功能发挥等的需求。然而，从单门课程教学向课程群教学的转变，不仅仅是表面上课程形态的变化；要想取得实效，须按照“大课程”的框架进行深入而全面的变革，诸如建立以课程