现代信息通讯技术对高等教育的影响及对策研究

本文主要论述了现代信息通讯技术讯猛发展,对高等教育的改革和发展有着积极的作用,它不仅冲击了传统的教育思想和观念,并且为了适应时代和社会发展的需要,教育目标、教育手段、教学方法、教学模式、师生关系、学校管理等必须作出相应调整。但是,在各领域的广泛应用中也存在各种问题,文章有针对性提出了应对的策略。     

单片机仿真实验的探讨与研究

本文介绍了传统的单片机实验方法和利用Proteus（http：／／www．labcenter.co．uk）软件进行单片机仿真实验。包括从元器件的选择、电路的连结、源程序的输入及调试、仿真结果的输出，并比较了各自的特点。     

用政治手段解决国际冲突的有益探索——以朝核问题六方会谈为例

中国在政治解决朝核问题的过程中扮演着作为第三方的大国斡旋者角色,从理论上讲,发挥这一角色作用有其特殊的涵义、困难性和复杂性,并因之要求中国的外交斡旋活动完成一定的调解任务。“六方会谈”是政治解决朝核问题的正确选择和有效途径,中国在促成六方会谈的成功举行并获得初步成果的过程中展示了高超的外交斡旋艺术,包括给予帮助的技术、支持冲突方互动的技术和操控技术,部分地完成了对于朝美之间冲突的调解任务。在中国积极和有效的外交斡旋努力下,朝核问题的解决沿正确的方向前行。     

竹子热水预抽提过程中糖组分的溶出规律

研究了不同工艺条件下竹子热水预抽提过程中主要糖类组分的溶出率,总糖和戊糖占抽提液中固形物的比例,以及糠醛、羟甲基糠醛的生成随H因子的变化规律.结果表明:为了获取最大量的糖、减少糠醛(F)和羟甲基糠醛(HMF)的生成量,lgH应控制在3.2～3.4的范围内;在获得相同最大量糖的前提下,热水预抽提的最高温度不应超过160℃;当lgH低于3.2～3.4的范围时,糖的溶出率较低;高于此范围,部分糖降解生成F和HMF,总糖占抽提液固形物的比例和糖组分溶出率下降;在总糖溶出率达到最大值时,相同H因子作用下,温度超过160℃会导致糖降解生成的F和HMF增多.关键词:竹子半纤维素;热水预抽提;H因子;糖溶出率;糠醛;羟甲基糠醛     

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

存在表面缺陷原材料的矩形件优化排样问题研究

针对存在表面缺陷原材料的矩形件优化排样问题是一个组合优化问题,提出了一种单亲遗传算法求解方法.研究了将矩形件在板材上的排样转换为遗传算法特定编码的方法,通过单亲遗传算法的遗传算子进行优化搜索,最终得到矩形件排样的最优次序和排放方式,用基于矩形件与板材内靠接临界多边形最低点的排样算法实现在表面存在缺陷原材料上的自动排样.排样实例表明,该优化排样算法行之有效,具有广泛的适应性.     

M.H.DIS模型在我国上市公司信用评估中的应用研究

针对我国目前缺乏适用的、高效的系统信用评估模型的现状,研究了由希腊学者提出的M.H.DIS信用评估模型.在对该模型的详细介绍的基础上,选用我国55家上市公司1999年财务数据作为训练样本,利用Matlab软件根据M.H.DIS模型的基本思想,构建了经验信用评估曲线,并利用60家上市公司2000年财务数据为检测样本进行检验,获得较好的实证检测效果.通过以上研究分析,文章提出该模型适合我国目前基本国情,具有良好的推广前景.     

生态旅游社区从事旅游业者的行为特征研究——以芦芽山自然保护区为例

生态旅游社区从事旅游业不仅是保护自然资源的坚强力量，而且是支持旅游业的主力军，他们是旅游影响的直接主要的承受，本采用问卷调查的方式，对芦芽山自然保护区从事旅游业的行为特征进行了调查，结果表明，社区人们对自然保护的支持率较高，但却认为可以私自利用其资源，他们对于旅游的各种影响反映良好。