一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

中端不中档 诺基亚Lumia720

诺基亚Lumia系列手机在入门级与高端市场取得一定成绩后,继而推出了价格较为主流的Lumia720手机,它完美地诠释了"够用就好"的理念,如果你也是实用主义者的话,那么请将参数表丢掉,Lumia720绝不会让你失望。     

数据库应用程序执行过程抽象

本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。     

朗科开创全新专利赢利模式

"三流企业卖苦力,二流企业卖品牌,一流企业卖技术及品牌,超一流企业卖专利及标准",领跑者用他们的成功,精彩诠释了这一市场"法则".     

中国移动完美诠释双重责任

自成为2008奥运合作伙伴后,中国移动便拥有了双重身份,同时也承担了双重责任.     

法规遵从与安全管理融合——卫士通诠释企业信息安全发展要素

面对即将上市或已经上市公司的财务欺诈事件,美国于2002年签发了关于规范上市公司财务监管等方面的法律,即萨班斯法案(SOX)。萨班斯法案从根本上改变了企业的经营环境和法律环境,其目的在于通过加强内部控制,改进企     

天语手机：“中国手机世界造”诠释中国手机力量

前言：在中国,手机行业已经经历了20多年的风雨,在这个行业中,我们见证了从洋品牌一统天下,到国产手机的高峰低谷再崛起等循环,很多曾经风光一时的国产品牌被出售或干脆在市面上消失,但是我们的手机行业还会长期存在。在这个全球最大的手机市场中,机遇和空间都是无限扩大的,因此,对于国产手机来讲,希望依然存在。而在机遇与挑战并存的2008年,国产手机中的一匹黑马天语手机在高调宣布全面启动品牌战略的同时。     

模拟自然形态的儿童包装设计

面对儿童包装市场呈现千篇一律使用卡通形象这一现象,本文提出运用模拟自然形态这一新的设计手法在儿童包装设计的外部造型以及内部结构封面。     

基于COM的嵌入式系统通用硬件抽象层框架设计

随着嵌入式系统的飞速发展,各种嵌入式处理器以及片上系统(System on Chip,SoC)应用于各种设备,从传感器、手机、PDA等到笔记本电脑.嵌入式系统的广泛应用促进了嵌入式软件,特别是嵌入式操作系统的发展,但嵌入式系统硬件体系结构的多样性又给嵌入式软件、嵌入式操作系统的开发、维护带来了极大的不便.文中针对硬件平台依赖性制约嵌入式操作系统发展问题,提出了一种应用COM技术开发的硬件抽象层设计,实现嵌入式操作系统跨硬件平台移植.     

OMR抽象模型

在计算机领域反映现实世界中的事物,离不开有效模型的支持。这个模型一方面是现实世界中具体事物的抽象,另一方面又便于计算机实现。提出的OMR模型反映了现实世界的运行规律,用对象、消息和关系三要素对现实事物进行抽象和描述,是辅助计算机实现的有效工具。为了从形式化和数学化的角度描述OMR模型,又探讨了对象内Petri网和对象间Petri网,从而使OMR模型进一步丰满。