Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

金属在福州地热水中的腐蚀热力学研究──(I)、铜—地热水系统

作者从热力学角度以电位－ｐＨ图探讨金属在福州地热水中的腐蚀趋势．本文报导铜－地热水系统，采用ＢＡＳＩＣ语言编制程序在ＡＰＰＬＥ－Ⅱ微机上计算高温热力学数据，并以ＤＸＹ－８００绘图仪绘制电位－ｐＨ图．同时，测定了铜在福州Ｇｗ２井地热水中的实际腐蚀电位．结果表明：在此地热水中，当温度低于３１８Ｋ，铜表面生成Ｃｕ２Ｏ膜，高于３１８Ｋ，生成ＣｕＯ膜，二者都位于钝化区．     

拟半连续格

作为半连续格的推广,引入了拟半连续格和拟半代数格的概念,讨论了它们的一些基本性质.     

基于二分法迭代的频谱感知节能优化策略

针对认知无线电(CR)系统中频谱感知技术能量效率低的问题,提出了一种基于二分法迭代寻优的联合优化算法。该算法通过联合传输功率与感知时隙进行优化,最大化地提高了CR系统的能量效率,并且在针对优化参数ξ的寻优过程中,使用了二分法与迭代算法结合的寻优方法。通过理论分析,与其他类似算法相比,该算法的寻优速度更快,算法复杂度更低,函数收敛速度更快,实际应用的可扩展性更强。数值仿真分析结果表明,在保证检测性能的前提下,提出的算法能够很好地解决能效的最优化问题,在恒定检测概率Pd=0.9和Pd=0.7条件下,所提出算法的能耗开销均低于其他算法,在系统吞吐量中所提出算法均优于其他算法,为CR系统的发展提供了理论支撑,更加符合未来CR系统的节能发展方向。     

中心静脉导管引流在治疗恶性胸腔积液的应用及护理

目的观察胸腔置管引流注药治疗恶性胸腔积液的护理效果。方法32例恶性胸腔积液患者采用中心静脉导管引流注入药物和生物制剂的治疗和护理。结果32例患者胸腔留置术均一次成功，无气胸、血胸、腔内感染等并发症。引流时间5～21d，平均l0d，所引出的液体量4000mL～11000mL，平均引流量8000±250mL。无1例患者堵塞。结论中心静脉导管引流安全、有效。减轻患者心理和生理上的痛苦，提高治愈率和生存质量，值得在临床上推广。     

高硅氧复合材料声学特性检测研究

作用自己研制的超声波扫描检测系统对高硅氧复合材料试块进行了多次检测，取得了该材料的一些声学特征值，为继续深入的研究高硅氧复合材料性能提供了一些可靠依据；同时也检测出了该材料中的缺陷、隐患和局部密度不均匀．从缺陷成像轮廓的清晰度看，超声C扫描可以定量检测出高硅氧复合材料中的许多缺陷．     

数形结合法的几个应用

把数学问题中的数量关系和形象直观的几何图形有机地结合起来,使问题化难为易,化繁为简,从而达到解决问题的目的。     

西北师范大学自然科学基础研究状况分析与对策

从研究队伍、项目和经费、SCI论文等方面介绍了西北师范大学在自然科学基础研究方面取得的进步,分析了当前学校基础研究工作中存在的问题,并提出加大经费投入等若干措施,以期增强学校的基础研究实力.     

300 km·h-1电动车组制动参数研究

在我国研制的先锋号电动车组制动系统的基础上 ,借鉴国外高速列车的经验 ,对自行研制 30 0km·h-1高速动车组制动系统的重要参数进行了研究 ,并提出了可供运用的设计值 .通过对先锋号动车组和 30 0km·h-1高速动车组制动参数的比较分析 ,指出先锋号制动系统的模式比较适合于 30 0km·h-1动车组 .     

2,3-二溴甲基-5,6-二氰基吡嗪的合成新方法

以2,3-二甲基-5,6-二氰基吡嗪为原料,在AIBN的引发下,用NBS进行自由基溴化反应,合成了标题产物,其结构经熔点,MS,1HNMR,UV等予以确证,从而为该物质的合成探索了一条新途径.