蠕动式微机器人结肠镜系统及模型

研制了一种新型的基于蚯蚓蠕动原理的内窥镜机器人,可用于微创无创肠道诊疗.机器人直径和长度分别为9.5和120 mm,由自行研制的直线电磁驱动器驱动.详细介绍了样机的结构、运动原理和控制系统,建立了与爬坡能力相关的力学模型,给出了有效牵引的数学条件表达式,并对表达式的有效性进行了试验验证.建立了在粘弹性肠道中的受力模型,研究了牵引效率、临界步距,并进行了离体肠道试验.该研究为机器人结肠镜的临床应用奠定了基础.     

MATLAB在对图像进行边缘检测方面的作用

利用MATLAB在边缘检测方面的各种函数和算子，对图像进行处理和比较，得出各种函数和算子对图像的处理的特点，以便在实际工作中更好地进行其选择．为克服MATLAB在循环运算上的不足，利用MATLAB的接口实现MATLAB与其它编程环境的交互，充分发挥MATLAB的数值计算的长处，同时提供更为强大的编程手段，大大减少编程的工作量，保证程序的正确性和可靠性．     

基于消息安全的DIDS研究

将密码学运用到入侵检测系统中，实现入侵检测系统的安全；将agent技术和点到点技术应用到研究中，实现分布式入侵检测系统。给出系统的设计与实现方法。对系统的安全性及性能进行了分析。     

基于C++的雷达显示终端设计及实现

雷达显示终端作为对雷达数据的直观表述，是各种雷达数据处理系统中的重要组成部分，由于显示元素类型的多样性和彼此操作的差异性，对显示元素的管理成为雷达显示终端中需要解决的主要问题之一，作者提出了一种新的基于C 的设计方法，可使雷达显示终端具有显示元素管理简单灵活、模块通用性和扩展性强、可移植度高等特性。     

双参数半群{Pst}的r-上中值函数和r-盈函数

给出了关于双参数半群的r-上中值函数和r-盈函数的概念，并讨论它们的若干性质，由此推导出关于非时齐马尔可夫过程的随机连续性方面的一个结果。     

关于有限群的正规子群的补子群I

研讨了一个有限群的正规子群的补子群之存在性与共轭性的若干结果，主要的结果如下：设G／K是π-可解的并设日为有限群G的一个Hallπ-子群，其中π=π(K)，则有：(1)若K的每个Syylow子群Pl在G的某个含P1的Sylow子群中有补子群并且这个补子群在G中半正规，则K在G中有补子群，(2)若进一步设K在H中的所有补子群(由(1)，这些补子群存在，)在H中共轭，则K在G中的所有补子群在G中共轭。     

有限超可群的一些充要条件I

主要证明了如下命题等价：（1）G是超可群解；（2）对G的任一极大子群M，G有正规子群K使|K：Mc|为素数；（3）对G的任一极大子群M，G有正规子群K使K／MG为非平凡的循环群；（4）G的每个极大子群M补于G的循环因子；（5）G有正规子群H使1＝H0＜H1＜…＜Hn=H为G的主列片段，其中G／GG（Hi 1/Hi）为幂指数整除pi-1的Abel群，pi∈π（Hi 1/Hi),1≤i≤n,且n-1∩i=0CG（Hi 1/Hi）≤H；（6）对G／Φ（G）的每个极小正规子群N／Φ（G）．G／CG（N／Φ（G））为幂指数整除p的Abel群，p∈π（N／Φ（G））。     

关于有限群的正规π-补的存在性

主要证明了如下二结果 :(1)假设 3 π并且有限群G的每个非Abel单截段之阶的形如 4n - 1的素因数的个数是偶数 ,则G是π′ 闭的当且仅当G是π 齐次的 ;(2 )假设对于有限群G的任一单截段A B ,|A B|之形如 4n - 1的素因数的个数是偶数并且只要A B PSL(2 ,p) ,p是一个形如 4n 1的素数使得n(2n 1) 0 (mod 5 ) ,那么G是π′ 闭的当且仅当G是π 齐次的 .     

Hp空间一引理的推广

将Hp(p≥1)空间一个引理的条件进行了削弱,证明了比Hp(p＞0)函数更广泛的一类解析函数满足此引理,同时给出一类解析函数的各阶导数在直线上的积分公式.     

高强砼施工质量控制

本文主要简述了影响高强度砼强度的主要因素,对高强度砼原材料的质量要求,并结合施工实例和设计、施工规范,阐述高强度砼施工技术与质量控制的程序和方法,为高强度砼的施工提供实例参考。