Multi-label core vector machine with a zero label

Multi-label core vector machine (Rank-CVM) is an efficient and effective algorithm for multi-label classification. But there still exist two aspects to be improved: reducing training and testing computational costs further, and detecting relevant labels effectively. In this paper, we extend Rank-CVM via adding a zero label to construct its variant with a zero label, i.e., Rank-CVMz, which is formulated as the same quadratic programming form with a unit simplex constraint and non-negative ones as Rank-CVM, and then is solved by Frank–Wolfe method efficiently. Attractively, our Rank-CVMz has fewer variables to be solved than Rank-CVM, which speeds up training procedure dramatically. Further, the relevant labels are effectively detected by the zero label. Experimental results on 12 benchmark data sets demonstrate that our method achieves a competitive performance, compared with six existing multi-label algorithms according to six indicative instance-based measures. Moreover, on the average, our Rank-CVMz runs 83 times faster and has slightly fewer support vectors than its origin Rank-CVM.     

浅谈C语言中循环结构的教学--回答好循环结构的“三个问题”

循环结构是C语言程序设计中的重难点,其掌握情况对于后续章节的学习效果尤为关键。本文以什么是循环、何时需要使用循环以及如何使用循环三个问题为主线,通过精心选择的教学案例和灵活有效的教学方法来进行解答,以激发学生兴趣,培养编程思想。     

云计算背景下软件企业创新的趋势

云计算是一种基于互联网的计算方式,通过这种方式,共享的软硬件资源和信息可以按需提供给计算机和其他设备,该技术是一种近些年来发展的新兴科技,同时在一定的程度之上遍布于软件企业的各个领域之中,引导着当前软件企业发展的方向.基于此,本文探讨了云计算背景之下软件企业创新的趋势.     

高职院校软件教学体系研究

本文在概述软件教学体系及其理论的基础上,结合软件教学的特点,阐述了软件教学体系的结构、应用环境以及在教学中将遇到的问题和解决对策,并描述了＂软件教学资源网系统＂建立的目的、设计方案、功能及开发环境。     

A reactive extension of the OpenMusic visual programming language

Objectives: OpenMusic (OM) is a domain-specific visual programming language designed for computer-aided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. As most historical computer-aided composition environments, OM relies on a transformational declarative paradigm, which is hard to conciliate with reactive data-flow (an evaluation scheme more adequate to the development of interactive systems). We propose to link these two evaluation paradigms in the same and consistent visual programming framework.Methods: We establish a denotational semantics of the visual language, which gives account for its demand-driven evaluation mechanism and the incremental construction of programs. We then extend this semantics to enable reactive computations in the functional graphs.Results: The resulting language merges data-driven executions with the existing demand-driven mechanism. A conservative implementation is proposed.Conclusions: We show that the incremental construction of programs and their data-driven and demand-driven evaluations can be smoothly integrated in the visual programming workflow. This integration allows for the propagation of changes in the programs, and the evaluation of graphically designed functional expressions as a response to external events, a first step in bridging the gap between computer-assisted composition environments and real-time musical systems.     

基于MIS的计算机应用基础课程教辅软件研发与实践

基于MIS的计算机应用基础课程教辅软件遵循先进务实的设计理念,以满足课程教学一线的实际需求为前提,以提升教学效果、学习效率、拓展教学时空等为目标设计和实现,通过教学实践证明其具有一定的应用价值和推广价值。     

基于UG的三通管件注射模具的设计与制造

介绍了以UG作为模具开发平台设计三通管件注塑模具的过程，探讨了注塑模具设计的一般方法，解决了设计与制造过程中的一些难点，实现了一模多腔，提高了生产效率。     

智能电网中电动汽车充电的自适应电价控制方法

针对电动汽车的充电提出一种电价控制策略。聚合管理者集中管理电动汽车的电池,并且考虑用电高峰时电网的电能供给有限,通过电价控制调整充电的需求量。采用自适应动态规划,通过在线网络训练,得到最优的电价策略。仿真结果表明,该自适应电价控制方法能够通过学习电动汽车的移动性和充电过程,从而调整实际充电需求量至期望水平,保证智能电网的稳定运行。     

符号几何规划问题的求解新方法

对符号几何规划问题,给出一种求其全局最优解的分支定界算法。利用不同的凸化方法将算法中关键的定下界操作转化为易于求解的凸规划问题。最后给出算法的收敛性证明和数值实验结果。     

数控程序的高效设计及其刀具轨迹优化

介绍了提高数控程序编制效率的途径 ,并以实例说明了如何对数控程序刀具轨迹的质量进行优化 ,对从事数控工艺与编程的技术人员有参考和借鉴的作用。