计算机学报杂志 北大期刊 CSCD期刊 统计源期刊

计算机学报 2004年第12期杂志 文档列表

计算机学报杂志研究论文与技术报告

基于入侵诱骗的网络动态防御研究1585-1592

摘要：网络攻击的目标可以归纳为目标端的数据资源、计算资源及连接资源.为抵御以数据资源为目标的攻击,文章提出一种基于入侵诱骗的网络动态防御系统;以形式化方法描述并论证了该系统的网络动态防御能力;提出了通过分析行为操作序列判断行为性质的方法;最后给出了该系统的原型及其实现.

RIJNDAEL算法S盒的等价生成1593-1600

摘要：由于对RIJNDAEL算法的代数攻击将S盒具有严格的代数结构作为了攻击的突破口,该文对S盒的性质做了深入研究,发现了在30个形如Z2[x]/(f(x))的GF(28)域中,采用不同的仿射变换矩阵,RIJNDAEL的S盒(按共轭等价划分)可以有240种生成方法.该文给出了必要的理论证明以及一种易于实现的仿射变换矩阵求取方法,并在附录中列出了这些能生成RIJNDAEL S盒的仿射变换矩阵.这些能产生等价S盒的矩阵的发现,很可能有助于代数攻击法的实施.

CEFF——一种基于组件的条件效果处理方法1601-1611

摘要：条件效果是智能规划处理更具解释性动作描述语言中最难解决的一种类型.如何扩展当前已有的规划算法,使之具有处理包含条件效果的动作描述语言的能力成为了智能规划领域中的研究热点之一.文章针对一个高效规划器FFv2.3在条件效果处理中存在的不足做了一些改进,提出了一个新的条件效果处理方法CEFF.主要的改进措施有以下两点:(1)引入因子扩展法的思想将动作划分为组件,以提高对条件效果的处理效率;(2)在进行启发式估值的图扩展过程中增加对两元互斥关系的判断,以避免大部分dead-end状态.因此,CEFF的实用性较FFv2.3要更广泛一些.

一种网络协议的自适应控制方法1612-1616

摘要：网络服务器过载问题已经成为日益关注的问题,过载会引起服务器系统性能急剧下降,客户请求长时间得不到响应.国内外已经提出很多有关网络服务器过载的解决方案,其中,比较有效的方案是引入线程机制,通过中断和查询相结合来解决这个问题.文章从改进传统的操作系统内核事件处理机制出发,在传统的事件处理机制中引入了反馈控制,提出了基于自适应的网络协议控制方法,该方法通过控制网络协议处理中的硬件中断和软件中断处理,不仅避免了系统接收活锁问题,同时,也避免了由于过量中断所造成的网络协议处理和应用软件"饥饿"的问题.测试表明在过载情况下,UDP性能提高了100%,TCP性能也得到了明显的改善.与其它方法相比,这些方法中有些无法克服接收活锁的问题,另外一些方法由于采用了查询机制,产生了延迟和额外的开销,这就使得文章提出的方法在性能上比采用查询机制的方法更好.

面向网格的协作式网络计算平台1617-1625

摘要：互联网资源的利用率无论在时间上,还是空间上都存在极度的不均.在不干扰用户工作的前提下,充分利用互联网上闲置的资源,解决大规模的科学计算,具有极其重要的意义.文章在前期HowU网格平台的网络计算组件的基础上,结合当前流行的网格技术和P2P技术,提出了一种协作式的网络计算平台,支持包括集群和单机两种类型的资源管理器和注册资源,通过资源管理器之间的协作和资源共享,实现了全球空闲资源管理的容错和负载平衡.该文提出了两种简单实用的协作式算法:空闲管理器申请应用算法以及过载管理器申请资源算法,并给出了性能分析.

计算机学报杂志学术活动

第五届中国Rough集与软计算学术研讨会（CRSSC2005）征文通知1625-1625

摘要：由中国人工智能学会粗糙集与软计算专业委员会和中国计算机学会人工智能与模式识别专业委员会主办、鞍山科技大学承办的“第五届中国Rough集与软计算学术研讨会 (CRSSC2 0 0 5 )拟定于 2 0 0 5年 8月 1日～ 5日在辽宁鞍山召开。现将有关征文事宜通知如下 ,欢迎各界人士踊跃投稿 :征文范围Rough集理论及应用 计算智能机器学习文字计算Fuzzy集理论及应用粒计算软计算及其应用演化计算Petri网软计算的逻辑基础非经典逻辑神经网络软计算复杂性空间推理统计与概率推理智能Agent多准则决策分析决策支持系统知识发现与数据挖掘多Agent技术近似推理与不确定性推理网络智能集成智能系统数

计算机学报杂志研究论文与技术报告

分布对象中间件异步消息的研究与实现1626-1632

摘要：随着Internet和大规模Intranet的出现和飞速发展,软件系统之间逐渐构成一个开放协同的软件环境.异步通信机制是支撑开放协同环境的重要机制.CORBA是一种在开放协同环境中得到广泛应用的主流分布对象中间件,它没有很好地解决异步通信问题.在CORBA中提供异步通信机制成为研究的热点.该文基于CORBA异步消息标准提出了一种包含回调、轮询和TII (Time Independent Invocation)三种机制的异步模型,并在StarBus中进行了实现.实现结果和初步应用表明,该文提出的异步模型方案对于将CORBA应用于大规模分布式开放协同环境具有重要意义.

基于流媒体文件字节有用性的服务器缓存替代策略1633-1641

摘要：将流媒体文件缓存到离用户最近的服务器上,能够减少广域网络带宽的消耗,减轻服务器的负载压力以及降低用户的始播延迟,文章关注服务器的缓存替代问题.通过对问题建立模型并分析后得到替代算法模型,提出了流媒体文件字节有用性的概念并反映到替代算法的设计之中,并提出了BB,BBLRU-K和BBLCB -K缓存替代算法,在与LRU-2,LFU,LCB -2和LRU等算法的性能模拟实验比较中,BBLCB -2算法性能最优,但BB算法简单有效.

一种新的灰度图像Legendre矩的快速算法1642-1647

基于通用DSP的多模式视频编码器1648-1656

摘要：采用通用高速DSP设计了一种先进而又适用面广的视频编码器,该编码器不仅可适应不同信道、可压缩多种不同大小的灰度/彩色图像、环境适应能力强,而且灵活性高、可扩展性好,易于形成性能不同、压缩算法不同的系列化产品.为了提高编码器整体性能,由FPGA完成压缩的一些预处理工作.针对TMS320C6000 DSP的VLIW体系结构和存储资源限制以及MPEG压缩算法要求,从软件结构、数据传输和源代码多方面进行了优化.给出了一套解决高速DSP与SDRAM互联时信号完整性和时序匹配问题的方法.

普适计算的人机交互框架研究1657-1664

摘要：普适计算通过向用户提供透明的计算服务使其注意力回归到任务本身.它正在逐步发展成主流的计算模式.人机交互的效率和自然性是影响其发展的关键因素之一.文章从认知心理学的角度分析了用户在普适计算环境中的认知特征,论证了人类有限的认知是普适人机交互中的瓶颈,计算系统的交互模式必须适应用户的认知特征.据此提出了普适计算模式的Multimodal+Context-sensitive交互框架,对上下文信息和用户多通道主动输入信息进行无缝融合.作者将其在移动导游导航系统TGH中加以实现.用户评测结果初步证明该框架对于提高普适计算人机交互效率和自然性具有良好的效果.

可调整C2四次Bézier插值曲线的构造1665-1671

摘要：讨论了构造可调整C2连续的四次Bézier插值曲线问题.用四次Bézier曲线构造C2连续的插值曲线可提供额外的自由度,用于控制曲线的形状.新方法构造辅助曲线用于描述Bézier曲线的形状.自由度由极小化样条曲线和辅助曲线的一阶导矢差的平方的积分确定.讨论了C2连续的四次Bézier曲线需满足的连续性方程.新方法的优点是曲线须满足的连续性方程是严格三对角占优势的、曲线的不连续点在给定的数据点处、曲线是局部可调整的.此外,新方法具有保凸性.最后以具体实例对新方法和现有三、四次样条函数方法做了比较.

计算机学报杂志学术活动

第三届全国信息获取与处理学术会议征文通知1671-1671

摘要：第三届全国信息获取与处理学术会议将于 2 0 0 5年 8月在浙江省金华市召开 ,本次会议由中国仪器仪表学会主办 ,沈阳市仪器仪表与自动化学会和浙江师范大学联合承办 .征文范围 :( 1)各种电量和非电量的测量方法 (如机械量、热工量、物性和化学成分量、状态量等 ) ;( 2 )各种测量装置 (如传感器、敏感元件、敏感材料、测量电路、处理电路、显示电路等 ) ;( 3)测量过程中的信号传输 (如现场总线等 ) ;( 4 )模式识别 (如图像、语音等 ) ;( 5 )误差与数据处理 ;( 6 )故障诊断 ;( 7)过程控制方法与装置 ;( 8)其它 .征文要求 :( 1)论文未公开发表 ;( 2

计算机学报杂志研究论文与技术报告

一种修改NURBS曲线形状的新方法1672-1678

摘要：曲线曲面的形状修改是计算机几何造型过程中的重要部分.文章提出了一种修改NURBS曲线的新方法,使得修改后的曲线在多个参数点处满足用户给定的几何约束(如点约束、切矢约束).首先引入了一些新的概念如: 局部曲线、总曲线、多余约束和多余曲线等.对于每个参数点分别计算出一系列满足该点处几何约束的局部曲线,并由此构造了总曲线.接着插值一条满足多余约束的多余曲线. 最后运用构造Coons 曲面的思想,计算出最终的修改曲线,它等于总曲线减去多余曲线.同时我们发现两种现存的修改NURBS曲线的方法是一样的.实例表明此方法适用于CAD软件系统.

中文语义依存关系分析的统计模型1679-1687

摘要：该文提出了一个统计语义分析器,它能够发现中文句子中的语义依存关系.这些语义依存关系可以用于表示句子的意义和结构.语义分析器在1百万词的标有语义依存关系的语料库(语义依存网络语料库,SDN)上训练并测试,文中设计、实现了多个实验以分析语义分析器的性能.实验结果表明,分析器在非限定领域中表现出了较好的性能,分析正确率与中文句法分析器基本相当.

基于市场机制的QoS控制模型MQC的改进遗传算法求解1688-1694

摘要：基于市场机制的QoS控制模型(MQC)的求解是一个NP-Hard问题,对此作者提出一种改进遗传算法(MGA)用于求解,与传统遗传算法相比加入自适应预测器,同时在遗传操作中采用自适应遗传因子指导搜索过程.最后通过实验证明该算法快速有效.

基于线性函数的QOS路由预计算算法1695-1705

摘要：多度量的服务质量路由(QoSR)作为下一代互联网的一个重要难题,具有NPC的复杂度.作者设计了启发式算法(LFP)使用线性函数将两个度量转化成单一函数值,进而通过多个不同线性函数实现了与服务质量请求无关的QoSR预计算方式.文章分析了线性函数对算法性能的影响,给出了服务质量约束的可行区域和不可行区域的线性函数判定方法.实验结果表明,算法使用少量均匀分布的线性函数,即可产生具有较高路由性能的QoSR路由表,在可扩展性和路由性能等方面均明显优于现有算法.

基于函数指针数组的代码迷惑技术1706-1711

摘要：移动在网络计算中经常遇到有目的的篡改攻击,只要通过代码迷惑技术使得对移动的程序分析复杂度增加或精确性降低,就能有效地增加这种攻击的难度,从而在一定程度上阻止这种攻击.函数指针分析及控制流分析是程序分析中的难点,也是引起分析的精确度降低的原因.文章首先给出一种增添函数指针数组的程序变换方法,使得函数之间的调用关系函数变得难以分析;同时提出一种控制流变换方法来增加程序分析中的数据流及控制流分析的复杂度,从而使得程序分析的精确度大大降低,最终使篡改攻击难以达到目的.