Hopen机顶盒软件平台设计与实现

针对IBM STBX25XX机顶盒的硬件结构特点,设计了Hopen机顶盒软件平台。通过对Hopen嵌入式实时操作系统内核的移植、各功能部件驱动的定制和开发,使得Hopen机顶盒软件平台可以运行在PowerPC架构的硬件上,完成了数字电视节目的播放功能,从而拓宽了Hopen的应用领域。

Telnet协议的实现原理及应用

介绍了Telnet协议的主要内容：网络虚拟终端、选项协商和通信两端的对等性。作者根据工作实践，提出了Telnet协议在本地主机（Windows客户端）与远程主机(Linux服务器)之间通信的具体实现方法，最后介绍了Telnet协议的广泛应用。

CADCAM开发平台及其发展趋势

基于CADCAM平台的系统开发是一种重要的开发方式,研究平台对CADCAM系统的开发有重要意义.介绍了三种主流CADCAM系统开发平台ACIS,CAS.CADE和PARASOLID,阐述了平台的主要功能、开发接口和数据结构,并分析其各自特色,最后总结了CADCAM平台的发展趋势.

一种自动检测内核级Rootkit并恢复系统的方法

Rootkit是黑客入侵系统后保留后门常用的一项技术。目前不存在一种能自动检测内核级rookit并恢复系统的方法。该文在详细剖析内核级rootkit原理的基础上,提出了一种自动检测内核级rootkit并恢复系统的方法。该方法不仅对目前出现的所有内核级rootkit有效,而且考虑了将来可能出现的更高级的rootkit。

移动数据库中的事务模型

分析了移动数据库的特点以及体系结构,简要介绍了目前几种主要的移动复制事务模型,并从如何改善数据库的性能,如提高可用性、保证一致性等角度出发,总结了各个事务模型的特点,最后给出了结论。

基于语义的移动数据库同步服务器的设计

同步服务器在典型的三级复制移动数据库系统中扮演着重要的角色,也是整个移动数据库系统设计中的难点 所在。在目前通用的数据复制副本模型的基础上,结合应用的语义信息,讨论了一种同步服务器的设计方法,并给出了 具体的实现算法。

计算机测控系统的抗干扰设计

本文以几种计算机测控系统的设计和应用，从硬件和软件两方面阐述了几种抗干扰技术的设计。

二三维共享图结构的工厂管网建模研究

根据管道设计的一般过程 ,在现有管道设计 CAD软件建模研究的基础上 ,分析归纳了管道系统所特有的拓扑约束性质 ,提出了采用特征点描述管道系统的宏观约束 ,以及采用管网骨架和管件在管网骨架上的插入点描述管件的布局约束和局部约束的建模方法 ,并由此建立了二三维共享图结构的管道系统模型 .这种共享图结构可以充分描述管道设计过程中各阶段之间的联系 ,从而可根据已有设计结果对当前工作进行动态导航 。

IPv6邻居发现协议的形式化验证

采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(messagesequencecharts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法.

Hopen多进程窗口系统模型研究及实现

Hopen原有单进程窗口系统稳定性较差、开发周期长且调试困难。针对这些问题,结合现有多款嵌入式窗口系统的特点和嵌入式系统的特殊需求,通过对传统客户端、服务器模型进行改造,设计专用的本地过程调用(LPC)通讯机制,并采用与WIN32兼容的调用接口,开发了Hopen多进程嵌入式窗口系统,提高了系统的稳定性,新产品调试、研发周期也大幅缩短,Hopen嵌入式软件平台的性能得到改善。

Hopen3.0中LPC机制的设计与实现

Hopen操作系统从1.0发展到了现在的3.0,有大量的应用程序需要从单进程环境移植到多进程环境,为了不对应用程序做大的修改和避免对共享资源操作的混乱,提出了LPC即本地过程调用机制。探讨了Hopen 3.0中LPC机制的模型、语义和结构;并将其与一些类似机制做了比较;给出了具体的实现技术;最后对其应用和不足进行了讨论。

多版本中央数据库的移动数据库系统并发控制方案

首先介绍多版本中央数据库在移动数据库中的优势,然后分析由多版本中央数据库带来的同步并发控制问题产生的原因和由此造成的后果。就此问题提出了一个并发方案,并分析这个方案如何解决了并发问题,最后对这种并发方案的实质进行了简要的说明。

一种移动数据库系统的同步方案设计

设计了一个移动事务管理系统用来满足移动计算的诸多特征。客户端缓存部分数据,允许网络在断连时继续操作。在客户端,事务被定义为移动事务“程序”并被用来同步,可以定义详细的操作语义以及替代操作,还可以定义冲突解决方案。系统还提供了通知机制来通知移动用户移动事务的最终执行结果。

面向应用的可裁减嵌入式数据库管理系统

提出了一种可行的可裁减数据库的体系结构,阐述了系统如何实现功能的动态加载和扩展来适应特定应用的需要,为嵌入式数据库带来了新的解决方法。

嵌入式操作系统的硬实时微内核设计

目前的嵌入式实时操作系统存在着内核结构较为复杂、臃肿、稳定性不高、对硬实时应用支持不足等问题。针对这些问题,结合现有的操作系统内核理论及嵌入式实时系统的特殊需求,通过组件化的设计,将内核划分为核心态基本模块及用户态扩展模块,提供多种进程间通讯(IPC)方式,并引入独特的硬实时抢占式调度机制,设计出一种精炼、稳定的硬实时微内核。通过这种设计思路成功开发出了昊鹏(Hopen)操作系统新版内核,应用于最新的3G手机产品上,取得了非常好的效果。

穿越NAPT设备的移动节点的设计与实现

基本移动IP协议中的移动节点不能穿过外地网络中的NAPT设备与对端节点进行通信,这极大地限制了移动IP 在当前网络环境中的应用。根据RFC3519,设计了一个可以穿过外地网络中的NAPT设备的移动节点,给出了具体的实现 技术,并对其中的技术难点进行了探讨。

STEAM教育深度学习的好工具——Mathematica

可能每个人都知道，STEAM代表科学（Science）、技术（Technology）、工程（Engineering）、数学（Mathem＆tics），以及后来加上的艺术（Art）。STEAM教育就是科学、技术、工程、数学和艺术的教育。从字面上看，貌似让学生接受这五个门类学科的教育就可以了，那这和传统的学科教学有什么区别呢，难道STEAM教育是把这些学科汇总到一起来学吗？

基于代码生成的TE模块实现

由于嵌入式平台的复杂性、异构性和多样性,长期以来,同一个软件需要不断的在不同平台间进行频繁的移植、升级和维护。这不仅大大影响了开发速度,延长了开发周期,而且大量功能相同,版本各异代码的存在也是一种对软件资源和软件人员的浪费。通过比较和借鉴多种方案,现提出一套符合嵌入式系统软件要求和特点的软件开发方法——代码生成,并实现了用于支持该方法的工具——TEGenerator(TEGen),并将该方法和工具应用到Hopen嵌入式操作系统的TE(terminalequipment)模块的开发当中。