有限内存BFGS算法的收敛性

研究有限内存ＢＦＧＳ算法的收敛性质， 在搜索步长一致有下界的条件下对一般凸函数证明了算法的整体收敛性．     

应召搜索中搜索的轨线与策略

在数学实验环境Maple下对应召搜索中搜索轨线的微分方程模型和关于搜索路线的对策问题进行了讨论,通过实验,展示了Maple实验环境的友好界面,以引起学生对数学实验这门课程的兴趣和重视,以便于更积极地进行探讨.     

西安市城区通风环境数值建模及分析

近年来，城市建筑的高度和密度不断增加，对城市通风环境产生了很大影响。针对西安市绕城高速以内区域，建立了城区建筑、道路等几何模型，在此基础上建立了城市风环境数值仿真模型。通过数值仿真，分析了在冬季主导风 ENE 风向下，区域风环境的现状，包括风速分布、通风能力等。研究表明，建筑布局、街道布局、建筑密度和风向会对区域风速分布及通风能力有明显影响。控制城市内十字路口处建筑高度及建立城市主导风向上通风廊道有利于城市内的通风。     

旅游岩石学的研究方向探讨

旅游岩石学的研究方向本着服务旅游业，提升广大游客及地学爱好者的自身素质为目标，对固定型地表类旅游岩石中，象形奇峰、奇山、怪石侧重于观赏价值研究，经典岩石组合（地层中的金钉子剖面和副层型剖面）侧重于科学价值研究，地下象形钟乳石同时重视观赏价值和科学价值研究；对活动型旅游岩石中，奇石侧重于观赏价值研究，天然宝玉石及饰品侧重于质量及真伪知识的普及研究。     

双重介质中地下水污染模型沿特征线外推的向后Euler—Galerkin格式及交替方向预处理迭代解

对双重介质中地下水污染模型构造了沿特征线方向外推的向后Euler—Galerkin格式，并用交替方向预处理迭代法解沿特征线外推的向后Euler—Galerkin法在每一时间步所产生的代数方程组。在没有增加计算量和破坏精度的前提下得到了最优的L^2-模误差估计，并且关于时间是高精度的。     

Empirical Research on User Acceptance of Mobile Searches

The mobile search, a combination of a web search engine and a mobile communication system, is viewed as the most influential application in the 3G era. Therefore, mobile search service providers are eager to know which factors most influence user acceptance of mobile searches. Based on the characteristics of mobile searches and a review of previous information technology acceptance research, this study integrates the task technology fit model and the unified theory of acceptance and use of technology model to develop a mobile search acceptance model and empirically tests this model. This study finds that, for mobile searches, the performance expectancy, social influence, and perceived cost all significantly influence use intention and the performance expectancy increases with the increasing user’s experience and higher task technology fit degree. The effort expectancy is found to not affect the use intention of mobile searches and the users’ gender does not have a significant moderating effect on the use intention. The results are then used to develop suggestions for mobile search providers to promote their application and development.     

0-1线性规划问题的分类隐数搜寻

针对0-1线性规划问题,提出一种新的分类隐数搜寻方法.该算法将所有的0-1整数点分类,并产生一个描述性的线性方程,由此构造了一组非常好的隐数条件和隐数准则,这样可以排除大量不可行解的列举,大大加快了隐数搜寻过程,并通过几个经典算例的计算结果及与Balas算法的计算结果比较,证实了本算法的高效性.     

An Efficient Framework to Utilize Grover Search

This paper proposes an efficient framework to utilize quantum search practically.To the best of our knowledge,this is the first paper to show a concrete usage of quantum search in general programming.In our framework,we can utilize a quantum computer as a coprocessor to speed-up some parts of a program that runs on a classical computer.To do so,we propose several new ideas and techniques,such as a practical method to design a large quantum circuits for search problems and an efficient quantum comparator.     

论我国搜查制度之重构

搜查是发现证据、查获犯罪人的必不可少的手段,但同时又会对公民的人身自由权、隐私权等诸多基本权利造成侵害。构建搜查制度应兼顾控制犯罪与保障人权、公正与效率的多元价值目标。我国搜查制度存在诸多缺陷,既不利于有效、及时地侦查犯罪,也不能较好地保障人权,应参照法治国家的先进做法予以改革和完善。     

基于子空间子集最优的共轭梯度法

通过最小化一个限制下次搜索方向在Span {-gk,dk-1}子集上的二次模型，提出了非线性共轭梯度法中参数βk的新计算形式及其杂交形式，同时证明了新方法是收敛的，数值实验表明方法是有效的。