基于Warren抽象机的Prolog实现技术的研究

本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。     

Kernel Prolog 数据库访问扩展及B/S结构改造

研究了基于Kemel Prolog的解释器原型,扩展了Kemel Prolog,使之能够连接Microsoft SQL Server数据库并进行相应的数据库操作,将Kernel Prolog单机版改造成为B／S结构运行的版本,并使两个版本可以同时运行和修改,使Prolog解释／编译器具备数据库访问功能,对推广Prolog应用很有意义。     

一种基于与或图的语义Web服务自动组合方法研究

单个Web服务提供的功能有限,服务组合成为Web服务应用的一个重要研究方向。提出了一种基于与或图的语义服务自动组合方法。该方法为Web服务引入语义,能将服务搜索空间受限于服务组合与或图中,并能从服务组合与或图中选出最佳组合图,从而达到优化服务组合的目的。仿真实验证明,该方法提高了Web服务组合的成功率和效率。     

可信计算语义证明模型的研究

针对现有的可信计算平台体系认证技术是静态的、一次性的,并不基于语义等问题,提出了语义远程认证抽象模型,该模型由代码特征化部件、安全监测部件、安全控制部件、应用接口部件、知识库组成。其中关键问题知识库采用离线创建规则的学习模式,供在线检测。     

网址导航系统运行速度的改进研究

自从hao123网址导航系统出现以后,各种各样的网址导航系统层出不穷,虽然表面上看起来都没有什么差别,但其使用速度确是千差万别。针对这个问题,本文分别在搜索引擎设计和代码结构设计上进行改进并开发出了相应的网址导航系统——118网址导航系统,通过对该系统的开发与实现过程的介绍,详细地阐述了网址导航系统改进的方法和改进后的效果。     

计算机动态取证系统模型研究

本文将入侵检测、防火墙技等技术应用到计算机取证中,对一切可能发生的计算机犯罪行为实时的进行动态取证。文中首先介绍了计算机动态取证的相关概念、原则和取证的一般步骤,然后重点的分析了计算机动态取证系统模型中的数据获取模块、数据分析模块和入侵检测模块等各子模块。该系统模型能够体现动态取证的实时性、真实性和有效性等要求。     

基于动态Kripke语义直接模型检测及其应用分析

在过去的20年里，基于Kdpkc语义结构的模型检测技术在集成电路设计，网络协议分析，程序正确性验证及程序错误发现等方面证明了其有效性和能力．最近，在诸如使用SAT分析工具、有界模型检测等避免OBDDs的模型检测研究方面取得了相当大的进展提出的动态Knpke 语义结构是让原子命题集合AP可以改变．基于这个方法，提出了一个直接模型检测算法．     

支持进程代码修改的非传递无干扰可信模型

基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改,制约了可信计算平台的应用。针对该问题,扩展非传递无干扰理论,使其支持对安全域的修改,在此基础上提出一种基于非传递无干扰理论,且支持进程代码修改的可信模型,并在新理论框架下给出进程运行可信的条件,证明进程运行可信定理。分析结果表明,与现有可信模型相比,该模型在保证进程运行可信的同时允许对进程代码进行修改,提高了可信计算平台的实用性。     

负载平衡调度问题的一般模型研究

分布式系统提供了巨大的处理能力,为了实现和充分利用这种能力,需要优良的负载平衡调度技术。因此,负载平衡问题是影响分布式系统性能的重要因素。在深入研究分布式系统中负载平衡调度问题的基础上,归纳总结了负载平衡调度的一般模型,对影响负载平衡的各个因素进行了详细的分析。此模型已在一个实际模型中得到了有效地验证。     

基于动态网站的语义数据挖掘模型研究

WEB使用挖掘正逐渐成为WEB个性化服务领域的研究重点,它通过对用户历史使用信息的分析,实现网站的个性化服务。然而,由于动态网页对象URL结构的特殊性,导致了WEB使用挖掘在动态网站应用上的局限性。论文在基于WEB使用挖掘分析的基础上,针对动态网站数据挖掘和个性化服务,提出了语义数据挖掘模型,并详细描述该模型的挖掘流程。     

复摇机温,湿度监控系统

本文详细介绍了缫丝厂复摇机计算机温，湿度监控系统工作原理及特点。该系统以８０３１单片机系统为基础，实现多台复摇机车厢内的温，湿度实时检测，并通过步进电机自动调节蒸汽阀门的开发控制蒸汽的进汽量，从而达到控制温，湿度的目的。     

多数据库事务处理模型中局部代理的设计与实现

在多数据库事务处理模型中，局部代理提供了全局事务管理层与局部数据库系统的接口，它使多数据库系统能够对分布在不同站点的局部数据库进行透明访问。文中提出了基于两阶段代理（２ＰＣＡ）的局部代理模型，它集成了支持两阶段提交或单阶段提并的数据库系统、以及并不支持事务提交协议的文件系统。文中还介绍了采用专用接口和ＯＤＢＣ两种实现局部代理的方法。文中着重介绍了使用ＯＤＢＣ方法的具体实现，并对两种方法实现的局部代     

一类问题的描述方式及其算法

本文给出了一类问题的一种描述方式，这类问题包括有向图的最短路问题、赫夫曼问题、矩阵链问题、汉密顿回路问题等等。在这种描述方式的基础上，给出了一个算法模式，并讨论了如何通过该算法模式得到回溯算法、动态规划算法、分枝限界算法、贪心算法以及启发式搜索算法等等，只要对这个算法模式中的变量给出不同的定义就可以得到求解这类问题中某一具体问题的算法，最后还给出了ＳＩＭＤ模型上的一个并行算法模式，通过该并行算法模     

机器人手臂弹性动力学分析的Kane方法

本文将 Kane 动力学方法与假设模态法相结合.给出一种分析机器人手臂弹性动力学的新方法.首先基于 Kane 方法的运动学概念,并应用假设模态法建立了手臂弹性运动学.推导出完整的弹性动力学方程.并以一简例说明了其应用过程.这种方法比较简洁,兼具 Lagrange 法和 Newton-Euler 法的优点而克服了其不足,便于计算机数值分析.     

分段变结构Bang-Bang控制器在气动脉宽调制位置伺服系统中的研究

本文提出了一种分段变结构Bang-Bang控制方法,并应用于气动脉宽调制高速开关阀 控气缸位置伺服系统,使得控制性能得到了明显改善,有实际应用价值。     

A HIERARCHICAL MODEL OF INFORMATION FLOW IN COMPLEX SYSTEMS

A model of the information flow in hierarchical information processing organizations is presented. The purpose of the model is to capture the essential information activities that occur as system performs its tasks. An information processing organization transforms (input) requests into (output) responses through a set of procedures or processing rules. The hierarchical model describes transformations as changes in the information state vector of various entities in the organization. The information state vector is a dynamic quantity similar in concept to the state of a system. The paper discusses in detail how the structure of the hierarchical model allows how to deduce the optimal reorganization of procedures. In particular, there is a very strong structural linkage between the model and the problem of optimal control of dynamic systems. This linkage is demonstrated in the paper by use of dynamic programming to solve the reorganization problem using this model.     

哈萨克语语句情感识别研究初探

提出一种机器识别哈萨克语句情感的模型。使用条件随机场CRFs(Conditional Random Fields)对哈萨克语句中的情感关键词进行机器识别,在此基础上结合语句逻辑结构分析,能初步判断出哈萨克语句的喜、怒、哀、俱情感倾向。拓宽了哈萨克语言计算机机处理的范围。