P-stable models of strong kernel programs

The research community has long recognized the study of non-monotonic reasoning (NMR) as a promising approach to model features of commonsense reasoning. We study one of the semantics that are useful to formalize NMR, called the p-stable semantics. We introduce three different formats for normal programs: negative normal programs, restricted negative normal programs and strong kernel programs. These forms help to simplify the search of p-stable models of the original program. One of the main results of this paper indicates that the p-stable semantics for strong kernel programs is the same as the stable semantics. This way, all the applications based on stable semantics for those kernel programs (defined in [S. Costantini, A. Provetti, Normal forms for answer set programming, J. Theory Pract. Log. Program. 5 (2005) 747-760]) that are strong kernel programs can also be based on the p-stable semantics.     

A computational comparison of reformulations of the perspective relaxation: SOCP vs. cutting planes

The Perspective Reformulation generates tight approximations to MINLP problems with semicontinuous variables. It can be implemented either as a Second-Order Cone Program, or as a Semi-Infinite Linear Program. We compare the two reformulations on two MIQPs in the context of exact or approximate Branch-and-Cut algorithms.     

高职软件技术专业人才培养课程体系的研究

课程体系与教学模式改革是高职人才培养与社会需求紧密对接的重要途径。以校企合作、工学结合为切入点,基于软件服务外包职业岗位能力要求,进行课程体系与教学模式改革,形成弹性课程设置,是软件技术专业推进内涵建设满足专业人才社会需求的有效措施。     

人才培养规格视角下高职专业人才培养方案创新研究——以高职通信技术专业为例

通过对高职教育人才规格新界定的思考,针对相关企业发放调查问卷,进行通信技术专业人才的需求调研,并根据企业提供的岗位能力需求分析,重新确定高职通信技术专业人才培养目标,重构基于工作项目的课程体系,完善教学内容的选取和优化,加强教师团队与实训环境的建设,积极探索并实践基于校企合作创新的人才培养方案。     

试析读者阅读需求的变化对图书市场的影响

传统纸质图书的易读性强,适应人们的阅读习惯与阅读心理,能满足读者的阅读需求。但新兴的影视、电子产品与网络出版以其特有的优势与特点,对传统图书市场产生了深远的影响。分析了读者的阅读需求随着影视作品、电子产品及网络出版所发生的变化对传统图书市场的影响。     

Integer linear programming models for a cement delivery problem

We consider a cement delivery problem with an heterogeneous fleet of vehicles and several depots. The demands of the customers are typically larger than the capacity of the vehicles which means that most customers are visited several times. This is a split delivery vehicle routing problem with additional constraints. We first propose a two phase solution method that assigns deliveries to the vehicles, and then builds vehicle routes. Both subproblems are formulated as integer linear programming problems. We then show how to combine the two phases in a single integer linear program. Experiments on real life instances are performed to compare the performance of the two solution methods.     

局部FC-一致空间内的广义拟变分包含组及其应用(II)

应用作者在局部FC-一致空间得到的广义拟变分包含组解的存在性定理,在局部FC-一致空间内,对广义矢量拟平衡问题组、联立广义拟平衡问题组、具有广义拟变分包含组约束的数学规划和具有广义拟平衡组约束的数学规划的解得到了某些新的存在性定理.这些结果在较弱的假设下将文献中很多已知结果从局部凸拓朴矢量空间的闭凸子集改进和推广到没有凸性结构的局部FC-一致空间.     

Empirical Analysis of Manufacturing Competence in Chinese State-Owned Enterprises

During the past ten years,most of Chinese State-owned enterprises have already entered market economic system and faced very serious competitive environment.In this paper,we use data from the 1997 Manufacturing Future Survey(MFS)conducted in China to observe manufacturing strategies that some Chinese State-owned enter-prises use to improve their competitiveness.The competitor which Chinese manufacturing firms face is first analyzed in the paper.From two to four parts of the paper,     

Method of Centers for Generalized Fractional Programming

We propose an algorithm to solve generalized fractional programming problems. The proposed algorithm combines the parametric approach and the Huard method of centers. A minimum of the problem is obtained by solving a sequence of unconstrained optimization problems.