中心二面体群与二面体群之间的同态个数

基于群理论中中心二面体群与二面体群的群结构以及元素的性质,利用代数学及数论的相关理论, 计算中心二面体群与二面体群之间的同态个数。作为应用,验证了 T.Asai & T.Yoshida 猜想对此类群成立。     

网络控制系统中迭代学习控制算法的鲁棒收敛性分析

针对网络控制系统中受输入扰动和初态干扰的非线性系统,提出了一种迭代学习控制算法,讨论了输出数据丢失情况下系统输出对期望轨迹的跟踪问题。采用一个概率已知的随机贝努利序列来描述网络控制系统中的数据丢失现象,即如果输出数据没有丢失,则利用跟踪误差来修正上一次迭代学习时的控制量,从而获得系统当前控制量;如果存在输出数据丢失现象,则系统当前控制量保持上一次迭代时的控制量不变。给出了保证算法收敛的充分条件。从理论上证明了系统满足给定的收敛条件时,在数据丢失网络环境下具有输入扰动、初态扰动的被控系统随迭代学习次数的增加,系统输出除初始点以外都能够收敛于期望轨迹。通过仿真算例进一步验证了所提方法的有效性。     

测控信号随机时延对迭代学习控制系统的影响

测控信号通过无线网络传输受到的随机时延严重影响迭代学习控制系统的收敛性能. 在一步随机时延模型的基础上,得到包含随机时延影响因子的系统转移矩阵,然后分别针对测控信号发生时延的情况,研究转移矩阵内决定系统收敛速度的特征值,以及决定系统鲁棒收敛性的下三角内其他元素取值的变化情况. 由分析可知,测控信号随机时延不仅会降低系统的收敛速度,而且会影响系统的鲁棒收敛性. 尤其是控制信号随机时延,它对系统鲁棒收敛性的影响明显强于测量信号随机时延的影响. 仿真实验表明了分析结论的正确性.     

H.264/AVC编码器中运动估计的低代价VLSI实现

通过对运动估计算法进行优化, 提出一种应用新型存储结构的流水线实现结构。通过采用合适的搜索策略、高效的率失真优化代价计算和插值部件、创新的存储结构及优化的数据流调度, 实现具有低硬件代价和存储访问的快速运动估计。该设计在SMIC 130 nm工艺下综合, 时钟频率可达到167 MHz, 消耗181.7 K逻辑门和13.8 KB存储, 相比同类设计具有更高的硬件效率。该设计集成在一个H.264/AVC编码器中进行FPGA原型验证和VLSI实现。 SMIC 65 nm工艺下, 整个芯片面积为1.74 mm×1.74 mm, 工作频率为350 MHz, 可以支持实时高清(1080P@60fps)编码。     

基于SuperMap IS.NET5的大气环境质量评价系统

 以SuperMap 为技术平台,以SuperMap IS.NET5 为开发平台,以SQL Server 2005 为数据库平台,以面向对象程序设计语言C#为开发语言,以Microsoft VS.net 为开发环境,开发了基于SuperMap IS.NET5 的大气环境质量评价系统,应用该系统对大庆市大气环境质量进行评价。结果表明,该大气环境质量评价系统具有操作方便、实时、兼容性好、数据查询及统计分析等特点,评价出的大气环境质量级别准确、合理、客观,与实际情况相符合,在地图上直接输出结果,直观、实时、形象地提高了大气环境质量评价速度和评价效果。     

H.264的网络传输适应性解决方案

文章对最新的视频编码标准H.264在网络友好性和容错性方面的解决方案作了全面的剖析.首先简要地回顾了它从先前标准中继承的技术,如数据分割等,随后重点介绍了H.264特有的几个创新技术以及它们在抗误码方面的不俗表现.     

ASP.NET下管理系统查询功能工具化的实现

文章讨论了在ASP.NET管理系统中实现查询功能的一般方法,以及当查询条件改变时,开发人员所要做的工作;介绍了在ASP.NET中实现管理系统查询功能的工具化方法,并进行了比较。总结出该方法能减少开发人员的工作量,并能满足用户查询需求改变的要求。     

叶绿体CrFtsZ2蛋白对E.coli形态的影响

FtsZ蛋白在细菌的分裂中担任着重要作用,能够在分裂位点形成一个环状结构而控制细菌的分裂过程。胞内FtsZ蛋白浓度的异常升高或降低均可阻断正常的细胞分裂过程进而形成分裂异常的丝状菌体。我们为了进一步研究衣藻FtsZ蛋白的生物学活性,建立了CrFtsZ2-EGFP融合蛋白原核表达的对照体系。结果表明：低浓度IPTG促进转化有表达质粒pLGZ2的大肠杆菌JM109伸长,高浓度IPTG则抑制其伸长;融合表达质粒的过量表达导致宿主菌形成了丝状菌体,不但菌体长度随浓度梯度而有规律性的变化,而且CrFtsZ2-EGFP融合蛋白沿着宿主菌体的纵轴方向有规律地聚集成荧光点或荧光带。更进一步验证了衣藻CrFtsZ2蛋白的功能。     

基于C/S模式的网络考试系统

叙述了网络考试系统的设计及系统应实现的功能,阐述了采用VB.NET 2003、Access2002等开发工具在设计过程中所遇到并解决的关键问题。该考试系统具有进行在线考试的主要功能,实现了真正的无纸化考试,满足任何授权的考生随时考试并迅速获得成绩,并能给出其详细的成绩分析与试卷评估,同时也大大减轻了教师出题、组卷和改卷等繁重的工作量。     

题库管理与试卷自动生成系统的设计

题库、试卷是教育部本科评估的指标和观测点,传统手工编制的试卷经常出现内容雷同、知识点不合理以及笔误、印刷错误等情况.介绍了一个题库管理与试卷自动生成系统的设计与实现,系统具有题库管理、试卷自动生成和在线考试等功能.系统采用Visual Basic.NET 2003和SQL Server作为开发工具,在不同功能模块分别采用C/S模式和B/S模式,试卷的生成格式为Word文件.整个系统的设计应用了公用函数封装、动态链接库、MD5加密算法和ADO.NET等技术.