民族地区高校计算机教学体系的改革与探讨

针对民族地区高等院校计算机教育的特点与面临的困难,提出相应的解决对策和改革方向。探讨如何构建现代人才素质需求与地方民族特色相结合的计算机教学体系,从而促进民族地区计算机人才的培养。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

Computing the Maximum Degree of Minors in Matrix Pencils via Combinatorial Relaxation

   Abstract. This paper presents a new algorithm for computing the maximum degree δ _k (A) of a minor of order k in a matrix pencil A(s) . The problem is of practical significance in the field of numerical analysis and systems control. The algorithm adopts a general framework of ``combinatorial relaxation' due to Murota. It first solves the weighted bipartite matching problem to obtain an estimate

Potential pedagogical benefits and drawbacks of multimedia use in the English language classroom equipped with interactive whiteboard technology

This paper analyses the process of multimedia integration in English language classrooms equipped with interactive whiteboard (IWB) technology, and offers insights into the theoretical underpinnings of multimedia use in language learning from the perspective of cognitive learning theory. The data discussed here are drawn from a study carried out as part of a PhD research programme at Lancaster University (UK). The study was conducted within an interpretative research paradigm, and data were collected and analysed according to a qualitative approach. In the first part, the paper discusses some perceived pedagogical benefits of adopting a multimedia-oriented approach in the IWB-based classroom. Secondly, it discusses a variety of potential problems related to the use of multimedia resources in the language classroom in question. Finally, the paper draws upon the literature on multimedia learning to address the potential pedagogical implications of these research findings.     

基于信任域的移动adhoc网络信任模型研究

详细阐述了基于信任域的信任模型策略分析、模型的基本设计思想、模型中的数据结构,探讨了保障簇代理安全性的措施,研究了计算机信任值及修正信任值的方法。     

基于概念的形状分类与识别

基于内容的图像检索已经成为图像检索的一个重要研究方向。其中利用形状特征可以实现形状较为明显的各类图像库的检索。该文对图像形状特征的提取和描述方法进行了较深入地研究,选取其中一部分特征值,分别利用BP神经网络和支持向量机进行形状识别,取得令人满意的实验效果。     

项目教学法在开放教育《VB程序设计》辅导中的应用

开放教育教学辅导中“项目教学法”,就是精心设计辅导项目、传授规范知识、优化教学过程和注重操作技能的培养     

从社会管理角度来看设计——在现代设计史里去找答案

长期以来,有很多学者都对设计做了很多重要的研究,并得到了丰富的理论成果。但是设计是一个很难说得明明白白的词,其内在的含义却需要不断的挖掘,如其内在所含的管理属性就需要我们去做一个探究,本文从历史的、客观的角度对设计的管理层面进行了探讨。     

Supervisory control of modular systems with global specification languages

The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption that all shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.     

坦克设计新发展

本文提出“针对式坦克发展战略”主要内容,它要求“突破性新概念高新技术”,获得“减法设计方法”,因而形成“坦克发展新道路”.运用“系统总体取胜”的系统工程理论,处理好坦克全系统“综合”、全系统与分系统“配置”、分系统与分系统“匹配”、全系统与人及作战环境“适应”四大关系,以“相互同水平组合”替代“单项高水平爬坡”.通过“从系统总体着眼、由边际零部件突破”的途径,善于从各个部分或部件之间的结合部加以突破,实现坦克设计新发展.