简论转换生成语言学的创新及走向

转换生成语言学自从其诞生起便因其科学性质而受到广大语言学者以及其他研究领域学者们的关注。其理论内部在不断修正和完善。在生物语言学的背景下,转换生成语言学已成为生物语言学的重要组成部分,转换生成语言学的新阶段,即最简方案思想的形成和发展,尤其是语段理论的设想为建立自然科学的语言学进行了有益的探索。     

数控机床循环程序的应用

通过实例介绍循环程序在数控铣床和数控车床中的应用。     

轴类零件NC自动编程及加工仿真系统

数控自动编程是当前数控加工中编程方法的主流，它具有编程速度快、周期短、质量高、使用方便等一系列优点。文章主要研究轴类零件计算机辅助编程及仿真系统，它集成了数控加工仿真模块，可以检测输出代码的正确性，从而提高编程质量，减少出错率，加快编程速度。     

应用西门子840D系统数控铣镗床的电气设计

本文阐述了数控铣镗床PLC程序设计方法和思路．并就用户特定机床面板PLC程序设计及用平旋盘实现铣镗、车复合加工的电气设计作了详细描述?     

大型锻造的质量控制和研究方略

依据大型锻造的科技发展,针对大型锻造的实际应用,阐述了大锻件质量分析与控制的论点和现代综合研究的思路。论述了全面提高大锻件内在质量的理论。强调指出计算机技术与实践相结合的重要意义。     

数控程序的高效设计及其刀具轨迹优化

介绍了提高数控程序编制效率的途径 ,并以实例说明了如何对数控程序刀具轨迹的质量进行优化 ,对从事数控工艺与编程的技术人员有参考和借鉴的作用。     

数控车床碰撞检测系统中NC程序检错与纠错模块的开发

讨论了对NC程序进行检错的意义，提出了数控车床碰撞检测系统的总体结构，包括机床、夹具等加工环境。以及与CAD软件的集成模块。介绍了NC程序的特点，并在VC6．0环境下开发了NC程序检错与纠错模块．通过设计数据结构解决了碰撞检查过程中工件不断变化的难题，为进一步具体研究奠定了基础。     

数控机床加工非圆曲线的程序编制方法

对在数控机床上不能直接进行插补加工的非圆曲线、列表函数，提出了用三次样条函数插值、用双圆弧逼近加工轮廓线的方法，并给出了在计算机上予以实现的流程图。     

基于TMS320C6678的多核程序加载研究与实现

针对多核D SP系统程序加载复杂的问题,基于T MS320C6678对多核程序加载进行了研究与设计。从一级引导程序出发,设计并优化了多核程序内容存储格式。设计了简洁的二级引导程序,以修正一级引导程序只识别主核程序入口地址,而从核入口地址缺失的现象。为了快速生成特定格式的多核程序内容,设计了多个工具用于添加S PI启动参数表、DDR3启动表、从核程序入口地址以及完成程序内容格式的转换。实现了S PI Flash多核程序加载以及基于I2C主模式的Nand Flash多核程序加载。     

Modelling demand response in organized wholesale energy markets

We propose a bi-level optimization model for demand response in organized wholesale energy markets. In this model, the lower level performs the economic dispatch of energy and generates the price and the upper level minimizes the total amount of demand response subject to a net benefit requirement. In an economic sense, demand response is a trade of ‘consuming rights’ instead of a sale of energy. Therefore it must be traded separately from the energy market. Although a bi-level optimization model is very hard to solve in general, we demonstrate that realistic power networks have characteristics that can be exploited to reduce the effective size of the problem instance. In particular, we transform the nonconvex net benefit test constraint to an equivalent linear form, and reformulate the nonconvex complementarity conditions of doubly bounded variables using SOS2 constraints. For realistic instances of the MPEC, we employ a three-phase approach that exploits the fast local solution from a nonlinear programming solver as well as LP-based bound strengthening within a mixed integer/SOS2 formulation. The model is tested against various data cases and settings, and generates useful insight for demand response dispatch operations in practice.