基于网络的智能辅导模式研究与系统设计

针对目前辅导行业的现状,为解决课后辅导的自动化、实时化的问题,分析了学生课后学习掌握知识的过程,提出了一个基于学生课后学习规律的辅导模型,建立了面向问题的多层面知识辅导新模式,构建了基于此模式的网络智能家教系统的框架结构。该系统采用基于知识的自动推理技术使得推理过程得以完整保存来分析后续的多层面辅导信息,采用资源模型分解知识粒度保证抽象度,采用网络服务模式满足用户的实时使用。以学生提出的几何问题为实例,展示了多层面辅导过程,实验结果表明了该模式和系统设计的可行性。     

Performance Analysis of Gradient Neural Network Exploited for Online Time-Varying Matrix Inversion

This technical note presents theoretical analysis and simulation results on the performance of a classic gradient neural network (GNN), which was designed originally for constant matrix inversion but is now exploited for time-varying matrix inversion. Compared to the constant matrix-inversion case, the gradient neural network inverting a time-varying matrix could only approximately approach its time-varying theoretical inverse, instead of converging exactly. In other words, the steady-state error between the GNN solution and the theoretical/exact inverse does not vanish to zero. In this technical note, the upper bound of such an error is estimated firstly. The global exponential convergence rate is then analyzed for such a Hopfield-type neural network when approaching the bound error. Computer-simulation results finally substantiate the performance analysis of this gradient neural network exploited to invert online time-varying matrices.     

基于事件驱动的动态免疫分簇路由算法*

为了降低应用于突发事件监测的无线传感器网络的能量消耗,设计实现了一种基于事件驱动的动态免疫分簇路由算法。将生物免疫系统的工作机制应用到无线传感器网络事件驱动的动态分簇算法中,事件作为抗原,传感器节点作为抗体,抗体对抗原有记忆保存的功能,使得相似的抗原再次出现时对事件及时响应。相似事件再次发生且传感器节点符合能量要求时,可以直接调用抗体中的记忆,对事件进行快速建簇,节省了簇的建立过程所消耗的大量能量,增加了网络的数据传输量,延长了网络的生命周期。仿真结果表明,生物免疫机制的学习记忆特性可以有效提高事件驱动的动态分簇算法的网络性能。     

Continuous-variable quantum homomorphic signature

Quantum cryptography is believed to be unconditionally secure because its security is ensured by physical laws rather than computational complexity. According to spectrum characteristic, quantum information can be classified into two categories, namely discrete variables and continuous variables. Continuous-variable quantum protocols have gained much attention for their ability to transmit more information with lower cost. To verify the identities of different data sources in a quantum network, we propose a continuous-variable quantum homomorphic signature scheme. It is based on continuous-variable entanglement swapping and provides additive and subtractive homomorphism. Security analysis shows the proposed scheme is secure against replay, forgery and repudiation. Even under nonideal conditions, it supports effective verification within a certain verification threshold.     

医院超声图象管理系统的设计与实现

介绍了医院超声图象管理系统的功能和特点,并阐述了其关键技术。     

数据库推理通道的动态控制

数据库推理问题是数据库安全研究的重要组成部分,主要研究推理通道的检测方法和控制策略。该文提出一种动态控制推理通道的方法。该方法为每个推理通道建立一个标识集合,利用集合中元素和推理通道中对象的关联来控制查询的处理,使用户能灵活地访问数据但又得不到足够的信息来推理。与以前提出的方案不同,该方案保证了数据的最大可用性,同时有效地阻止推理并保持了快速的查询处理能力。     

一种低压低功耗共源共栅带隙基准电压源的实现

提出了一种低压低功耗的带隙基准电压源电路,设计基于0.5μm2P3M BiCMOS Process,并使用了低压共源共栅电流镜结构减少了对电源电压的依赖,消除了精度与余度之间的矛盾,并用HL50S-S3.1S.lib库文件用HSPICE进行了仿真,其电源抑制比PSRR大约为-78.9dB。     

大气污染控制工程立体化教学模式建构

介绍了大气污染控制工程课程教学改革研究的内容,提出了由教学内容、教学形式、教学平台与教学评价等4方面组成的立体化课程教学模式,并讨论了该模式下教学资源平台的建设,给出了大气污染控制工程课程的评价和考核方法.该模式在实践教学中取得了比较好的成效.     

Stress wave propagation in supporting bolts: A test for bolt support quality

A test method for the non-destructive determination of bolt length, anchoring length, and bolt body force is described. This addresses the problems of low accuracy, limited number of data, and untimely warning signs encountered with existing test methods. Numerical simulations of the bolt, resin, and rock system show that the length accuracy when using the velocity wave is lower than when using the acceleration wave. It is accepted practice to use the acceleration wave for length tests because of improved signal to noise ratios of the waveforms. Laboratory and in situ underground tests showed that the precision of the measurements meets field requirements. Using this method the anchor properties of each single bolt and, thus, the safety of the entire roadway support may be evaluated.     

太湖流域水灾害应急对策研究

太湖流域是我国经济社会高度发达的地区之一,发生水灾害时往往会造成重大经济损失。对发生各类水灾害时的应急对策展开研究总结,以减轻水灾害,避免人员伤亡,保障经济社会可持续健康稳定发展,并通过分析典型案例的实际应对过程,为今后开展类似工作提供参考。