新型T-t模式“计算机系统结构”课程群的建设与研究

本文以素质教育为背景,以培养创新型人才为目标,结合吉林农业科技学院网络工程管理专业、计算机科学与技术专业的培养方案,分析了课程之间的前铺后叙关系,构建了新型"计算机系统结构"。课程群的建设要有利于组建专业知识、实践技能、教材之间的关系,便于学生学习、理解和掌握,同时课程群建设要有利于师资队伍的建设。师资队伍建设是课程群建设的主要内容之一,能否形成一支教学能力强、专业技术扎实、素质高的教师队伍是衡量课程群建设成果的重要标准。

Formalization of P Systems by Maude

Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.

Credibility and Security of Weighing System for Large Structure Object

The weighing system designed for large structure object is mainly composed of three parts. The part of hydraulic system is made up of hydraulic cylinders, high pressure hydraulic hoses and electric pumps; the part of computer controlling system comprises pressure sensors, displacement sensors, data acquisitions, RS 485 network and the computer controlling model; the part of loading system is composed of the fulcrum structure and the concrete girder. The measurement principle and composition of the weighing system are discussed in this paper. Credibility and security of the weighing system are fully considered during the design phase. The hydraulic system is controlled by pilot operated check valves in case of the sudden loss of system pressure. The states of all gauges and RS485 network are monitored by computer controlling system functioning in different modules. When the system is running incorrectly, it will be switched to manual mode and give alarm. The finite element method is employed to analyze fulcrum structure so that the system has enough intensity to be lifted. Hence the reliability of the whole system is enhanced.

Research on the Multimedia Data Mining and Classification Algorithm based on the Database Optimization Techniques

In this research article, we analyze the multimedia data mining and classification algorithm based on database optimization techniques. Of high performance application requirements of various kinds are springing up constantly makes parallel computer system structure is valued by more and more common but the corresponding software system development lags far behind the development of the hardware system, it is more obvious in the field of database technology application. Multimedia mining is different from the low level of computer multimedia processing technology and the former focuses on the extracted from huge multimedia collection mode which focused on specific features of understanding or extraction from a single multimedia objects. Our research provides new paradigm for the methodology which will be meaningful and necessary.

A policy-based billing management architecture for the next generation IP-based network

IP billing is not only a basic functionality to operate IP sen＇ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be the core network of NGN, and existing IP billing system is too simple to fulfill the emerging requirements, the next generation IP billing has become an interesting topic in recent years. Policy-based management brings flexibility and scalability to systems by describing management logic and functions through policies, and thus reduces the complexity of the management of large-scale systems. Working on existing efforts, this paper proposed an improved IETF policy framework based upon which a policy-based billing management architecture for the next generation IP-based network was presented. Then a prototype with some basic functionalities was developed. The results of the experiment validated the expected improvements specified in this paper.

Computer Aided Design of Geodesic Forms

Geodesic forms constitute an important family of structural systems. They are efficient and appealing and are employed frequently for dome structures. Data generation for geodesic forms has always been a difficult task, from the days of hand data generation using tables of coefficients to today＇s specially written computer programs with many limitations and shortcomings. Formex algebra is a mathematical system which is ideally suited for data generation and configuration processing. The objective of the present paper is to introduce the concepts of formex algebra through which data generation for polyhedric and geodesic forms can be handled with ease and elegance.

Smart Grid Concept and Developments： The Relevance to South Africa

Smart grid is a concept and not a computer system or some sort of hardware. Therefore, smart grids can have multiple shapes because there is no single unified concept of what constitutes a ＂Smart Grid＂. Smart grid is considered a core concept in sustainable electricity generation and consumption while being projected as a silver-bullet to electric power system challenges. South Africa＇s dwindling reserve margin, high CO_2 emissions and future energy mix are outstanding reasons for her smart grid deployment. Who receives the credit for smart grid neology is contentious and smart grid definition is diverse. However, there is a consensus on its attributes or benefits. The establishment of SASGI （South Africa Smart Grid Initiative） and Eskom＇s commencement of deploying a hybrid smart grid model are proofs of the country＇s commitment towards smart grid concept and developments. Having recognized the relevance of smart grid concept and its developments, South Africa is presented with the opportunity to ＂leap-frog＂ and enhance the relevant proven applicable smart grid solutions.

Architecture design for reliable and reconfigurable FPGA-based GNC computer for deep space exploration

SRAM(static random access memory)-based FPGA(field programmable gate array), owing to its large capacity, high performance, and dynamical reconfiguration, has become an attractive platform for So PC(system on programmable chip) development. However, as the configuration memory and logic memory of the SRAM-based FPGA are highly susceptible to SEUs(single-event upsets) in deep space, it is a challenge to design and implement a highly reliable FPGA-based system for spacecraft, and no practical architecture has been proposed. In this paper, a new architecture for a reliable and reconfigurable FPGAbased computer in a highly critical GNC(guidance navigation and control) system is proposed. To mitigate the effect of an SEU on the system, multi-layer reconfiguration and multi-layer TMR(triple module redundancy) techniques are proposed, with a reliable reconfigurable real-time operating system(Space OS) managing the system level fault tolerance of the computer in the architecture. The proposed architecture for the reconfigurable FPGA-based computer has been implemented with COTS(commercial off the shelf) FPGA and has firstly been applied to the GNC system of a circumlunar return and reentry flight vehicle. The in-orbit results show that the proposed architecture is capable of meeting the requirements of high reliability and high availability, and can provide the expressive varying functionality and runtime flexibility for an FPGA-based GNC computer in deep space.

The Edge-pancyclicity of Generalized Hypercubes

Generalized hypercubes （denoted by Q（d1,d2,... ,dn）） is an important network topology for parallel processing computer systems. Some methods of forming big cycle from small cycles and links have been developed. Basing on which, we has proved that in generalized hypercubes, every edge can be contained on a cycle of every length from 3 to IV（G）I inclusive and all kinds of length cycles have been constructed. The edgepanciclieity and node-pancilicity of generalized hypercubes can be applied in the topology design of computer networks to improve the network performance.