面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。     

电子邮件系统R-MAIL的安全机制设计

介绍研制的图形视窗式电子邮件系统Ｒ－ＭＡＩＬ中的安全机制的设计思想。     

城市疫情传播和复工强度建模及相关性分析

以多源大数据为基础构建模型,分析全国34个典型城市因疫情导致的人口迁徙变化和人力缺口,并通过迁徙基数推算其他各城市的复工强度。仿真结果证明SEIR仓室模型能够较好地模拟此次疫情发展趋势,利用其估计各城市内部新型冠状病毒感染肺炎的基本再生数,结合人力缺口对复工强度进行回顾性的矩阵分析,以总结我国此次抗疫经验。相关性分析阶段对K-means无监督聚类后的城市集群进行回归分析,结果表明对于大部分城市而言,复工强度的大小与其人力缺口、基本再生数以及人均GDP水平有明显的相关关系。     

磁流体密封的特性

介绍了磁流体的制造方法及其性质,并且着重阐述了磁流体密封的原理、特性、耐压状况及其耐久性。     

Implementing Operating System Support for Extended Trusted Path in TPM-Capable Environments

Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.     

谈3D—Studio的开发及应用技术

介绍了作为多媒体计算机技术中主要媒体之一的电脑动画，特别是３ＤＳ真三维动画技术的制作过程及其应用形式。３ＤＳ本身集建模，建材质动画设计，影片制作于一体，通过改变视角，视距，视野及景深，造成三维空间位置和形状的改变，增强可视性。     

A DOMINANCE APPROACH FOR PLANE PARTITIONS

By developing the dominance technique of nondecreasing integer sequences into a multifoldform,we introduce a new approach for the enumeration of plane partitions,which can be used togenerate most of classical theorems in this field.The treatment presented here may be more accessibleto readers than the earlier methods of algebra,analysis and algorithm.     

互反公式及其多重模拟

应用经典的Ｌａｇｒａｎｇｅ 级数反演公式，本文建立了构造一维互反关系的一般方法。 作为这一方法的推广和扩充，文中给出了相应的多重模拟。     

示踪剂透过动脉壁的分层扩散模型及其精确解

考虑到动脉壁的非均质结构，建立了示踪剂透过动脉里的分层扩散模型，并得到了解析解．讨论了内膜和介质的扩散阻力对示踪剂跨壁传输的影响，为进一步研究动脉硬化病的成因提供了一个理论根据．     

融合量子密钥的内网文件加密系统

随着量子计算技术快速发展，基于计算复杂性的加密技术正面临着巨大的威胁，单一的防火墙技术无法完全阻止黑客的侵入和发自内网的攻击。采用防火墙与量子保密通信技术相结合的策略，能够有效解决上述问题。文中设计了一种基于量子密钥的局域网内文件安全系统，使用量子密钥并结合"一次一密"的方式对局域网内部隐私文件进行加密，能够有效防范文件失窃带来的损失。系统包括2个部分：以文件处理单元为核心的客户端软件，以加/解密信息管理模块为核心部件的服务器。为了增加密文的复杂性、密钥的存储安全性、计算可行性，提出了密文混合拼接、弱口令错位置乱、密钥智能匹配3种密钥处理方法，有效提高了系统的整体安全性。经系统功能测试与网络仿真分析，验证了系统的有效性、安全性及可行性。