CORBA及其与Java的结合

介绍了分布式对象技术CORBA，并对CORBA技术和Java技术结合的曲范Java IDL技术进行了分析和应用。     

塑料注塑模具设计程序

本文对塑料注塑模具设计程序作了探讨。为了使设计的塑料模具不仅要保证规定的成型方法生产出优质的塑料制品，而且要便于模具制造机械加工以及塑料成型操作方便，因此，选择合理的设计程序是重要课题。本文对塑料制品的技术要求，分析塑料制品形状特点，确定模具结构设计，计算、绘制模具设计装配工作图、模具零件工作图等方面作了介绍。     

运用C语言编制浇注系统计算程序浅谈

本文运用C语言编程解决铸铝件浇注系统设计过程中的大量计算问题，把其浇注系统设计中的繁琐计算过程编制成参数化的C程序。同时介绍了C语言应用程序的运行环境，结构及程序编制过程，调试及运行方法等方面的内容，并列举了应用实例。     

货车车体疲劳寿命预测系统的研制

为使货车车体设计人员能够快速地对其产品结构,包括焊缝在内的设计细节进行疲劳寿命预测,基于美国AAR标准中大量载荷谱和焊接接头S-N曲线,以Visual Studio.NET为软件设计平台,研制了能以人机交互方式实现在I-DEAS后处理提取FEA结果中的应力细节,计算待评估点疲劳损伤值和设计寿命的货车疲劳寿命预测系统.以某公司出口的粮食漏斗车车体关键部位的抗疲劳设计为例,验证了该系统的实用性.     

线切割中的非圆光滑曲线设计与加工

非圆光滑曲线的线切割是加工过程中的难题，文中利用插值多项式的方法构建了非圆光滑曲线的数学模型，利用VB实现对多项式的求解，阐明了由多项式组成的曲线在线切割中的加工方法，使复杂的曲线设计变得简单，编制的程序具有实际应用价值。     

沥青玛碲脂碎石混合料SMA配合比设计软件的开发与使用

SMA配合比设计是决定SMA路面结构能否成功的关键，本文介绍一种SMA配合比设计辅助软件，通过它可以帮助公路工程技术人员完成SMA配合比设计任务。     

公路计重收费系统的设计与实现

主要介绍公路计重收费的必要性和实施原则以及实现方法和实现过程。采用SQL Server 2000作为数据库后台,实现计重收费数据和属性数据的统一管理,采用C#编程实现计重收费系统,提供对收费站内相关信息的查询和编辑功能。     

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.