水库闸坝自动化监控系统浅析

水库闸坝自动化监控系统对于提高闸坝的运行管理水平和组建流域水文调度系统具有重要作用。该系统具有远程控制与调节能力、大坝安全检测系统及自动监控系统，为水库的安全运行提供有力的保障。     

地板辐射供暖系统传热的简化解析计算

对地板辐射供暖系统传热的一般数字模型做了简化处理 ,应用分离变量法得到简化模型的解析解 ,并给出算例     

信息与计算科学专业建设的思考

结合职技高师院校的办学特色,论述了在职技高师院校如何办好信息与计算科学专业,探讨了该专业内涵,专业发展,专业建设和市场定位等一系列问题。     

Molecular dynamics study on the structure I helium hydrate

A 368- water molecule structure I gas hydrate, encased by the number of helium (He) molecules ranging from two to twenty-two, are calculated by molecular dynamical simulations. The potential TIP4P (transferable intermolecular potentical with four sites) is used for water interactions and Lennard-Jones for He-He and He-water interactions. He molecules do not affect the water lattice and can stabilize the hydrate when their concentration is small. A trough signature of He encased is found at 80～90 meV in the phonon density of states. He molecules prefer to be more off-center in 51262 cages. Heavier isotope He are energetically favorable to be filled in cages.     

一种扩展的3-2-1组合夹具定位方法

针对孔系基础板组合夹具定位方案的确定问题，提出了一种扩展的3—2—1的设计方法，介绍了该方法的基本原理，给出了全部设计公式．利用该方法可以自动确定由直线和圆弧组成定位边界的工件的全部可能定位方案．     

网上3D虚拟商城的设计与实现

分析基于超文本链接和2D场景的网上购物商务平台的不足，设计并实现了具有真实感购物环境的网上3D虚拟商城。系统全面虚拟了购物的浏览、挑选、支付过程，并具有人机交互功能。系统还提供了数字化的商品管理、财务管理和安全系统。同时对虚拟商城的技术扩展及进一步发展作了讨论。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

一种考虑补偿信用风险资本要求的算法

基于现行法定资本体制不考虑信用投资组合的多样化和限制空头信用风险头寸的补偿能力，设计了一种考虑补偿的信用风险资本要求的计算方法．该算法根据信用等级决定风险权重，可以更精确地测定信用风险资本．采用期限分段方法建立一个期间结构，区分当前和远期信用风险，考虑多头与空头信用风险头寸间的补偿．     

混凝土中钢筋锈蚀及其可靠性分析

本文介绍了混凝土中钢筋锈蚀的机理，分析了钢筋锈蚀的主要影响因素，对钢筋锈蚀造成的截面损失破坏的可靠性进行了分析，并推导出了钢筋锈蚀可靠性分析的相应计算公式。     

发挥高校后勤服务教育功能提升学生就业创业能力

在高校后勤社会化改革向纵深推进的过程中，应该更加理性地思考、分析高校后勤社会化的地位和功能。我们应从更广远的视野来认识高校后勤社会化的教育属性，力求以市场经济为纽带，把后勤社会化与学生就业、创业能力的培养结合起来，以充分发挥后勤社会化的育人功能。