A Theory of Secure Mobile Computation with Confined Movement and Communication

An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.     

VB语言在公路设计中应用

在现代公路、铁路、桥涵设计及计算中．计算机的应用相当广泛，可以说计算机是设计人员的手足，是我们强有力的工具。所以．了解计算机、应用计算机是对我们设计人员的基本要求。众所周知计算机的一切工作都是由程序驱动的，只有学习了程序设计才会懂得计算机的”思维”方式和工作方式；从而真正的了解、应用计算机。并且能从中获得最佳设计方案，能最快速处理数据及绘图，节省我们宝贵的时间。     

基于MIS的材料采购及收入核算设计

从管理信息系统的高度对会计信息系统中材料核算系统的采购及收入核算进行设计,给出了满足AIS(Accounting Information System)及MIS(Management Information System)需求的材料采购及收入核算的处理流程.使用户操作简单、快速、准确,实现入库单数据在AIS与MIS中数据交换.     

新升本科院校C语言程序设计课程质量保障措施与手段研究

新升本科院校由于其特殊性,在一定时期内教学质量得不到有效的保障。本文分析了新升本科院校C语言程序设计课程的特点并提出了保障课程质量的措施与手段。     

弹幕及其最佳编程

本文通过对传统解命中技术的拓展，分析了弹幕火控的一般原理，并就如何进行其最佳编程作了一些有益的探索。