描述逻辑SHIN的ABox一致性判定算法

为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。

Inhalation of shin-I essential oil enhances lactate clearance in treadmill exercise

Objective:To evaluate the effect of Shin-I essential oil inhalation on blood lactate changes in rats subjected to treadmill exercise.Methods:Adult male Sprague Dawley rats(n=12) were randomly divided into the control or the Shin—1 group.Rats were subjected to a treadmill exercise program(15 m/min for 30 mim.After exercise,rats were exposed to 200 ui.of water or Shin—I essential oil.res|ieclively.using a nebulizer for 180 min during the recovery period.Blood samples were collected every 15 min.Blood glucose and lactate concentrations were determined in a CMA 600 analyzer.Results:The basal glucose and lactate levels wen? no significantly different between two groups.After exercise,glucose levels were slightly increased to about 110%-120%of the basal level in both groups.lactate levels of both groups reached to 110%-140%of basal levels during exercise.In the recovery period,lactate levels further increased to 180%of the basal level and were maintained at a plateau in the control group.However,lactate levels gradually decreased to 609—657 of the basal level in the Shin-I group.Lactate clearance was significantly enhanceil after Shin-I essential oil inhalation.Conclusions:Our results provide evidence that Shin-I essential oil inhalation may accelerate recovery after exercise in rats.

日本Shin—Ei Paper集团将安装两台安德埋茨卫生纸机

Shin—Ei Paper集团已购买2台装有钢制扬克缸的卫生纸机，生产以废纸浆为原料的高质量卫生纸原纸。

一维两阀:从《筑山庭造传》中辑考日本“江户造园新体图式”

长期以来,中日两国的造园理论体系被限定为一种“外师造化、中得心源”的产物,并将其视为是一种由“心”而生的艺术创造。江户时代之后,日本造园界将中国的“气象体志”理论发展总结为“技艺”“心”与“感”3个层次,后又总结成更为简化的神仙气、轮苑气、山林气、出世气、儒先气等俗理,并根据江户时代的赏析习惯,绘制出“真行草”47种规范化的造园图式,形成了“一维两阀”的造园现象,一跃成为研究日本古典造园艺术“图式”的学术途径与法门钥匙。基于对日本江户时期北村援琴的造园著作《筑山庭造传》的研究,将“美感”视作造园生发程式化设计的主要脉络,对日本“江户美感新体图式”的创新路径进行学术探讨,由此检验北村援琴所主张的内在渊源、理论谱系和路径谱系等问题,并以此充当研究中国造园文献之重要补遗。

上躯干皮肤温度冷热变化与热量调节区划分

针对制冷与加热一体式服装中冷热调节区域设计问题,以皮肤温度为依据,探究人体受冷热环境影响上躯干各部位的冷热需求程度。分别测量冷与热2种环境下,青年男子在静坐、站立、步行、快走4种运动状态中上躯干不同区域的皮肤温度,分析各部位皮肤温度变化来判断人体局部区域的冷热情况,对皮肤温度变化值采用聚类分析来进行冷热调节区域的划分。结果表明:在冷环境下,人体上躯干皮肤温度在任一状态下侧胸、后肩温度均较低,且在静坐、站立阶段中明显低于人体平均皮肤温度;热环境下,任一状态下前肩、后肩温度均较高,前肩、后肩、中背明显高于人体平均皮肤温度,故侧胸、前肩及后肩等部位的冷热需求是功能服装设计的重点。

秦代行縢考析——以秦始皇陵兵马俑为例

根据历史文物资料,对照我国传统服饰对秦代行縢进行考证,通过对比与之形制相似的邪幅、胫衣,分析出三者的异同,并结合图像、出土实物论述秦始皇陵兵马俑士兵防护自膝至踝部位的服用形式。

无花果果胶的美白护肤功效初探

目的:探究从无花果中提取的果胶对皮肤的美白和保护作用。方法:采用复合酶解结合热水浸提法提取无花果中的果胶成分,通过自由基清除试验、抑制酪氨酸酶和弹性蛋白酶能力以及结合斑马鱼模式生物美白试验共同分析无花果果胶对皮肤美白、抗衰老和抗皱活性影响。结果:当无花果果胶浓度为2 mg/mL时,对斑马鱼胚黑色素和酪氨酸酶的抑制率分别达到84.8%和76.1%,具有较高抑制黑色素和酪氨酸酶活性的作用。自由基清除率和弹性蛋白酶的抑制率均随着无花果果胶浓度的增加而提高,分别达85.4%和68.7%。结论:本研究提取的无花果果胶具有较好的抗自由基、抑制酪氨酸酶和弹性蛋白酶活性作用,有望应用于抗衰老、美白淡斑、抗皱等护肤类化妆品中。

红外图像中快速小目标的均值移位跟踪

为了增强红外图像中快速小目标跟踪的稳健性,提出基于隶属度加权核直方图目标表征模型的改进均值移位跟踪算法.首先分析原始均值移位算法跟踪快速小目标的局部背景干扰问题,融合背景信息提出隶属度加权核直方图目标表征模型.该模型能够提高对于目标的表征能力,抑制局部背景干扰.然后,以Bhattacharyya系数作为相似性度量,在均值移位框架下推导出基于该模型的移位向量,能够有效实现目标的移位跟踪.移位过程中,目标隶属度大的灰度具有高移位权重,反之具有低移位权重.最后,应用模型更新方法克服局部背景的时变性,进一步提高目标跟踪的鲁棒性.实验结果表明,该算法对于红外图像中的快速小目标的具有稳健的跟踪性能.

广西烟草立枯病菌和靶斑病菌菌丝融合群初步分析

为了明确广西烟草立枯病菌和靶斑病菌的菌丝融合群,从广西发病烟草植株上分离了2株烟草立枯病菌菌株和3株靶斑病菌菌株。经形态特征和细胞核染色观察发现,这5株菌株均属于多核立枯丝核菌。依据供试菌株与标准菌株的菌丝融合反应,发现广西烟草立枯病菌和靶斑病菌均包含AG-2和AG-4两个菌丝融合群。进一步分析5个菌株的r DNA-ITS序列,初步明确这2种病原菌包括AG-4 HG-I和AG-2-2 IIIB 两个菌丝融合群,与菌丝融合反应分析结果相吻合。首次在国内从烟草靶斑病组织上分离到AG-2 和AG-4 融合群。

一种快速、稳健的图像分割方法

提出了一种快速、稳健的彩色图像分割算法。首先将图像划分为多个色彩变化平滑区域和非平滑区域,进而对非平滑区域进行进一步量化,最后使用区域增长法合并较小区域从而实现图像分割。试验结果表明,该算法可以获得良好的图像分割结果并具有较高的效率。

三叶木通扦插生根规律研究

用1年生三叶木通茎藤进行扦插试验及切片观察结果表明:三叶木通插条茎节及节间周身都能发生不定根,插条离开母体之前就形成了根原始体,为皮部生根型;从扦插到生根到成苗经历了4个时期:根原基活动期、根系形成期、黄苗期及成苗期,各时期经历的时间分别为7-9d、20-23d、21-24d、9-11d.三叶木通带芽插条扦插的成苗率比带节插条扦插的成苗率显著地提高、比不带节插条扦插的成苗率极显著提高.

超临界CO_2动态混相驱过程机理研究

以国内CS油田注CO2混相驱典型实例为基础,在油藏地层流体注CO2驱膨胀实验和细管最小混相压力实验拟合基础上,建立一维组分注气驱细管模型。应用所建立的模型,模拟研究CO2注入过程中油气两相组成、油气两相黏度、密度和界面张力等动态特性参数沿注气井到生产井距离的变化规律。以及注气量和注气压力对动态特性参数的影响规律。研究结果显示:CO2在原油中的溶解能力强,工程混相条件下,摩尔含量达到0.7。注入CO2抽提原油中的中间烃,甚至C19+以上的重烃,与地层油在前缘达到混相。CO2注入量增加,混相带增长,CO2波及区域增加,有利于驱油效率增加。随着注入压力的提高,从非混相到混相,CO2在地层油中的溶解量增加,界面张力降低,油的黏度降低。达到混相后,继续增加压力对驱油影响变小。

封闭式负压引流技术在植皮术中的应用

目的:探讨封闭式负压引流技术(vacuum sealing drainage,VSD)在各种软组织大面积缺损创面植皮术中的临床应用效果。方法:收治的82例需要行植皮治疗的患者,随机分成实验组和对照组。其中实验组32例采用VSD联合植皮术治疗,对照组50例采用传统打包加压植皮术治疗。结果:实验组术后植皮30例,2例皮片边缘坏死,全部成活者的成活率93.75%,1例感染经换药处理后治愈,感染率3.12%;对照组术后植皮34例,12例边缘坏死,4例大部分坏死,全部成活者的成活率68.00%,10例感染经抗炎及换药处理后治愈,感染率20.00%。两组植皮全部成活者的成活率、感染率比较,差异有统计学意义(P<0.05)。结论:较之传统加压打包法,应用VSD技术于植皮术中能显著提高植皮成活率,降低植皮感染率,值得临床推广应用。

白癜风患者血浆与皮肤组织中神经肽Y的检测意义

目的探讨白癜风与神经肽Y(NPY)的关系。方法检测65例白癜风患者血浆与局部(白斑处与非白斑处)皮肤疱液神经肽Y浓度,并将白癜风组血浆神经肽Y浓度与正常对照组比较。结果白癜风组血浆NPY浓度较正常对照组明显升高(P<0.05),寻常型与节段型两种类型白癜风血浆NPY浓度均有升高(P<0.01,P<0.05);进展期血浆NPY浓度显著高于正常对照组(P<0.01),稳定期则未见此种变化(P>0.05)。节段型白癜风白斑处NPY浓度明显高于非白斑处(P<0.05)。结论神经肽Y与白癜风的发病与发展有一定关系。

复合材料加筋蒙皮的研制

单向加筋的复合材料蒙皮应用领域广泛,为保证筋条与蒙皮的胶接强度和筋条的直线度,研究比较了筋条与蒙皮的共固化、共胶接、二次胶接3种方式;针对共固化过程筋条加压要求,研究分析了全钢模、半钢模、全软模3种结构,并且对材料的工艺性进行了试验和研究。

印楝素对昆虫的毒理作用机制

印楝素对许多种昆虫具高效的拒食、胃毒、触杀及抑制生长发育的作用。其作用机制主要是扰乱昆虫的内分泌。作用靶标为脑神经分泌细胞、心侧体、前胸腺等，影响促前胸腺激素（ＰＴＴＨ）的合成与释放，减低前胸腺对ＰＴＴＨ的感应而造成２０－羟基蜕皮酮合成、分泌的不足，致使昆虫变态、发育受阻。印楝对其他一些与变态激素的合成、释放相关的组织的作用，在该文也有讨论。

空中步行系统在城市商业街区更新规划中的策略研究——以台北市新光三越信义新天地为例

通过对台北市信义计划区新光三越信义新天地空中步行系统建设背景及其发展现状的分析与研究,总结其形成机制、实际效果及成功经验。在此基础上,针对大陆地区城市商业街区的建设状况与现实需求,对空中步行系统在城市商业街区中的建设策略以及实施机制进行研究探讨,总结具有操作性的策略与措施,为我国城市商业街区空中步行系统的规划与建设提供参考和借鉴。

内存映射技术在电力监控软件开发中的应用

介绍了电力监控软件开发中采用的CAN总线协议和内存映射文件技术。根据VC++能访问、控制计算机底层的特点,利用映射内存指针可直接访问内存的技术,开发了电力监控软件通信模块中实时数据的存储模式和上位组态模块中实时数据的读取模式。实践证明,该模式实现的CAN数据通信较常规串行通信在通信速率、数据差错控制、数据信息的可控性和网络节点容量等方面均有明显的改善和提高。