简介：通过对当前能源危机的叙述,阐述了建筑节能的重要性,研究了在寒冷地区采用保温节能墙体的技术,分析了其节能效果.

简介：计算机在科技飞速发展的当今,在国民经济建设的各个领域的使用越来越普及,它的作用和地位无可质疑,每个工程技术人员都必须熟练地会使用计算机,否则将无法工作。今天的大学生将是明天的建设人才,为培养合格的有用之材,各高校都在对学生强化计算机方面的教学,特别是使用计算机的基本技能的训练。由于各校情况不同,诸多院校的设备满足不了教学的需要,机时的需求量矛盾很大,如何发挥现有设备潜力?为学生提供更多的机时,我

简介：为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.

简介：薛其坤教授。1963年生于山东蒙阴。在中国科学院物理研究所获博士学位。先后在日本东北大学金属材料研究所和美国北卡罗来那州立大学物理系工作学习近8年。1997年获得“国家杰出青年科学基金”1999年至2005年任中科院物理所表面物理国家重点实验室主任。他在材料物理相关领域发表的论文被引用超过1300次。1998年入选中科院“百人计划”。2004年因全同纳米团簇工作获得国家自然科学二等奖。2005年12月16日，41岁的薛其坤教授被增选为中科院院士。

简介：利用悬浮法每日测定玻璃的密度，制作密度-时间曲线，通过分析其密度值大小和变化趋势，以判断各氧化物的波动情况，作为监控玻璃生产的手段．

简介：汉语动词的时间特征对其进行体产生明显的约束和影响。这种约束和影响在一定程度上说明了语法和语义的相互作用，语义在很大程度上决定了语法的形式和内涵。本文首先介绍了汉语动词在时间分类上的研究情况，然后从不同类型的动词出发，探讨动词时间特征对其进行体的约束和影响。时间特征对动词进行体的影响主要体现在两个方面，一方面是动词在进行体的表达方面受其时间特征的制约，另一方面动词进行体的语义也受到其时间特征的影响而发生语义上的改变。

简介：本文介绍了目前国内博士后培养和使用的基本情况，指出了合作导师在博士后培养和使用过程中的核心作用，并就如何充分发挥合作导师的核心作用提出了意见和建议：以合作导师为中心，建立科学的管理机制，建立博士后指导团队，吸纳博士后参与重大项目，鼓励合作导师投入经费改善博士后的生活和科研条件，并建立收益共享机制，充分调动合作导师的积极性。

简介：本文介绍了瓦楞型机用线盘瓦楞幅板结构型式的设计分析及有关结构尺寸的确定，并对不同型式的瓦楞幅板的加工、用料、制造精度等优缺点进行了定性、定量的分析讨论。

简介：在德国使用电脑一个是在学校用免费的机房,还有就是自己带的手提电脑或者在德国新买的。那么我们也就分这三种情况说一下吧。1、有了学生资格之后,学校会问你要不要上网服务,有的学校是免费的,大多数是要象征性的交一点。一个学期10块马克。给你一个账号和密码,你就可以到学校的机房了。用学校的电脑可以上网,能不能看到中文就要看电脑的设置情况了,大多数的都可以浏览中文的网站。要是遇到特别严格的地方,可能就只好看德语的了。学校机房大都规定不许下载和安装其它

简介：分析影响轿车风挡玻璃丝网印刷网版制作质量的因素，结合生产实际，采用带有顸应力的丝网印刷专用铝合金网框、优质聚酯丝网、先进的绷网方法、湿．湿感光胶涂布法、显影冲洗法、网版修整加固法，可以来制作高质量的印刷轿车风挡玻璃用丝印网版．

简介：

简介：文章介绍了UPS不间断电源的工作方式及应用范围，简述了如何选择、使用、维护UPS。

简介：正则表达式语言是世界上最流行的字符串匹配语言。本文首先以正则表达式在EWSD程控交换机中的应用说明了正则表达式功能的强大，最后以Boost库在VC6．0中的实例说明它的字符匹配功能。

简介：文学作品离不开细节描写。细节描写可以起到以小见大、以少胜多、深化主题、丰满人物形象等作用。细节描写最能反映作者的创作功力，它源于生活，高于生活。

简介：详细阐述了TTS的功能和系统组成，并利用TTS在VB中实现语音的编辑和播放．

简介：在生物教学改革的探索和实践中,加强生物实验教学和提高实验效率是十分必要的。光合作用实验在生物学中有着重要地位。笔者根据师专生化科特点,通过下面所述的设计来进行光合作用的实验,其效果还是比较好的。

简介：文中介绍了利用PSPICE和EWB进行电路仿真的方法，该方法可以用来在计算机上实现虚拟电路实验室。

简介：将轻钢龙骨组合墙体分解成骨架结构和蒙面板,分别进行水平荷载作用下的变形及受力性能分析,再将蒙面板离散成单块板单元,通过单元分析及应用平衡原理,推导出了蒙面板抗剪承载力计算公式,计算结果与试验结果比较表明,此公式合理、安全可靠、简单实用,可供工程设计参考。

简介：本文主要针对VB中不能很好的处理中文报表的问题，介绍了一种使用EXCEL进行报表输出的方法。该方法使用VB编写直接控制Excel操作的程序，用VB的OLE自动化技术获取Excel的控制句柄，从而控制Excel中单元格的内容，调用Printout方法打印报袁。

简介：高校的干部队伍素质,尤其是中层以上干部素质的高低,是关系到把什么样的高等教育带入21世纪的重大问题。我校新党委成立伊始,就将干部队伍建设问题提到议事日程上来。按照市委教育工委关于对处以上领导干部进行一次以“三讲”为主要内容的党性、党风、党纪教育的部署,我们结合学校具体情况,制定了为期一年半的干部培训计划。去年底,我们又采取了中层干部向全校教职工代表述职,由群众进行民主评议等方式来加大对干部进行教育、监督和考察的力度。一年来,通过学文件、听报告、接受群众评议、进行社会考察等多