基于uCLinux和MiniGUI的广告机用户界面设计与实现

基于嵌入式uCLinux内核和MiniGUI软件平台,设计并实现了公交车站广告机的用户界面。对相应的开发环境进行了搭建,并给出了运行环境的执行步骤。在用户界面设计中,我们采用了双缓冲技术,对动画和滚动字幕的速率进行了精确控制并提出了相应算法,最后实现了画面的剪裁。本文提出的解决方案已在上海市部分公交车站成功运行。     

Pcanel/V2——基于Intel VT-x的VMM架构

个人计算机硬件性能的迅速增强使得通过虚拟化技术建立多个相互隔离的计算域成为未来个人计算机的一种重要发展趋势.为避免传统的IA-32架构在软件虚拟化领域所面临的VMM的设计和实现的困难,作者设计并实现了基于Intel VT-x技术的VMM架构--Pcanel/V2.该架构利用最新的硬件虚拟化技术,通过配置出一个可控制的虚拟运行环境,可以直接虚拟运行多个不修改源代码的客户操作系统.在允许客户操作系统正常运行的同时控制它们对各种硬件资源的访问,并能对客户操作系统运行过程中出现的各种情况进行相应的处理.Pcanel/V2实现了Linux和Vxworks的同时运行,相应的数据测试表明Peanel/V2架构在简化了VMM设计复杂度的同时总体运行效率比软件虚拟化技术提高了约10%.     

基于嵌入式Linux的下载代理服务器的设计与实现

本文提出了一种具有下载、代理功能的小型网络服务器的设计方案,以及开发环境和运行环境。该模型以三星公司S3C2440芯片为核心,设计实现了包含以太网接口、USB端口的嵌入式硬件设备平台,在此平台上移植嵌入式Linux操作系统,并根据软硬件特性移植相应的应用程序,从而实现了具有下载、代理功能的小型网络服务器。     

一种自适应程序设计方法

当前的程序设计都是人工设计执行流程,这种方法具有被动性、机械性、缺乏灵活性等缺点。提出一种基于强化学习的程序设计机制,并实现了相应的算法。根据环境情况和问题要求让计算机自主选择执行流程,通过学习使结果达到最优,同时能实现分层调用。采用这种方法,程序执行可以自主决策,较好地实现了自适应,减少了对设计者的依赖。结果显示,这种方法能取得较好的运行效率。     

一种基于Matlab的DSP开发思路的研究

提出了系统级的DSP设计思路,采用Matlab中的CCSLink软件包这一工具,将算法设计和仿真在统一的开发环境中进行,实现了Matlab,CCS和目标DSP的连接。在Matlab环境下实现对工程文件的创建、编译、加载、运行及调试等操作,并能够对目标DSP的存储器或寄存器数据进行访问。克服了传统设计思路中,由于代码编写出错、DSP外围硬件接口问题、数据的量化误差等原因以及算法设计和仿真分离造成的数据偏差大和使用不便等缺点,并通过实例验证了该方案的有效性。     

科技馆中有关展项的人机安全设计探索

本文针对科技馆的展项的设计,从人机安全的角度进行分析和探讨。并简要的说明了在科技馆建设中,对展项以及相应的环境进行设计时需要注意的问题。同时从展项的舒适性、参与性、人机尺寸等几个方面提出相应的设计方案。并针对参展人员以及展项的安全提出了具体的保护措施及方案。同时对光、声环境以及展厅中的有关于人机安全的部分的设计提出了相应的理论依据。     

并行逻辑程序设计语言GHC的实现

本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。     

一种面向动态软件体系结构的在线演化方法

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.     

基于SOA的嵌入式安全关键中间件

由于嵌入式安全关键系统自身的特点和应用环境的特殊性,导致了设计分布式嵌入式安全关键应用比一般的嵌入式实时应用要困难得多。提出了一种新的基于SOA构架的自适应安全关键中间件,极大地简化了嵌入式安全关键系统应用的开发,并对相应的体系结构和关键技术进行了讨论。另外,针对嵌入式安全关键系统运行环境的特殊性,重点讨论了SOA构架中基于动态配置服务的端到端的自适应QoS管理机制和实时容错机制的设计和实现。     

网络学习环境的分析和设计

本文对网络学习环境进行了分析,着重从多角色环境设计、用户界面定制、学习过程跟踪和评价等方面对网络学习环境的设计展开讨论,并提出相应的设计思路。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。