一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

极其困难地区输电线路运行与维护研究

四川超特高压输电线路已覆盖省内21个市州，涵盖五大水电送出通道，成都经济圈500kV环网，四川电网已由原来的西南负荷末端一跃成为联通华中、华东、华北、谣北四大区域电网的大电网、大枢纽、大平台。其中极其困难地区线路运行和维护的难度大．存在很多风险，对极其困难地区线路的运行和维护提出了新的思路，新的方式，以求对日益增长的极其困难地区输电线路巡视找到更好的方式。     

论网络环境下图书馆信息职能

对网络环境下图书馆信息职能如何发挥,从图书馆的地位、信息资源的开发、推销等方面做了阐述.     

世界当代史中的经济全球化与民族主义运动

世界经济全球化与全球民族主义运动是世界当代史中并驾齐驱的两大历史现象.一方面,全球化趋势不断加强,另一方面,民族主义运动此起彼伏.从长远来看,世界经济全球化必然对传统的民族主义发出严峻挑战,但历史的事实证明,世界民族主义异常活跃,正是全球化进一步加强的结果,强烈的民族主义色彩,是民族主义对全球化的一种必然反映,而经济民族主义的加强是这一历史事实的最好说明.     

关于普通高校图书馆自动化系统建设的思考

文章通过分析普通高校图书馆的经费和读者数量等情况，认为普通高校图书馆应结合实际，选择合适的系统模式，确定总体设计思想，保证图书馆基本职能的计算机管理自动化，最终实现网络化，以实现图书资源共享。     

两种差错控制方法的分析与实现

信息的可靠性、准确性及快速性是数据通信中三个主要的指标,可靠性与快速性往往是一对矛盾.为了提高可靠性,通信系统都采用了差错控制技术.本文剖析了在数据通讯中校验和（CheckSum）及循环冗余校验（CRC）两种差错控制的原理及C＋＋实现.     

基于光电流模型的液体介质太赫兹辐射的理论研究

目的 超快激光作用液体介质相较于与气态、固态介质可产生更高能量的太赫兹波,相关研究工作在实验方 面已相对完善,而理论方面缺少完整解释过程,运用逐步建立瞬态光电流模型的进程详尽论述其物理机制,并通过 此模型研究水、丙酮等 4 种溶液在不同参数条件下对太赫兹的转化效率。 方法 以水分子为例,在传统光电流模型 的基础上,基于其电离原理构建三能级系统,通过水分子电离势确定电离弛豫时间,并联立分子驰豫时间与三阶非 线性极化率来确定水分子电离率及电流强度,进而构建完整的液态溶液瞬态光电流模型,并运用该模型在两束 800 nm 高斯光场下,研究了在水与丙酮等 4 种液体中不同激光参数对太赫兹辐射能量的影响。 结果 电场强度越强,导 致的分子电离率越高,对应的太赫兹转换效率也越高,并且在特定的激光强度下,最强太赫兹辐射能量对应一个最 佳脉宽及脉冲延迟,处于亚皮秒量级,此外,进一步对比了水和丙酮溶液中,太赫兹辐射的能量差异和时频谱特征, 结果表明丙酮辐射产率始终最高。 结论 在液体介质中,太赫兹辐射的能量受介质电离势、吸收系数、分子密度等多 方面影响,这也同样说明和验证了丙酮综合性能参数优于水、重水和乙醇。 利用光电流模型研究不同液态中太赫 兹辐射的强度,为理解相关更多液态介质的辐射情况以及实验提供了参考。