软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

基于吊车一双摆系统的可拓控制仿真研究

在现有的可拓控制器的结构及算法基础上提出了一种基于最优控制理论的改进的可拓控制算法(LQR-EC),并应用于吊车一双摆这一单入多出系统.借助MATLAB仿真平台对其控制效果进行仿真研究.结果表明,LQR-EC算法具有原理简单、响应快速稳定等特点.     

不同植被类型对土壤微生物量碳氮及土壤呼吸的影响

对四种植被类型下土壤微生物量碳、氮、土壤呼吸速率以及代谢熵的研究,结果表明,土壤微生物量碳、氮以及土壤呼吸在四种植被类型间差异显著,而土壤微生物代谢熵之间差异不明显.且不同植被演替阶段土壤微生物量碳、氮从初级阶段到次生林阶段逐步增大,从次生林到成熟林阶段明显减小;土壤呼吸随着植被的正向演替,呼吸速率逐渐增强;四种植被类型间土壤微生物代谢熵在次生林中最低,为0.44 mgg-1 h-1,万熟林地中最高,为1.01 mgg-1 h-1,表明土壤微生物对土壤碳的利用效率次生林较高,成熟林地较低.     

网络成为数学教学的好助手

在数学教学中,运用网络聊天、博客空间等工具,可以提升学生的学习兴趣,突破教学重、难点,拓宽学生的视野,提高学生的综合素质。     

物联网的智能视频接入终端——高清晰智能相机的研制与应用

通过智能视频分析系统(Intelligent Video System,IVS)可在计算机图像分析技术的基础上,完成场景中背景和目标的分离任务,进而完成分割目标的追踪、定位与识别.为了在物联网的架构上实现多个智能视频终端的互联,并在此基础上实现多目标的动态感知,文中从嵌入式智能视频处理的角度,探讨了基于网格的智能行为分...     

水利水电工程建设项目水资源论证实例分析

阐述水利水电工程建设项目水资源论证的意义、目的和内容,并以庙塘水库工程为例,对水资源论证报告中区域水资源状况及其开发利用分析、取用水合理性、取水水资源论证、取水和退水影响等多部分内容进行了详细的分析.论证结果表明,庙塘水库来水量、水质等能够满足用水需求,水库取退水不会对生态环境和第三者产生较大影响.工程实施后可以灌溉0.395×104 hm2农田（其中水田0.168×104 hm2、旱地0.227×104 hm2）,解决工程区3.51万人的饮水安全问题.庙塘水库工程的建设将极大改善项目区农民的基本生活条件及农业基础设施,建议尽快实施.     

基于关系分解的外包数据库机密性保护方案研究

针对外包数据库服务中数据库服务提供商本身并不完全可信等潜在威胁引起的隐私数据机密性威胁,提出了一种基于关系分解的外包关系数据库机密性保护方案。设计了考虑查询类型和属性所处查询位置的属性分解代价计算策略,并以此计算策略为评价标准,给出了求解最小属性分解代价方案的算法。然后,对各数据切片进行了准标识符的抗共谋攻击处理,并进行了性能测试。实验对比结果表明该方案对不同的应用查询类型有较好的适应性,有效降低了关系分解代价,提高了查询执行效率。     

乙酸酐改性氨基聚硅氧烷的成膜性及膜形貌研究

应用原子力显微镜（AFM）和接触角测量仪对乙酸酐改性氨基聚硅氧烷的成膜性及膜形态进行了研究。结果发现，氨基聚硅氧烷在单晶硅基底上均能成膜，但不同的氨基聚硅氧烷所形成的膜形貌不同，膜的表面形貌实际上与基团的排列方式有关，氨乙基氨丙基聚二甲基硅氧烷在单晶硅基底上可形成均匀、平薹、光滑的疏水膜，而乙酸酐改性的氨乙基氨丙基聚二甲基硅氧烷则形成凹凸不平、粗糙的具有弱亲水性的非均匀膜。     

基于传热原理的热电偶测温误差模型及应用

应用传热学原理研究了热电偶静态测温误差和动态响应模型及减少测温误差的方法。热电偶测温误差是由热电偶与周围环境净热辐射引起,对流传热系数大小决定性地影响测温误差。带遮热套热电偶高速抽气时能有效减少测温误差,裸装和不抽气的热电偶不能直接应用于气体温度在线检测;动态响应过程误差还受时间常数0τ影响,30τ可视为动态响应结束时间。此研究结果不仅可用于裸偶信号校正、高精度温度信号获取及动态读数时间选取,也可为温度在线控制提供科学依据。     

组合壳屈曲和后屈曲分析

讨论组合壳屈曲和后屈曲分析中有关两壳交线上节点广义位移的转移矩陈和刚度矩陈修改等问题，给出具体的转换矩陈，并用它分析计算了断面为Ｌ型，Ｚ型和Ｈ型三种壳体结构。