太阳能空调的可行性研究

对太阳能空调系统进行了定性分析 ,从环保、节能角度阐述了发展太阳能空调的优势所在。提出了太阳能空调将具有广阔的市场前景。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

略论吴昌硕的石鼓文书法艺术

论及吴昌硕先生书法艺术的文章不少，但专文探讨和研究吴昌硕石鼓艺术的文字却并不多见。本文试图对吴昌硕石鼓艺术的形成历程和艺术特色等进行梳理总结，以期对当前和将来的书法继承与创新活动提供有益的参考。     

管理信息系统教学刍议

企业管理的发展变化和计算机信息技术的迅猛发展,给管理信息系统的教学提出了更高的要求,要求管理信息系统的教学体系要不断完善、教学内容要不断充实,教学方式要不断改进。从预备知识的重要性、教学内容的更新、强化案例教学、加强实践环节等方面进行探讨,探索出一条真正有效、切实可行的教学改革之路。     

Mechanical Design and Research on Process of Air Suction Drawing System of Spunbonded Nonwoven

The design guideline for the air suction drawing system with auxiliary air was analyzed, a spunbonding nonwoven system named PADHL1 - 3200 was designed and polypropylene （PP） spunbonded nonwoven fabrics with excellent properties were achieved after many trial runs. On the other hand, the suction air velocity （VA） was calculated and the influence of VA on the bonding strengh of PP nonwoven fabrics was Studied as well. It was found that VA is 1.5 - 2.5 times of the spinning velocity. With the increase of VA, PP fibers become finer and the bonding strength of PP nonwoven fabrics increases as well.     

Long term monitoring of urban subsidence by Permanent Scatterer DInSAR

When using differential SAR interferometry (DInSAR) to monitor the surface deformation over a long time scale, it is often strongly affected by the spatial and temporal decorrelations and atmospheric dishomogeneities. The recently developed Permanent Scatterers (PS) technique proposed by Fertti et al. can overcome these difficulties by interpreting time-series of interferometric phase only at coherent point scatterers. In this study, we apply this PS technique using 25 ERS-1/2 scenes from 1992 to 2000 to monitor the subsidence in Suzhou. By using the linear deformation model, the deformation map in Suzhou urban area over the eight years is obtained. And the calculated results are in good agreement with the measurements of leveling.     

高校青年教师的专业化发展策略

高校青年教师专业化应立足于自主发展,加强自身五个方面的修养,还要立足于提高和增强批判意识与创新能力、学习与研究能力、教育审美能力,从选用机制、竞争机制、利益机制和学术创新等方面建立起适合青年教师健康成长的环境,使青年教师专业化更好地发展.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

哈贝马斯社会批判理论根基的语言学转向

生活世界理论在哈贝马斯社会批判理论中居于核心地位，但他对生活世界的理解并不是前后一致的。他早期基本上是在综合胡塞尔和许茨生活世界理论基础上而形成自己关于生活世界的理解，而他后期的社会批判理论则奠基在语言学转向后的生活世界理论基础之上。由于这一语言学转向，与其早期社会批判理论相比，他后期的社会批判理论在形式上更趋合理，在内容上更深刻，在批判的同时还形成了自己关于未来理想社会的建构理论。     

一类非线性规划问题的等价性证明

给出了非线性规划问题中目标函数单调变换前后的一个等价性证明.