排序方式: 共有18条查询结果,搜索用时 15 毫秒
1.
对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO2)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO2)的模型检测的可判定性结果. 相似文献
2.
3.
4.
5.
一维周期量子阱中的玻色-爱因斯坦凝聚可以用非线性薛定谔方程即定态Gross-Pitaevskii方程来描述,对于这个方程可以得到一组精确非线性布洛赫解,利用这组精确解文章对一维周期量子阱中玻色-爱因斯坦凝聚的特性进行了详细的研究,如有效质量、压缩率、声速等物理量,同时还研究了凝聚体在一维周期量子阱中的集体激发和量子损耗,并得到了这些物理量随势阱深度和非线性相互作用的变化关系。 相似文献
6.
7.
原子布尔代数理论的计算复杂性 总被引:1,自引:1,他引:0
薛锐 《北京师范大学学报(自然科学版)》1998,34(4):445-449
运用Ehrenfeucht Games理论给出原子布尔代数理论的一个判定过程及其复杂度,并说明这个过程在初等等价意义下是最优的。 相似文献
8.
采用动态无网格节点追踪自由边界的变形,建立了一套求解可压缩多介质流场的最小二乘无网格方法.将界面定义为具有双重含义的动态无网格节点集合.使用虚拟流体方法处理介质边界节点,构造界面两侧的虚拟节点,根据介质的种类将流场划分为若干个单介质区域.为抑制界面处流动参数的非物理震荡,采用局部界面Riemann问题解更新界面节点和虚拟节点的流动参数值.使用局部点云重构技术处理界面附近的动态点云.引入AUFS格式求解ALE形式Euler方程的对流通量.一维激波管和二维复杂大变形的多介质问题计算结果证明文中提出的动态无网格法是可行的,能够准确地追踪界面的复杂变形,并对界面附近的变形点云进行合理的重构. 相似文献
9.
用基因枪法转bar基因以培育抗除草剂的直播稻 总被引:4,自引:0,他引:4
用基因枪法将 p CB1 质粒 (含 bar基因和 cecropin B基因 )导入到三种有应用前景的直播稻品种中 ,受体材料为来源于水稻未成熟胚的胚性愈伤组织和来源于成熟胚的悬浮细胞系 .当代转化植株显示出很强的对除草剂 Basta的抗性 ,Southern-blot分析显示 :两个外源基因共整合到转化植株基因组中 ;子一代植株中仍含有外源基因 ;来源于同一块愈伤组织的转化植株的整合模式可能是相似的 ,也可能完全不同 . 相似文献
10.
活性碳/碳纳米管掺杂材料的制备及其有机双层电容器电极性能 总被引:1,自引:0,他引:1
中温煤沥青添加乙酸钴后进行热缩聚反应,取热缩聚产物中的吡啶不溶物为原料,添加不同比例的含硼化合物,以 KOH为活化剂进行化学活化,制备出四种不同结构的活性碳/碳纳米管掺杂材料(AC/CNT),并考察了所制备材料的结构性能及有机电容器电极性能.结果表明,AC/CNT材料中含有结晶度较高的类石墨微晶结构碳,随着硼化合物添加量的增加,产物中碳纳米管的含量呈增多的趋势,石墨层间距d(002)呈减小趋势.所制备材料具有良好的有机电容器电极性能,其中AC/CNT-1样品的质量比电容最大,为125 F/g; AC/CNT-4的质量比电容最小,为89.9 F/g,但具有最高的体积比电容,52.9 F/cm3. 相似文献