西北大学学报·自然科学版杂志 北大期刊 CSCD期刊 统计源期刊

关于R0代数公理系统的简化与独立性的修正

作者：韩诚 刊期：2005年第06期

关于正则蕴涵算子

作者：任芳; 刘新颜 刊期：2005年第06期

目的研究可与三角模构成伴随的蕴涵算子,即正则蕴涵算子.方法非经典数理逻辑的语义理论.结果对正则蕴涵算子的定义进行了简化,进而介绍了一种生成正则蕴涵算子的方法,最后就某些具有特殊性质的正则算子进行了研究,得到了相应的函数特征.结论正则蕴涵算子对于建立完备的逻辑系统至关重要.

两个新的数论函数的均值

作者：王晓瑛 刊期：2005年第06期

目的研究两个新的数论函数的性质.方法利用解析方法.结果给出两个新的数论函数均值的渐近公式.结论促进了这两个新的数论函数的研究.

一类捕食与被捕食系统正平衡解的存在性

作者：王艳娥; 李艳玲 刊期：2005年第06期

目的研究一类捕食与被捕食系统的平衡态方程.方法解耦和全局分歧理论等.结果得到了该系统正平衡解存在的充分条件.结论当捕食者的出生率在某一范围取值时,正平衡解存在.

基于5层体系结构的Web应用模型

作者：吕林涛; 王峰; 万经华 刊期：2005年第06期

目的针对Windows DNA开发3层Web应用的不足,提出一种5层体系结构的Web应用模型.方法基于ASP.NET组件技术.结果建立了一种基于ASP.NET 组件技术的5层体系结构Web应用模型,并给出了安全层和数据访问层的实现方法.结论利用此Web模型实现的应用系统具有更好的安全性、灵活性、伸缩性和可维护性.

数据挖掘在智能交通系统中的应用

作者：张小利; 陈莉 刊期：2005年第06期

目的将数据挖掘技术应用于智能交通系统中,利用挖掘得到的模式对交通管理决策提供有效支持.方法针对交通数据库系统中数据的特点,提出了基于概化的数据预处理方法,并在此基础上,采用基于树模型的关联规则挖掘算法进行关联规则挖掘.结果获得了良好的挖掘模式,实际应用说明了挖掘结果的有效性及可行性.结论数据挖掘技术在智能交通系统中的成功应用...

基于关系代数的关联规则挖掘算法

作者：陈莉; 焦李成 刊期：2005年第06期

目的提出基于关系代数理论的关联规则挖掘算法.方法利用数据预处理方法,剔除无关属性、获得相应的目标特征子集.结果基于目标特征子集,利用关系矩阵及相关运算给出了搜索大项集的基于关系代数理论的优化的关联规则挖掘算法,该算法只需扫描数据库一次.结论克服了经典的Apriori算法需要多次扫描数据库的缺点,同时算法具有良好的并行性和可伸缩性.

虚拟内窥镜中心路径抽取技术

作者：王怡; 周明全; 耿国华 刊期：2005年第06期

目的在空腔器官中提取一条最佳的用于虚拟内窥镜漫游的中心路径.方法采用基于距离变换的方法进行路径抽取.结果给出了虚拟内窥镜中心路径的定义,总结了中心路径的基本特性.结论在虚拟人脑内窥镜系统中实现了中心路径的提取,用于器官内窥检查,效果良好.

Koblitz曲线中标量乘法的快速计算方法

作者：丁勇; 李新国; 王育民 刊期：2005年第06期

目的快速计算椭圆曲线密码体系中的标量乘法kP. 方法以τ2为基底取代RTNAF(Reduced τ-adic non-adjacent form)中的基底τ, 提出了一种标量k的RTSNAF(Reduced τ2-adic non-adjacent form)分解. 结果证明了该分解的存在性和惟一性;给出了分解的长度和汉明密度. 最后确定了使用该分解标量乘法kP的计算量为3 m/14次点加法. 结论相比RTNAF的m/3次点加...

基于构件的分布式软件构架求精

作者：段任; 陈晓江; 安娜; 房鼎益 刊期：2005年第06期

目的消除在软件构架(SA)指导的基于构件的开发(CBD)中软件构架和面向对象设计与实现间存在的断层.方法根据软件开发各阶段的特点,采用规则映射方法对构架描述语言(ADL)ADEAG描述的SA进行求精,将其转换为UML描述的OOD层次.结果制定了一组ADEAG-UML的转换规则,并实现了一个工具支持转换的完成.结论所提出的SA求精方法和实现工具的使用有助于发挥SA...

对方案有偏好的基于期望值的多属性决策法

作者：侯宏峰; 刘三阳; 李益群 刊期：2005年第06期

目的研究权重信息完全未知情形下的模糊多属性决策问题.方法通过引入基于负理想点下和基于正理想点下的期望值决策矩阵概念,结合决策者的偏好信息,对方案进行排序.结果算例表明所给出的算法是有效的.结论对于属性值以区间数的形式给出,而对方案的偏好信息以三角模糊数的形式给出的多属性决策问题,该方法是有效的.

高精高稳高温压力传感器研制项目通过陕西省科技厅鉴定

作者：何刚 刊期：2005年第06期

我校物理学系万云副教授主持的陕西省科技研究发展（攻关）计划（2001K06-G18）资助项目——高精高稳高温压力传感器研制项目，于2005年5月13日顺利通过陕西省科学技术鉴定。鉴定委员会的7位专家认真听取了该项目的工作报告和技术报告，审查了产品测试报告等相关技术资料，一致认为该成果利用高稳定、耐高温、耐腐蚀氧化铝精细陶瓷等做弹性元件...

四态叠加多模泛函叠加态光场的奇次振幅压缩

作者：刘宝盈; 陈永庄; 雷小丽; 袁艳红 刊期：2005年第06期

目的研究四态叠加多模泛函叠加态光场的高次振幅压缩特性.方法利用量子力学中的态叠加原理,构造了由多模泛函偶相干态和多模泛函复共轭偶相干态线性叠加组成的一类典型的多模泛函叠加态光场|ψ2e(fj)〉q;利用多模压缩态理论,研究态|ψ2e(fj)〉q的高次奇数次振幅压缩特性.结果态|ψ2e(fj)〉q是一类典型的非经典光场,当压缩次数为奇数时,在一定的条件...

王家鼎教授获铁道部科研攻关项目

作者：徐郝明 刊期：2005年第06期

郑（州）-西（安）客运专线是我国首次在湿陷性黄土地区修建的第一条高速铁路。时速达300km／h．采用无渣轨道，修建标准很高。然而，其路基黄土的各种变异问题是修建高速铁路的技术难题，需要立项攻关研究。为此，铁道部科技司提出多个攻关课题，其中“湿陷黄土地基的动力特性与设计参数试验研究”攻关项目面向全国招标。以我校地质系王家鼎教...

衍射极限倍因子M^2的实验测量

作者：高爱华; 李贵; 周引穗; 胡晓云; 陆治国 刊期：2005年第06期

目的测量He-Ne激光器(波长632.8 nm)和半导体激光器(波长650 nm)的M2因子.方法根据ISO/TC172/SC9/WG1 N80文件对M2因子的测量原理及要求,用美国Spiricon公司生产的LBA-300PC激光束分析仪,沿光传播方向在不同z位置,测出光束宽度,由测量数据进行双曲线拟合,确定束腰直径和远场发射角,计算M2因子.结果所测全内腔玻璃外壳He-Ne激光器的M2=1.422,半导...