数控设备网络化管理系统的研究与实现

基于数控加工企业生产的工程背景,分析了当前数控加工效率难以提高的瓶颈问题,提出了一套基于产品结构及数控程序的审批流程,集成编辑、管理、传输等功能的完整的数控设备管理系统实现方案,并应用在数控加工企业的实际生产中.实践结果表明,该系统运行可靠,提高了生产效率.     

信号专业网络自学与考试系统的设计与应用

信号专业开放式网络自学与考试系统改变了职工教育的形式和方法.为信号工提高知识和技能提供了一个学习平台和一个全新的考核方式.     

计算桥上无缝线路纵向附加力的后处理程序设计

根据桥上无缝线路梁轨相互作用原理,采用LM算法建立纵向力计算模型,运用面向对象的C++语言,在Visual C++编程平台上进行桥上无缝线路附加力计算的后处理程序设计,给出结果图形和数据的显示及输出等.     

A robust optimization approach for dynamic traffic signal control with emission considerations

We consider an analytical signal control problem on a signalized network whose traffic flow dynamic is described by the Lighthill–Whitham–Richards (LWR) model (Lighthill and Whitham, 1955; Richards, 1956). This problem explicitly addresses traffic-derived emissions as constraints or objectives. We seek to tackle this problem using a mixed integer mathematical programming approach. Such class of problems, which we call LWR-Emission (LWR-E), has been analyzed before to certain extent. Since mixed integer programs are practically efficient to solve in many cases (Bertsimas et al., 2011b), the mere fact of having integer variables is not the most significant challenge to solving LWR-E problems; rather, it is the presence of the potentially nonlinear and nonconvex emission-related constraints/objectives that render the program computationally expensive.To address this computational challenge, we proposed a novel reformulation of the LWR-E problem as a mixed integer linear program (MILP). This approach relies on the existence of a statistically valid macroscopic relationship between the aggregate emission rate and the vehicle occupancy on the same link. This relationship is approximated with certain functional forms and the associated uncertainties are handled explicitly using robust optimization (RO) techniques. The RO allows emissions-related constraints and/or objectives to be reformulated as linear forms under mild conditions. To further reduce the computational cost, we employ a link-based LWR model to describe traffic dynamics with the benefit of fewer (integer) variables and less potential traffic holding. The proposed MILP explicitly captures vehicle spillback, avoids traffic holding, and simultaneously minimizes travel delay and addresses emission-related concerns.     

面向SoC设计的程序特征分析技术研究

文章提出一种基于SUIF中间表示的程序特征分析方法，能够有效地分析提取控制流特征、计算特征、操作数特征等程序特征，为SoC设计提供重要参考信息。基于该方法构建的程序特征分析框架具有良好的扩展性和灵活性。     

基于VPP帆板最佳航线的研究

根据最大推力原理计算各条航线的最大船速,计算出从起点到航段终点航行时间最短所对应的三角形的两个风向角,对最大船速和风向角进行回归,以求得最佳航线。     

浅谈水库除险加固问题及治理对策

病险水库除险加固的投资不足、前期工作深度不够、项目管理不规范及未能建立良性循环的管理体制是影响其加固进度及质量的主要原因。本文探讨了解决这些问题的办法。     

一种汉字小字库的制作方法

本文提出一种不需修改用户源程序中的汉字内码,自动查找用户源程序中的汉字内码建立汉字小字库文件和提取汉字小字库字模的新方法。     

DOS实方式下的保护方式程序设计方法

本文分析了80486CPU的工作方式切换机理和寻址方式机制,指出了工作方式切换的要点和步骤,提出了保护方式下的DOS中断调用方法和在实方式下直接访问4GB内存的方法。     

DOS应用程序使用扩展内存的C程序设计方法

本文介绍了Himem.sys管理扩展内存的基本原理及接口方法,提出了DOS应用程序通过Himem.sys访问扩展内存基本方法,最后给出了C程序示例。