可信计算概论

随着基于互联网的应用系统不断增多,人们所面临的安全问题也与日俱增。如何构建新一代适应信息发展需求的可信计算环境已经成为信息科学技术领域最重要的课题之一。     

一种简单易行的实现多屏幕实时监测的方法

介绍了一种简单易行的实现多屏幕实时监测的方法，对其中的关键技术：如用Ｃ语言实现的通讯中断服务程序的编写，常驻内存技术的应用，中断向量的设置，两个中断过程的互斥等进行了阐述，并附有Ｃ语言程序清单。     

在强电磁干扰环境下的抗干扰问题

本文是我们在科研中,遇到的强电磁干扰,实际解决抗干扰问题的体会。文中从分析干扰的来源和途径着手,探讨从硬件和软件两个方面解决抗干扰问题的措施。经二年的现场运行表明,该抗干扰措施是正确的、有力的。     

除臭技术在海河工程地下排水泵站中的应用

结合天津市海河综合开发改造工程大沽路、会师广场、七马路地下排水泵站工程,分析城市排水泵站产生臭气的主要原因,阐述生物过滤、高能离子、天然植物液等除臭方法和适用条件。结合该项目建设、运行、管理等特点,采用高能离子除臭工艺对恶臭气体进行治理,指出泵站建设形式、除臭工艺流程及各系统构造,并严格控制气体排放指标,达到了较好的除臭效果。     

基于定点的LPC10-e解码算法实现

LPC10-e算法是在2.4kb/s低码率情况下较简单也效果相对较好的语音编解码算法,用于许多语音声码器。由于其较低的算法复杂度使得其需要的带宽及资源相对较小。而要在资源较为紧张的单片机上实现该算法并具有相当的算法精度,就需要解决基于定点的算法实现和相关的技术难点。本文着重讨论了LPC10-e解码算法在定点化实现过程中的关键技术以及解决的方法。实验结果表明了实现后的语音质量与原来的浮点实现相比,语音质量仍可以保持原来的水平。     

基于智能合约的多微电网市场化交易模型及算法

针对传统的输配电网络集中方式管理运行存在的成本高、效率低、透明度低等问题,及多微电网中各博弈主体利益最大化需求,建立公平的竞价规则及多目标动态规划模型。利用区块链可信账本和智能合约技术,形成去中心化、透明开放、信息对称的市场化交易模型,保证各方主体利益。对所构建的交易模型及求解算法进行仿真分析,结果表明,模型分配策略可有效平衡市场主体利益,验证了该竞价规则在多微电网市场化交易场景下具有适用性和有效性。     

基于无差拍控制的交流电机端口特性模拟

针对电力电子负载变流器采用PI控制器无法实时跟踪电机端口特性电流的问题,提出一种基于无差拍控制的电流跟踪控制策略。本文首先分析了电力电子负载模拟交流电机端口特性的基本原理,采用Adams法求解电机数学模型,获得电机定子电流状态量作为负载变流器电流环的指令电流。考虑到电机工作状态发生变化时,端口电流会存在非重复的暂态过渡分量,而基于内膜原理的控制器无法实现对该电流的实时跟踪,所以提出采用无差拍控制器。鉴于实际数字控制系统中至少存在两拍延迟,又提出采用线性预测方法进行补偿。最后对异步电机的典型工况进行了模拟,仿真和实验验证了本文提出的电流环控制策略的有效性。     

流动水系统中CaCO_3在换热表面上结垢机理的研究

设计了一种新的测垢实验装置,研究了模拟硬水CaCO_3在加热表面的结垢机理.提出了沉积-自由移去的结垢机制,并用湍流猝发理论结合Hasson的离子扩散模型,导出了碳酸钙结垢速率的数学模型,模型预测速率同实验数据吻合较好.     

柱形食品冷冻过程的传热研究

本文对极坐标下一维食品冷冻过程进行了数值分析和实验测定.在前人工作的基础上,引入了相界面附近温度分布线性化的假设,对传统的焓法进行了改进,并将其应用于柱形食品的冷冻过程,应用控制容积法进行了控制方程的离散化,建立了该冷冻过程的计算模型;计算结果在较大程度上克服了焓法的阶跃性,是令人满意的.为了验证计算模型,本文进行了柱形食品冷冻过程的实验测定,并将中心温度实验值与计算值进行了对比,结果表明,在较大部分区域内,二者符合较好.