基于运动估算的多分辨率地形分块调度方法

针对常用的基于视点位置进行地形分块调度方法存在可视窗口固定、调度范围和时机不能根据视点运动特点进行调整而导致内存利用率低的问题,提出一种基于运动估算的地形分块调度方法.以数据密度为标准进行多分辨率地形划分,结合四叉树和二维矩阵对地形分块建立空间索引,重点研究以视点位置、视线方向、视点运动向量和地形分块数据量为参数的调度方法;通过计算预加载区域和卸载区域的地形分块,实时更新其调度范围和调度时机.实验结果表明,与基于视点位置的方法相比,该方法平均能提高3～4倍左右的内存有效数据比例和绘制帧速.     

网格环境下地形绘制的任务调度算法研究

随着用户不断增多,导致服务器不能满足多用户实时绘制地形的需求.利用地形实时绘制技术,提出了一种在网格环境下的基于地形分块的T-MIN-MIN任务调度算法.该算法根据地形块相互独立和绘制时块中三角形数目按比例分布的特点进行调度,提高了地形块调度的效率.提出的地形块的代价估算计算方法使得地形块能够按照接近实际值参与调度.实验结果表明,网格环境中地形分块的任务调度方法具有较高的效率.     

基于ROAM的大规模地形渲染研究

针对大规模地形渲染数据量过大的问题,采用ROAM算法进行多分辨率渲染,通过分块地形数据加载,可视区域定位,地形粗糙度和视点位置,对地形进行有选择的细化,提高地形的构建效率.在实时漫游中,通过强制分割和强制合并实时的调整三角网格,从而提高大规模地形帧率.     

基于分块和包围球误差函数的地形绘制方法

针对大规模地形数据庞大、绘制速度慢的问题,提出一种基于数据分块和包围球误差函数的地形绘制方法。该方法对数据进行分块组织,按行列顺序对数据块编号,实现对地形数据的部分读取。依据视点可见性判断,实时调入可见数据块,设计一种基于包围球的误差函数,通过三角形二叉树构建层次细节模型,实现大规模地形实时绘制。实验结果表明该方法可以取得较高的帧速率和较好的绘制效果。     

地形漫游中数据块调度算法研究

在LOD(level-of-detail)算法基础上,提出处理视点相关的交互式大规模地形数据的方法.包括:分块策略对规则网格进行区域分割;通过输入的数据点构建自顶向下的四叉树结构,划分成不同的块层次;在实时漫游过程中,根据视点z轴坐标值的变化导致块层次的改变,重新调入相应数据块构造地形网格,以及当视点x,y轴坐标改变时进行块调度.实验证明了该算法的有效性.     

视相关地形多分辨率模型在飞行仿真中的应用

对于飞行仿真中海量地形数据,现有的软硬件无法直接对其进行实时连续的绘制,采用视点相关的层次细节模型可以有效地提高实时绘制的性能.该文针对飞行仿真中大地形实时显示问题,对现有的视点相关多分辨率模型算法进行了改进,采用四叉树结构来表示地形,给出了节点的数据结构和构建四叉树的算法;提出了一种新的细节层次选择误差度量标准;实现了视点相关的连续多分辨率地形网格的简化和实时绘制.     

大规模地形的LOD生成算法研究

为了实时地绘制大规模地形数据,提出了一种改进的实时连续LOD生成算法.该算法采用分块分层的思想,首先将大规模高程数据进行分块,然后对块中数据按照分辨率的大小分层存储.根据视点位置和网格空间对象误差的关系建立基于四叉树的LOD模型,从而提高了大规模地形的绘制效率.使用该方法描述了太湖流域的地形,取得了良好的绘制效果.     

一种大规模地形的快速漫游算法

地形漫游在仿真、模拟、虚拟现实等领域中有着广泛应用。大规模地形的实时漫游算法一般采用视见体裁剪和与视点相关的连续细节层次等技术来减少实际绘制的地形数据量。通过地形分块和视见体投影三角形扫描算法实现快速裁剪，通过调整顶点的高度值消除裂缝，通过基于三角形的四叉分割实现连续细节层闪地表简化，简化了算法实现，提高了算法效率，在没有利用帧连贯性的情况下，算法可以在PC机上实现较大规模地形的快速交互式漫游。     

一种基于四又树的大规模地形实时生成算法

论文分析了现有地形简化算法,提出了一种基于地形四叉树实时构建地形多分辨率模型的优化算法,该算法采用分层分块的思想。,首先将大规模高程数据进行分块,然后对块内数据按照分辨率的大小分层存储,并给出一种与视点相依赖的对地形节点误差进行评价的方法,在网格的生成中只使用一次四叉树遍历,从而大大提高了渲染速度。     

一种基于四叉树的大规模地形实时生成算法

论文分析了现有地形简化算法,提出了一种基于地形四叉树实时构建地形多分辨率模型的优化算法,该算法采用分层分块的思想。首先将大规模高程数据进行分块,然后对块内数据按照分辨率的大小分层存储,并给出一种与视点相依赖的对地形节点误差进行评价的方法,在网格的生成中只使用一次四叉树遍历,从而大大提高了渲染速度。     

充电桩计量过程中输出与充电需求不匹配问题分析及处理

针对充电桩现场测试设备的充电需求与实际输出不一致,出现电压、电流不匹配的问题,设计了一套检测方案,构建出包括电流检测模块、电压检测模块和示波器检测模块的检测电路,通过采样电压和电流信号,计算出不同负载下充电桩输出电流和电压值,并设计了包括直流电能采集电路,由双通道AD转换AD7380、可编程增益放大器、可编程增益放大器、增益电阻Rg2和电源变换器、低通滤波器电容CL、低通滤波器电阻RL组成的检测电路,在检测电路中,为了提高检测效率,还设置了校正电路。通过试验,本研究方法分析直观,误差低。     

Concept and design of Ad Hoc and Mobile classrooms

Abstract This investigation describes the concept of mobile learning and the design of Ad Hoc and Mobile classrooms. Four classes of mobile learning and implementation of Ad Hoc and eSchoolbag systems are presented. The paper discusses the development of advanced wireless technologies for building an ad hoc classroom to create a modern and new learning environment. As in a traditional classroom, information technology is developed to provide the teacher with aids, such as a blackboard, a board rubber, coloured chalk, a microphone, a voice recorder, a video recorder, and so on, to support teaching and discussions. Additionally, students are provided with an electronic schoolbag which contains electronic books, a notebook, a parents' contact book, a pencil case, writing materials, sheets, a calculator, an address book, and other items. Taking lessons in a lively, vivid and new learning environment, it is expected that students will improve their learning performance with perhaps less attendance in a physical classroom and they gain the flexibility of being able to learn at their own convenience.     

An Interactive Designing System with Virtual Sculpting and Virtual Woodcut Printing

In this paper, we propose an interactive designing method and a system based on it to create 3D objects and 2D images. This system consists of two subsystems for virtual sculpting to create a 3D shape and virtual printing to produce a picture with a printing block. In the virtual sculpting subsystem, a user can form solid objects with curved surfaces as if sculpting them. The user operates virtual chisels, and can remove or attach arbitrary shapes of ellipsoids or cubes from or to the workpiece. A 3D object generated by virtual sculpting looks like a real wooden sculpture. If using a board as a workpiece, a user can generate a virtual printing block. In the virtual printing subsystem, a user can synthesize a woodcut printing image from the virtual printing block mentioned above, a virtual paper sheet, and a printing brush. The user can synthesize a realistic woodcut print with a procedure similar to the actual woodcut printing.     

New instant confirmation mechanism based on interactive incontestable signature in consortium blockchain

The blockchain is a radical innovation that has a considerable effect on payments, stock exchanges, cybersecurity, and computational law. However, its limitations in terms of the uncertainty involved in transaction confirmation are significant. In this paper, we describe the design of a decentralized voting protocol for the election of a block generator in a consortium blockchain and propose a new system framework that allows fast and exact confirmation of all transactions. In addition, to replace a transaction’s owner signature, a new interactive incontestable signature between the dealer and owner is used to confirm a transaction. By means of this signature, the dealer can assure the owner that a transaction will be permanently included in the blockchain in a non-repudiation manner. Moreover, the signatures of all transactions in a block share only one witness that provides membership proof between the block and these transactions. Finally, a security and performance analysis shows that the proposed schemes are provably secure and highly efficient.     

基于RFID的磁盘加密系统

文章在跟踪和分析最新磁盘加密技术研究成果的基础上,设计了一种基于RFID的磁盘分区加密系统。该系统由磁盘分区加密软件Partition Crypt与RFID射频卡、USB射频读写端等硬件模块共同组成。软件部分对计算机硬件系统要求低、安装方便、使用简单、加密效果好;硬件部分由单片机与射频模块完成。其中,USB接口采用虚拟USB接口的方法,降低硬件复杂性与成本,具有很高的性价比。经过测试,整个系统功能稳定、性价比高、保密性好,可为广泛使用的基于Windows操作系统的涉密计算机提供加密技术保障,应用前景广阔。     

关于一种网格运行时结构的若干注记

进程是传统计算机系统的一个核心概念，自1960年出现以来一直沿用至今，进程的一个主要目的是为主体提供一种运行时结构，在操作系统和处理器硬件支持下，代表主体访问和使用各种资源，与传统的单机和并行机计算平台相比，网格计算机中进程所对应的概念面临新的挑战，包括网格资源繁杂、自主控制的条件下的单一系统映像和资源的共享与协同、与特定操作系统的松耦合、时间和空间的流动性、更高级的交互性，提出一种称为网程(grip)的运行时结构，试图解决上述问题，网程运行在网格操作系统之上，代表网格主体，访问和使用网格资源。     

The oberon system

In this paper we describe an operating system for a workstation designed and implemented by the authors within two and a half years. It includes memory management and module loader, a file system, a viewer system, editors for text and graphics, a compiler, a server interface and various tools. The primary motivation was to demonstrate the feasibility of a small, yet highly flexible and powerful, system, a system that is a (decimal) order of magnitude smaller than commonly used operating systems. This is possible due to regularity of concepts and concentration on the essential. The benefits are not only fewer resources needed, but elegance and generality of concepts resulting in transparency and convenience of use and increased reliability. A corner-stone of this approach is genuine extensibility, which is achieved by a new language, in particular by a facility called type extension. It allows for the integration of variables (objects) of a new, extended type in structures of elements of an existing base type.     

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

We show how Ohori and Sasano's recent lightweight fusion by fixed-point promotion provides a simple way to prove the equivalence of the two standard styles of specification of abstract machines: (1) in small-step form, as a state-transition function together with a ‘driver loop’, i.e., a function implementing the iteration of this transition function; and (2) in big-step form, as a tail-recursive function that directly maps a given configuration to a final state, if any. The equivalence hinges on our observation that for abstract machines, fusing a small-step specification yields a big-step specification. We illustrate this observation here with a recognizer for Dyck words, the CEK machine, and Krivine's machine with call/cc.The need for such a simple proof is motivated by our current work on small-step abstract machines as obtained by refocusing a function implementing a reduction semantics (a syntactic correspondence), and big-step abstract machines as obtained by CPS-transforming and then defunctionalizing a function implementing a big-step semantics (a functional correspondence).     

Genetic algorithm-based optimisation of load-balanced routing for AMI with wireless mesh networks

The advanced metering infrastructure (AMI) in a smart grid contains hardware, software, and other electronic components connected through a communication infrastructure. AMI transfers meter-reading data between a group of smart meters and a utility centre. Herein, a wireless mesh network (WMN) with a random mesh topology is used to deploy the AMI communication network. In a WMN, paths are identified using a hybrid wireless mesh routing protocol (HWMP) with a load balancing feature called load aware-HWMP (LA-HWMP). These paths reduce the demand on links with a minimal air time metric; however, the delay in the data transmission of certain smart meters is high, given the large number of retransmissions caused by packet drop. To avert this problem and enhance the end-to-end delay, a genetic algorithm is applied on the LA-HWMP to obtain the optimal path. The optimisation process will result in the selection of paths with minimal delay. The genetic algorithm is developed with a rank-based selection, a two-point crossover, and a random reset mutation with a repair function to eliminate duplicate entries. The proposed method is compared with the HWMP, the LA-HWMP, and a state-of-the-art method that uses a combination of the ant colony algorithm and simulated annealing (ACA-SA) for AMI networks of different sizes. The obtained results show that the path identified by the proposed method yields a shorter delay and higher throughput than paths identified using the other methods.     

CYCLOPS: A mobile robotic platform for testing and validating image processing and autonomous navigation algorithms in support of artificial vision prostheses

While artificial vision prostheses are quickly becoming a reality, actual testing time with visual prosthesis carriers is at a premium. Moreover, it is helpful to have a more realistic functional approximation of a blind subject. Instead of a normal subject with a healthy retina looking at a low-resolution (pixelated) image on a computer monitor or head-mounted display, a more realistic approximation is achieved by employing a subject-independent mobile robotic platform that uses a pixelated view as its sole visual input for navigation purposes. We introduce CYCLOPS: an AWD, remote controllable, mobile robotic platform that serves as a testbed for real-time image processing and autonomous navigation systems for the purpose of enhancing the visual experience afforded by visual prosthesis carriers. Complete with wireless Internet connectivity and a fully articulated digital camera with wireless video link, CYCLOPS supports both interactive tele-commanding via joystick, and autonomous self-commanding. Due to its onboard computing capabilities and extended battery life, CYCLOPS can perform complex and numerically intensive calculations, such as image processing and autonomous navigation algorithms, in addition to interfacing to additional sensors. Its Internet connectivity renders CYCLOPS a worldwide accessible testbed for researchers in the field of artificial vision systems. CYCLOPS enables subject-independent evaluation and validation of image processing and autonomous navigation systems with respect to the utility and efficiency of supporting and enhancing visual prostheses, while potentially reducing to a necessary minimum the need for valuable testing time with actual visual prosthesis carriers.