S1000D标准下数据模块发布样式的研究

为促进S1000D标准在以信息化为中心的综合保障技术中的应用,提高装备技术文档制作和发布的正确性和效率,文章研究了S1000D标准对PDF格式发布样式的规定,分析了XSL的工作原理和各类技术信息的Schema模式,利用XSL-FO技术编写了把数据模块发布成PDF格式的XML文档,通过XMLSPY实现了技术文档的发布;通过实例展示了实现规定的发布样式的关键技术以及从数据模块到PDF发布样式的显示效果,证明了所用方法的正确性与实用性,为实现S1000D标准下的技术信息发布提供了新的可行方法.     

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

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

基于ASP.NET技术的留言板系统的设计与实现

介绍了电子留言板系统的设计思路与代码实现方法。该系统基于ASP.NET技术,后台数据库采用SQL Server2005,前台采用Visual Studio 2005作为主要的开发工具,运用了Datalist控件、第三方组件和数据验证技术,实现了发表留言、查看留言和管理留言等功能。     

基于Android平台与SMS的智能家居能量管理系统

基于Android平台与SMS技术,设计并实现了智能家居能量管理系统设计方案。在文中描述了该系统的总体设计框图、终端软件设计、智能电表设计、智能插座设计。对该系统进行了验证,实验结果表明,该方案能够快捷地实现对家居设备等能量消耗单元的控制,成本很低,适合入门者使用。     

PIC单片机控制下的无线模块自主选频数据传输

提出一种采用PIC16系列单片机和CC2500无线射频芯片的自主选频无线数据传输系统的设计方法,包括系统硬件电路设计和软件实现。系统具有自主选频功能,解决CC2500在ISM频段内由于同频干扰而产生的频率冲突问题。     

一种光伏电池组件的温度预测方法

组件温度是影响太阳能电池组件转换效率的一个重要因素,对组件温度的准确预测,有助于提高光伏发电功率预测的精度。文中提出了一种光伏电池组件温度预测方法。该方法考虑了影响光伏电池组件温度的主要因素,通过选择适当的样本建立统计模型。算例结果表明,该预测模型能够较好地对光伏电池组件温度进行预测,具有潜在的应用价值。     

Multiphoton fluorescent images with a spatially varying background signal: a ML deconvolution method

By means of multiphoton laser scanning microscopy, neuroscientists can look inside the brain deeper than has ever been possible before. Multiphoton fluorescent images, as all optical images, suffer from degradation caused by a variety of sources (e.g. light dispersion and absorption in the tissue, laser fluctuations, spurious photodetection and staining deficiency). From a modelling perspective, such degradations can be considered the sum of stochastic noise and a background signal. Among the methods proposed in the literature to perform image deconvolution in either confocal or multiphoton fluorescent microscopy, Vicidomini et al. (2009) were the first to incorporate models for noise (a Poisson process) and background signal (spatially constant) in the context of regularized inverse problems. Unfortunately, the so-called split-gradient deconvolution method (SGM) they used did not consider possible spatial variations in the background signal. In this paper, we extend the SGM by adding a maximum-likelihood estimation step for the determination of a spatially varying background signal. We demonstrate that the assumption of a constant background is not always valid in multiphoton laser microscopy and by using synthetic and actual multiphoton fluorescent images, we evaluate the face of validity of the proposed method, and compare its accuracy with the previously introduced SGM algorithm.     

一种强制访问控制机制的审计方法

目前的安全操作系统模型有很多,以SELinux安全模型,AppArmor安全模型等为大家所熟知,基于这些强制访问控制模型的审计机制也更有不同。本文提供了一种基于轻量级DTE安全模型的审计机制,该机制中的审计信息采用固定大小格式,这样方便对其进行操作。该审计机制有效的监控了系统中主体对客体的所有访问,包括作法用户的操作和合法用户的误操作等。在系统自带的审计机制中,审计信息是系统中所有的审计记录的集合,数量相当庞大,不利于进行分析。本文提出审计开关,对审计记录中的数据进行分类处理,大大提高了检索和查找的速度。     

采用随机有限断层法生成最大可信地震

本文依据基于地震学理论合成地震动的随机方法和能够细致描述震源复杂性的有限断层模型,采用随机有限断层法直接生成最大可信地震。重点比较了随机有限断层法的静拐角频率和动拐角频率理论,开发基于静拐角频率方法的Fortran程序SFFMSIM,作为对比,引进了动拐角频率程序EXSIM。选用1994年Northridge地震数据检验本文采用的随机有限断层模拟方法和程序。最后以大岗山水电站工程为例,采用随机有限断层法生成磨西断裂发震时工程场址可能产生的最大可信地震的加速度时程曲线。结果显示：随机有限断层法合成时程的放大系数谱均值与80条基岩记录平均谱的一致性较好。预测震源位错分布形式未知的地震时,动拐角频率和静拐角频率方法的模拟结果有差异。     

扬压力超过设计值时的重力坝抗滑稳定复核

鉴于棉花滩大坝5号坝段的实测扬压力系数超过了设计值,对典型断面进行了抗滑稳定复核。计算过程中采用最大可能值法来确定设计工况下的扬压力值。采用规范规定方法进行复核,并以非线性有限元强度折减系数法的结果作为参考。复核结果表明该坝段满足抗滑稳定要求,但与类似工程相比强度储备系数偏小。