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

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

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

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

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

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

面向程序分析的插桩技术研究

为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。     

基于S698 PM处理器的VxWorks操作系统1553B总线模块应用与开发

以S698PM处理器为平台,从1553B总线模块的底层驱动程序入手,详细介绍了 VxWorks 操作系统中1553B总线模块的应用和开发,结合驱动应用程序,分析介绍了1553 B三种不同控制器方式BC、RT和BM的工作方式。     

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.     

项目教学在高职院校程序设计课程中的应用——以《C#程序设计》为例

程序设计课程是高职院校计算机应用和软件技术专业的必修课程。主要培养学生软件设计的基本技能,熟悉软件开发所需的软件开发工具,了解软件开发方法和开发过程。在课堂教学中,如何使理论讲解和动手实践相互结合,使学生在做中学,学中做。提高学生学习效率,提升教学质量,本文《C#程序设计》课程控件知识点为例,以项目化的教学方式贯穿整个课堂教学过程。经过教学的实践说明,课堂得到了有效的利用,学生自主学习和主动学习的意识被激发。     

嵌入式系统可信启动机制设计与实现

嵌入式系统在生活中不可或缺,如何增强其安全性是急需解决的问题;现有解决办法局限于理论层面且不符合嵌入式系统实际需求;为实现嵌入式系统安全启动并满足其实际应用需求,设计并实现了嵌入式系统可信启动机制;该机制以可信计算理论为基础,提出一种适用于嵌入式环境的高效、透明的可信框架模型,设计完成嵌入式可信计算硬件模块(ETHM)以及其逻辑结构,构造可靠稳定的接口机制,实现了完整的可信链传递、操作系统高可信启动机制等技术的集成设计;通过实验验证,该可信机制对操作系统安全性可以进行准确判定,并做出正常启动或发出警告的正确指令;实验结果表明,该可信机制具备安全性、可靠性、高效性的特点,并满足嵌入式系统实际应用需求.     

岷江航电犍为枢纽工程移民生产安置方案的拟定

岷江航电犍为枢纽工程建设征地涉及的耕(园)地数量较大,移民生产安置人口较多,安置任务繁重,安置压力大.在遵守国家和四川省有关政策、法规及规范的前提下,根据建设征地区的实际情况、移民环境容量分析成果并结合地方政府的意见和移民安置意愿,拟定了采取农业安置与自谋职业、养老保障安置相结合的生产安置方案.     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。