摘要：在分析协同设计领域问题的协作求解模式基础上,分析了协同设计领域问题求解的过程控制对象,提出了协同设计领域问题求解过程控制对象的多层次协作求解机制。并以领域问题协作求解、业务处理的过程控制以及领域控制知识的处理过程为核心,构建基于协作的协同设计过程控制对象的知识处理模型。最后以活动框架的业务处理过程控制为背景,讨论了协同设计领域问题求解过程控制对象的知识处理算法及其程序实现过程。

摘要：本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相应的运行实例。ＩＦＬＰ县有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。

摘要：本文在三值汉明码一位检错纠错研究工作的基础上,对三值汉明码的检错纠错方法进行进一步研究.给出了扩展三值汉明码的形式,通过对扩展三值汉明码的错误分析获得了一位纠错和二位检错原理,给出了扩展三值汉明码的纠错码表,根据纠错码表提出了一位纠错方法,给出了基于三值光学计算机的扩展三值汉明码检错纠错概念结构图和功能部件,为检错纠错系统的光学设计提供一种途径.

摘要：掌形识别技术利用每个人的手掌形状具有唯一性的特征来识别人的身份。可用于民航、金融、军警、考勤等有高保安要求和身份识别要求的场所。文章阐述了一个掌形仪管理系统开发实例。

摘要：介绍了一个计算网格例子的设计和局部实现,较详细地描述了网格实现的内部机制并对其中涉及的安全作了一定的分析,提出了可行的解决方案。

摘要：论述了软件内建自测试项目中“模板”模块的设计方法 .利用硬件测试中所使用的基准电路的思想 ,研究并开发了一种基准程序 .使用这种基准程序 ,可以较为方便地对所生成的测试用例进行测试 .最后给出了一个基准程序实例 .

摘要：ＭＳＣ小巨机是我国自主开发的、具有国际先进水平的小巨型计算机系统，文章介绍了该机的微码生成系统。它由两部分组成，通过微汇编能方便地进行微程序设计，使用模拟器来验证微程序的正确性，使机器的逻辑设计与微程序设计能同步进行。

摘要：为有效地消除手语识别过程中背景、光照等干扰因素带来的视觉问题,采用低冗余的骨架数据表达手语信息,设计了一个端到端连续手语识别模型.首先,分别从帧内和帧间提取手型和轨迹特征,可以有效地降低原始样本的离散程度;其次,构建一系列并行的双路残差网络对手型和轨迹特征进行优化与融合,生成时空特征序列;最后,基于注意力机制的编码-解码网络实现时空特征序列到翻译文本的映射.使用Leap Motion收集建立了一个基于三维手部骨架数据的手语数据集LMSLR.实验结果表明,在LMSLR数据集和公共的CSL数据集上,该模型与大多数基于视频处理的模型相比具有较高的准确率和较小的计算量.

摘要：云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的,这要求云渲染系统应具备智能化以实现计算资源优化调度和多端任务管理,并对系统可靠性提出了更高要求.针对这一问题,提出了采用概率模型检验对云渲染系统任务调度进行定量评估.首先,考虑渲染服务失效等因素引发的随机系统异常和指令错误,如文件损坏和渲染任务超时等,提出了基于离散马尔可夫链(DTMC)的概率模型对云渲染系统的文件准备模块、资源请求模块、渲染任务执行模块进行形式化建模;其次,从服务质量属性角度提出了9类验证性质用于定义云渲染系统的可靠性,采用概率计算树逻辑(PCTL)描述检验性质公式并执行工具PRISM计算和验证渲染系统可靠性;最后,结合案例和实验证明了该方法的可行性和有效性,尤其是对改进前后云渲染系统进行定量检验,可用于指导如何进行失效恢复和任务切换.因此,该方法在一定程度上可提高云渲染系统的可靠性.

摘要：讨论了RTL级VHDL顺序语句的语法、语义规则 ,以及功能元件、存储元件、通路元件的VHDL顺序语句的造型 ;并以if,case和赋值语句为核心 ,详细说明了if,case和赋值语句的语句结构树的生成算法 ,以及基于该语句结构树的VHDL顺序语句格式判别。