基于嵌入式移动浏览器的QtWebkit 2.1内核研究与开发

通过对多种支持HTML5技术内核的分析,选取了Webkit内核Qtwebkit2.1。在对其进行深入分析的基础上,着重研究了它对HTML5的支持。最后选取并裁剪了基于Qtwebkit2.1内核的浏览器QtWeb,实现对MeeGo平台的移植。经实验表明,该嵌入式移动浏览器能部分支持HTML5技术规范,为以后的进一步研究奠定了良好的基础。     

一种嵌入式软件的组合测试指标获取方案

为了获取组合测试中适应值函数所需要覆盖率、测试运行代价等信息,设计实现了基于嵌入式软件源代码插桩的指标获取方案。该方案使用交叉开发环境,完成了对源代码语法、词法分析,插桩库和插桩策略的制定,目标机／宿主机通讯方式设计,获得了语句覆盖率、分支覆盖率、运行时间、被测程序程序复杂度等关键指标,并以图表的方式提供统计结果,为组合测试设计适应值函数,进行测试用例约减提供了依据。     

Petri网模型代码映射研究

为了简化仿真系统的实现过程,分析总结了Petri网到程序代码的映射准则,从Petri网的基本元素和关系入手,根据逻辑关系建立映射的三类原子语句,并通过两种合成方式形成分子语句。以原型Petri网为例,遍历可达标识图的各种分支路径,提出循环路径到循环结构语句的代码映射方法。最后给出了带抑制弧的扩展Petri网和受控Petri网的代码映射方案,为Petri网向程序代码的转换提供了理论依据。     

电力变压器蒸发冷却装置FC液位监控系统

介绍电力变压器蒸发冷却装置的液位控制系统,该系统以嵌入式以太网芯片为核心构成网络终端,实现了冷却介质FC液位的远程监测调节。     

转炉煤气回收和放散自动控制系统改进

针对在煤气回收和放散调试过程中发现的问题,通过改进转炉煤气回收和放散控制系统,增加气动三通阀控制联锁信号,保证放散的高度可靠性和煤气自动回收的高度安全性。     

A novel logic-based automatic approach to constructing compliant security policies

It is significant to automatically detect and resolve the incompliance in security policy.Most existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security policies.This paper proposes a novel approach to automatically transform a given security policy into a compliant one.Given security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the humans.We prove that the algorithm is sound and complete under noninterference assumption.Formally,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on ΠM.The approach is automatic,so it doesn’t require a administrator with excess abilities.In this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities.     

COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*

Data flow analysis has been used by compilers in diverse contexts, from optimization to register allocation. Traditional analysis of sequential programs has centered on scalar variables. More recently, several researchers have investigated analysis of array sections for optimizations on modern architectures. This information has been used to distribute data, optimize data movement and vectorize or parallelize programs. As multiprocessors become more common-place. we believe there will be considerable interest in explicitly parallel programming languages. In this paper, we extend traditional analysis to array section analysis for parallel languages which include additional control and synchronization structures.

We show how to compute array section data flow information, i.e., Communication Sets, for a class of parallel programs. To illustrate its use, we show how this information can be applied in compile-time program partitioning. Information about array accesses can also be used to improve estimates of program execution time used to direct runtime thread scheduling.     

主机数据流量检测的实现

分布式网络环境中主机数据流量的异常通常反映出主机是否遭受病毒、木马等恶意程序的入侵而成为网络攻击中的傀儡机,因此,对主机数据流量进行监测可以尽早发现潜在的危险。研究了基于Cisco路由器的主机数据流量检测的基本方法,并给出了具体的程序实现方法和网络硬件环境配置方法。     

基于ADV7120的嵌入式VGA接口设计与实现

介绍了一种基于ADV7120的嵌入式VGA接V1设计与实现的方法,对扫描式TFT-LCD接口时序与VGA接口时序进行了分析对比,利用S3C2440A的LCD控制器和高性能视频D／A芯片ADV7120将扫描式TFT-LCD接口转换成VGA接口,给出了转换电路原理图和LCD控制寄存器的配置方法。实验结果表明：采用这种方法可以正确输出VGA同步信号和图像数据信号,VGA显示器图像清晰稳定,满足系统要求。     

一些特殊方程的计算机程序解法

在人们生产、生活、以及科学研究中,常常会出现一些不容易求解的非线性方程或非线性方程组等特殊方程。文章运用数学知识和计算机MATLAB语言,介绍了这些方程的求解,从而快速得到这些方程的解。