中值定理和洛毕达法则证明的新探索

本文提出一种新的辅助函数用以证明拉格朗日中值定理和柯西中值定理.同时用这种辅助函数直接证明了洛毕达法则,而不必借助于柯西中值定理.     

关于复变函数中“罗比达法则”的讨论

本文对李正兴所作《复变函数中的罗比达法则》一文进行一些讨论,并对他提出的定理一给出了另外两种证明方法。     

单件车间排序问题的一个启发式算法

本文提出了一个启发式算法,经计算表明,这个方法对于以加工周期为目标函数的单件车间排序问题,效果是比较好的。     

一元函数微分法的注记

本文给出了一元函数微分学中一个求导运算法则。此法则是用多元函数微分的方法来运算一元函数的导数,并从理论上给出了严格的证明。这样,便把一元函数与多元函数的微分法统一了起来。利用此法则运算某些函数的导数也起到了简化作用。     

PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

三元液体混合物等性质线的制作及其应用

描述了三元液体混合物等性质线的制作过程 ,并通过实验测定三元体系四氯化碳( 1 ) -苯 ( 2 ) -丙酮 ( 3)在 2 0℃时的密度和折光率 ,绘制出了等密度曲线和等折光率曲线。结果表明此等性质曲线可用于准确定量分析 .     

活用一主二副三走法则

敏锐的眼光加上正确的方法、伴以果敢的行动并秉持积极的心态和持续的毅力，相信你的组织网会突破瓶颈，获得真正成功，从而实现人生美好的梦想!     

判断程序能否并发执行C语言实例

现代操作系统普遍采用多道程序并发执行方式。由于并发执行的程序具有结果不可再现性的特点,即每次运行结果可能不同,因此操作系统必须按Bernstein条件判断程序间是否可以并发执行。本文提供了用C语言编写的判断程序之间是否可以并发执行的实例。     

基于HLA的可扩展模型库构建方法研究

在HLA仿真框架下，仿真资源的重用是一件意义重大的事情，这也是FEDEP过程要着重解决的问题。然而实际工作中，重用SOM构建FOM的工作经常被不同SOM中类的继承关系造成的语义上的歧义所困扰，究其原因，没有一个统一的模型库视图是其根源。为此，提出一种新的模型库分层构建的方法，这种方法按照对象之间的继承和组合关系把对象模型库分成相互联系的两层，它使得模型库可以自由扩展，避免库中信息之间语义上歧义的出现。     

基于RSA加密算法的扑克游戏

随着Internet的普及,网络安全问题变得日益重要,我们需要一种合法的手段来保证通讯双方的安全性,于是产生了一系列的协议.本文从密码协议中的自动执行协议入手,研究了基于公平硬币抛掷协议的智力扑克游戏,协议中应用RSA密钥体制.程序中应用的随机数发生器使通信的公平性得到了进一步的保证.