同步合成Petri网系统活性与无死锁性的保持性

Monad的一种自动生成技术

具有高可理解性的二分决策树生成算法研究(英文)

回归支持向量机的改进序列最小优化学习算法

基于联合得分的连续语音识别确认方法

具有已知代理人的不可否认门限代理签密方案(英文)

认证协议两种形式化分析方法的比较

一个加强的NAT-PT模型(英文)

低轨卫星通信网络中动态位置更新管理方案(英文)

安全组播中密钥分配问题的研究

线路速率缓存的重端口交换机方案及行为分析

基于内容的分布式Web服务器调度算法

基于Hessian矩阵的中心路径提取算法

基于非均匀Catmull-Clark细分方法的曲线插值

参数化模型欠、过和完整约束的判定算法