掌握先进方法 提高科技查新效率

从建立健全查新文献源、建立科学的查新报告评价体系、加强组织和业务建设以及制度建设、科技查新手段科学化等方面论述了如何提高科技查新效率。     

不动产善意取得再探

善意取得作为保障交易安全、维护整个市场经济秩序的必须的法律制度安排，一直是以动产交易物为构成要件的。动产善意取得的直接的逻辑基础源于占有的推定力和公信力，其理论基础在于对交易安全的追求。不动产善意取得的直接逻辑基础为登记的推定力及公信力，其理论基础同样源于对交易安全的保护。传统的善意取得只适用动产是历史的惯性使然，登记的公信力作为抽象的原则不能直接达到保护不动产交易安全的目的，不动产善意取得制度的建立不仅可能而且必要。     

论行政强制执行模式的价值取向

行政强制执行模式是一国重要的法律制度,在选择何种模式中,价值取向问题是决定性因素;我国现行的行政强制执行制度坚持了保障人权和提高行政效率的价值追求,但仍存在一定缺陷和不足,应在借鉴吸收国外行政强制执行模式的基础上,结合我国社会实际进行改进.     

论"数字校园"建设与系统设计

随着我国信息化建设步伐的加快，“数字城市”建设日益受到政府和社会各界的普遍关注和重视。“数字校园”作为“数字城市”的一个缩影，具有“数字城市”的基本特点和功能，对于我国高等教育的现代化建设具有重要意义。文中介绍了“数字校园”系统的建设原则和结构设计，并利用Visual C＋＋和地理信息控件MapX，实现了“数字校园”系统中的地理信息基本功能子系统。     

一种新型双层PBG结构带阻滤波器

本文介绍了一种双层结构的基于村底打孔的PBG结构带阻滤波器，采用了周期结构与微带电路分离的设计。解决了传统的打孔结构的导带加工问题，并且有利于电路的加工和修改。最后给出了利用HFSS理论仿真和实际测量的结果，论证了这种结构的可行性     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

复合求积公式与Romberg算法

首先导出复合梯形公式，复合Simpson公式和复合Cotes公式，然后指出它们的关系式，由此再导出Romberg算法，另外用Taylor公式导出复合Simpson公式，最后给出误差估计式和数值例子。     

影响高职生英语听说能力的原因及对策

针对高职生英语听说能力的现状,分析其原因并提出相应的对策。     

半刚性基层施工弯沉检测标准研究

根据重庆地区大量实测资料 ,对影响半刚性基层弯沉变异性的各主要因素进行了分析 ,并根据实际需要 ,对施工期实测弯沉的龄期与养生温度的影响进行了修正 ,得出可用于施工检测的弯沉控制标准     

SO42-/ZrO2系列固体超强酸的制备与应用

本文对采用不同方法制备了两种SO4^2-/ZrO2系列的SO4^2-/ZrO2-TiO2和SO4^2-/ZrO2-Al2O3固体超强酸催化剂，并以顺丁烯二酸酐和正丁醇的酯化反应为探针反应，考察了Zr：A1，Zr：Ti的原于配比，焙烧温度，焙烧时间以及浸渍液硫酸的浓度对催化剂活性的影响。