基于保护分散式抽象方法的可扩展操作系统设计

为了提供高性能和柔性，操作系统内核应该只保留最小的功能，今天的操作系统大而低效，更缺乏柔性，我们提出了保护分散式操作系统抽象方法，集成了分散式操作系统抽象和保护抽象的方法，这种新的安全方式在分散式抽象系统里共享用户级的抽象，能够使非特权，不信任的任务在运行时定义并安全的共享生成的抽象，它在对相同的抽象重复调用时，通过消除上下文切换的需求和对通常情况进行优化，可获得较好的柔性，保护分散式抽象的设计强调简单并正确性证明，易于理解和使用，文章介绍了保护分散式操作系统抽象方法，并运用该方法开发了一个基于共享库的原型操作系统－ExLinux/LibOS.     

2n周期优秀二元序列生成及其特性分析简

The 2ⁿ-periodic binary sequence with high linear complexity and high k-error linear complexity is defined as an excellent sequence. We design a genetic algorithm for generating excellent sequences and studying their features. Choosing the N-periodic binary sequences, where N=8, 16, 32, k=N/4, we search the resulted sequences by the genetic algorithm with various parameters, and compute the linear complexity profiles of results sequences by using the Lauder-Paterson algorithm, to confirm that the obtained sequences are the real excellent sequences. By numerous experiments, we speculate that the k-error linear complexity of the N-periodic binary excellent sequence meets the formula LC_k(S)≤N-2k+1, when k=N/4、N/8 (we also do experiments on sequences with periods 64, 128 and 256). By the brute-force method we obtain that the proportion of the excellent sequence in all binary sequences of the same period is 1/4.     

基于文献阅读研讨的研究生专业课程教学评价方法

研究生文献阅读研讨课是上海大学研究生专业课程改革的一次有益尝试,该课程在教学内容和教学方式上与传统的教师主导型课堂教学模式有较大差异,文章在介绍研究生文献阅读研讨课教学特点的基础上,提出一种以文献阅读和研讨为主的研究生专业课程,通过分析近三年计算机学院的评估结果,提出改进措施。     

基于黑板Agent结构的应用模块工作流通用模板设计

分析了基于黑板Ａｇｅｎｔ结构的工作流管理体系,提出了面向产品协同设计的应用模块模型化管理方法,最后介绍了基于黑板Ａｇｅｎｔ结构的应用模块工作流通用模板的设计与实现方法。     

面向工程应用的群体DSS分布式问题求解算法及实现

文章在智能Agent协同控制技术基础上，提出面向工程领域分布式问题求解的群体DSS多库协同工作模式．并重点分析了分布式问题求解的群体协同控制策略，实现了工程领域问题的分布式问题求解算法，最后通过某飞行器设计实例进行了验证。     

面向协同设计系统的分布式群决策支持技术研究

在探讨业务处理中间件的分布计算模式、多主体控制以及分布式问题处理多库管理技术基础上,该文重点分析群体决策支持的协问设计系统分布计算环境;提出并实现了领域问题求解策略、应用模块的模型化管理方法以及分布式问题求解及其过程监控.同时深入研究协同设计系统业务处理中间件的信息资源共享和分布式问题求解的多维信息交互过程,实现了协同设计系统开放式群体决策集成开发平台.最后以预研项目为研究背景,实现了设备设计的产品集成化开发设计,取得了明显的实际应用效果.     

基于TCPN的LBS动态服务组合建模与验证

针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.     

“Java语言程序设计”课程教学改革和探索

本文结合笔者多年的教学改革实践经验,从教学模式、教学手段、实验内容和考核方式多个方面探讨了Java程序设计的课程教学改革。经实践能提高学生的编程能力,自学能力,沟通能力和团队合作能力。     

完全学分制下高校教务管理工作的实践与探索

学分制对高校教务管理工作带来了极大的挑战。在分析完全学分制下教务管理工作特点的基础上,本文结合自身的探索实践经验,介绍了学生自主选课制度的服务主导型工作方式和工作要点。最后,结合上海大学理学院的实际情况,探讨了完全学分制下教务管理工作所积累的实践经验,为提升教学环节的教务工作质量提供了借鉴和帮助。     

混合密钥管理的传感器网络聚类算法设计实现

密钥管理是解决传感器网络安全的关键技术。现有的密钥管理机制,不能很好地优化系统的整体性能,基于连通支配集对传感器网络进行聚类,在簇内实现集中式密钥管理,簇间通过通信主干实现分布式密钥管理,从而构建安全的传感器网络。实验表明,通过混合式的密钥管理,可以有效延长网络生命期。