异步时序逻辑电路的最小时钟覆盖设计法

通过引入动态，静态迁移符号，提出了设计异步时序逻辑电路的新方法──最小时钟覆盖法，并举例说明了其应用．     

Growth ages of ferromanganese crusts from the western and central Pacific： Comparison between nannofossil analysis and ^10Be dating

Based on results of nannofossil analysis and 10Be dating in ferromanganese crusts M1-1 and A1-1 (no nannofossils were found in it),from the western and central Pacific respectively,it is found that the crust growth ages from nannofossil biostrati-graphy agree well with those based on 10Be isotope analysis. Both crusts have three growth layers,and the oldest layer was deposited in Miocene at about 12.80 Ma. The maximum,minimum,and average growth rates of crust A1-1 (from the central Pacific) are 8.11,1.92 and 3.47 mm/Ma,and those of crust M1-1 (from the western Pacific) are 2.93,0.47,and 0.94 mm/Ma.     

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

串行红外链路接入协议关键参数的优化

给出了使串行红外链路接入协议(IrLAP)吞吐量最大的关键参数的最优化数值解法．在该方法所得的发送窗口大小和信息帧信息字段长度下，IrLAP的吞吐量大于相关文献中的理论近似结果，并得到发送窗口大小是决定IrLAP吞吐量性能最关键参数的结论。     

Banach空间中的各种K可微性

引入了K -Gateaux可微、K -Fr啨ｃｈｅｔ可微、Ｋ -一致Gateaux可微、K -一致Fr啨ｃｈｅｔ可微等概念 ,并讨论了各种K可微性与对应的K光滑性的关系 ,给出一些等价条件。     

光温水处理对龙胆草种子萌发的影响

以东北龙胆草为主要试材,研究了不同的光照、温度、水分条件对龙胆草种子萌发的影响.结果表明：在不同温度条件下,龙胆草种子萌发率和胚根生长速度明显不同,龙胆草种子的最适萌发温度为25℃;龙胆草种子是需光种子,光照对龙胆草种子萌发有促进作用,黑暗阻碍龙胆草种子的萌发;随着PEG-6000浓度的增加,龙胆草种子的萌发率和萌发势明显增强,适度的干旱处理有利于龙胆草种子的萌发.     

语法隐喻与概念隐喻的关系初探

本文主要讨论语法隐喻与概念隐喻二者之间的关系。论文首先分别简单介绍语法隐喻和概念隐喻的基本理论，然后重点论述二者的异同。在此基础上作者得出结论，认为语法隐喻和概念隐喻在运作机制上具有一定的互补性。     

Novel multiferroicity in orthorhombic SmCrO3

This paper reports the ferroelectricity in antiferromagnetic SmCrO_3 with a reasonably large value of spontaneous electric polarization(70μC/cm~2mC cm~(-2)at 50 K)based on the measurement of pyroelectric current.The experimental results showed that the temperature of the onset of polar order was evidently higher(about220 K)than the Neel temperature(T_N=197 K)in the magnetodielectric studies.The calculated magnetodielectric effect(MDE)value was explicitly negative with maximum|MDE|values of about 3.6%around 230 K.The absence of a convincing signature in MDE at antiferromagnetic ordering temperature T_Nindicated the absence of magnetoelectric coupling around this temperature regime.The results further confirmed that the onset of polar order can be attributed to the structural distortion,rather than the canted noncollinear magnetic structure.     

现代性批判的基本路向及现实意义——基于卢卡奇的物化理论

卢卡奇《历史与阶级意识》中的物化理论,展示了现代性批判的基本路向,即资本为商品完成形态的抽象统治的秘密,提出现代性的两大根基——资本和形而上学,并对其进行客观、历史的评价,这对我国社会主义市场经济建设具有一定的启示作用。     

求可达矩阵的Warshall算法

给出并证明了确定内部独立的递阶层次结构的矩阵方法。将系统用有向图描述，利用集合论中求关系问包的Ｗａｒｓｈａｌｌ算法实现了求可达矩阵。在决策因素很多且问题很复杂时，可以通过有向图的可达矩阵来确定系统的层次结构。