上海大学学报·自然科学版杂志北大期刊统计源期刊

上海大学学报·自然科学版 2007年第05期杂志 文档列表

上海大学学报·自然科学版杂志计算机工程与科学

UML状态图测试充分性准则的公理化评估第489-496页

关键词: uml状态图；  测试准则；  测试用例；  公理化评估；  

初边值问题的块三对角可扩展并行算法第497-503页

关键词: 块三对角线性方程组；  块对角占优；  并行度；  矩阵分割；  

上海大学计算机工程与科学学院研究机构第503-503页

关键词: 计算机工程；  上海大学；  研究机构；  学院；  科学；  网格技术；  研究院；  

基于Lonworks和Web Server的水闸泵站计算机远程监控系统第504-510页

关键词: 水闸泵站；  lonworks；  计算机监控；  web服务器；  

可信计算与软件工程研究室第510-510页

关键词: 软件工程；  研究室；  可信计算；  国家自然科学基金；  可靠性设计；  现代密码学；  863项目；  软件方法；  

基于聚类肤色模型的人脸检测第511-515页

关键词: 人脸检测；  肤色模型；  聚类；  

智能信息处理研究室第515-515页

关键词: 智能信息处理；  研究室；  国际合作项目；  数据挖掘；  人工智能；  研究人员；  智能系统；  科研项目；  

三维斑图形成的格子Boltzmann方法模拟第516-518页

关键词: 格子波尔兹曼方法；  图灵斑图；  

三值光计算机高数据宽度的管理策略第519-523页

关键词: 三值光计算机；  数据宽度；  监控程序；  

高性能计算研究室第523-523页

关键词: 性能计算；  研究室；  国家自然科学基金；  网格计算技术；  上海市科委；  并行程序设计；  学术队伍；  

降低软件变异测试复杂性的新方法第524-531页

关键词: 软件测试；  测试复杂性；  故障控制；  故障等价；  变异测试；  

XML与关系数据库相互转换中的语义约束完整性第532-538页

关键词: xml函数依赖；  xml范式；  无损映射算法；  

网络与多媒体研究室第538-538页

关键词: 计算机网络；  多媒体应用；  研究室；  三维动画技术；  移动多媒体；  增强现实；  虚拟现实；  几何造型；  

基于SystemC的总线模拟模型研究与实现第539-544页

关键词: soc；  systemc；  总线模拟模型；  接口方法调用；  

数据库技术研究室第544-544页

关键词: 数据库技术；  研究室；  统一数据模型；  p2p技术；  数据库应用；  数据挖掘技术；  web数据库；  数据库理论；