空调机组冷凝热换算方程

本文基于空调机组联合工作点热平衡，通过理论推导和实验验证，建立了冷凝热换算方程，分析了机组冷凝热随进风湿球温度，风量和冷凝温度的变化规律，阐明了上述各热工参数间内在相依关系。这不仅为冷凝热的充分利用提供数学模型和设计依据，而且使机组变工况性能试验得到大大简化。     

DPA/CBr_4感光材料的辐射响应

本工作研究DPA/CB_(γ4)感光材料对γ射线相电子束的剂量响应特性.实验结果表明,这种自由基片对γ射线和电子束灵敏,具有较宽的剂量响应范围和较好的稳定性.可作为微剂量学研究的一种探测器,并提供了一种高剂量的辐射剂量测量手段.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

奥运通勤线路公交调度问题研究

奥运通勤线路上的人员调度问题可以归结为公交人员调度问题,解决公交人员调度通常采用"生成与选择"模式,此种模式具有的局限性使之不能满足解决奥运特色通勤线路上人员调度的要求.针对多条运营线路的奥运特色通勤线路人员调度问题,给出了奥运特色通勤线路人员调度问题的改进模型,模型的目标是在满足工作时间、就餐时间、换班要求等相关约束的条件下使人员完成任务的间隔时间最小.本文对已有蚁群算法解决车辆路径优化问题的算法进行了改进.对算法中相应的转移规则和轨迹更新规则进行了重新设定,改进了算法转移策略和信息素更新策略.给出了算法的实现步骤.通过仿真,对模型的正确性进行了验证.证明了改进蚁群算法解决奥运特色通勤线路人员调度问题的高效性和较强的适用性.     

采空区上覆岩层"三带"的界定准则和仿真确定

为了准确划分采空区上覆岩层的"三带"范围,提出了"三带"的界定准则:将应力超过屈服强度或抗剪强度的岩层高度定为裂隙带的上限,而将双向拉应力都超过抗拉强度的岩层高度定为裂隙带的下限.采用FLAC软件对矿山进行了界限确定,通过生产实践中的瓦斯抽放效果进行了验证,结果表明该界定方法合理有效.此方法可普遍用于采空区上覆岩层的"三带"划分.     

基于最小二乘支持向量机对偶优化问题的核偏最小二乘

提出了一种基于对偶优化的核最小二乘(KPLS)方法,把KPLS用最小二乘支持向量机的形式表示.推导了KPLS对偶优化形式的公式,且使其具有最小二乘支持向量机的风格.在初始空间中构造优化问题,应用核技术在特征空间中解对偶问题,这种解与非线性的KPLS具有相似性.实验验证了这种方法的效果,表明了该方法的有效性和优越性.     

ASP.NET中的输入验证方法

在传统的Web应用中,输入验证一般是使用客户端Script来实现的.在ASP.NET平台下,用户可以使用控件和正则表达式在服务器端实现输入验证,通过几个例子简单地介绍了在ASP.NET中如何使用控件和正则表达式对输入的用户名、密码和电子邮件进行有效性验证.     

水射流扩孔喷嘴内部流场的数值模拟

利用计算流体软件建立了土层扩孔喷嘴内部流场的三维数学模型.采用标准k-ε湍流模型模拟了喷嘴内部流场,并分析了喷嘴参数对流场速度分布、压力分布和出口速度的影响.结果表明,扩散角和扩散段长度对喷嘴内部流场影响较大,圆柱段长度的影响相对较小,但各参数都存在着最优值.计算结果与室内实验基本吻合,验证了喷嘴内流场分布与射流土层打击效果存在着内在联系.     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.