一种嵌入式数控代码解释器设计

该数控代码解释器用于一个嵌入式数控系统中央控制单元,给出了解释器的结构和各功能模块的实现,在实际的加工测试中该解释器能够适应各种工作情况.     

一种面向解释器的间接转移预测技术

解释器广泛应用于Java虚拟机、JavaScript执行引擎等托管运行环境中.解释器通常使用间接转移指令实现字节码分派.在现代多发射多级流水的微处理器中,间接转移预测失效严重制约解释器的性能.针对解释器提出了一种字节码指针引导的间接转移预测技术,其核心思想是使用解释器特有的字节码指针值区分不同的间接转移场景.该技术使用软硬件协同的方式,解释器中插入专门的引导指令以标记字节码指针,预测器在运行时刻使用字节码指针值预测转移目标地址.实验结果表明,该技术与常用的转移目标缓冲预测器相比,能提升Java解释器的性能达34.7％,能提升JavaScript解释器的性能达8.3％,与专用的硬件间接转移预测器TTC(tagged target cache)相比,也能提升Java解释器的性能达21.9％.     

下一代网络CPL解释器的实现①

简化业务开发和提供是下一代网络(NGN)发展的关键,业务描述工具CPL是NGN创建业务的重要工具。研究了CPL解释器的网络功能和基本工作机制,提出了CPL解释器的设计与实现框架,并从执行效率和扩展性两个方面对CPL解释器设计进行了深入讨论,通过CPL解释器工作流程对CPL解释器的工作机制进行了进一步的说明。所提出的CPL解释器原型在下一代网络业务应用服务器的开发中得到了应用,有效支持了业务开发的简化,获得了良好的应用效果。     

基于CK610的Dalvik虚拟机移植与优化

研究Android系统专属的Dalvik虚拟机,分析Dalvik虚拟机的解释器、本地方法桥以及C库在CK610平台上的移植与优化。基于Dalvik虚拟机解释器的字节码分发机制,提出一种改进型Threaded分发机制,并实现硬件平台定制型MInterp解释器,实验证明该 MInterp解释器能使Dalvik虚拟机的运行速度提升1倍以上。     

数据库过程语言解释器的设计与实现

本文主要介绍了作者参与开发数据库过程语言解释器,在解释器的设计中借鉴了Java虚拟机和.NETCLR的思想。结合作者的经验,对解释器系统的设计技术与实现方法进行了一定探讨。     

CPDL解释器的实现模型

本文从ＣＰＤＬ解释器设计者的角度分析了页面描述语言的功能，并提出了ＣＰＤＬ解释器的一个通和层次模型，阐述了解释器各部份结构与其执行效率，还原速度和可移植性之间的联系。最后，文章还简单介绍了ＷｉｎＣＰＤＬ解释器的层次结构。     

WAP及WML＋ASP开发手机网站

对WAP、WML、WMLScript、wTA进行了简要的介绍，以无线电话应用、数据库操作、用户注册／登录、用户电话操作为例，对如何利用WML＋ASP开发WAP网站的技术进行探讨。     

嵌入式JavaScript解释器的设计与实现

结合嵌入式系统的特点，介绍了笔者开发的嵌入式JavaScript解释器系统，解释器系统采用JavaScript语言规范支持和具体实现分离的原则，解释器以自定义的字节码为中间代码，前端系统与后端系统相互独立，具有良好的可移植性。     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

工业机器人语言解释器的设计与实现

定义了工业机器人编程语言,并设计、实现了机器人语言的解释器。解释器的主要功能是将机器人语言源程序转换成合适的中间数据结构,并对中间数据结构进行解释执行。解释器分为前端和后端,前端包括词法分析、语法分析、语义分析、中间数据结构的生成,后端包括语句解释器和插补器。词法分析借助flex工具实现,语法分析借助bison实现,并得到抽象语法树。语义分析通过对语法树的遍历完成类型检查及符号表的建立,同时生成中间数据结构。语句解释器对中间数据结构进行解释执行,并启动插补器进行插补计算。最后,对该解释器的功能进行了测试验证,符合预期要求。     

一种基于Java的WAP浏览器的设计及实现

分析了WML和WMLScript语言的特点，介绍了WAP浏览器的一种基于Java的模块化设计和实现方法。该浏览器能够设置多项参数(响应时间、WSP头部等)，不仅能用于WML网页的浏览，也可以用于测试WAP服务器和WAP网关。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

空间故障网络的柔性逻辑描述

为使空间故障网络(space fault network, SFN)描述系统故障演化过程(system fault evolution process, SFEP)时能蕴含信息的不确定性和演化特征,克服因素、数据和演化本身的不确定性,提出使用柔性逻辑对SFN进行描述和改造。首先论述了SFN存在的问题和使用柔性逻辑解决这些问题的可能性。使用柔性逻辑描述SFN,应从SFN的最基本单元、事件发生关系、SFN结构方面进行。给出了SFN中与、或和传递关系的柔性逻辑表示。在柔性逻辑条件下给出了SFN的关系组,进而得到SFN最终事件状态的柔性逻辑表示。实例结果蕴含了SFEP中各事件、因素和演化过程之间的柔性逻辑关系及其不确定性,为SFEP的智能化研究提供了新方法论和理论基础。     

基于Kubernetes的水平弹性扩缩容系统

Kubernetes的诞生，降低了应用开发者对基础架构和运维团队的依赖，为其提供了强大的工具来编排和调度容器及虚拟机，已经成为分布式集群系统开发及管理的事实标准。Kubernetes通过核心组件HPA（Horizontal Pod Autoscaler）监测集群中CPU和内存的使用情况，并依据这些指标来对微服务集群进行扩容和缩容。但是这些简单的度量指标不能满足实际应用的扩缩容诉求，虽然在社区的最新版本中已经做出了改进，实际效果依然差强人意。本文在原生平台的基础上，设计一种叠加的弹性扩缩容系统E-HPA，可以通过灵活简易的配置方式提供丰富的用户可定制的度量指标，弥补Kubernetes在水平弹性扩缩容方面的缺陷和不足；阐述该系统的设计思想和具体实现细节，并以电信业务应用为例，验证其实验效果。     

Environmental ergonomics: a review of principles, methods and models

A review of the principles, methods and models used in environmental ergonomics is provided in terms of the effects of heat and cold, vibration, noise and light on the health, comfort and performance of people. Environmental ergonomics is an integral part of the discipline of ergonomics and should be viewed and practised from that perspective. Humans do not respond to the environment in a way monotonically related to direct measures of the physical environment. There are human characteristics which determine human sensitivities and responses. Practical methods for assessing responses to individual environmental components are presented as well as responses to ‘total’ environments and current and proposed International Standards concerned with the ergonomics of the physical environment.     

基于国密算法的PKI在工控系统中的应用研究

工业控制系统的全国产化势在必行,迫切地需要一种更为自主安全可靠的身份鉴别方式。工控系统中比较典型的是以PLC为中心的系统,且PKI能够解决通信双方身份的真实性问题。本文研究PKI在以PLC为中心的工控系统中的应用,给出工控系统的证书认证模型及PKI的部署设计。分析国密算法和PKI体系的结合现状,并从开源框架OpenSSL入手,采用引擎机制给出国密算法SM2、SM3扩展到OpenSSL中的关键结构体和算法设计。最后针对工控系统设计一款PKI管理系统并开发实现了该系统,为PKI应用到工控系统做了良好铺垫,为工控系统增强身份鉴别的安全性提供了新思路。     

人工系统中数据–因素–算力–算法作用及相互关系研究

目前的研究认为人工智能的核心是数据、算法和算力,但因素在形成人工智能系统过程中是必不可少的。论文针对人工系统中的数据、算力、算法和因素的各自作用,及其相互关系进行了探讨和论证。从人工系统的内涵出发,描述人工系统的发展过程,认为目前和今后的人工系统必将具有人工智能特征,而实现人工系统要充分考虑上述四方面的相互作用。研究结果表明:数据是人工系统辨识因素的基础,也是形成算法的基础;因素是人工系统控制自然系统的方法及算法所需变量;算法体现了因素与数据关系,可描述人工系统结构;算力是解算算法的能力,也需考虑数据和因素的特征。因此因素在人工系统建立过程中与数据、算法和算力具有相同的重要性。它们具有明显的作用关系,且普遍存在于各个学科,是形成各学科理论基础体系的关键。     

基于Authorware与Office兼容性课件制作技术研究

对Office及Authorware做了深入的研究和分析,Office有其应用简单、覆盖面广的特点,而课件制作工具Authorware有其交互性强和对多媒体元素较好控制的特性,将两者结合起来,能够制作出操作便捷、使用广范的课件。     

基于改进SPEA2算法的给水管网多目标优化设计

针对给水管网多目标优化设计问题，将管网造价、节点富余水头总和以及节点富余水头方差设为目标函数，从经济性和可靠性两方面对给水管网进行优化。为了获取多样性和收敛性好的解，本文结合选择机制中支配和分解的思想，引入参考向量到强度帕累托进化算法（strength Pareto evolutionary algorithm 2, SPEA2）中，配合支配强度进行解的选择。通过双环管网和纽约管网两个管网案例，仿真结果表明了所提算法在解决管网多目标优化设计问题上的有效性，并最终应用于实际的管网工程建设中。