代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.     

L-Fuzzy可实现幂等矩阵的秩与容度

在分配格 (L、∨、∧ ) 上讨论Fuzzy可实现幂等矩阵的秩和其容度 ,证明了Fuzzy可实现方阵在幂等条件下其秩等于其容度 ,进而解决了可实现幂等矩阵的容度计算问题 .     

Fuzzy方阵可α实现的问题

讨论了Fuzzy方阵可α实现的问题.首先给出了可α实现Fuzzy方阵的概念,其次证明了Fuzzy方阵可α实现的两个充要条件,最后讨论了可α实现Fuzzy方阵及其实现矩阵的一些性质.     

货币单位抽样（MUS）分析系统开发研究

传统的货币单位抽样法依赖于现成印刷的表格进行手工计算,这些计算较为复杂、繁琐且易出错。本文拟通过货币单位抽样分析系统的开发方案,来设计货币单位抽样各个步骤的自动化实现,以减轻审计师的计算工作量,从而提高工作效率。     

基于AutoCAD的储量计算自动实现技术

通过对当前煤炭储量计算工作的分析，探讨了基于AutoCAD开发储量计算自动实现技术的必要性，并详细介绍了储量计算自动实现技术的设计扣功能。为地质绘图由手工制图向微机制图转化提供了便利条件，有助于加快地质制图的微机化进程。     

用样条法进行结构分析的快速实现方法

简单介绍了结构计算中的样条函数方法的基本思路，并将Matlab应用到其中，找到了一条用样条法进行结构分析的快速实现途径，最后结合实例对其具体实现过程进行了阐述．     

电力系统并行计算的实现

并行处理为大型电力系统的工程计算提供了有效的解决方法，本文介绍了并行计算概念，软硬件环境以及在电力系统中的应用和实现方法及其评价。     

基于消息传递接口的并行图像处理算法研究

对于大数据量图像和复杂图像处理算法,并行处理是一种有效的解决方法.基于消息传递接口,设计了一种并行图像边缘检测算法,并在曙光4000L并行机上予以实现.数值实验结果表明,并行图像处理能显著减少计算时间,更多的计算节点能得到更大的加速比,该并行图像处理算法对于大数据量图像更加有效.     

对称加密算法RC5的架构设计与电路实现

对RC5对称加密算法的Feistel结构加解密内核电路实现架构展开了研究.在对已有的Feistel流水线设计方法分析的基础上,提出了具有不同结构特点的RC5算法Feistel流水线实现方案,并分析探讨了各自的结构特点.在对几种算法实现结构分析对比的基础上,提出了一种紧凑高效的RC5算法Feistel电路结构,该电路将一个计算轮拆分为两个计算周期完成,对逻辑资源进行高度复用,在不增加任何电路资源条件下实现了RC5加密引擎的全速流水,给出了该结构的仿真数据和可编程逻辑阵列(FPGA)电路实现结果.     

基于Matlab的V带传动可视化编程技术

运用Matlab语言强大的计算及图形可视化功能,实现了V带传动的可视化设计,介绍了Matlab编程要点,经实例验证,具有高效、简捷的特点.     

实施PDM过程中的相关因素研究

分析了PDM在实施过程中的各种相关因素，并建立了PDM分层实施模型，该模型能够指导PDM在各个阶段的实施，清楚表达PDM实施中各种技术和非技术因素的联系，协调实施方和被实施方人员之间的沟通，使实施过程能够在有限的外部资源约束下最大限度的朝着双方所期望的方向发展。     

对满足换基规定的单纯形法的改进

针对满足换基规定的单形法可能出现的迭代不下去的总是构造了拿迭代得以继续的补 充算法。这个补充算法的基本思想是暂时放弃换基规定，首先进入与所解总是对应的线性规划的最优基本可行解集中。     

课程实施研究理论综述

课程实施是伴随着课程改革的不断深入而出现的一个重要的研究领域。课程实施是课程改革中的一个关键环节,课程改革的成败与否关键取决于课程实施。文章将近年来国内外关于课程实施的一些研究成果进行了理论归纳,以期为我国课程改革寻找理论支撑。     

系统实施:SCM系统项目中最为复杂的环节

SCM系统项目的成功实施需要经历从项目调研到项目验收等多个阶段，其中系统实施是历时最长且最为复杂的环节，系统实施阶段能否成功直接决定着整个项目的成败。简要介绍了保证系统成功实施的几个关键步骤。     

Effective Implementation of Urban Planning

ＩｎｔｒｏｄｕｃｔｉｏｎＦｏｒｅｘｐｅｒｉｅｎｃｅｅｆｆｉｃｉｅｎｃｙ ,ｈｅａｌｔｈｙｅｘｐａｎｓｉｏｎ ,ａｎｄｇｒｏｗｔｈｒａｔｅｔｏａｃｉｔｙ ,ａｒｅａｓｏｎａｂｌｙｉｍｐｌｅｍｅｎｔａｔｉｏｎｏｆｕｒｂａｎｐｌａｎｉｓｅｓｓｅｎ ｔｉａｌ.Ｗｈｅｎｔｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆａｃｉｔｙｆｏｌｌｏｗｓｉｔｓｐｌａｎ ,ａｎｄｒｅｓｕｌｔｓｉｎｔｈｅｉｍｐｌｅｍｅｎｔａｔｉｏｎｏｆｓｕｃｈａｄｅｓｉｇｎ ,ｉｔｉｓｎｏｔｏｎｌｙｔｈｅｂａｓｉｃｒｅ ｑｕｉｒｅｍｅｎｔｏｆａｎｕｒｂａｎｐｌａｎ ,…     

计算网格安全政策实施模型的框架和分析

根据计算网格特点及其一般安全需求,从政策的制定和实施角度出发,提出了一个完整可行的安全政策实施模型SPIM．在对计算网格中各类实体间新信任关系进行分析的基础上,选择并确立了模型中的功能实体,将VO的全局安全管理和传统管理域的安全管理分开考虑,引入了GSPEC和LSPEC两类重要的安全管理实体;定义了安全交互过程,使GSPEC和LSPEC可以独立地对用户身份进行鉴别,动态地对用户进行授权;规定了交互过程中所使用的凭证．从而保证在SPIM中,VO的全局安全政策和资源所在管理域的局部安全政策可以相互独立地制定、修改和执行,并在执行时保证各级政策能得到一致的实施．     

SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

医学数字成像与通讯标准上层协议的设计与实现

从协议实现的角度，对医学数字成像与通讯标准DICOM3．0应用协议框架中涉及应用控制服务元素（ACSE）与应用层数据传输规范的上层协议（ULP）进行了研究，在给出实现上层协议一般方法的基础上，提出并设计实现了一种减少数据复制次数的新方法。在DICOM应用消息服务元素（DIMSE）层的数据传入传输控制协议（TCP）数据包的过程中，使用逐层打包后递交下一层的传统方法需要复制数据4次，而采用该方法只需要复制1次，与传统方法相比，新方法大大提高了协议的运行效率，系统实际运行结果验证了这一点。     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.