杂志简介:《西北大学学报·自然科学版》杂志经新闻出版总署批准,自1913年创刊,国内刊号为61-1072/N,是一本综合性较强的教育期刊。该刊是一份双月刊,致力于发表教育领域的高质量原创研究成果、综述及快报。主要栏目:专题研究、书评、学术动态
作者:朱伟义 刊期:2007年第03期
目的研究函数Sp(kn)与ζ(s)之间的关系。方法利用初等方法。结果给出一个有趣的恒等式。结论将级数表示为Riemann ζ-函数。
作者:薛鲍 刊期:2007年第03期
为了提高我校科研水平,促进学校科研工作的蓬勃发展,3月23日下午。在我校图书馆报告厅隆重举行“2006年科研工作总结表彰大会”,表彰奖励在2004、2005年度科研工作中取得优异成绩的教职员工。校党政领导、受表彰的先进个人、机关各部处负责人、各院系领导、国家及省部级重点实验室、工程中心、科研基地的负责人、博士生导师、教授、中青年学...
作者:邵晓丽; 吴洪博 刊期:2007年第03期
目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与...
作者:陆玲; 曹怀信 刊期:2007年第03期
目的给出效应代数水平和的合理定义及研究效应代数上序列积的惟一性。方法利用效应代数、序列效应代数的定义及算子分解的方法。结果在水平和HS(ε(H),[0,1])上存在无穷多个序列积。结论一个效应代数可以具有无穷多个序列积;作为特殊的效应代数-正交代数,能够分解为一些子效应代数的水平和。
作者:刘南飞; 张坤鳌; 付周兴 刊期:2007年第03期
目的研究发展系统的表示式和周期解。方法采用解析的方法。结果给出发展方程的精确解、周期解及其应用。结论便于应用和数值计算。
作者:席晓慧; 罗惠霞; 王永玲 刊期:2007年第03期
目的提出以车辆在交叉口延误作为模糊输入的交通信号模糊控制策略。方法通过对车辆在交叉口延误时间的估算,制订模糊控制规则来控制交叉口的信号灯,能有效地减少车辆在交叉口的延误时间。结果给出了车辆在交叉口延误时间的计算方法、模糊控制规则的定义和解模糊的方法,并以实例验证了这种方法的可靠性。结论提供了一种解决城市交通堵塞问题的...
作者:薛鲍 刊期:2007年第03期
日前,2006年度陕西省科学技术奖评选揭晓,我校7项科研成果获奖,其中由白晋涛教授的主持的“高功率激光二极管阵列侧面泵浦的全固态脉冲绿光激光器”项目、李华教授主持完成的“过程分析新方法及信号处理和控制的理论和应用研究”两项成果荣获一等奖;由杨旭武教授主持完成的“葡萄无籽化制剂的研究与开发”等3项成果荣获二等奖;由王丽琴教授...
作者:陈素果; 石念宝; 姚合宝 刊期:2007年第03期
目的研究制备高质量的纳米ZnO薄膜的最佳方案。方法通过反应条件和工艺参数的控制,用PLD法制备纳米氧化锌薄膜,对所制备的纳米氧化锌薄膜进行XRD谱研究,采用原子显微镜观察其形貌并研究氧化锌薄膜的各种光学性质。结果在激光脉冲能量为150 mJ、氧气压为20Pa条件下制备出了高质量的c轴择优取向的纳米氧化锌薄膜。结论制备工艺参数的控制对其性...
作者:李雄杰; 周东华 刊期:2007年第03期
目的解决火力发电机组的安全运行问题。方法将发电机组的部件故障、传感器故障和执行器故障定义为待辨识的参数,然后利用强跟踪滤波器对机组的状态和参数进行联合估计,最后利用修正的Bayes算法做出故障判决。结果仿真实验表明,该方法不仅能准确快速地识别故障,而且在故障发生时能够保持比较高的状态与参数估计精度。结论火电机组故障实时诊...
作者:张楠; 许希武 刊期:2007年第03期
目的对飞机铝合金蒙皮战伤安全评定方法进行试验研究。方法用实弹撞击试验模拟飞机LY12蒙皮的战斗损伤,利用判据对该结构的剩余强度进行预测,并与强度试验结果比较。结果除修正后的等效应力强度因子判据外,其他判据各有缺陷。结论修正后的等效应力强度因子判据具有较高的精度且计算简单,适合射弹撞击下飞机LY12结构的剩余强度计算。
作者:张首君; 陈银杰; 安孝宽; 张精通; 张远 刊期:2007年第03期
目的根据数字视频的特点,讨论数字视频压缩的必要性及其原理。方法采用变换编码+运动估计和运动补偿+熵编码等措施减小视频信号的冗余。结果产生了数字视频图像压缩编码的国际标准和中国的AVS编解码技术及其主要应用。结论随着计算机技术和编码技术的发展,必将有越来越多的新技术在保证数字视频质量的前提下而使码流减小,冗余度降低。单位...
作者:薛鲍 刊期:2007年第03期
2006年6月26日,2005年度陕西省科学技术奖励结果最终揭晓,我校10项科研成果获奖,其中由耿信笃教授主持完成的“计量置换理论及验证”和刘池阳教授主持完成的“青藏高原构造特征、盆地演化和油气远景评价”2项成果荣获一等奖;
作者:杨琛; 房鼎益; 陈晓江 刊期:2007年第03期
目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法--状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响...
作者:邓正宏; 张阳; 宋群 刊期:2007年第03期
目的为解决SVM分类器的分类模式难以为人类专家所理解等问题而提出一种有关InterRBF算法的新思路。方法通过将RBF核函数将其展开成麦克劳林级数,并从展开式中挖掘对分类分析起重要作用的关联规则,从而在SVM的分类模式中学习出关联规则分类器。结果改进后的SVM分类器具有较好的分类准确度;改变了当前研究从SVM的分类模式中抽取规则的方法仅限...
作者:阎斐 刊期:2007年第03期
教育部学位与研究生教育发展中心公布了2006年对第二轮第一批31个一级学科的评估结果,我校“地质资源与地质工程”在所有参评的19个培养单位中位列第三。