小议登记与动产交易

与不动产相比,动产的交易更频繁,因而没有必要对动产所有权的转移施以过多的行政干预,各国往往只对某些特殊种类的动产,比如船舶、机动车、水等的动产所有权的产生、变更、转移规定了登记制度。本文从动产登记的构成要素入手,分析评述了各国的立法模式,对登记在动产交易中的地位以及登记的效力提出了自己的见解     

介质流向对截止阀流场和流阻特性的影响

为探索介质流向对截止阀内部流场和流阻特性的影响,应用SOLIDWORKS软件建立截止阀的三维模型。使用Fluent软件中的有限元法和标准k-ε湍流模型,在不同开度的情况下,采用数值模拟分析的方法,研究不同介质流向下截止阀的流场和流阻特性,分析阀体内部的速度和压力分布规律。结果表明:在两种不同的流向下,阀门的流通能力相差较小;在小开度时,介质高进低出时能够减小阀门的压力损失,在流通高压介质的情况下,高进低出的流向能够极大的减小阀门的关闭力。流场的分析为截止阀的结构设计和优化提供参考。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

SPS工艺对CuCr/CNTs复合材料组织性能的影响

放电等离子烧结（SPS）工艺可以实现快速烧结成型,且制备出的复合材料致密度高、硬度高、导电和导热性能好、晶粒尺寸均匀.在采用化学气相沉积（CVD）法原位合成分布均匀的CuCr/CNTs复合粉末的基础上,运用不同的SPS工艺制备CuCr/CNTs复合材料.利用扫描电子显微镜、偏光显微镜、数字金属导电率测试仪、微拉伸试验机、显微硬度计等对其组织性能进行表征.结果表明,当烧结温度为750 ℃,烧结压力为45 MPa,烧结时间为10 min,升温速率为80 ℃/min时,制备的CuCr/CNTs复合材料的组织和性能较佳,导电率、硬度和抗拉强度分别为86.8%IACS、95.8（HV）、178 MPa.     

基于启发式信息熵的粗集数值属性离散化算法

在一致性假设前提下,以数据集的统计性质作为启发式知识,从候选离散点集中选择离散点,根据数据集的期望值和方差来确定搜索最优离散点的区域,提出一种新的基于信息熵粗集数值属性离散化算法,并采用UCI国际标准数据集来验证新算法.新算法与已报道的算法所得到的离散断点集完全一致,决策表的离散化结果也相同,但时间代价不同,新算法比其计算效率提高40%～50%.     

欧美关于数字图书馆的纷争与启示

近年来欧美国家关于数字图书馆的一系列纷争,从一贯的知识产权焦点深化至本国文化地位等多层视角,给中国的数字图书馆建设带来诸多启示与借鉴。     

网络期刊的发展探讨

分析了网络期刊作为网络资源重要的提供者的特征,论述了网络期刊的优势,提出了影响网络期刊发展的10个问题并加以探讨。     

技术交易的契约特征研究

从新制度经济学的一个角度——契约理论来探讨技术产权交易的契特征,先从实践角度提出问题,再从理论角度探讨技术产权交易契约不同特征的原因,最后从实践角度给出具体说明。调查了上海市1991-2003年的技术产权交易契约特征,提出行业及其行业知识的特性对技术产权交易契约的特征有极大影响。     

用于卫星载荷数据传输总线的终端IP核设计

根据通信卫星有效载荷数据传输总线协议及其工作原理,提出了一种总线终端IP(intellectual property)核的设计及验证方法,该IP核由总线接口模块、时钟分频模块、协议处理模块、数据采集模块等组成,其设计和研制具有自主知识产权.该IP核完成了模块仿真验证、芯片系统仿真验证和FPGA(field progra...     

关于Frobenius群的推广形式

Frobenius群在有限群理论的发展过程中有着非常重要的作用,介绍了Camina对、广义Camina对、(CI)条件及(*)条件等几种常见的Frobenius群和Frobenius核的推广形式,得到了满足(*)条件的有限群和Frobenius群及其它几种推广形式之间的关系.