摘要：本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。

摘要：原型血液泵LAP-00的数值模拟及实验结果表明，在设计转速9000r／min下，最大效率点对应的设计点流量为11L／min，远大于临床所需3-8L／min的流量，致使血液泵在实际应用时效率偏低；而静子区域存在的流动分离与回流，极易造成血流停滞进而引发血栓。改进后的血液泵LAP-23，将设计转速从9000r／min降低至8000r／min，减小了转子叶尖切应力对血细胞的破坏；设计点流量降低至6L／min，并消除了静子区域内的分离和回流。

摘要：为解决物联网背景下输变电设备全景信息高度多源异构和业务复杂多变的问题,提出了基于RESTful与SOAP协同的平台构建策略,设计了基于简单高效的RESTful服务与服务总线的输变电设备全景信息集成平台。以变压器状态评价业务为例进行了平台的功能实现,并对平台数据操作的效率及业务更改的便捷性进行相关测试与验证,结果表明采用RESTful方式的平台在数据传输效率上较原SOAP方式更具效率,同时平台的业务维护升级性能更为良好。平台可实现对数据服务的快捷响应及对业务功能的灵活扩展,可为多种高级智能应用提供统一的数据与服务流程,具有支撑输变电设备全寿命周期管理的能力。

摘要：无线接入点是移动计算网络中的重要设备 .讨论了无线接入点的原理和关键技术 ,根据相关协议标准 ,结合现有网络的情况 ,提出了无线接入点应具有的功能模块 ,给出了设计方案 ,实现了其功能 .对无线接入点的测试结果表明 ,该设计具有高效。

摘要：质量功能配置是一种描述性模型，它采用一种系统化方法将顾的呼声布署在生产计划、产品设计、制造等各个阶段的质量设计中。

摘要：本文针对加工中心总体布局模块化参数化设计的理论，叙述了完整、一致高效的数据模型的构造与实现。并以实例说明了该数据模型在ＣＡＤ系统软件设计中取得的良好效果。

摘要：为了提高产品生态设计效率和创新效率,针对产品生态设计的特点,提出一种基于发明问题解决理论(TRIZ)融合规则推理(RBR)和案例推理(CBR)的产品生态设计方法.该方法采用本体表示产品案例和设计知识,根据规则和案例推理选择案例作为原始方案,结合推理结论和新产品设计目标对原始方案进行修改,形成初步设计方案;选择可改善的生态效率要素,利用TRIZ工程参数与生态效率要素关联表构建矛盾矩阵,运用矛盾矩阵和技术系统进化理论等TRIZ工具进行求解.研究了案例检索的算法,构建基于TRIZ融合规则和案例推理的产品生态设计平台,并通过三相鼠笼式异步电动机的设计案例验证该方法的有效性,缩短了设计周期并改进了产品的生态性.

摘要：在汉英机器翻译译文生成中，一个主要的问题是如何根据句子的上下文语境获取有关时态、语态、句式和主谓性、数、格等信息，生成具有正确单词形态的译文，如动词的过去式、过去分词、现在式形式；名词的所有相、复数形式；助动词生成以及冠同的生成等．本文提出一种基于SC文法的汉英机器翻译译文词形态生成算法，该方法通过设计一种生成导向的语言特征描述体系，采用译文生成和源文分析一体化的语言分析技术，使得译文生成能够充分利用源又分析过程中所用到的各种知识，准确地形成句子中各个成分的形态特征，并能有效地解决汉英机译译文生成中助动词和冠词的生成这一难题．

摘要：简要分析了CSCW和自组网的关系,讨论了使用成簇方法的自组网体系结构,提出了现有成簇方法的缺点.因为现有的成簇方法未考虑网关选举问题.造成了两个簇首之间的多个冗余网关的存在.该设计提出并实现了一个分布的网关选举策略,每两个相邻簇对之间仅仅需要一个网关.为了保持网关节点的稳定性,使网关节点保持更长的生存时间,网关选举采用节点最大权原则.仿真结果表明,该方法可以有效的减少包转发数量,有助于减少维持拓扑信息的复杂度.通过限制重播节点为簇首和网关的机制,取得了比洪泛更好的可扩展性.

摘要：现有知识所知道的锤头状Ribozyme结构中,剪切是在特殊位点的3′侧发生,我们将含GTΨ的酵母丙氨酸tRNA 3′半分子(40聚)作为底物,按Haseloff-Gerlach锤头结构模型设计了一个38聚的Ribozyme分子。在镁离子存在的条件下,GTΨ的3′侧发生预期的体外剪切反应。反应的米氏动力学参数为:K_m:6.7μmol/L,k_(cat):3.4×10^(-3)/min。与此同时,合成了一个17聚的底物类似物,仅以GUU代替上述的GTΨ序列。恒态动力学分析表明,两底物的K_m值大致相同,但k_(cat)值相差达294倍。实验表明,修饰核苷酸Ψ可以是Ribozyme锤头结构中的剪切位点,但具有很低的k_(cat)。