每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

2004全球怪异饮食排行

主题:第一名:胎盘宴制作“胎盘宴”的饭店位于哈市南岗区一居民区。该饭店面积不大,但夜间却座无虚席。该饭店老板称,胎盘是他花钱从医院买的。客人吃之前,不但要给客人验胎盘真假,还会把胎盘的化验单预备好。据这位老板讲,该饭店的“胎盘宴”有两种做法:对于胆大的食客,他们将胎盘清炖,这样食客既吃“肉”又能喝汤;如果食客胆小,则可吃到胎盘馅饺子。根据饭店老板提供的线索,从销售胎盘的一家医院被告知,买胎盘要预订,该院已将临产孕妇的胎盘全部“预售”出去了。据知情人透露,这家医院出售婴儿胎盘已不是秘密,因为购买人数太多,所以要想买…     

同温度及曲率NaK-BASE管内Na+和K+迁移数值模拟

本文以NaK-AMTEC的BASE管内的Na+和K+迁移为研究对象,建立了NaK-BASE管显微结构的分形模型,采用微观Poisson-Nernst-Planck多离子运移模型模拟了Na+和K+在BASE管中的迁移,考察了不同温度下NaK BASE管内离子的迁移过程。研究结果表明,NaK-BASE管内的阳离子迁移浓度和表面电荷密度与BASE管的温度直接相关;温度的升高会使BASE管内阳离子浓度峰值有所减小,可通过增加BASE管曲率来提高该峰值。BASE管内的表面电荷密度随着温度的升高逐渐增大,且不同温度表面电荷密度之差随着曲率的增加逐渐增大。     

声子输运模型预测石墨烯与基体之间界面热导

界面热导随着微纳米结构、器件的日益微型化而对内部热输运起着主导作用。本文采用扩散失配模型和非弹性散射模型从理论上预测了石墨烯与Si基体之间的声子透射系数和界面热导,并用声子输运理论进行了分析。声子透射系数和界面热导都随着温度的升高而增大,由于被激发的声子模式达到饱和,二者在高温时逐渐收敛。非弹性散射作用为声子透射提供了额外的通道,导致声子透射系数和界面导热能力的提升。     

异常黑胆质型肝癌病证模型肝脏形态学研究

 为探讨异常黑胆质体液对异常黑胆质型肝癌病证模型的影响,在异常黑胆质载体大鼠模型基础上用二乙基亚硝胺（DEN）诱导建立维吾尔医异常黑胆质型肝癌病证模型大鼠,并对大鼠第11、15、20 周时肝脏的外观、病理变化等进行动态观察。20 周后,异常黑胆质病证模型组和模型对照组均发生癌变,前者成癌率（100%）明显高于后者（72%）（P<0.01）。总之,在异常黑胆质载体大鼠模型的基础上,用DEN 诱导的异常黑胆质型肝癌病证模型肝癌的发生过程中,异常黑胆质体液具有促进和加快肝脏病变的作用。本研究成功建立了异常黑胆质并DEN 诱导的肝癌病证大鼠模型。     

月球探测SELENE的科学成果

日本探月卫星SELENE（KAGUYA）携带了14种仪器设备用于对月球进行多方面的测量,其中的3种设备用于对月球进行大地测量观测.这包括两个子卫星和一台激光高度计测量设备.这些设备所获得的科学成果主要包括：利用多普勒和同波束VLBI测量得到了精度为10m的精密轨道确定结果;利用四程多普勒测量首次获得了月球背面精确的重力场;首次获得了纬度高于86°区域的月面地形图;通过使用月球全球地形信息与月球全球重力场信息得到了全球重力异常分布图;获得了月壳厚度全球分布图以及月球南北极区光照率图.这些成果的取得进一步加深了人类对于月球的认识.     

新疆棉藓属(Plagiothecium B.S.G.)植物的分类及新记录

棉藓属Plagiothecium是棉藓科(Plagiotheciaceae)中仅有的代表属,全世界约90种。我国记录16种、6变种和1变型。根据在全疆范围内收集及采集的60号标本的鉴定和近20年来前人有关新疆棉藓属的记录,现已知新疆共有棉藓属植物4种,其中3种为新疆首次记录:包括圆条棉藓Plagiothecium cavifolium(Brid.)Iwats.、棉藓P.denticulatum(Hedw.)Schimp.、小叶棉藓P.latebricola Schimp.。文中列出了分种检索表,并对各种作了主要特征描述。     

解Schrodinger方程的高精度外推差分格式

通过构造Schrodinger方程的Crank-Nicolson格式,再利用Richardson外推法得到了一种高精度差分格式,这种格式具有O(τ4+h4)阶精度,且是无条件稳定的.数值算例表明,该算法比古典Crank-Nicolson格式精度更高.