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

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

一种基于Web服务的应用集成解决方案

文章针对信息化建设中出现的分散、异构资源之间的“信息孤岛”问题，提出了一种基于Web服务的应用集成解决方案。首先给出了该解决方案的体系结构，然后针对其中的关键技术——安全策略进行了重点的分析和研究。     

聚类反馈学习的数据清洗研究

重复记录的清除是数据清洗领域的核心问题,但如何实施有效的清除一直是研究的难点。提出了一种通过建立聚类反馈模式规约来验证重复记录的有效性方法。依据经过聚类后各个类别间的关联性关系分析,首先提出了聚类模式和反馈模式的概念和实现方法;然后给出了数据清洗中聚类反馈模式规约;最后应用项目案例验证了它的有效性。     

基于Windows Mobile的LBS系统的研究与实现

设计了一个基于Windows Mobile的LBS系统,基于对信息服务的多样性,将偏好配置引进LBS系统,可针对不同用户的偏好提供当前位置的信息服务,以为其决策提供支持.     

基于NuSMV的AADL行为模型验证的探究

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的AADL发展情况作简单介绍,然后对NuSMV验证模型的结构作大致分析,在随后的文章中对NuSMV的验证过程作详细的介绍。与此同时,使用具体的汽车巡航控制系统作为实例进行具体分析。文中通过测试用例执行输出进行验证来判断该方法的正确性。     

基于量子免疫进化算法的Web服务演化框架

如今Web服务在网络中被广泛应用,但随着需求变更、系统升级等变化的出现,Web服务如何进行相应的发展演化就成为了一个很重要的问题。为此,文中提出量子免疫进化算法的Web服务演化框架,该策略采用量子编码和量子进化操作优化服务选择,从而为服务演化的自动管理、控制提供了良好的知识基础,提高了整体Web服务的质量。为验证方法的有效性,进行了仿真实验分析,与在组合服务中常用的HTN规划方法进行了比较,实验结果表明文中所提方法在整体服务的可用性上更为优秀。     

基于聚类的QoS语义Web服务发现研究

如何动态地选择出适合用户需求的Web服务正在引起相关研究者的关注.为了提高Web服务查找的效率,提出了一种支持QoS的语义Web服务发现框架.首先根据Web服务本体分别计算服务描述、输入、输出、前提条件和结果这五个层面的语义相似性,然后利用聚类技术,将相似度高的服务聚为一类,过滤掉与服务请求完全不同类别的服务,形成候选服务集,最后进行QoS比较,得到一个服务排序,为请求者选择QoS综合值最高的服务.仿真实验验证了该方法的可行性和有效性.     

基于模糊概念格的语义Web服务匹配

针对不同本体领域语Web服务匹配问题,提出基于模糊概念格模型的语义Web服务匹配方法。将不同本体映射成统一形式背景,进而形成模糊概念格结构,最后在模糊概念格结构的基础上,提出了服务的相似度计算方法。实验结果表明该服务匹配方法的有效性。     

一种基于范例的自动Web服务组合方法

在面向服务的环境下,为快速、高效地进行自动Web服务组合,定义了范例并集的概念,明确了当多个范例合并时才可满足服务请求的情况,简化了范例检索过程,使得在整个组合过程中只需要检索一次范例库.然后提出了一种基于范例的服务组合方法,对检索到的范例按相似度降序排列,在排名靠前的范例中选择范例实施调整,其中若有单个范例满足请求则删除该范例中的冗余服务,否则进行范例合并,最后复用调整后的范例实现服务组合.仿真实例说明了本方法的可行性和有效性.     

ECMAScript解释器的中间代码生成技术研究

论文详细介绍了在ECMAScript解释器中,中间代码生成部分的设计和实现方法。同时也简要介绍了解释器的整体结构。