Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems

If we have two representations of a problem as constraint satisfaction problem (CSP) models, it has been shown that combining the models using channeling constraints can increase constraint propagation in tree search CSP solvers. Handcrafting two CSP models for a problem, however, is often time-consuming. In this paper, we propose model induction, a process which generates a second CSP model from an existing model using channeling constraints, and study its theoretical properties. The generated induced model is in a different viewpoint, i.e., set of variables. It is mutually redundant to and can be combined with the input model, so that the combined model contains more redundant information, which is useful to increase constraint propagation. We also propose two methods of combining CSP models, namely model intersection and model channeling. The two methods allow combining two mutually redundant models in the same and different viewpoints respectively. We exploit the applications of model induction, intersection, and channeling and identify three new classes of combined models, which contain different amounts of redundant information. We construct combined models of permutation CSPs and show in extensive benchmark results that the combined models are more robust and efficient to solve than the single models.     

A 1-V integrated current-mode boost converter in standard 3.3/5-V CMOS technologies

A 1-V integrated CMOS current-mode boost converter implemented in a standard 3.3/5-V 0.6-/spl mu/m CMOS technology (V/sub TH//spl ap/0.85 V), providing power-conversion efficiency of higher than 85% at 100-mA output current, is presented in this paper. The high-performance boost converter is successfully developed due to three proposed low-voltage circuit structures, including an inductor-current sensing circuit for current-mode operation with accuracy of higher than 94%, a precision V-I converter for compensation-ramp generation in current-mode control, and a VCO providing supply-independent clock and ramp signals. Moreover, a proposed startup circuit enables proper converter startup within a sub-1-V supply condition.     

Study on Flow Behavior and Heat Exchange Characteristics of a Capillary Tube-Suction Line Heat Exchanger

The present research is to develop a homogenous mathematical model to simulate capillary tube-suction line heat exchanger (CT-SL HX) based on the fundamentals of conservations of mass, momentum and energy with comprehensive experimental result validations. The computer model is fully validated by 72 experimental data with error bands of ±15%, ±2°C and ±35% on the mass flow rate prediction, the suction pipe outlet temperature, and the heat exchange estimation respectively. The results suggest that the internal diameter of the capillary tube, and the heat-transfer length of the CT-SL HX have demonstrated an apparent impact on the capillary tube outlet conditions and heat transfer across the segment.     

基于联合学习的问答情感分类方法

面向问答型评论的情感分类在情感分析领域是一项新颖且极具挑战性的研究任务。由于问答型评论情感分类标注数据非常匮乏,基于监督学习的情感分类方法的性能有一定限制。为了解决上述困境,该文提出了一种基于联合学习的问答情感分类方法。该方法通过大量自然标注普通评论辅助问答情感分类任务,将问答情感分类作为主任务,将普通评论情感分类作为辅助任务。具体而言,首先通过主任务模型单独学习问答型评论的情感信息;其次,使用问答型评论和普通评论共同训练辅助任务模型,以获取问答型评论的辅助情感信息;最后通过联合学习同时学习和更新主任务模型及辅助任务模型的参数。实验结果表明,基于联合学习的问答情感分类方法能较好融合问答型评论和普通评论的情感信息,大幅提升问答情感分类任务的性能。     

X图书馆

X图书馆位于虹口岸边的沙泾港.虹口是上海的十个中心区之一.它南濒黄浦江和苏州河,北接宝山,西连闸北,东邻杨浦.占地面积23.4km2,下辖8个街道办事处,居住人口达797 000人.图书馆紧邻的1933老场坊,周边将成为现代化的综合社区,城市肌理正在发生改变.社区以居住为主,商业、办公、娱乐、教育、体育、文化、景观与休闲功能为辅,充满活力.在此基础上,图书馆由7个近似立面单元的体量侧面叠成,一条西南一东北走向的对角线走道贯穿整个体量,实现了对周边社区的连接.     

Energy simulation approach to air-conditioning system evaluation

This paper deals with the energy simulation approach in evaluating some of the commonly employed air-conditioning systems for high-rise office buildings. These systems are evaluated on the basis of their thermal comfort performance and energy efficiency. It is found that the Two Pipe Induction Unit System (TPIUS) performs the best and is the most energy efficient, followed by the Variable Air Volume System (VAVS). The thermal comfort performance of Packaged Variable Air Volume System (PVAVS) and the Constant Air Volume System (CAVS) is less preferred among all systems studied and they also appear to be the least energy efficient.