累进制数量折扣下存在资金约束的联合订购模型

以零售商库存成本最小化为目标,零售商进行多品种订购过程面临有限资金约束时,面对供应商提供的累进制数量折扣优惠,应如何调整其库存策略。针对累进制数量折扣条件下有资金约束的零售商多品种联合订购问题,结合EOQ方法建立模型并给出实现零售商的库存成本最小化订购策略,最后给出算法并结合算例验证。     

三塔悬索桥汽车效应几何非线性

以主跨为2×1 080 m的泰州长江大桥为研究对象,分别采用线性挠度理论、非线性-UL增量理论和非线性-CR全量理论,计算三塔悬索桥的主梁挠跨比、中塔受力、中塔主缆抗滑安全系数等控制指标,研究其汽车效应几何非线性影响。研究结果表明:非线性-CR全量理论精度和效率最高,但需要独立开发软件;采用非线性-UL增量理论计算3个指标的最大误差仅为0.3%;广泛采用的线性挠度理论计算3个指标的误差分别为6.6%、4.5%、-2.64%,误差较大,不能满足三塔悬索桥精细化分析的要求。     

薄板零件的数控增量成形的轨迹设计

娄控增量成形是利用数控机床，按照程序对板材逐点成形，获得预定的形状。这种成形工艺的特点是不需要专用的模具，适合小批量的新产品制造，本文根据对增量成形工艺的研究，提出了增量成形轨迹设计的一般原则。     

Incremental Placement-Based Clock Network Minimization Methodology

Power is the major challenge threatening the progress of very large scale integration （VLSI） technology development. In ultra-deep submicron VLSI designs, clock network size must be minimized to reduce power consumption, power supply noise, and the number of clock buffers which are vulnerable to process variations. Traditional design methodologies usually let the clock router independently undertake the clock network minimization. Since clock routing is based on register locations, register placement actually strongly influences the clock network size. This paper describes a clock network design methodology that optimizes register placement. For a given cell placement result, incremental modifications are performed based on the clock skew specifications by moving registers toward preferred locations that may reduce the clock network size. At the same time, the side-effects to logic cell placement, such as signal net wirelength and critical path delay, are controlled. Test results on benchmark circuits show that the methodology can considerably reduce clock network size with limited impact on signal net wirelength and critical path delay.     

基于多语言范例的“形式语义学”教学辅助系统

针对简单函数式语言、 简单过程式语言和简单面向对 象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现.     

维护关联规则的算法研究

提出了维护更新问题的背景,将维护更新问题分为4种情况进行研究.详细介绍了各种情况相应的维护关联规则的增量更新算法,并对其进行了分析与评价,指出了算法的优点和不足,提出了今后研究的方向.     

林业低碳产业链的共生系统动力解析

在分析林业低碳产业链共生系统基础上,构建林业低碳产业链共生系统结构模型,提出林业低碳产业链共生系统具有群落性、资源投入减量化、生态性和经济增值性等特征。各个共生单元内部和共生单元构成的共生系统可具有相似的动力机制,以林业加工制造单元为例,在假设加工制造单元由制浆主体、造纸主体和板材加工主体构成的基础上,构建了资源消耗(林木资源分段分级利用、非林资源消耗、废弃物循环利用)、生产投入和产量的函数关系,经求解得到单个主体参与共生系统后收益增加,三主体构成的共生系统所产生的收益大于三主体独自运营收益之和。结果表明:当主体预期参与共生系统可获得较独立运营的增量收益时,节点企业才有动力参与产业链; 当产业链节点企业构建共生系统也能够获得增量收益时,节点企业才有动力组建林业低碳产业链共生系统。最后提出延伸林业产业链以扩大共生主体范围,推进林产品加工制造共生单元的资源消耗减量化,探索新型的共生模式等建议。     

基于改进动态规划法的火电厂负荷经济调度

提出一种确定火电厂负荷经济调度的改进动态规划方法.先按优先顺序法压缩各时段机组组合状态,再用动态规划法进行计算.新的方法克服了优先顺序法没有考虑启停耗量的不足,也解决了动态规划法的"维数灾"及难于处理的爬坡速度约束问题,且各机组的最优负荷分配与机组的最优启停计划可以同时计算出.     

分布式数据库同步更新的实现方法

把分支机构的数据库作为出版者和分发者,把上级中心的数据库作为订阅者,首先在分发者数据库中对表建立快照代理、日志阅读代理、分发代理．和存储过程的复制事物,并在数据库中记录同步状态信息,然后分发者连接出版者,阅读出版物的事务日志,搜索出带有复制标志的INSERT、UPDATE、DELETE语句和其他更新事务提交给订阅者．当分支机构数据发生更新,日志读取代理即时将更新信息推到上级单位中心的数据库中,实现分发者和订阅者数据库数据两者数据的一致性,从而实现分布式数据库数据的同步更新。     

基于提升小波和递归增量聚类的实时故障诊断方法

针对复杂时变工业过程实时故障诊断问题,提出了一种基于提升小波( lifting wavelet, LW) 与递归增量聚类（recursive incremental clustering, RICLUSTER）相结合的实时故障诊断方法（lifting wavelet recursive incremental clustering, LW-RICLUSTER）。该方法首先通过LW变换对数据实时去噪,再通过RICLUSTER实时监控。由于采用LW与RICLUSTER相结合的方法,节省存储空间和运算时间的同时提高了诊断精度。实验结果表明,LW RICLUSTER集合方法能有效实现时变过程监控, 在诊断精度、速度和适应性方面,优于传统单一型CLUSTER方法。