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

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

游侠新招

如果要给玩家分类的话,那我可是一个不折不扣的“狂派”,我可以自豪地宣称,除了仙剑之外,其他游戏我要玩就必改,玩一个游戏常常以十八般游戏工具轮番伺候。金山游侠这款工具,除了搜索速度快之外,最让我喜欢的就是它的即时弹出功能,可以让我们在游戏中即时查看攻略。但是金山游侠提供的游戏攻略太少,而且大部分已经     

一类具有相似结构的不确定非线性广义互联系统的鲁棒控制

研究一类具有非线性互联作用的广义互联系统,在其互联项中含有不确定性。以前人对广义系统和相似性的研究为基础,定义了这类系统的相似结构,提出了新的相似性概念,对系统设计鲁棒控制器。由于控制本身也具有相似结构,因此易于工程实现。     

基于J2ME平台的IPv6 Jabber系统实现

对基于无线网络的即时通信系统进行了分析,针对现有无线即时通信系统的缺陷,提出了一种基于J2ME技术使用Jabber／XMPP的无线即时通信系统解决方案：对方案的架构、设计、实现中的难点进行了讨论,并给出了具体解决办法。     

新型凉味剂N,2,3-三甲基-2-异丙基丁酰胺（WS-23）的合成

新型凉味剂N,2,3-三甲基-2-异丙基丁酰胺(即WS-23)以丙腈为原料,经烷基化、酰胺化两步合成,总收率为73.2%.中间体2,3-二甲基-2-异丙基丁腈及终产品N,2,3-三甲基-2-异丙基丁酰胺通过红外光谱分析确证其与目标产品结构一致.     

引红济石调水工程TBM脱困超前固结化学灌浆施工技术初探

引红济石工程TBM施工中,遇到塌方卡机、采用常规的清渣掏除方法不能解决,后采用化学材料对塌方体进行固结加固,使得TBM顺利脱困,文中总结了此种方法,以在以后的建设中推广应用.     

基于Delphi＋Access技术的低保专项审计系统设计

通过扩大审计原始数据范围和多表关联分析的方法审核低保对象核定不准确和退出机制存在漏洞等原因导致的多种低保金发放管理错误．将繁琐的数据表格分析放在后台,避免了通用审计系统开销大,需要一定计算机及数据库基本知识储备等门槛．形成一套操作简便明了、具备特定审计功能的专用审计系统．经过测试数据检验,基于Delphi＋Access技术的低保专项审计系统能准确完成审计任务并有效提高审计效率．     

一种专门用于金属丝抗拉强度自动检测仪的夹紧机构的设计

介绍了一种能够自动检测金属丝抗拉强度的检测仪,并着重说明了专用夹紧机构的设计。该机构能够很好地解决在试件检测过程中的夹紧问题,从而有效地提高了检测过程的可靠性和工作效率,使设备更加适于生产现场的连续批量检测任务。     

翰墨当歌之邓远坡

传统中所表现的东西其实都是经过精心推敲的,蕴含了很深奥的寓意和哲学。就拿题材来说,最常见的梅兰竹菊,象征着一种高尚的精神品格。当人们看到的作品中有一种似曾相识而又不曾相识之感,才是其艺术的妙处。初识邓远坡先生,最先感受到的是温和,说话总是娓娓道来,温文尔雅。他的家里摆满了古典的红木家具,典雅厚重。偌大的画桌上,摆放着一幅先生墨迹未干的字。先生笑笑说":近几年越来越意识到古典的美,中庸的美。看到精心雕琢的家具纹饰,其做工的耐心和细心也     

英维思MES在塑胶企业中的应用

塑胶原料生产是一个典型的批次生产过程,其MES系统的功能需求不同于离散工业和流程工业,有其行业的特殊性。本文借助英维思MES软件平台,通过对订单的跟踪管理和配方逻辑模型的再造,成功地实现了塑胶原料生产企业ERP（企业资源管理）与PCS（生产控制系统）的信息集成,为流程行业MES系统的实践提供了新的补充,取得了很好的效果。