基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法

Linux诸多优点，和国际自由软件组织的努力，使基于Linux的开发的嵌入式产品越来越多。由于Web技术的普及，怎样在嵌入式产品上实现性能优异的Web功能成为了当前的一个研究热点。该文深入探讨在进行嵌入式应用开发过程中遇到的问题并给出了相应的解决方法。并以网络电视终端为例，详细论述具体嵌入式产品中各部分的设计和实现。重点论述基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法。

Linux内核的实时支持的研究与实现

目前嵌入式计算的发展对实时多任务操作系统（RTOS）的需求日益迫切，而Linux内核的实时支持研究为迎合这种需求提供了新的可能性，通过从中断控制、实时调度策略、内核抢占机制及细粒度定时器几方面深入研究与实现了Linux内核的实时支持，以使之成为一个较为完善的RTOS。通过把实时部分设计为可配置的单元，以保留Linux原有系统支持及API。另外，为扩展系统适用范围，提出了可支持多实时调度策略的二阶段调度方案，同时指出了当前方案的不足和今后的研究方向。

基于Linux的网络计算机服务器的设计与实现

由于Linux在电子政务,企业,教育等等方面的推广应用,为网络计算机(NC)提供Linux上的各种应用服务的需求日益迫切,在Linux上实现网络计算机服务器(NCS)可以满足这种需求。文章通过从用户会话管理,Linux应用服务的输入输出传输,图像像素的压缩编码方式,及对不同NC运行环境的自适应性及系统安全配置几个关键方面深入研究与实现了Linux上的网络计算机服务器,使网络服务器能够为NC提供可用的应用服务。NCS为X客户程序的X服务器,目前已有的Linux应用可以不需修改为NC提供服务。另外,为提高系统的适应范围,提出了在会话服务中加入针对NC运行环境和网络属性的反馈式(Feedback)适应策略。文章最后指出了当前方案的不足和今后的研究方向。

虚拟硬件方法实现基于Intel StrongARM SA-1110平台的Linux APM

文章讨论了在StrongARM SA－1110开发板上实现Linux APM的主要技术问题。在分析了Intel StrongARM最新处理器SA－1110及开发板（Assabet）与电源管理相关的结构和特性的基础上，提出了一种基于虚拟硬件的系统跨平台移植的方法和思路，并以实际开发过程中的经验为背景，介绍了在Linux APM基于SA－1110平台的移植工作中虚拟硬件方法的应用和虚拟硬件方法在操作系统跨平台移植开发上的优点。

Linux可信路径安全机制研究及改进

在分析Linux操作系统现有的可信路径机制的基础上，采用阻止不可信进程对虚拟终端访问并且根据不同情况挂起、杀掉小部分进程的方法，提出了一种利用安全注意键实现的可信路径改进方案，提高了Linux可信路径机制的友好性、可扩充性，并且对用户登录的整个过程进行了保护。

中文Linux输入法引擎标准研究

Linux系统的输入法存在多种框架和实现,以往的标准化努力没有给出令人满意的结果,输入法引擎(IME)接口标准化采用了新的路线,有助于开发可适用于不同框架的IME.在总结归纳现有输入法框架基础上,分析了对IME接口进行标准化的基本原理,详细说明了IME接口标准的重要特性和设计原则;相关的实体被划分到4个部分,使用时序图对不同部分的交互进行了细致的分析.标准的可行性需要IME示例实现进行证明,针对覆盖标准不同方面的3个示例实现给出了简要说明,其设计和实践可供开发符合标准的IME时参考.最后,对该标准的应用前景和进一步研究方向做出了展望.

Linux内核多语言文件子系统的设计与实现

操作系统的多语言支持是网络环境下计算机软件发展的必然结果。由于POSIX标准的国际化体系结构对多语言和分布式应用需求的支持有其局限性，导致遵循POSIX标准的Linux文件予系统在支持多语言文本时可能造成数据丢失。本文从多语言角度考察了Linux文件予系统，重新构造了一个能够支持Urdcode编码的逻辑文件系统EXT2U，改进了文件予系统，同时提供了基于Urdcode编码的系统调用接口。通过新文件系统与系统调用接口，为操作系统多语言处理提供了更好的基础。

藏文编码字符集的扩充集在Linux上的实现

国内藏文软件开发普遍使用的是基于垂直预组合字符的实现方案,但是缺乏统一的编码标准.藏文编码字符集扩充集的推出,对于国内藏文软件的标准化、国际化具有重要意义.本文通过分析ISO/IEC 10646藏文编码字符集基本集、藏文编码字符集扩充集国家标准,区分它们描述字丁的差异,分析由编码方案所导致的实现上的关键问题.最后,针对藏文扩充集B的特殊性,提出并实现了基于Linux国际化架构下支持藏文扩充集标准的解决方案.

符合国际与国家标准的藏文Linux操作系统研发

藏文操作系统是实施藏文信息处理、实现藏文信息化的基础。介绍了藏文信息处理的发展现状,并分析了藏文信息处理的需求。阐述了研发藏文操作系统涉及到的主要研究内容,以Linux操作系统模块结构为基础阐述了该系统采用的实现框架,分析了其中需要解决的关键技术难点,详细描述其解决方案。简要说明了"藏文Linux桌面系统V1.1"的特点及后续的工作方向。

Linux标准化国际动态

介绍了国际上Linux标准化相关组织及其发布标准的基本情况,并进行了简单分析。以此为据,为国内的Linux标准化工作提出一些基础性的建议。

808-nm fiber coupled module with a CW output power up to 130 W

A fiber coupled module is fabricated with integrating the emitting light from four laser diode bars into multimode fiber bundle. The continuous wave (CW) output power of the module is about 130 W with a coupling efficiency of around 80%. The output power is very stable after the temperature cycling and vibration test. No apparent power decrease has been observed as the device working continuously for 500 h.

security analysis of two password authentication schemes

National Natural Science Foundation of China; Dalian University of Technology

可信平台模块分析与测试技术研究

在可信计算平台的体系结构中，可信平台模块的基础性地位决定了其在可信计算平台的研究中居于中心的地位。本文对可信平台模块中可信机制特别是隐私性保护机制进行了详细的分析，并以可信平台模块作为建模的对象，对其进行形式化分析，探讨利用形式化模型生成测试用例，进行符合性测试的技术。本文主要取得了以下几个方面的成果： 1、针对现有的隐私性保护方案即BCC方案在多信任域环境下的不足，提出了一种多信任域内的直接匿名证明方案，该方案为直接匿名证明方案在多信任域的网络环境下的应用奠定了基础。 2、针对BCC方案匿名性机制中“验证着相关的完全或无”匿名性的缺陷，提出了带子群隐私保护的隐私性保护方案，该方案为小群体内应用隐私性保护方案提供了可行的解决方法，增强了现有隐私性保护方案匿名机制的灵活性。 3、提出了一种新的基于双线性映射的直接匿名证明方案，该方案的计算量小，签名长度短，为下一代基于椭圆曲线的可信平台模块提供了可行的隐私性保护方案。 4、针对目前可信平台模块符合性测试缺少自动化测试方案的现实，本文提出了一个新的针对可信平台模块的测试方案，该方案利用EFSM形式化模型生成测试用例，支持覆盖度的分析，可以实现测试的自动化，在符合性测试中可以帮助提高测试的覆盖程度与工作效率。 5、最后，本文首次对可信平台模块的本地化产品可信密码模块进行了系统的分析，指出了其中的AP授权协议的一些缺陷，并给出了改进意见，对可信密码模块和可信平台模块进行了详细的对比和分析，指出可信密码模块存在的不足和优势。 总的说来，本文的研究成果为可信平台模块的推广提供了有力的支撑，并且为我国可信密码模块的发展提供了借鉴。 关键词：可信平台模块、可信计算平台、 符合性测试、直接匿名证明