摘要:实时环境中常常既包含硬周期任务,又包含软非周期任务,引入一种改进软非周期实时任务响应时间的算法.已有的解决混合任务调度问题的方法都是基于速率单调(Rate Monotonic)策略的,其中从周期任务“挪用时间”的算法被证明优于其他所有算法.但是,速率单调算法限制了处理器的使用率,从而使周期任务的可“挪用”时间受到限制.最后期限驱动(Deadline Driven)策略DD可使潜在的处理器利用率达到100%.新算法正是在周期任务的调度中适当加入了DD策略,从而使非周期任务的响应时间得以缩短.仿真实验的结果表明,这种算法的性能优于已有的所有算法,而由它所带来的额外开销却不算很高.
摘要:线裁剪是计算机图形学的重要基础问题之一.在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换,将裁剪问题简化为对两种基本情况的处理,并先后对被裁剪线段的首末端点作变换处理的新算法,有效地克服了上述两种方法中存在的调用函数多、基本情况处理复杂等弱点.理论分析和实例测试均表明,该算法优于当前国际最快的几种裁剪方法.
摘要:对一个动态自适应的NOW(network of workstations)协同调度算法Dasic算法进行了性能评估.通过对Dasic算法和典型的NOW协同调度算法MAX算法、Grab算法的性能模拟,在响应时间和系统流量两个主要性能指标上进行分析和比较,从而验证了在较大规模的NOW系统中,动态自适应对协同调度的性能有较大的影响.
摘要:色彩管理已成为操作系统的一个重要组成部分,它为各种设备和平台提供一致的、高质量的色彩再生机制.当前,ICC标准已被很多软、硬件厂商所接受,并成为事实上的色彩管理工业标准.实现基于ICC标准的色彩管理系统虽然可采用不同的技术和方法,但是,这些技术和方法不能对所有应用提供一个完备的解决,因而给系统集成带来很大困难.该文综述了基于ICC标准的色彩管理技术,内容涉及色彩管理的基本概念、色彩管理系统的不同实现策略、存在的问题以及今后的研究方向.
摘要:当前,自适应界面已成为人机界面研究的一个方向.首先介绍了有关自适应界面的一些基本概念,并在此基础上提出了一个人机界面的自适应机制.对该机制的系统结构、实现技术进行了广泛的讨论.该机制已被应用于集成化CAD/CAPP/CAM系统——GS-ICCC(Great Sky-Integrated CAD, CAPP and CAM)的研制工作中.同时介绍了该机制的一些实现细节.GS-ICCC的自适应机制已在X-Window/Motif环境下实现,并被证明其在提高人机交互有效性上具有良好效果.
摘要:运算构造和检验系统FC(function constructor)是形式规约获取系统SAQ(specification acquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍FC的功能、结构和实现技术,并讨论了下一步的改进方向.
摘要:对象封装了结构和行为.对象数据库为大规模复杂应用提供良好的建模方法和实现手段.对象与逻辑结合导致目前对演绎对象库的研究.然而,这些研究基本上针对对象的结构描述,而很少涉及到对象的动态行为的描述.该文重点研究对象的动态行为,分析对象特征:继承和重载对事务语义的影响,并设计了一个事务对象库语言TOL(transaction object base language).首先分析TOL中的基本更新活动的特征,然后研究其事务的模型论语义.TOL模型论语义基于通路结构.
摘要:首先分析无失真图象编码技术,提出一种基于块方向预测和Context的自适应无失真编码方法,该方法主要使用块方向预测和基于Context的误差模型去除图象在空间上的相关性.在此方法中,一幅图象首先被分割成图象块,对图象的每一块自适应地选择一个使预测误差绝对值之和最小的块方向预测器;然后通过Context选择和误差反馈进一步降低信息熵;最后,采用快速而有效的Rice编码器对误差图象编码.实验结果显示,该方法的压缩效果明显优于JPEG(joint of picture expert group)无失真模式和FELICS(fast and efficient lossless image compression),略好于CB9和LOCO-I,甚至UCM(universal context modeling).
摘要:演绎对象数据库是对象数据模型和演绎数据库集合的产物.它集成演绎数据库的查询能力和对象数据库的强大建模能力.DOL(deductive object base language)是作者设计的一种演绎对象库语言,它支持类、类层次、继承、集合、部分集、方法及重载和否定.文章着重研究继承、重载和复杂结构化值的交互关系.定义了压缩操作子和重载操作子.基于这两个操作子,定义了与经典逻辑程序类似的直接后承操作子,并研究其不定点性质.
摘要:提出一种称为FAST的增量式更新技术,以处理因最低支持的改变而引起的广义序贯模式的维护问题.其主要思想是再次利用在对旧的最低支持度进行处理时所获得的结果.
摘要:对象存储技术是对象管理系统OMS(object management system)的核心,已经研究了许多年.文章主要对ObjectCore——软件过程环境ISPE(integrated software process environment)中,对象管理系统的存储部分进行了讨论,并对对象管理系统中,对象存储技术的几个重要方面进行了分析.
摘要:优化CAI(computer assisted instruction)课件设计中的超文本知识库,是提高课件质量的关键之一.首先给出知识点结构和知识点网络结构的数学描述;然后分析网络层次分划,给出先学备用和即学即用的并进网络遍历路线以及单进网络遍历路线;接着介绍知识点网络简化算法,以达到节省存储空间和便于操作的目的;最后综述利用网络特性优化CAI超文本知识库.
摘要:基于真菌生长模型,建立了环境自适应的参数L-system.在考虑真菌内营养物流动控制生长的基础上,充分考虑环境对真菌生长的影响.在此基础上,提出了基于真菌生长模型的分形图象生成算法,生成的图象分支自然、协调.通过环境调整,可有效控制图象的生成风格,特别适合工业图案设计和动画图案设计等领域.
摘要:提出了一种全局搜索算法——竞争算法,它通过一个种群中各个体之间的互相激励、互相竞争,最终达到共同优化.竞争算法在思想上独立于遗传算法.在组合优化问题中,对这种类型的算法进行的仿真,取得了令人满意的结果.