用案例教学法指导数据结构与算法教学

针对传统数据结构与算法教学中存在的问题,在分析案例教学法在程序设计类课程教学中的地位与作用的基础上,本文提出"精选典型案例—设计生动课件—激活课堂教学"的观点,结合我院学生与课程团队教师的实际,在数据结构与算法课程教学设计与改革方面进行教学实践,取得了显著的效果。     

Modified HSS iteration methods for a class of complex symmetric linear systems

In this paper, we introduce and analyze a modification of the Hermitian and skew-Hermitian splitting iteration method for solving a broad class of complex symmetric linear systems. We show that the modified Hermitian and skew-Hermitian splitting (MHSS) iteration method is unconditionally convergent. Each iteration of this method requires the solution of two linear systems with real symmetric positive definite coefficient matrices. These two systems can be solved inexactly. We consider acceleration of the MHSS iteration by Krylov subspace methods. Numerical experiments on a few model problems are used to illustrate the performance of the new method.     

Synchronized Cooperative Schedules for collaborative resource availability using population-based algorithm

Resource availability in wireless devices has many constraints with major the dynamically changing topology nature of such environments. A challenging research issue is to combine the availability of the requested resources and the time-access for sharing resources of each device with the synchronized motion for time duration t as in real time Vehicle-to-Vehicle (V2V) communication, in a cooperative manner. This work investigates this scenario using resource sharing slots that are scheduled according to the direction movement and the connectivity within a specific allowed range. Additionally a Synchronized Cooperative Schedule scheme is proposed where the duration of the requested resources that are allowed to be exchanged within a given path, is provided by the nodal delay table, where nodes with high ping delays are isolated from the requested path. The proposed scheme evaluates also the users’ grade of participation in the sharing process of the requested resources as well as it utilizes a quantitative scheme which indicates the correctness ratio of the overall replica allocation process at a certain time for optimum replica distribution. Simulation study is carried out for throughput, scheme’s characterization against performance and for the correctness of the overall replica allocation, taking into account a number of metrics and the estimation of the effects of implementing the proposed scenario in real time. Simulation results show that the proposed scheme enables greater intercluster participation while resources are being exchanged in a reliable manner.     

时变时滞NCS控制器的改进设计

建立时滞差分不等式,得到网络化控制系统(NCS)的指数稳定判据,基于该判据设计NCS状态反馈控制器。该设计以线性矩阵不等式(LMI)形式给出,不包含任何自由矩阵,通过Matlab中的LMI工具箱进行求解。数值仿真结果表明,该设计具有计算量小、求解方便、保守性弱的特点。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

多Agent的DDoS源地址追踪方法研究

对数据包标记的各种技术进行了深入研究,分析它们存在的问题,基于上述的研究,提出一种多Agent的追踪方法,以解决传统方法存在的重构需要大量数据包,追踪鲁棒性和实时性差等问题.该方法采用并行分布式的结构,将整个追踪区域分成若干自治网络,在各自治网络内独立采用动态的标记概率等算法,同时设立追踪Agent进行自治区内的追踪,最终将由追踪管理器收集各追踪Agent的部分攻击路径并重构出整个攻击路径.理论分析表明,该方法降低了计算量和误报率,增强了追踪的实时性和准确性等.     

玻璃深加工计算机辅助管理系统的研究开发

针对玻璃深加工企业提出的信息化管理需求,通过深入研究分析玻璃深加工流程中需要信息化的各个环节,开发出一个计算机辅助管理系统.系统中本地采用C/S网络体系结构,异地数据通过zlibEx压缩后通过串口实现远程实时安全传输.系统中只需在生成订单时一次输入原始数据,其它功能模块共享原始数据,自动生成各种所需的报表.采用改进的启发式动态寻优方法实现优化切割,改变了手工排料,提高了玻璃原片利用率.该管理系统投入使用后,企业员工的工作效率和经济效益都明显提高,表明了该管理系统的有效性和可行性.     

低功耗宽调谐范围锁相环设计

针对传统锁相环输出频率范围有限、功耗大的缺陷,通过对压控振荡器震荡机理进行理论分析,设计了一款用于时钟发生器的低功耗、宽调谐范围、低相位噪声锁相环。该锁相环采用了新型可编程、低调谐增益、低功耗的环形振荡器,达到了宽频率输出范围、低相位噪声、低功耗的目的,采用SMIC公司0.18um混合信号工艺,用Cadenced的Hspice仿真工具进行仿真,在1.8V电源电压供电情况下获得了50MHz~1.7GHz的频率锁定范围和1.8mW~2.3mW的较低功耗。单边带相位噪声在10KHz频偏处为-104dBc/Hz.。     

基于Web日志的数据挖掘初探

Web日志挖掘是Web数据挖掘研究领域中一个最重要的应用方面。该文首先介绍了Web日志挖掘产生的背景,然后介绍了Web日志挖掘的基本概念,着重阐述了Web日志挖掘的预处理和日志挖掘算法两个关键技术,最后介绍了Web日志挖掘的应用,提出了其发展方向。     

动态网站自动生成器关键技术研究

该文对动态网站自动生成器进行了研究与分析。通过对动态网站的系统体系结构进行研究,针对三层软件架构下的动态网站设计出相应的代码生成器,并对其中系统实现的关键技术进行分析。