常用的求函数极限的方法的探讨

由于极限在微积分中的基础地位,本文结合实例,重点介绍十二种常用的求极限的方法。     

p-群的Burnside环的增广理想的商群的结构

目的 讨论两类由p-群出发构造的Burnside环的增广理想的商群的结构.方法 利用轨道、稳定子和基底的关系,归纳证明.结果 确定了该商群的结构.结论 回答了关于此类Burnside环的Karpilovsky问题.     

实正交矩阵的子矩阵的幂的迹的渐进分布

设随机矩阵U属于n阶实正交群O(n),O(n)的分布是单位Haar分布,[U]m表示U的m阶顺序主子矩阵,记Q=n/m～(1/n/m)[U]m.文献(Diaconis P,Shahshahani M.J Appl Probab,1994,A31:49-62.)通过计算TrUj的联合矩得出对固定的整数k,当n充分大时(TrU,TrU2,…,TrUk)渐进于正态分布.利用Jack函数和对称群的特征标的恒等式,推广这一结论到U的子矩阵情形,即证明了随机向量(TrQ,TrQ2,…,TrQk)当m→+∞时依分布收敛于正态分布.对特殊实正交矩阵群SO(n)也有类似的结论.     

矩阵的行列式的几个不等式的注记

在这篇注记里,我们将文献[1,2]中几个有关矩阵的行列式的不等式作了推广。     

面向对象的专家系统的研究

提出一种知识库独立于程序的面向对象的专家系统的实现方法,介绍了其知识表示及推理机制.该方法将规则技术与面向对象技术相结合,并且不区分事实实例与规则实例,还为用户提供一个函数加载接口,以利于用户使用函数过程且确保知识库的独立性.     

伦敦的盛会 英国的难题

当约翰·马克在1948年夏天的那个炎热傍晚点燃圣火时,他也许并不会意识到,圣火在伦敦的下一次燃起将要等待漫长的64年。从温布利球场到"伦敦碗",从战后的获胜者再到欧洲的"边缘人",英帝国经历几度起伏。作为"没落的贵族",伦敦奥运呈现的不只是赛场上的激情洋溢,似乎也有几分说不清、道不明的别样情结。英国与德国:结一对欢喜冤家比起近邻英国、法国在主办奥运会上的无限风光,德国在负责组织、筹办奥运会方面的经历真可谓一波三折。在现代奥林匹克运动兴起以后,世界各大国都把筹办奥运会作为彰显国力的绝好     

变革的年代 稳定的社会

<正>这是一个变革的年代,悄然间,我们曾经很熟悉的概念已经不太经常被提及,比如工人阶级和农民阶级,现在常挂在嘴边的是"农民工"。人们对社会结构的认知在不知不觉中也已经从改革开放后跨越了三个年代。有经验、有人生阅历的人们开始对比上个世纪末和这个世纪初的社     

悟出的才是自己的

在南北相对的两座大山上,各有一个寺院。他们相互之间的见解、主张不完全相同,这本来是很正常的事情。     

学生的兴趣我的快乐

“兴趣是最好的老师”，从事任何活动都需要有兴趣，否则活动的效率则难以提高。素质教育教学改革的进程中一些新的教育理念使教师得到了空前的解放．教材得到了无限的拓展，学生得到了充分的自由。体育课对大部分学生来说是有兴趣的，但是由于体育课的教学内容和方法往往流于形式，内容单调重复，方法简单缺乏新意，学生渐渐对体育课的感受性降低，慢慢失去了兴趣，最后还可能对体育课产生一种厌恶心理。鉴于此在体育课的教学中改善手段和方法，激发和保持学生的学习兴趣，以提高教学效果。下面谈谈本人在体育教学中如何培养学生的兴趣的一点浅薄的看法：     

尖端放电的异常现象的探讨

本文对尖端放电的异常现象的机理，从气体放电基本原理出发，进行了详尽的解释。     

一种基于Globus的网格计算模型实现框架

提出了一种基于Globus的网格计算模型实现框架，以提供符合OGSA标准的通用、方便、高效、安全的网格计算平台．在该平台下，提供了网格资源管理和访问的安全性，通过调用Globus中的API函数库和MPICH-G2平台，可解决分布式异构环境下的大规模协同计算问题，同时，为用户可交互式的和安全的访问网格资源提供了透明的、与资源物理位置无关的、统一的服务接口，增强了系统的可用性和可扩展性．     

JXTA在粗粒度并行计算中的应用

介绍一个针对粗粒度并行计算的系统框架,该框架采用JXTA技术,适合众多的操作平台,允许对计算资源进行动态分布式的管理.     

一种低复杂度球译码算法在STBC-OFDM中的应用

STBC-OFDM系统能够提供分集增益和编码增益,但采用ML(最大似然)译码时计算量很大,满足不了高速实时通信系统的要求。本文提出了一种在球半径范围内搜索向量的方法,即球译码方法,并在复域内提出一种基于重新排序的更好的搜索算法。该算法通过优化球半径迭代,加快了信号矢量搜索速度。仿真结果显示:与其他方法比较,该算法在计算量方面具有更大优势,平均浮点运算降低了大约75%,大大提高了运算效率。     

Horde:面向多核集群的并行编程框架

并行程序可以充分发掘硬件计算能力并提高程序性能,但是在多核集群环境中编写并行程序十分复杂。该文提出了面向多核集群的并行编程框架,Horde。Horde提供了一组简单易用的消息传递接口和事件驱动(event-driven)编程模型,用以帮助程序员表达算法逻辑中潜在的并行性,将计算分解与底层硬件结构去耦合,从而简化编写并行程序的复杂度,灵活地在不同的底层结构的集群上进行映射并能保持良好的性能。此外,Horde也提供了有效的任务对象迁移机制,可以实现动态负载均衡与在线容错。在128核集群上的实验表明:Horde可以有效执行并行程序,并且可以实现高效的任务对象迁移。     

Computational manufacturing

This paper presents a general framework for computational manufacturing. The methodology of computational manufacturing aims at integrating computational geometry, machining principle, sensor information fusion, optimization, computational intelligence and virtual prototyping to solve problems of the modeling, reasoning, control, planning and scheduling of manufacturing processes and systems. There are three typical problems in computational manufacturing, i.e., scheduling (time-domain), geometric reasoning (space-domain) and decision- making (interaction between time-domain and space-domain). Some theoretical fundamentals of computational manufacturing are also discussed.     

XB-SIM*: A Simulation Framework for Modeling and Exploration of ReRAM-Based CNN Acceleration Design

Resistive Random Access Memory(ReRAM)-based neural network accelerators have potential to surpass their digital counterparts in computational efficiency and performance. However, design of these accelerators faces a number of challenges including imperfections of the Re RAM device and a large amount of calculations required to accurately simulate the former. We present XB-SIM, a simulation framework for Re RAM-crossbar-based Convolutional Neural Network(CNN) accelerators. XB-SIM can be flexibly configured to simulate the accelerator's structure and clock-driven behaviors at the architecture level. This framework also includes an Re RAM-aware Neural Network(NN) training algorithm and a CNN-oriented mapper to train an NN and map it onto the simulated design efficiently. Behavior of the simulator has been verified by the corresponding circuit simulation of a real chip. Furthermore, a batch processing mode of the massive calculations that are required to mimic the behavior of Re RAM-crossbar circuits is proposed to fully apply the computational concurrency of the mapping strategy. On CPU/GPGPU, this batch processing mode can improve the simulation speed by up to 5.02 or 34.29. Within this framework, comprehensive architectural exploration and end-to-end evaluation have been achieved, which provide some insights for systemic optimization.     

基于材料基因组计划的计算和数据方法

 材料基因组计划的核心理念,是通过计算、数据和实验“三位一体”的方式,变革传统的主要基于经验和实验的“试错法”材料研发模式,把发现、开发、生产和应用新材料的速度提高到目前的两倍。它旨在建立一个新的以计算模拟和理论预测优先、实验验证在后的新材料研发文化,从而取代现有的以经验和实验为主的材料研发的模式。本文论述如何通过计算和数据的方法加快新材料研发,介绍帮助加快新材料发现的高通量集成计算基础平台和软件框架MatCloud。     

DDGrid： a grid computing system for drug discovery and design

0IntroductionCurrently,most applicationsinthe field of drug dis-covery and design are running on high throughput clus-ters.Utilizing these clusters,scientists can run theircompute-intensive and data-intensive applications such asmolecular docking and quantum mechanics in parallelmode and get results efficiently.However,with more ap-plications submitted to a cluster,the workload becomesmuch heavier and the efficiency becomes much lower.Acommon solutionisto upgrade the computing power of theclus…     

计算控制论的理论与应用

针对目前控制论研究分支越来越多、对模型的依赖越来越强、分析算法和控制器设计算法越来越复杂的问题 ,为了有效地提高控制系统设计精度和鲁棒性 ,改善系统分析和设计的环境 ,提出了计算控制论的概念 ,指出了稳定性和耗散性质是系统的基本特征 ,在此基础上导出了系统鲁棒性分析和鲁棒控制器设计所需要的基本定理和公式 .研究结果表明 ,基于系统能量的耗散性概念可以建立系统分析的统一框架 ,基于LMI可以建立系统解算的统一框架 .最后还就计算控制论的研究内容和问题及其有关研究方法、基本数学和物理特征进行了探讨     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.