Petri网系统的可达性分析

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

两因素HJM模型下债券、期货、期权的定价

在HJM模型下考虑远期利率由2个独立布朗运动驱动的零息票债券的期限结构,给出零息票债券和债券期货的定价公式,以及债券期货期权的定价公式。     

油田含聚废水处理方法研究

介绍了JCS净水剂在油田含聚丙烯酰胺污水处理中的应用、基本工艺流程、最佳投加量以及成本。     

利用加密和数字签名技术实现安全收发电子邮件

数据加密是保证远距离通信中实现数据安全传输的基础。阐述了数据加密、解密、数字签名等技术，并介绍了如何在Microsoft outlook express中对电子邮件进行加密解密。     

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

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

基于PLC的温度控制在电镀生产线中的应用

介绍了以三菱FX0NPLC为核心的温度控制系统在电镀生产线中的应用。简述了温度控制原理,论述了控制系统的设计方案及其软硬件的实现方法。实践表明该方法简单易行,适应性好,可靠性高。     

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

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

Java程序的优化

本文通过使用Jayap对Java语言的字节代码进行分析，找到程序中产生瓶颈的原因，给出程序的优化方法。     

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

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

连铸板坯外形的在线检测方法

介绍了板坯外形在线检测的测量原理，计算方法，并给出了实验测量方法，过程及计算机图像处理系统的处理结果，该方法简单，实用，精度较高。