心脑血管病患者红细胞聚集性和变形性测定与临床意义的探讨

本文通过对１０８例脑梗塞、冠心病及高血压患者红细胞聚集指数和变形指数的分析，结果表明病人组与对照组比较有非常显著的差异，说明红细胞聚集性及变形性对病人的血流状况有一定的影响，是临床观察与治疗中有价值的监测指标．

广州地铁线路钢轨打磨应用技术

介绍广州地铁采用的2种钢轨打磨方法,重点论述“预防性打磨”方法的原理、应用和优缺点,指出预防性打磨能有效地控制钢轨侧磨、疲劳和波磨,改善轮轨接触状况,降低轮轨噪声,延长钢轨使用寿命。

男性脑梗塞患者性激素和凝血指标的临床观察

近年来,有关性激素失调与动脉粥样硬化及冠心病的发生已引起普遍关注,而男性脑梗塞患者性激素与血脂变化的对照研究国内报道不多。为此,我们测定了77例男性急性脑梗塞患者及正常对照组42例血清E2、T、AT—Ⅲ、FIB的含量变化并进行了对比性研究,结果如下。

偏头痛患者血浆神经肽Y含量的观察

为探讨神经肽Y(NPY)与偏头痛的关系 ,本文采用放射免疫分析方法测定了 36例无先兆偏头痛患者发作期和间歇期血浆NPY浓度 ,结果显示发作期NPY含量明显高于间歇期 (P <0 .0 0 1) ,同时发现有家族史者血浆NPY浓度高于无家族史者 (P <0 .0 1) ,而男性与女性患者比较 ,血浆NPY浓度差异无统计学意义 ,不同程度的偏头痛患者血浆NPY浓度差异无统计学意义。提示NPY可能参与了偏头痛的发病。

一种板形分段冷却流量控制及补偿方法

板形和厚度精度是衡量铝板带质量的两个重要指标。从某种意义上讲,铝板带的板形控制实际上是厚度控制沿板带宽度上的拓展。随着汽车行业、3C电子行业、航空航天行业等高速发展,对铝板带质量要求的提高,板形质量已成为铝板带最重要的质量指标之一。铝冷轧机板形控制系统技术复杂,与电气、机械、轧制工艺、计算机控制、通信等多学科相关。目前铝冷轧机的板形控制系统主要为国外厂家提供,而国外厂家为了对核心技术保密和达到技术垄断的目的,对板形控制系统中的关键技术采取了“黑盒子”的形式,使用客户只能在操作界面上简单修改部分参数,严重制约了冷轧生产企业的灵活性和新产品的开发,但也刺激和促使了我们对板形控制技术的研究。通过板形控制理论与实践相结合的方法,对铝冷轧机板形控制手段中分段冷却控制技术进行深入研究。

模型检测中虚假反例检测方法

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要。本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法。

基于位置服务中单向哈希法隐私保护研究

基于位置的服务(LBS)正在被越来越多的移动用户使用,用户的身份信息和位置信息也将暴露给服务提供商,从而可能导致用户的隐私被侵犯。提出了单向哈希方法,避免将用户的个人信息直接暴露给服务提供商;使用一种匿名方法,由匿名器将用户的真实位置信息和故意添加的虚假位置信息一齐发送给服务提供商,从而使服务提供商无法得知用户的真实位置,保护了用户的位置隐私。

冷轧机快速上卷和防止碰撞的方法

随着铝行业的不断发展,铝板带产品的产量需求不断上升,铝板带生产设备生产效率需得到进一步提升。冷轧机是铝板带材的重要生产设备之一,缩短冷轧机的生产辅助时间是提高生产效率的重要手段之一。在冷轧机开卷区域,可优化自动上卷功能,缩短上卷辅助时间,但同时需保证其安全性能。本文以某铝冷轧机为例,介绍了自动上卷过程进行优化后卷材快速上卷和防止碰撞的方法。

基于哈希函数和公钥加密的电子投票系统

电子投票系统因其方便性、匿名性、安全性,正在得到越来越广泛的应用。本文提出一种基于网络的电子投票系统,使用哈希函数确保选票的完整性,借鉴公钥加密体制,使用投票人密钥对来认证选票的有效性,利用计票服务器密钥对来加密保护选票内容。该系统保证了保护了选举人的隐私,确保了投票的可信度和安全性。

常见致病菌的药物敏感性分析

目的 对致病菌进行药物敏感性分析。方法 分析2000年1月～2001年5月北京中关村地区主要致病菌分类及药敏试验结果,并对其中195例β-内酰胺酶阴性的病例做了最低抑菌浓度（MIC）定量药敏试验。结果痰以革兰阴性菌为主93％,其中主要是铜绿假单胞菌、肺炎克雷伯菌和鲍曼不动杆菌,尿以大肠埃希菌为主72％,而分泌物则以革兰阳性菌居多63％,主要是MRSA和MRSE。结论 同一种菌在人体不同部位感染药物敏感率有差异;MIC定量试验对于用药剂量的确定很有必要,尤其对体弱的患者更为重要。

基于CPA的抽象解释分析方法研究

安全关键领域中,如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。可配置程序分析(configurable program analysis,CPA)是一种适合多种静态分析方法的通用分析框架。本文使用CPA对抽象解释分析方法进行建模,给出了使用基于CPA的抽象解释方法验证程序中的运行时错误的验证流程,并用实例说明该验证方法的有效性。为程序中运行时错误的自动化分析和验证提供了一种可行方案。

基于抽象解释的迹划分技术研究

确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语义的抽象可能导致过近似问题,从而引发误报,降低了分析精度。因此提出了迹划分的技术,根据程序的迹对程序控制流图进行划分,对静态分析过程进行局部细化,减少了抽象解释过程中过近似引发的误报。迹划分技术以局部分析效率降低为代价换来了分析精度的提高。

奔驰吧,里骏马!

今年三月,由上海戏剧学院表演系内蒙班演出的话剧《黑骏马》,以其浓烈粗犷的草原风情和新颖独到的表现形态,引起了戏剧界的关注和观众的一致好评。我国著名的戏剧艺术家黄佐临看了此剧,曾给该剧组写来一封热情洋溢的信,信中说:“这是个极有高度艺术水平的演出……”一些报刊也为《黑骏马》作了专题报道和评论。一时间,《黑骏马》的演出成功,成了大家议论的一大话题。

诗情画意演传奇——上海戏剧学院内蒙班演出话剧《断线风筝》观后

吉祥的神啊.请赐福给我,为我唱一曲祝福的歌;呵,我的神灵.保佑我,为我广施恩泽……抒情柔美的印度音乐,悦耳动听的印度民歌,婀娜多姿的印度舞蹈,独具风格的印度建筑,融汇成一派浓郁、热烈的舞台气氛。艺术的魅力神奇般地把观众带到了印度古老的横格布尔城。纳吉克显公寓里载歌载舞、欢腾喜庆的盛大婚礼,使观众沉浸在美的旋律、美的舞姿、美的意境中……突然,欢歌笑语戛然而止。人们屏住了呼吸,兴奋而热切地期待着新娘恩姐娜的出现——“恩姐娜不见了.”“新娘子逃婚了.”跌宕.悬念.突转.——令人瞪目,引人入胜.