从状态图到规则的转换

本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示,最后,本文也阐述了此工作的作用和意义。     

基于半虚拟技术的嵌入式分区系统设计与实现

针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统.在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境.通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,可有效阻止分区的错误传播,提高系统的容错能力.时系统可靠性、调度效率等方面进行试验和分析,实验结果表明,该分区系统的可靠性明显提高,而且继承了RTEMS的实时性和设计的简洁性.     

基于Windows 平台的动态取证系统

针对目前一些动态取证模型的不足,在分布式网络取证模型的基础上设计了一个基于Windows平台的动态取证系统,能够实现网络中的计算机作为作案目标和作案工具双重角色时的取证,具有实时获取多种数据源、取证过程隐秘、取证分析算法可扩展等特点。介绍了动态取证系统中各功能模块设计,并阐述了系统设计中涉及到的关键技术,最后通过模拟测试表明该系统能够在Windows网络下实现动态取证。     

聚合物电介质中空间电荷陷阱深度的模拟计算

利用分子动力学(MD)与密度泛函理论(DFT),建立聚合物电介质中空间电荷陷阱深度的计算模型,得出了聚乙烯分子的化学结构缺陷和过氧化二异丙苯(DCP)、α-甲基苯乙烯等杂质分子的空间电荷陷阱深度,并结合聚乙烯空间电荷陷阱能级的变化,分析了聚合物分子缺陷处空间电荷陷阱特性。模拟结果表明聚合物中苯环、羰基、醛基和共轭双键等化学键及键和链的作用是空间电荷陷阱存在的重要原因。其结果同现有的文献符合得比较好。     

用生物测试评价臭氧-生物活性炭净水工艺

设计了一组基于生物标记物的生物测试方法,并用于评价南方某水厂臭氧-生物活性炭中试工艺对水中痕量有机有毒污染物的去除效果.测试方法包括检测类雌激素效应物质的重组基因酵母试验,检测遗传毒性物质的SOS/umu试验和检测芳烃(Ah)受体效应物质的EROD试验.研究表明,仅在水库原水中存在很低浓度水平的间接遗传毒性物质,水处理各工艺出水均为阴性.工艺对类雌激素效应物质和Ah受体效应物质的去除率分别为91.3%和90.6%,主要在臭氧工艺段得到有效去除.采用成组生物标记物方法可以对饮用水中的痕量有机污染物进行毒性筛选或测试,适用于对水处理工艺的风险评价.     

二维离散余弦变换的FPGA实现

根据可编程逻辑器件(FPGA)的可编程性和并行处理特点,提出了一种二维DCT的FPGA设计方法。所得结果经时序分析,并和DSP库函数提供的fdct_8×8()函数相比较,满足快速进行二维DCT的条件。     

32位ARM嵌入式处理器的调试技术

针对32位ARM处理器开发过程中调试技术的研究,分析了目前比较流行的基于JTAG的实时调试技术,介绍了正在发展的嵌入式调试标准,并展望其趋势。     

Web链接结构信息研究综述

万维网(World Wide Web)是由大量的网页组成的,网页之间由超链接(HyperLink)相互连接。在传统上,人们对网络信息的分析和获取是依靠对网页内容的分析和处理来进行的。例如,传统的网络搜索引擎对网页上文本信息进行分析、索引,并将处理后的信息存储在数据库中,然后根据用户查询输入进行分析,获得查询结果。     

执行机构含死区环节的自适应补偿控制

火电厂炉膛负压控制系统中有时含死区类的强非线性环节，死区使该控制回路产生振荡，仅用常规PID控制器无法克服这一现象。为此，该文提出了一种用自适应死区逆对控制回路进行补偿的方法。该方法用描述死区特性的参数构造死区逆来补偿控制器输出；同时又由于死区是未知和时变的，所以用一种鲁棒自适应更新律对死区参数进行在线更新，从而达到用死区逆完全抵消死区影响的目的。仿真试验结果表明，该文的方法几乎能让系统恢复到线性状况，并且死区参数收敛，证明了方法的有效性。     

并行数据库负载平衡算法研究

该文讨论了影响并行数据库负载平衡的几种数据扭曲以及几种典型的并行连接运算算法，提出了在ＳＮ结构下保持并行数据库负载平衡算法的一些考虑。