《宝鸡文理学院学报》国外收录最新快报

1995年以来,《宝鸡文理学院学报(自然科学版)》有186篇数学论文被美国《数学评论》数据库(MathSciNet)题录或评论,有179篇数学论文被德国《数学文摘》数据库(Zentralblatt MATH)收录,在陕西入选Zentralblatt MATH数据库的7种期刊中,《宝鸡文理学院学报(自然科学版)》累计收录量仅次于《西北大学学报(自然科学版)。

基于Web服务的数学模型库管理系统的设计

针对目前各种数学模型库管理系统存在的问题,结合Web服务可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web服务的映射,在运用Web服务对数学模型打包的基础上,设计了一种新的数学模型库管理系统,并研究了系统的结构、使用步骤和具体的实现。该系统通过分布式网络环境对数学模型进行部署和访问,使得数学模型具有较强的可共享性和可控性,同时也大大降低了模型库管理系统与数学模型之间的耦合性,有效地解决数学模型库的管理问题,同现有的系统相比,具有明显的优越性。

论数学与自然关系的历史演变

数学与自然现实的关系问题是一个重要的问题.15世纪以来,数学哲学家对数学与现实自然关系的不同认识,其演变的大体过程是:数学是自然的本质→数学是揭示自然本质的工具→数学是超自然的.在实际的数学研究和对其价值评价时,必须处理好超自然现实的所谓纯粹数学和作为解决自然现实问题工具的应用数学之间的辩证关系.

论无穷远点和坐标原点的关系中的“数学美”

从无穷远点和坐标原点的关系出发，提出了无穷远点和坐标原点的关系中蕴含着一种“数学美”的观点。

E─V规则意义下确定最优组合投资系数的单目标数学规划模型

本文采用把收益率的均值与方差适当综合为单一指标的方法，直接导出E─V规则意义下证券组合投资问题的一种单目标数学规划模型．

基于短信模式的农产品交易系统设计与实现

为解决传统农产品交易系统效率低下的问题,提出了一种基于短信模式的新型农产品交易系统。分析了该系统的总体结构,设计了系统的各个功能模块,并利用Cookie实现了用户跨子域单点登录。重点介绍了3种可选的短信模式实现方法,包括直接接入运营商网络、GSM Modem部署、调用现有的Web Service接口,比较了这3种实现方法的优缺点,最后选择GSM Modem部署短信模块。实验结果表明,该系统实现了手机与农产品交易系统的双向通讯,有利于提高农产品交易的效率。

不确定非线性广义时滞系统的保性能控制

针对扰动满足Lipschitz条件的一类非线性广义时滞系统,研究了保性能控制器的设计问题.应用线性矩阵不等式方法,给出了系统保性能控制器存在的充分条件;并在这些条件可解时,给出了保性能控制器的表达式.最后通过数值算例说明了所给方法的有效性.

宝鸡市大气降尘中重金属污染特征

目的研究宝鸡市大气降尘中重金属元素的浓度含量、来源及其污染现状,为宝鸡大气环境治理提供参考依据。方法利用火焰原子吸收分光光度法测定宝鸡市大气降尘中的重金属元素的浓度,用富集因子法和地积累污染指数法对其数据进行评价分析。结果测定结果表明,宝鸡市大气降尘中7种重金属元素Pb、Cd、Zn、Cu、Cr、Ni、Fe的平均含量分别为陕西土壤相应元素背景值的27.3、40.4、8.2、3.9、1.0、2.2和1.2倍,是中国土壤相应元素背景值的22.5、39.1、7.6、3.7、1.1、2.4和1.4倍。结论宝鸡市大气降尘中重金属元素受到不同程度的污染,其中Pb、Cd已经达到重污染,需要采取切实可行的防控措施,降低重金属的污染程度。

不确定离散时滞系统的鲁棒H_∞保成本控制

对一类同时具有状态时滞和输入时滞的不确定离散时滞系统,基于Lyapunov稳定性理论和线性矩阵不等式(LM I)处理方法,得到系统H∞保成本状态反馈控制律存在的一个充分条件,并利用线性矩阵不等式的可行解给出H∞保成本状态反馈控制律的设计方法.进而,通过求解凸优化问题解决了系统最优鲁棒H∞保成本控制律的设计问题.最后,通过数值算例说明了该设计方法的可行性.

具有多时滞和广义扩散的N-种群竞争反馈控制系统的持久性

本文讨论了一类具有αi类功能性反应函数和广义扩散的n种群竞争反馈控制生态系统的持续生存性。利用比较原理,得到了系统的所有正解最终有界的条件。通过构造持久生存函数,给出了系统一致持久生存的充分条件,并导出了系统的持久生存域。最后,通过建立具体模型说明所得结果的可实现性。研究结果表明,时滞不影响系统的持续生存性,通过适当控制扩散率,可使系统中的各个种群长期共存。

广义三角模和广义剩余蕴涵之间的对应关系

进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随对的,而另一类则不能构成伴随对。

赋值格为非线性序的一种4值逻辑系统G_4~2

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的ＩＰＣ－定理皆是Ｇ２４－重言式，以及，一个公式是Ｇ２４－重言式，当且仅当它既是Ｇ２４－中的Ｉ－重言式，又是－Ｊ重言式。

变系数二阶线性微分方程可解的充要条件

利用降阶法研究了变系数二阶线性微分方程y″+P(x)y′+Q(x)y=f(x)的可解性,得到了一个可解的充分必要条件:存在有限形式的可微函数F(x)、G(x),G(x)≠0及常数b和c使得P(x)=bG(x)-G′(x)/G(x)-2F(x),Q(x)=F2(x)-F′(x)-F(x)(bG(x)-G′(x)/G(x))+cG2(x).同时给出两种求通解的方法和通解表达式.

一类具有脉冲的向量型时滞微分系统的振动性

研究了一类向量型时滞脉冲微分方程系统的振动性问题,通过作变最变换,将常系数脉冲微分方程系统变为变系数非脉冲微分方程系统,得到了模型非振动解的渐近性态和方程任意解振动的充分条件,利用留数理论,得到了方程广义振动和广义非振动的充分条件。

基于微课的翻转课堂在高职数学教学中的应用

针对高职院校的师资、教材、学生以及教学环境相对薄弱的现状,根据微课和翻转课堂的概念及特征,提出了基于微课的翻转课堂教学模式应用于高职高等数学教学中,有利于改善目前高职院校高等数学教学课时少、内容多、任务重等现状,有利于提高高职学生的学习积极性与主动性,有利于提高学生的数学素养。

数学教师能力获得途径的调查研究

＂自身的教学经验和反思＂是数学教师的数学能力、教学能力、教研能力和创造能力获得的最重要的途径,＂阅读专业书刊＂、＂和同事的交流＂、＂听课＂是教师在日常教学中提高其数学能力、教学能力、教研能力和创造能力的有效途径.促进数学教师能力发展,高等师范院校应尽其责;切实改进教师在职培训模式;中小学教研活动应得到名师和专家的引领;＂师徒结对＂应与时俱进;教师应＂勤于反思＂,养成反思的习惯;教师应＂细于留心＂,保持开放的心态,成为主动学习者.

应用型人才培养:地方高师数学专业综合改革探论

目的对地方性高等师范院校数学专业应用型人才培养问题进行了研究。方法参考已有的教改研究相关文献,结合"本科教学工程"实施和专业教育教学的实际,进行调查研究,分析专业人才培养所面临的挑战。结果提出了本专业综合改革的思路和定位、目标与构想以及实施方案。结论应用型人才培养,是地方高师本科数学专业的既定方向和目标,只要以教育部推出的"专业综合改革试点"项目为契机,加强专业内涵建设,一定能够走出适合的专业办学之路,形成专业特色。

面向服务的体系结构应用于军事网格的安全问题研究

军事网格是军事电子信息系统综合集成的新兴技术,将面向服务的体系结构应用于军事网格,可以有效解决军事电子信息系统互操作的问题、提高其开发速度并降低其开发成本,但是也给信息安全问题带来了巨大的挑战。针对当前面向服务体系结构应用于军事网格可能存在的安全问题,从基本安全需求和特殊安全需求两个方面进行了分析,提出了一种基于安全体系结构、安全评估框架及安全技术保证三个层次的解决安全问题的有效途径。

军事信息系统集成途径浅析

随着军事信息系统在信息化战争中地位的日益突出,有效解决军事信息系统集成成为军事领域研究的一个重要课题.论文从我军的信息系统建设现状出发,分析了当前军事信息系统建设在支撑环境、数据共享和系统开发等方面存在的问题,提出了从顶层设计、支撑环境和应用技术等三个层面实现军事信息系统集成的途径.