CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

图书馆基础工作新论--图书馆基础工作中的纰漏对现代化管理的影响

笔者通过解剖图书馆基础工作中的纰漏给自动化管理带来的影响,从正反两方面论证了在图书馆基础工作中,重视各项具体工作的标准化、规范化对现代化管理的重要意义.也阐述了造成工作失误的原因和解决问题的注意事项及基本措施.     

基于Web服务的企业基础信息集成模型

政府部门中企业基础信息存放分散,系统和数据源异构,共享和交换困难,形成了“信息孤岛”。提出了一种基于Web服务的解决模型,该模型实现了异构系统、异构数据源之间的数据交换和信息共享,有效地解决了“信息孤岛”的问题。     

刚性道面的温度效应

为了研究受温度荷载作用的刚性道面，论文介绍了一种有限元半分析方法。为了便于分析，道面理想化为文克勤弹性基础上的各同性的薄板。     

理科电子信息基础课程教学改革探讨

本文在对国内外部分学校调查的基础上,介绍了结合自身的状况在教学改革和队伍建设方面所采取的一些措施以及取得的效果。     

外来语与汉语引进外来语的方式探讨

外来语的发展趋势呈现出新词趋同化、信息集约化和词汇新潮化的特点。外来语大量流入汉语是一种潮流,引进外来语的方式各有优势,字母词的出现被认为是音译外来语的突破。在积极探索外来语引进的同时,应注意汉语发展的规范化。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

ISS第六代先进EVA手套的发展及验证

简介 航天员能否成功完成舱外活动（EVA）高度依赖于其航天服手套的性能。自从航天飞机工程启动后，基础型的手套设计得到了不断的改进，在航天飞机中使用的EVA手套，最初称为1000系列，至今已经发展到4000系列。在这几代的改进中，材料的发展是最初的着重点。这些材料的变化大幅度提高了手套的性能，但是基础设计、硬件和设计理念都没有显著的改变。     

探索建立航天企业快速响应机制的途径

重点介绍了应用成组技术的哲理和方法,重组企业流程,建立快速响应机制的思路,并强调了基础标准在企业流程再造中的重要作用.