论文部分内容阅读
范畴数据类型是基于范畴理论基础建立的,用于并行计算或框架结构设计中的并行操作.在链表上并行操作存在非同态问题,但有些功能可以转变为几乎同态来解决.文章对链表的几乎同态问题进行了深入的探讨,并得到了几乎同态定理,并通过事例在应用上加以论述.
基于CDT的几乎同态问题探讨
【摘 要】
：
范畴数据类型是基于范畴理论基础建立的,用于并行计算或框架结构设计中的并行操作.在链表上并行操作存在非同态问题,但有些功能可以转变为几乎同态来解决.文章对链表的几乎同
【机 构】
：
西安建筑科技大学,东南大学交通学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2005年8期
其他文献
目前对路由器缓存容量的分析，忽略了网络元素间的相互作用。从网络层的角度．全面引入TCP链路上各路由器的作用，为TCP链路建立一种新模型。采用隔离方法对核心路由器部分进行分析
远程教学网格是网格计算技术在远程教育中的应用。文章从需求分析、体系结构、功能、用户界面、开发工具的选用等多个方面，阐述了远程教学网格门户的设计思想。
针对传统Linux操作系统的本地登录方式和网络远程访问的安全性不足，利用Linux操作系统的PAM机制，开发了C／S架构的双因素身份认证系统；将双因素认证嵌入系统的login、telnet、rlog
本课题研究经历了调查研究、方案拟定、全面实验、结题４个阶段，提出了在我国新的社会治安形势下公安工作需要的人才知识、能力、素质结构，研制了一套公安高等专科学校各专业课程
SMDSP是针对航天应用开发的32位浮点数字信号处理器，其CPU内有独立的ALU、乘法器、数据地址产生器和4条内部数据总线，实现了乘加运算并行，算术运算与地址运算并行，加快了数据处理
为了更好地度量和监测Web服务的服务质量，在充分考虑服务提供商、服务使用者个体及服务潜在消费者三方需要的基础上，建立一种基于测量目的的QoS度量体系。在此基础上分析现有的
提出一种新的整流电源控制策略,可以使整流电源工作时,从电网输入的电流近似为正弦波,功率因数为1.该控制系统采用8098单片机为主体,适用于象GTR这样具有较高开关速度的大功
测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题.文章提出一种构造结构性测试序列集合的方法,此方法
肺癌合并自发性气胸较少见。原发性肺癌并发自发性气胸更为少见，易误诊为单纯气胸。临床表现无特异性，预后差。为探讨其发病机制、临床特点和治疗方法，现将我院2001年1月-2007年
目的：探讨Ezrin在宫颈癌中的表达及与临床参数的关系.方法：收集50例宫颈癌组织及50例相应癌旁正常宫颈组织,采用RT-PCR方法检测Ezrin的表达.结果：RT-PCR显示,在宫颈癌组织及癌旁