基于最大熵原理的贝叶斯不确定性反分析方法

针对基于确定性数值模型的各种常规反分析方法未能综合考虑各种不确定性因素影响，因而难以
有效模拟复杂工程系统的不确定性特性这一不足，对工程结构系统中的不确定性反分析方法问题进行了
研究.从不确定性分析角度，把工程结构看作为不确定性系统，提出基于最大熵原理的贝叶斯不确定性反
分析方法，将信息熵理论与贝叶斯法有机结合，使不确定性反分析的系统辨识问题转换为对贝叶斯准则
函数的最优化求解问题，并通过适当的优化求解方法，实现对工程结构参数或荷载项源的反演分析.对坝
体和坝基材料参数的实例计算结果表明，该方法反演结果正确，精度高于目前常用的确定性反分析方法.     

污水泵站系统的节能机理及控制策略

城市污水排放系统通常采用梯级提升排放方式，泵站存在着机组排水扬程多变、恒速运行、深井
泵水及机组起停容量无选择性等不合理运行工况，从而直接导致了机泵运行效率低、泵水耗能大、综合节
电效果差等一系列问题。从降低机泵排水扬程、提高机泵效率及优化运行机泵组合等方面分析了污水泵站
系统的节能降耗机理，并给出了相关的节能计算式。在此基础上，提出了目标水位（最佳扬程）下调速排
污运行的高效、节能控制方式以及工程实现的优化控制方案，可实现系统耗能最小和污水溢出污染最少的
控制目标。系统控制策略易于实现，构成系统装置便于现场改造施工。排水管网系统局部泵站运行试验结
果表明，分析所得结论及计算结果与实际测试结果基本相符，可以获得良好的经济效益和社会效益。     

河网水闸智能调度辅助决策模型研究

为了充分发挥水闸的运用效益，针对河网水闸综合管理中的水闸智能群控关键问题，借助人工神
经网络和河网非恒定流数学模型技术，构建了一种河网水闸智能调度辅助决策模型.它的基本框架由水闸
神经网络调度模型和河网非恒定流数值仿真模型组成，其中，水闸调度模型用来输出调度方案，数学模
型用来提供调度预案和对输出调度方案进行模拟检验.河网水闸智能调度辅助决策模型在上海市浦东新区
河网上的运用结果表明，该模型可以较好地满足群闸智能调度需求，能解决浦东新区这样大型复杂河网
的水闸智能控制问题,从而为内陆河网水闸综合管理提供有效的决策支持.     

嵌入式数字化仪器设备UML应用软件框架研究

为了实现软件开发的可复用性,提高软件开发的效率,在对嵌入式数字化仪器(DI)设备领域分析的基础上,提出了一个建立在面向对象基础上的构件化软件框架元模型.针对对象领域特征,采用构件化技术,抽象设计了一系列可配置、扩展性强的通用构件库和专用构件库.从而形成了嵌入式数字化仪器系统软件开发模型和相应的软件应用框架,并使用统一建模语言（UML）进行描述.以智能电表远程抄表系统(AMRS)软件应用框架为例,表明该框架可以实现嵌入式数字化仪器设备系统软件开发的有效复用.     

供水系统直接优化调度遗传算法求解模型研究

针对目前我国完全采用微观模型的方法难以满足供水系统优化调度的要求的现实，以测压点压力
宏观模型、水源供水量和水源供水水头之间的关系模型替代复杂的管网水力平衡方程，并以每一泵站每
时段应有水泵运行求得的出水量和管网求得的需水量相等的条件,建立了大型供水系统的多目标混合离散
变量的直接优化调度模型.利用遗传算法对直接优化调度模型进行求解，提出了对各种约束条件处理的方
法;针对遗传算法容易早熟等的不足，提出将遗传算法和模拟退火技术相结合，并采用自适应交叉和变异
率的解决方法.算例计算表明，该算法具有较强的适用性.     

基于半脆弱水印的安全交易模型研究与实现

为了保证基于数字签名的网络交易模型中交易信息的完整性和真实性，提出一种结合半脆弱水印
、信息隐藏和加密技术的网络安全交易模型.该模型通过直接修改MP3Stego软件包实现信息隐藏，依据加
密程序包RSAEuro提供的库函数构造RSA加密算法，在密钥的控制下随机选取经离散余弦变换（DCT）后的
交易信息系数，根据DCT系数右下角之和的奇偶性嵌入水印信息.实验结果表明，嵌入的水印信息不仅对篡
改具有敏感性而且能抵抗JPEG压缩.根据形式化证明，该模型实现了身份认证和内容的完整性认证，同时
能防止发送方的抵赖和接收方的非法伪造，达到了交易双方的信息在网上安全隐蔽的传输.     

数字化电力电压测量信号放大系统研究

在基于电容式电压互感器（CVT）的电力系统电压测量中CVT二次侧的带负载能力弱，导致在
大负载时测量不准确。为了解决这一问题，提出一种应用于电压互感器二次测的基于数字信号处理器（
DSP）的数字化高精度信号放大系统。采用数字化逆变器来实现电力系统正弦电压信号功率的放大，利用
DSP的高速处理能力，实现了逆变系统的高性能和高精度。数字化逆变器的控制采用TMS320F240芯片来实
现，在其软件中采用了用于电流预估计的PI控制算法和电压电流的双环控制。实验给出了输入电压信号和
输出放大后电压的比较波形，结果证明了该方法的正确性。     

盾构掘进机土压平衡的实现

为了控制地面沉降，减少地表变形，采用电液比例控制技术对盾构掘进机推进液压系统和螺旋输
送机液压系统进行了集成设计.其中推进液压系统采用了比例压力流量复合控制技术，螺旋输送机液压系
统采用了电反馈比例控制技术,在模拟试验台上进行了土压平衡实验分析.结果表明,通过实时控制推进速
度或螺旋输送机转速，对盾构掘进机进行推进控制或排土控制操作，可控制密封仓内土压力在设定范围
内，从而实现土压平衡.     

μC/OS-Ⅱ内核分析

嵌入式系统在目前的应用中越来越广泛,嵌入式实时操作系统也成为操作系统研究领域的一个新方向,与其他实时操作系统相比.μC/OS-Ⅱ以其内核小巧、源码开放、可裁剪、占用空间小、可移植性强等多种特性在嵌入式实时操作系统中占有很重要的地位,该论文就μC/OS-Ⅱ的内核进行了分析,为做移植提供了技术支持.     

嵌入式数控系统中PLC模块的设计与实现

针对嵌入式数控系统中PLC的控制特点,提出了一种基于嵌入式数控系统的PLC模块实现方法,给出了一种基于Linux操作系统的嵌入式PLC体系结构,并详细分析了各系统模块的功能,分析了基于MiniGUI的PLC程序编辑器的设计,提出了嵌入式PLC执行系统指令解释器的实现方法。     

Network Multifunctional Substation with Embedded System in Coal Mine

In order to solve the problems of mining monitor and control systems during the construction process of digital mining combined with network and embedded technologies, the kernel access equipment of a mining monitor and control system was proposed and designed. It is the architecture of a mining embedded network multifunctional substation. This paper presents the design of hardware and software of the substation in detail. Finally, the system＇s efficiency was validated through experimentation.     

嵌入式故障诊断专家系统开发平台的实现

介绍了适用于嵌入式智能故障诊断专家系统的开发平台的功能需求和基本框架,分析了开发平台人机界面的组成以及各组成部分数据对象的抽象方案,给出了平台内部核心部分的构成和实现方法,最后说明了嵌入式故障诊断专家系统的应用模式．     

一种基于构件失效传播的软件可靠性建模方法

在当前主流的基于软件体系结构可靠性建模方法中,路径法是一种相对简单实用的建模分析方法。现有软件体系结构可靠性建模方法大多基于构件失效行为相互独立的假设,当构件产生的失效对其它构件可能产生影响时,现有的建模方法无法准确表达系统的失效行为。为解决这一问题,基于路径法,使用构件转移图描述典型的软件体系结构,引入构件失效传播概率矩阵来定义构件失效传播行为,并对现有针对典型体系结构的可靠性模型进行了扩展。最后通过两个实例验证了新模型比现有模型更能获得准确的评估结果。     

跨平台NFC软件栈的研究与架构设计

NFC软件栈是一种中间件,是上层应用与底层NFC控制器硬件操作之间的纽带。其核心功能是实现近距离无线通信论坛(NFC Forum)定义的协议体系,根据具体的NFC工作模式和应用场景建立不同的服务模型。NFC软件栈是多层次的复杂系统,其实现方式与应用接口、操作系统服务、NFC控制器操作等技术细节密切相关。当前的NFC软件栈在多操作系统支持、多NFC控制器芯片支持以及第三方应用兼容性方面存在不足。为此,该文提出了一种跨平台NFC软件栈架构,通过NFC软件栈运行时环境提供抽象的、无差异的操作系统基础服务;通过NFC控制器抽象层向上层屏蔽不同NFC控制器之间的差异;通过NFC服务接口层来适应不同的操作系统服务组件或应用框架,以实现对第三方NFC应用的兼容。基于该架构实现的NFC软件栈可以适应多种软硬件平台,其功能和性能均达到设计期望。     

面向构件“即插即用”式复用的平台设计

平台系统设计复杂度的持续增长,使构件互连结构的吞吐量、功耗、信号完整性、延迟以及时钟同步等问题日益复杂。针对构件间基于总线互连的通信架构的可扩展性和可复用性差等问题,引入基于分组交换网络的构件互连架构,该架构采用全局异步局部同步机制,采用可扩展的分组交换通信框架,支持构件“即插即用”式复用为基础的平台设计,同时解决了构件间互联的通信瓶颈问题。     

Tailoring of onboard system software

Tailoring of an operating system and an in embedded real-time operating system in particular is essential for both, kernel and operation. But many of current embedded real-time operating systems provide some basic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and degrades their tailors. A layered modular tailoring model has been proposed together with some tailoring operations to improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring operations with the current operating system.     

FRCA：面向构件重构的平台中间件设计

支持多业务的功能构件之间共享可重构资源,为避免构件重构时对其它构件或平台架构造成影响,引入面向构件重构的现场可重构构件阵列（Field Reconfigurable Component Array FRCA）的概念,分离系统级平台设计和可重构实现技术。其基于分组交换的开放性架构使构件重构与平台架构无关,支持以即插即用的方式在平台上更新、添加或删减构件,无需对平台的架构进行修改。     

基于嵌入式WinCE的GPIO驱动开发

嵌入式WinCE是一种适用于嵌入式系统的源码开放的占先式实时多任务操作系统,是目前操作系统领域中的一个热点,其重点与难点是驱动程序的开发。开发嵌入式WinCE下的设备驱动程序,可以更好地利用新硬件特性,提高系统访问硬件的效率,改善整个应用系统的性能。驱动程序修改非常方便,使应用系统非常灵活。本文简要论述了基于S3C2440嵌入式ARM处理器芯片的嵌入式WinCE的GPIO驱动程序的开发流程,并应用该驱动编写了测试程序。     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

面向服务的综合信息服务系统的设计与实现

为了解决现代企业综合信息服务系统中日益突出的“信息孤岛”和企业集成问题,阐述了如何采用面向服务的体系结构构建企业综合信息服务系统,详细介绍了如何通过Web服务技术(SOA的当前实现)集成2种典型的企业信息服务系统实现平台:J2EE系统和Domino系统.通过采用Web服务技术,2种异构平台被纳入到统一的服务平台上,从而在保证最优化地实现不同子系统的基础上,做到了系统间互联互通,最大满足了企业信息和资源共享以及丰富的信息表示需求.本方法为企业构建综合信息服务系统,进行信息集成和系统整合提供了新思路和参考依据.