㈠ 鱼滨西安电子科技大学计算机学院教授
鱼滨教授,西安电子科技大学计算机学院杰出教授,硕士生导师。他的研究领域广泛,包括软件工程、医学影像处理、基于互联网的软件技术、pi演算、虚拟现实等。
鱼教授早年在西北大学软件学院担任副院长,并曾作为访问学者在意大利学习一年。他通过西电出国优秀博士计划引进,具备深厚的学术背景和丰富的研究经验。
鱼教授在软件工程领域的贡献显着,已编着了两本书籍,并正在出版更多。他参与并领导了多项国家级和省部级项目,包括国家自然科学基金项目、重点课题和面上项目。他的研究成果在学术界得到了广泛认可,获得了省部级奖项三项。
在教学方面,鱼教授负责国家自然科学基金项目一项(2012-2015),并承担本科生的“软件工程”和“编译原理”课程。他以其严谨的教学风格和对学生的关怀赢得了广泛赞誉,曾获得陕西省教学成果一等奖和西北大学“505”优秀教师奖。
鱼教授的研究成果涵盖了多个前沿领域。他在虚拟现实、医学影像处理等方面取得显着成果,为相关领域的发展做出了重要贡献。他的研究不仅在学术界有广泛影响,还在工业界得到了广泛应用。
鱼教授在技术上追求卓越,对细节精益求精,其研究成果在学术论文和出版物中得到充分展现。他发表的多篇论文被国际知名期刊收录,并在IEEE等平台上可查。这些研究成果不仅体现了鱼教授的研究实力,也展示了他在学术领域的领导地位。
在教学和研究之外,鱼教授还积极参与科研项目,涉及国家“八五”和“九五”科技攻关项目、国家“863”项目、国家自然科学基金项目以及教育部、陕西省教育厅的重点项目。
鱼教授主编的《编译原理》和《编译原理(21世纪应用型本科系列教材)》在学术界享有盛誉,为学生提供了宝贵的理论指导和实践资源。
在个人品质方面,鱼教授以和蔼可亲、为人正直的形象深受学生喜爱。他欢迎对编程有热情的学生加入他的团队,期待与有志之士共同探索技术的奥秘。鱼教授不仅在学术领域取得了卓越成就,还以他的人格魅力赢得了广泛尊重。
㈡ 倪志伟的论文专着
近五年来,在国内外学术期刊上公开发表论文30多篇,其中有15篇论文被EI或ISTP收录。出版的教材或专着有:
1.《Foxpro实用教程》,南京大学出版社,1994年(主编)
2.《用C++建造专家系统》,电子工业出版社,1996年 (副主编)3.《机器学习与智能决策支持系统》,科学出版社,2004年5月(副主编)
4.《编译原理》,北京希望电子出版社,2005年11月(主编)
5.《现代物流技术》,中国物资出版社,2006年1月(主编)(被评为国家“十一五”规划教材)
6.《物流信息系统》,中国物资出版社,2006年2月(副主编)
7. 《智能管理技术与方法》,科学出版社,2007年10月(主编)
8. 《动态数据挖掘》,科学出版社,2010年8月(主编)
近年来,发表的主要学术论文如下: [1] Zhangjun Wu, Xiao Liu, Zhiwei Ni, Dong Yuan, Jinjun Chen, Yun Yang: A Market-Oriented Hierarchical Scheling Strategy in Cloud Workflow Systems, Journal of Supercomputing, Volume 63,Issue 1,pp.256-293,2013.(UT WOS:000313166000013).[2] Xiao Liu,Zhiwei Ni,et al.A Novel Statistical Time-Series Pattern based Interval Forecastting Strategy for Activity Durations in Workflow Systems.Journal of Software and system,2011,(84),354-376.(SCI indexed)[3] Liping Ni, Zhiwei Ni, YaZhuo Gao.Stock trend Prediction Based on Fractal Feature Selection and Support Vector Machine.Expert system with applications,2011,(38),5569-5576.(SCI indexed)[4]Xiao Liu,Zhiwei Ni,et al.A probabilistic strategy for temporal constraint management in scientisfic workflow systems.Concurrrency and Computation :Pratice and Experience,2011,23(16),1893-1919.(SCI indexed) [5] Xiao Liu, Zhiwei Ni, Zhangjun Wu, Dong Yuan, Jinjun Chen, Yun Yang: A Novel General Framework for Automatic and Cost-Effective Handling of Recoverable Temporal violations in Scientific Workflow Systems, Journal of Software and System,2011,(84),492-509. (SCI indexed ) [6]Zhiwei Ni,Junfeng guo ,et al.An Efficient Method for Improving Query Efficiency in Data Warehouse.Journal of software,2011,6(5),857-865.[7]高雅卓, 倪志伟等.连续属性上的OLAP查询建模方法研究.情报学报,2011,30(4),372-379.[8]张以文,倪志伟等.云计算环境下动态虚拟企业伙伴选择模型.计算机科学,2011,38(7),212-215.[9]倪志伟,公维峰等.数据流中随机型分型维数计算方法研究.计算机科学,2011,38(4),209-212.[10]倪志伟,吴昊等.基于改进的经验模态分解的时间序列匹配算法.系统仿真学报,2011,23(11),2395-2399.[11]姜苗,倪志伟等.数据流时间窗口中闭频繁项集的在线挖掘.中国科学技术大学学报,2011,(8),729-745.[12] Zhangjun Wu, Zhiwei Ni, Lichuan Gu, Xiao Liu: A Revised Discrete Particle Swarm Optimization for Cloud Workflow Scheling, 2010 International Conference on Computational Intelligence and Security (CIS2010), Nanning, China, 11-14 Dec. 2010 (EI indexed) [13] Xiao Liu, Zhiwei Ni, Zhangjun Wu, Dong Yuan, Jinjun Chen, Yun Yang: A Framework for Handling Fine-Grained Recoverable Temporal Violations in Scientific Workflows, 16th IEEE International Conference on Parallel and Distributed Systems (ICPADS2010), Shanghai, China, December 7-11, 2010, on Sept. 05, 2010 (EI indexed). [14] Yazhuo Gao, Zhiwei Ni, Yuxiao Zhao.A scheling strategy for OLAM tasks and its application in a financial BI system Business Intelligence and Financial Engneering .2009会议论文集: 435-440 (EI收录) [15] Zhiwei Ni, Dan Han, Gongrang Zhang, Yazhuo Gao.Extension CBR Retrieval.AICI2009:224—227 (EI收录) [16] Zhangjun Wu, Zhiwei Ni,Chang Zhang, Lichuan Gu. A Novel PSO for Multi-stage Portfolios Planning, IEEE International Conference on Artificial Intelligence and Computational Intelligence (AICI2009),71—77 (EI收录) [17] Chang Zhang, Zhiwei Ni, Zhangjun Wu,Lichuan Gu. A Novel Swarm Model with Quasi-Oppositional Particle, International Forum on Information Technology and Applications (IFITA 2009), pp.325-330 (EI收录) [18] Li Fenggang, Wang Xiaolu, Ni Zhiwei, Ni Liping. Semantic Analysis Based Literature Transaction System of Xi-An Medical Authority, Intelligent Information Management Systems and Technologies (2010),Volume6,No.3 ,219—226 [19] Xiao Liu, Jinjun Chen, Zhangjun Wu, Zhiwei Ni, Dong Yuan, Yun Yang.Handling Recoverable Temporal Violations in Scientific Workflow Systems: A, Workflow Rescheling Based Strategy,2010,pp.534-537 [20]Chao Wang ,Zhi-wei Ni ,Jun-fen Guo.A Fast Bidirectional Method for Mining Maximal Frequent Itemsets,The Third International Joint Conference on Computational Sciences and Optimization (CSO 2010),447—450 [21]倪志伟,高雅卓,李伟东,束建华.基于矩阵的增量式关联规则挖掘算法.计算机工程与应用, 2008,44(13):153-155 [22]刘斌,倪志伟,赵敏.基于属性重要性的贪心算法的改进算法.合肥工业大学学报,2010,33(8):1185-1188 [23]王丽红,倪志伟, 高雅卓.改进的蚁群算法求解多目标车间作业调度问题.计算机技术与发展,2008 ,18(10):49—52 [24]吴姗,倪志伟,罗贺,郑盈盈.一种基于密度的无监督联系发现方法.中国管理科学,2008,16:29—32 [25]梁敏君,倪志伟,倪丽萍,杨葛钟啸.基于网格与分形维数聚类算法.计算机应用,2009,29(3):830-833 [26]倪丽萍,倪志伟,吴昊,叶红云.基于分形维数和蚁群算法的属性选择方法.模式识别与人工智能, 2009,22(2):293—298(EI收录) [27]倪志伟,倪丽萍,杨葛钟啸.分形技术在案例库维护中的应用.计算机应用,2009,29(6):1598—1604 [28]倪志伟,吴姗,胡汤磊.联系发现在证券客户划分中的应用研究.计算机工程与应用, 2009, 45(18):201--204 [29]Dan Han, Zhiwei Ni, Gongrang Zhang, Hongyu Wang, Jun Yan. Research and Design the Extension Case BaseBased on CBR. BIFE International meeting, 2009,:210—214 (EI收录) [30]郑盈盈,倪志伟,吴姗,王丽红.基于移动网格和密度的数据流聚类算法.计算机工程与应用,2009,45(8):129--131 [31]王园园,倪志伟,赵裕啸,伍章俊.基于决策树的模糊聚类评价算法及其应用.计算机技术与发展, 2009,19(9):232-235 [32]严军,倪志伟,王宏宇,韩丹.案例推理在汽车诊断中的应用.计算机应用研究. 2009,26(10):3846-3848 [33]刘慧婷,倪志伟.基于EMD与交叉覆盖算法的个人信用的评估.计算机工程与设计,2009,10:4472—4491 [34]刘慧婷,倪志伟.基于EMD与K-means算法的时间序列聚类.模式识别与人工智能,2009.10 :803—808 [35]倪志伟,李建洋,李锋刚, 杨善林.案例决策技术及案例决策支持系统研究综述.计算机科学,2009,36(11):18—23 [36]郭峻峰, 倪志伟, 高雅卓, 伍章俊.一种提高数据仓库查询效率的有效方法.计算机集成制造系统, 2009,15(12):2451-2457 (EI收录) [37]高雅卓,倪志伟,郭峻峰,胡汤磊.用户兴趣驱动的冰山数据立方体构建及更新方法研究.计算机科学, 2009,36(12):179-182 [38]赵裕啸,倪志伟,王园园,伍章俊.SQL Server 2005数据挖掘技术在证券客户忠诚度的应用.计算机技术与发展, 2010,20(2):229-232 [39]李锋刚,倪志伟, 郜峦.案例推理和多策略相似性检索的中医处方自动生成.计算机应用研究,2010, 27(2):544—547 [40]李建洋,倪志伟,郑金彬,谢秀珍.案例知识维护技术的研究进展.武汉工程大学学报,2010,32(3):96-99 [41]赵敏,倪志伟,刘斌.K-means与朴素贝叶斯在商务智能中的应用.计算机技术与发展, 2010,20(4):179-182 [42]王宏宇,倪志伟,严军,韩丹.灰度关联理论在CBR中的应用研究.计算机技术与发展, 2010,20(5):96-100 [43]罗义钦,倪志伟,杨葛钟啸.一种新的数据流分形聚类算法.计算机工程与应用, 2010,46 (6): 136-13 [44]查春生,倪志伟,倪丽萍,公维峰.基于相空间重构的股指时间序列相关性分析,计算机技术与发展,计划在2010年第8期刊载 [45]姜苗,倪志伟,王超,戴奇波.在线挖掘数据流混合窗口中闭频繁项集,系统仿真学报, [46]辜丽川,倪志伟,张友华.一种基于核矩阵迭代学习的范例相似度算法,模式识别与人工智能。 [47] Case base maintenance based on outlier data mining,Proc. 4th Intl. Conf. on Machine Learning and Cybernetics,IEEE Press, China, 2005.8 ,2861-2864 [48] 基于相似粗糙集的案例特征项的约简维护, 计算机科学,Vol.32,No.8.A , 2005,93-96 [49] 数据流管理与挖掘研究, 合肥工业大学学报(自然科学版), Vol.28, No.9 , 2005,1157-1162 [50] Case-Based Reasoning Framework Based On Data Mining Technique. Proceedings of the Third International Conference on Machine Learning and Cybernetics, Shanghai, August,2004,2511-2514 [51] 基于案例和规则相结合的推理技术,小型微型计算机系统,2004,Vol.25,No.7,1155-1158 [52] 集成范例推理系统的研究,系统仿真学报,2004,Vol.16,No.4, 803-806 [53] 范例推理中范例自动获取的数据挖掘技术,天津大学学报,2003年,Vol.36,No.1,82-86 [54] 基于知识发现的范例推理系统,计算机科学,Vol.30,No.5,2003年,26-29 [55] 范例推理系统中的范例库维护,小型微型计算机系统,Vol.24, No.10,2003年10月,1825-1828 [56] Integrated case-based reasoning,Proceedings of 2003 International Conference on Machine Learning and Cybernetics ,Xi’an,2003,1845-1849 [57]范例推理中的知识发现技术,小型微型计算机系统,Vol.23,No.2,2002年2月,159-162 [58]范例库中特征项权重的发现技术,厦门大学学报, Vol.41,No.2,2002年3月,168-172 [59]用神经网络来实现基于范例的推理系统,计算机工程,2002年7月,Vol.28,No.7 [60]A neural network case-based reasoning and its application , Proceedings of 2002 International Conference on Machine Learning and Cybernetics ,Beijing, 2002.11,529-532 [61]范例库上的知识发现,南开大学学报,2002年12月,Vol.35,No.4 [62]神经网络专家系统及其数据挖掘技术的探讨,系统工程学报,2001年,Vol.16, No.1, 61-65
㈢ 张昱的人物经历
先后主持了4项和英特尔公司合作的项目和1项中国科学院计算机科学重点实验室开放课题基金项目;作为技术骨干参加了4项国家自然科学基金面上项目和1项高等学校博士学科点专项科研基金。
主要研究方向:
程序设计语言理论与实现技术,特别是面向新型系统结构的并行语言设计和编译、并行程序分析和验证,即时编译器辅助的垃圾收集技术
XML数据处理等
近年来完成和正在进行的项目名称:
新并行编程语言特性与范例的设计与可编程性研究
JIT辅助的垃圾收集
软件安全性的验证和编译
XML流查询引擎研究
Perl到Java虚拟机的移植
面向开放式运行平台的类型化低级语言
程序分析技术研究
“本地电话网网管与集中监控系统”和“电信动力及环境集中监控系统”
2006年 青年教师优秀教学津贴
2005年《编译原理课程系列教材建设》安徽省教学成果三等奖
2001年 王宽诚育才奖
教材及教研论文:
陈意云,张昱,《编译原理》,普通高等教育“十五”国家级规划教材,高等教育出版社,2003年。ISBN:7-04-013367-9
陈意云,张昱,《编译原理习题精选与解析》,高等教育出版社,2005年。ISBN:7-04-017812-5
张昱、陈意云、郑启龙,编译原理课程的教学方法和教材建设,中国大学教学,pages 61-62, 2005.7.
陈意云、张昱、郑启龙,《编译原理》的教学与实际相结合的探讨,教育与现代化,77(4), pages 32~36,2005.
论文:
吴晓勇、张昱、孙东海,带Order子句的XQuery在XML流上的查询,小型微型计算机系统,已录用.
曹益华、张昱,DTD可选的XML访问控制研究,小型微型计算机系统,已录用.
孙东海、张昱、吴晓勇,XML流上的XQuery前缀共享查询,计算机科学,已录用.
吴晓勇、张昱、孙东海,XQuery在XML流上查询的结构化连接实现,计算机工程,已录用.
张昱、刘玉宇,一种Java字节码优化框架,计算机工程,已录用.
张昱,一种构建Java语言扩展的编译器框架,计算机工程,已录用.
Ming Fu, Yu Zhang. Homomorphism Resolving of XPath Trees Based on Automata. To appear in APWeb/WAIM 2007, June 2007.
张昱、吴年,一种逐层提升缓冲的XML流查询自动机,小型微型计算机系统,28(3),2007.3.
Xiong Fu, Yu Zhang, and Yiyun Chen. Data-Layout Optimization Using Reuse Distance Distribution. In Proceedings of the 1st International Workshop on Embedded Software Optimization (ESO 2006) EUC Workshops 2006, LNCS 4097, pages 858-867, 2006.
付雄、张昱、陈意云,基于复用距离的cache失效率分析,小型微型计算机系统,27(9), pages 1777-1781,2006.9.
张昱、吴年,XSIEQ-一种立即计算的XML流查询系统,小型微型计算机系统,27(8), pages 1514-1518,2006.8.
张磊、张昱、陈意云,Perl扩展到JVM的移植,计算机工程,32(3), pages 94~96,2006.2.
张昱、张磊,LALR(1)解析器的再工程:剖析YACC和CUP,计算机工程,31(15), pages 50-52,2005.8.
张昱、李凡,用Xerces-J进行基于XML Schema的XML局部验证,小型微型计算机系统,26(8), pages 1369-1373,2005.8.
徐丽、张昱、陈意云,Perl后端到JVM的移植,计算机工程,31(8), pages 82-83,2005.4.
张昱,付雄,含XPath的表达式的解析与应用,小型微型计算机系统,2004,25(3):442-446。
张昱,XForms--下一代的Web窗体,小型微型计算机系统,2003,24(9):1658-1664。
于海亮,张昱,陈意云,Teleform--一种基于XML的Web界面描述模型,小型微型计算机系统,2003,24(12):2111-2117。
张昱,林志勇,陈意云,分布式多媒体系统中的媒体同步,小型微型计算机系统,2003,24(3):444-447。
周达仁,张昱,于海亮,陈意云,三层结构WEB界面模型的绑定机制,小型微型计算机系统,2002,23(5):536-539。
张昱,任才俊,郑连城,基于规则描述的分布式电信业务工单处理系统,小型微型计算机系统,2001,22(8):1007-1010。
林志勇,张昱,陈意云,DirectShow在MPEG-1流式播放器中的应用,计算机工程,2001,27(6):140-142。