Dictionary-free overloading by partial evaluation

One of the most novel features in the functional programming language Haskell is the system oftype classes used to support a combination of overloading and polymorphism. Current implementations of type class overloading are based on the use ofdictionary values, passed as extra parameters to overloaded functions. Unfortunately, this can have a significant effect on run-time performance, for example, by reducing the effectiveness of important program analyses and optimizations.This paper describes how a simple partial evaluator can be used to avoid the need for dictionary values at run-time by generating specialized versions of overloaded functions. This eliminates the run-time costs of overloading. Furthermore, and somewhat surprisingly given the presence of multiple versions of some functions, for all of the examples that we have tried so far, specialization actually leads to a reduction in the size of compiled programs.This work was carried out while the author was a member of the Department of Computer Science, Yale University, and was supported in part by a grant from ARPA, contract number N00014-91-J-4043.     

Abductive Explanation-Based Learning: A Solution to the Multiple Inconsistent Explanation Problem

One problem which frequently surfaces when applying explanation-based learning (EBL) to imperfect theories is themultiple inconsistent explanation problem. The multiple inconsistent explanation problem occurs when a domain theory produces multiple explanations for a training instance, only some of which are correct. Domain theories which suffer from the multiple inconsistent explanation problem can occur in many different contexts, such as when some information is missing and must be assumed: since such assumptions can be incorrect, incorrect explanations can be constructed. This paper proposes an extension of explanation-based learning, calledabductive explanation-based learning (A-EBL) which solves the multiple inconsistent explanation problem by using set covering techniques and negative examples to choose among the possible explanations of a training example. It is shown by formal analysis that A-EBL has convergence properties that are only logarithmically worse than EBL/TS, a formalization of a certain type of knowledge-level EBL; A-EBL is also proven to be computationally efficient, assuming that the domain theory is tractable. Finally, experimental results are reported on an application of A-EBL to learning correct rules for opening bids in the game of contract bridge given examples and an imperfect domain theory.     

专业化视角下的高校辅导员分类发展与考评研究

高校辅导员分类发展是专业化背景下,辅导员向职业化、专家化方向发展的有效模式探索。基于专业化的视角,结合辅导员工作实际,开展辅导员岗位分类设置与选聘,鼓励辅导员在专项学生工作领域的发展,加强分类培养与考评,支持辅导员成为思想政治教育工作方面的专门人才,从而增强辅导员队伍建设实效。     

民办高校英语专业教师队伍建设特色化实践探讨——以东北师范大学人文学院英语学院“专职教师做学生工作”实践为例

民办高校英语专业教师队伍建设特色化是民办高校生存与立命之本.东北师范大学人文学院英语学院＂专教师做学生工作＂的理论与实践是深化＂教书育人＂的新思路,新途径.专职教师做学生工作,要坚持以人为本,关心学生身心成长,在教学中指导学生始终坚持＂实践出真知＂的理念,在科研中指导学生始终坚持培养学生的实践创新能力,在职业规划中指导学生,始终坚持＂知行合一＂的理念,并且在工作中,要积极反思,力求创新.     

平板电视东北地区特化形态设计研究

目的 通过构建东北特化家庭生命周期模型,以及对消费者生活形态与特定产品消费的研究,探索平板电视设计的东北形态特化设计,设计出具有浓郁地域特色的、地域代表性强烈的平板电视东北地区特化形态。方法 通过对高粘度人群的入户调研,探索不同家庭生命周期阶段的家庭任务和消费需求,总结归纳处于不同家庭生命周期的人群在消费过程中所关注的热点词汇。结合东北地区的地理特色,人文风俗以及东北人的性格特点等,对市场设计需求进行设计描述,从而对东北地区平板电视特化形态进行设计定位。结论 提出了平板电视东北地区特化形态的设计方法和研究途径,拓展区域化平板电视研发方向,对前文总结的设计方法和研究途径进行设计验证,设计出东北地区特化形态的平板电视。     

企业合作创新学习效果的计算机仿真研究*

提出了一个企业合作创新的三因素学习效果影响模型,用数值仿真的方法研究了创新任务特征、创新知识特征和创新环境特征对学习效果的影响,得出了企业的专业化程度与创新任务的可分解性特征负相关、与创新知识的替代特性正相关,且创新环境的不确定特征会加剧企业的专业化程度等相关结论。     

移动运营商的移动互联网发展路径探究

移动互联网的快速增长催生了巨大的"信息消费"产业图景,但也导致了移动通信网业分离和专业细分的趋势。移动运营商应摆脱"网络运营商"的观念束缚,自身定位为"数字社会的综合服务提供商",主动分拆自己拥有的价值创造环节,成立独立经营实体,融入移动互联网的发展大潮。     

垂直专业化分工下国际金融危机传导的新特点

本文分析了全球垂直专业化分工的发展态势及其在我国的发展特点,探究了由垂直专业化分工形成的全球价值链在国际金融危机向我国传导中所起的重要通道作用。本文分析表明,在垂直专业化分工下国际金融危机向我国的传导呈现出以下新特点:猛烈冲击劳动力市场、引致我国出口短期内出现大幅下滑、导致国内大量外向型中小企业破产倒闭。本文最后指出,国际金融危机通过垂直专业化分工生产体系对我国实体经济的长期效应尚有待进一步观察。     

A location quotient approach to producing regional production multipliers for the Irish economy

Regional issues in Ireland, although a relatively small and geographically homogenous country, attract considerable attention, much of which centres on the size of Dublin and the South East and its perceived dominant share of the national economy. Using location quotients (LQs) analysis and linking the production multipliers to their two digit NACE codes, this paper presents the first exploration of possible regional industrial specialization in related sectors in Ireland at the NUTS 2 level. Linking the production multipliers with NACE codes by region allows one to explore whether potential region specialization is associated with Jacobian externalities in Ireland. Using a relatively novel LQ approach, and a cut‐off value of 1.25 or above as an indicator of industrial specialization and clustering, this paper found that in the Border, Midlands West (BMW) region and the South East region, 29 and 32 sectors respectively had LQ greater than the cut‐off value of 1.25. In terms of Jacobian externalities, this paper found businesses in related sectors; particularly finance and insurance and transport and telecommunications are more likely to cluster in the BMW region. From a policy perspective this would indicate that there may be a role for the Regional Assemblies, particularly the Assembly for the BMW region to help develop and co‐ordinate regional industrial policy in Ireland. From a regional science perspective, this paper adds empirical evidence to the literature on Jacobian and related variety in regional economies.