多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

活动边界抛物型方程迎风差分格式

对在一给定的依赖于时间的区域上的三维线性抛物型方程,给出显式和隐式迎风差分格式及修正的迎风格式,证明了差分格式在最大模意义下的稳定性和收敛性。     

解色散方程的二层隐式差分格式

解色散方程的二层隐式差分格式李小平（数学系）不少科技问题涉及波的输运,色散是输运过程中重要的物理现象．文［１］指出,在构造其差分格式时,在一定程度上可将描述孤波的ｋｄｖ方程ｕｔ＋ｕｕｘ＋ｕｘｘｘ＝０看成是拟线性双曲型方程ｕｔ＋ｂｕｕｘ＝０与色散方程ｕ...     

条斑紫菜半浮动筏冷藏网栽培技术初探

对1996—1997和1997—1998两个年度条斑紫菜半浮动筏生产性栽培试验情况进行了总结,证明冷藏网技术是防治条斑紫菜病烂和清除杂藻浒苔的一项有效措施,它在条斑紫菜栽培生产中的应用与常规网帘相比,不仅能获得相当或稍高的产量,而且质量也高,因此经济效益很显著.     

抛物型方程的一个新的高精度显格式

本文给出了解抛物型方程的一个新的显式差分格式,截断误差达０（Δｔ３＋Δｘ４）,是同类的显格式中精度最高的．     

HFC网上行信道时隙同步的性能分析

在分析HFC网络上行信道时隙同步过程的基础上,建立在系统故障恢复情况下上行信道时隙同步过程的数学建模,重点研究了HFC网完成上行信道时隙同步所需的平均时间.文中给出了不同网络规模、冲突解析算法参数值、上行信道带宽分配策略条件下的实验结果.最后提出了优化HFC网上行信道时隙同步性能的措施.     

凸轮-连杆组合机构设计系统

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮-连杆组合机构网上设计系统.     

LF-拓扑空间的强拟紧性

本文将文[1]给出的拟紧概念推广到α-拓扑空间，证明了它是L-好的推广并且它对于正则闭子集是可遗传的．在LF-半正则空间中讨论了强拟紧集与强F紧集的等价性。     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

Cache中TLB的设计及优化

当今微处理器的设计中，为了加快虚拟地址向物理地址转换的速度，通常使用地址转换后备缓冲器TLB(translation lookaside buffer)来加快地址转化的速度．本论基于逆向设计，提出了一种可行的TLB结构，可完成地址转换的功能，并从硬件上支持了不同大小的页表格式．此外，通过引入DVS技术将TLB存储单元中的漏电功耗减少90％以上．