操作系统若干问题的Petri网模拟

本文首先对“系统”“模型”“模拟”等概念作非形式化的说明。接着用Petri网对操作系统中的一个著名问题——“生产者消费者”问题加以模拟。以此为例,详细说明系统和它的模型之间的密切关系。接着介绍网络运算的概念和以此为工具构造Petri网模型的方法步骤。最后用上述的理论和工具对操作系统中若干重要问题加以模拟。     

对C.L.Liu定义的格中两条基本定理的注记

本文给出例子来说明C.L.Liu所定义的格中两条基本定理是不能成立的。然后,对其附加点条件,在新的条件下证明了它们的结论是成立的。     

一种基于Lucas序列的盲签名方案

根据Ｌｕｃａｓ序列的特点,设计了一种新的盲签名方案,其安全性是基于大数分解问题的。该方案签名和验证过程简单,通信成本低,因而有较高的安全性和实用性。     

分析逻辑程序的一种有效工具—推导格式

本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。     

两种有代表性软件图自动布局的研究

研究软件图自动生成中的软件图自动布局问题．把软件图分为无向的和有向的两大类，对于无向软件图，选择Ｅ－Ｒ图作为其代表；对于有向软件图，选择数据流图作为代表．对这两种图，分别给出其可读性准则，并建立了Ｅ－Ｒ图的行列整齐对联结式布局算法和数据流图的主流向式布局算法     

知识库上逻辑程序图搜索的一种启发函数

本文把A~*算法的启发搜索应用到逻辑程序的求解过程中,就逻辑程序这一特定的问题领域,构造出A~*算法相应的一种启发函数。利用该启发函数,通过A~*算法可求得逻辑程序的“最佳解”。     

FSAE赛车悬架安装座三维定位尺寸算法与CAE分析

该文旨在探索一种专门汽车悬架安装座定位尺寸的确定方法．首先根据机械制造工艺和几何原理,建立定位尺寸计算的工程模型;然后利用AutoCAD软件建立悬架安装座处三维结构几何模型,模拟各种安装位置,标注定位尺寸,最后对工程模型计算结果和软件标注结果进行比较和评价．研究表明：随着旋转角度增加,定位点A与球关节中心O点高度差也增加,而定位点A与球关节中心O点Y向差则减少．文申提出的工程模型可以作为汽车暴粲安装时的理论指导．     

基于共享验证的认证加密方案

给出了一种具有（t,n）共享验的认证加密方案,其安全性基求解离散对数问题,在这方案中签名者用私钥和组G的公钥生成信息签名的密文,n个验证者至少有t个成员同时授权,接收者才能恢复信息。在恢复信息时,接收者能认证信息,具有检测欺骗行为和识别骗子的能力。