蜂窝系统使用免费频段的方法研究

蜂窝系统使用免费频段是解决蜂窝系统频谱资源紧张的途径之一。首先阐述IEEE 802.11的MAC机制,针对蜂窝系统利用载波监听传统机制去竞争无线局域网频段存在的无法充分利用频谱资源的缺陷,提出一种基于最大化比例公平准则的自适应概率可调的动态频谱接入方法,该方法可以步进地调整蜂窝的接入概率,从而使系统工作在最大化比例公平的理想点附近,仿真结果表明该方法比传统机制在公平性和吞吐量指标上都有提升。     

量子密钥分配的通信模型研究

本文通过引入量子测量信道的概念,并参照经典通信模型,首次为量子密钥分配建立了通信模型。量子密码中已提出的量子密钥分配协议可以统一地用本文提出的模型描述,模型的建立有利于量子密码的进一步研究和在通信网络中的应用。     

基于MATLAB的隐马尔可夫模型识别CpG岛

随着多数生物基因组测序工作的完成,基因识别就显得尤为重要.CpG岛在基因组中有着重要的生物学意义,而识别CpG岛将有助于基因的识别.因此构建了识别DNA序列中CpG岛的隐马尔可夫模型HMM(Hidden Markov Model),并利用网上人类基因CpG岛数据库中随机选取的94条基因序列数据对该模型进行训练与检测,得到了很高的预测准确率,结果表明HMM用于CpG岛的识别是快速有效的.     

COMMUNICATION LANGUAGES FOR MULTIAGENT SYSTEMS

Agent Communication Languages (ACLs) have recently acquired a primary role in open multiagent systems, which need a standard communication framework shared by all interacting heterogeneous agents. According to the most important ACL standard proposals so far, agents are supposed to carry out the communication process by performing actions of a specific type, namely, communicative acts, whose semantics is defined in terms of the agents' mental states. Although following the mainstream guidelines inspired by the Speech Act Theory, our work illustrates an alternative model of agent communication, by shifting the focus from agents' mental states to their social state. Taking an existing communicative act library, we provide a semantics for a significant set of acts based on the concept of commitment, and prove that our approach tackles some issues that have not been dealt with in an effective way yet and that may have hindered the rise of an universally accepted ACL standard.     

基于对象的分布式实时系统调度模型研究

为了解决分布式实时系统有关分配和调度等问题，给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型。该模型包括表示时限的绝对时间约束，表示周期属性的周期约束，表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束，此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时的约束的不足，允许从方法和活动上描述所需的约束，降低了单一约束描述的繁杂程度，为了能够使用现有调度算法进行任务调度，讨论了约束转换的问题，给出了高层约束到底层约束的转换规则和相应的转换算法。     

基于HMT模型的带钢表面缺陷检测研究

为了减少带钢表面缺陷检测系统需要处理的数据量,提高系统检测效率,提出基于隐马尔科夫模型的带钢表面检测方法。该方法在检测系统获取图像数据后,先用相对简单的方法分割出图像中的缺陷可疑区域,然后根据带钢表面图像的特点,采用隐马尔可夫树模型(HMT)进行数据分析,并改进HMT模型参数,完成多尺度分割效果融合,获得最终的分割结果。在对带钢缺陷测试样本集的分割中,采用HMT模型为带钢表面图像建立背景和缺陷两个模型,尺度3缺陷检出率达到94.4%,相比高斯混合模型提升了5.5%,误检率达到18.8%,比高斯混合模型降低了2%。     

硬实时系统的通信协议

硬实时网络通信研究的重点在于对每个报文的时间限制的保证．实时通信协议所采用的报文保证策略分为两类：有保证（ｇｒａｒａｎｔｅｅ）策略和尽力保证（ｂｅｓｔ－ｅｆｆｏｒｔ）策略．前者保证报文的期限能够得到满足,而后者尽量使报文在期限到达前得到传送．根据具体应用环境的不同,这些策略有很多变体．     

一种基于隐马尔可夫模型的人脸识别方法

提出一种改进的基于隐马尔可夫模型的人脸识别方法。利用人脸隐马尔可夫模型的结构特征和Viterbi算法的特点,对特征观察序列进行分割,使用部分序列对所有隐马尔可夫模型递进地计算最大相似度,同时排除相似度最小的隐马尔可夫模型,减少观察序列的计算次数,提高识别效率。实验结果表明,该方法能在不降低识别率的情况下,有效提高识别速度。     

基于HMM建模技术的语音识别改进算法

本文在隐马尔可夫模型(Hidden Markov Model,简称HMM)的基础上,提出了一种帧相关模型的改进算法,它与现行HMM方法中的前后帧相关模型比,算法简化,计算量明显减小,与传统HMM方法比,提高了识别率     

基于隐马尔可夫模型的助行器依赖人群步态相位识别

步态相位识别为老年人步态异常变化监测、跌倒风险预测和康复训练评估等提供了一种方便有效的方法.将激光测距仪安装在助行器上来获取双腿的运动信息,以无须穿戴、活动范围自由的方式对助行器依赖人群进行步态相位识别.针对使用激光传感器识别腿部时衣物因素对腿部数据段分割的影响,提出基于IEPF的数据段再分割方法.为了去除身高、步速等...     

现代通信系统仿真平台的开发

计算机仿真是研究通信、通信对抗系统效能的有效手段。该文介绍了能够用于通信对抗系统新体制、新技术、新战术、新系统的分析设计和性能评估的需要的系统仿真平台的结构、机制以及应用情况。     

智能化CAPP系统的一个事务模型

工艺方案的多样性和不确定性是智能ＣＡＰＰ系统面临的重要问题。     

实时数据库基于功能替代的事务模型

本文提出一种基于功能替代的实时事务模型,讨论了对实时事务进行预分析的步骤、策略和方法。采取的主要策略是三步法:分解实时事务、提取有关运行信息、形成调度树。另外,文章对功能替代集的可调度性进行了初步分析。     

一种基于异构网络的NOW中的群通信模型

工作站网络（ＮＯＷ）作为一种新的并行计算结构越来越受到人们的重视。文中讨论了基于异构网络的ＮＯＷ中群通信问题，提出了一种群通信层次模型，较好地解决了异构网络环境中的群通信问题，其实现群通信的思想是将参与群通信操作的结点按它们所处的子网分成一个个基计算域，通过这些基计算域的并行操作来达到降低通信时延同时又不增加太多网络流量的目的，并且还可以在不同的子网中选择最合适的群通信实现，这一做法做全网面向过程     

基于改进的隐马尔可夫模型在网页信息抽取中的研究与应用

信息抽取是从大量的数据中准确、快速地获取目标信息,提高信息的利用率。考虑网页数据的特点,提出一种适用于网页信息抽取改进的隐马尔科夫模型(HMM),即结合最大熵模型(ME)在特征知识表示方面的优势,在HMM模型中加入后向依赖,利用发射单元特征来调整模型参数。改进后的HMM状态转移概率和观察输出概率不仅依赖于模型的当前状态值,而且可以以模型的前向状态值和后向特征值加以修正。实验结果表明,使用改进后的HMM模型应用到网页信息抽取中,可以有效地提高网页信息抽取的质量。     

基于覆盖模型的适应性超媒体系统用户建模

在适应性超媒体系统中,用户模型的建立是实现系统适应性的前提。提出的适应性学习系统,参考多种用户信息,包括用户的知识状态、认知风格,并根据用户与系统的交互行为,动态更新用户模型。作为智能型教学系统,可以帮助教师实施基于网络的课程,推荐给学生恰当的学习材料,从而提高学生的学习成绩。通过实验评估本系统的功能,对比在三种不同的网上学习环境中学生的学习效果,统计分析显示,适应性学习材料以及适应性呈现风格对于提高学生的学习成绩和学习效率是很有帮助的。     

基于多维用户模型的数字教育服务推荐技术研究

目前的数字教育推荐系统中用户建模数据来源单一,用户意图分析不深入,缺乏数字教育的针对性考虑,准确度和满意度均有所局限。提出一种基于多维用户模型的数字教育服务推荐方法,充分考虑学生知识掌握水平、学习目标、学生所在群体等因素,从客观意图、主观意图和群体性意图三个方向进行分析推理。结合项目需求,开发基于上述推荐方法的数字教育应用原型系统。实验结果表明,该方法相对于仅考虑单一用户因素的系统在准确率、召回率及排序优先度等指标上均有明显提升。     

工程约束表示模型与求解算法研究

分析了工程设计中约束问题的特点和规律,阐明了工程约束与几何约束在工程ＣＡＤ领域中的表现形式,从一般工程意义上提出了符合工程特点的“多元约束图”的约束表示模型。基于“多元约束图”模型,文章提出了“最小约束度优先和最小值域范围优先”的约束求解算法,描述了针对该算法的约束传播层的设计思想,将约束变量有序地形成一单向依赖关系表,有效地表达了约束一致性的思想,较大规模地减少了搜索空间,该研究应用于工厂钢结构     

基于知识的CSCW人机接口模型

人机接口是ＣＳＣＷ系统的重要组成部分，也是它的难点之一。本文针对ＣＳＣＷ系统中用主动作的协同特性，提出了一种协同人机接口结构模型ＫＣＨＣＩ，通过对用户动作的多层抽象和对动作结果的多层例化，实现多用户之间的多层次协同及感知，同时，以知识作为规范描述语言，不仅增强了接口的灵活性，提高了接口的协同效率，也方便了接口的开发。     

一种用于基于知识系统开发的形式化模型*

LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型．