CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

关于质量、重量和重力的概念及其应用

<正>一、引言在我国使用的计量单位中,质量、重量和重力的定义和表述是最为特别的,在宣传法定计量单位时,别的内容都好讲,唯独质量、重量和重力的概念是最难讲解的,使用中也是比较混乱的。但是,在教学、科研以及国     

Ontology-Based Semantic Cache in AOKB

When querying on a large-scale knowledge base,a major technique of improving performance is to preload knowledge to minimize the number of roundtrips to the knowledge base.In this paper,an ontology-based semantic cache is proposed for an agent and ontology-oriented knowledge base (AOKB).In AOKB,an ontology is the collection of relationships between a group of knowledge units (agents and/or other sub-ontologies).When loading some agent A,its relationships with other knowledge units are examined,and those who have a tight semantic tie with A will be preloaded at the same time,including agents and sub-ontologies in the same ontology where A is.The proloaded agents and ontologies are saved at a semantic cache located in the memory.Test results show that up to 50% reduction in running time is achieved.     

压缩感知理论投影矩阵优化方法综述

通过优化投影矩阵的结构可提高压缩感知（Compressed sensing,CS）的重构性能及信号适应的稀疏度范围。该类方法利用迭代更新Gram矩阵使CS投影矩阵逼近最优结构,不同于以往的投影矩阵设计问题,它是一类新的改进CS性能方法。本文阐述了该问题的产生起源、理论基础、目标函数、理想模型以及与编码理论的交叉。在此基础上,分析、总结和比较现有投影矩阵优化方法的构造原理、应用特点以及存在的问题,最后讨论了其未来可能的发展方向。实验结果验证了分析结论的正确性。     

一种基于多通道信息融合的教师运动跟踪方法

提出一种基于多通道信息融合的教师运动跟踪方法。该方法改进了传统的运动人像检测算法,能进行多目标的识别与跟踪。并结合智能教室的上下文环境信息,提出一个多通道信息融合推理算法,解决了单纯利用运动人像跟踪算法所带来的误检问题。实验表明该方法是有效的。     

数控车床主传动系统与进给传动系统比较研究

本文对比研究了普通车床、普及型数控车床、全功能型数控车床的主传动系统、进给传动系统,分析了三类车床的电动机选用及机械传动结构的差异。     

TS-01C调制/功放故障处理

TS-01C型1kW全固态中波发射机,调制/功放(MO/PA)故障的处理,采用在线电阻测量方法,通过MO/PA故障与正常时,测出关键点在线电阻比较,判定出故障,并排除它。     

基于Msp430F148的便携式测振仪

本文介绍了一种基于Msp430F148芯片的智能测振仪的设计，给出了硬件和软件的实现方法，电路简单、成本低、性能优异。