系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

对课本一个结论的加强与推广

1 课本结论的再现 全日制普通高级中学教科书(必修)数学第二册(下B)P48,在研究平面的斜线和它在平面内的射影所成的角时,有这样一段话:"已知AO是平面α的斜线,A是斜足,OB垂直于α,B为垂足,则直线AB是斜线在平面α内的斜影,设AC是平面内α的任一直线,且BC⊥AC,垂足为C,又设AO与AB所成的角为θ1,AB与AC所成的角为θ2,AO与AC所成的角为θ,那么θ,θ1,θ2之间满足如下关系式:cosθ=cosθ1cosθ2."     

一类pnm阶群的构造

本文研究了一类特殊的pnm阶有限群的构造.利用求解数论同余方程的方法和群的扩张理论,得到了具有m阶循环正规子群,其补子群为循环群的Pnm阶有限群的构造及相关的计数定理.     

高动态范围图像合成中相机响应函数的快速标定

针对高动态范围图像合成过程中相机响应函数标定速度低的问题,提出了一种快速有效的相机响应函数标定的方法.首先根据不同曝光度的图像在成像过程中场景照度保持一致的特性,提出构建一种新的最小平方代价函数,以降低相机响应函数标定方程组的维数;然后在保证标定方程组求解效率的前提下,根据不同曝光度图像的噪音分布,引入高斯加权函数,有效减小多曝光图像在高亮或过暗区域成像过程中引入的噪音,并利用稳健的QR分解算法提高标定方程组的求解速度;最后采用查表的方法,利用高斯加权函数完成场景照度的合成及相应的色调映射,得到能表现整个场景亮区和暗区细节的可视化图像.实验结果表明,与传统方法相比,本文算法在保证相机响应函数标定准确度的同时,具有计算量小、速度快的优点,可实现相机响应函数的快速标定,而且所获得的可视化图像主观效果有所提高,在便携式摄像设备上具有广泛的应用前景.     

基于网络技术的虚拟实验设计

介绍了所设计的虚拟实验系统,对系统方案、基本功能以及在设计过程中所遇到的一些设计问题进行分析并提出了解决方法。     

利用分形法表征光学元件中高频相位畸变

针对神光Ⅲ主机装置使用的光学元件,基于分形理论,分析中高频相位畸变的统计分布特征,指出其满足分数布朗随机场,并利用结构函数法对分形维数进行计算,统计结果显示,大口径钕玻璃片的分形维数在2.34~2.43之间。利用局部稳态的随机中点位移法,提出一种新的表征光学元件相位的方法,将分形维数作为参数,可衡量中高频相位畸变,对高功率激光光学元件的评价有参考意义。     

磁共振弹性成像技术在肝纤维化检测中的研究

对肝脏组织的弹性应力分析在肝纤维化程度的精确定量评价方面是非常关键的,因此从弹性力学角度结合磁共振成像技术的磁共振弹性成像研究在肝脏疾病的早期诊断和治疗方面将具有重要意义和广泛应用. 该文针对弹性磁共振成像技术的理论与技术进行了全面的研究,开发了磁共振弹性图研究平台,主要包括：组织生物力学模型分析与建模,剪切波激励装置的开发,弹性成像序列的设计,弹性拟合算法研究与实现4个方面的工作. 基于上述工作,进行了相关体模和离体猪肝以及志愿者在体肝脏实验,实验结果表明,研究平台基本可以满足肝脏弹性成像研究的需要.     

用GeoGebra的矢量功能辅助力的合成教学

利用GeoGebra的矢量功能改善认知环境,把抽象的力能直观、动态地显示出来,有助于学生理解力的矢量性,促进了学生理解和掌握矢量的合成.     

领会例题设置目的实施有效教学

一般而言,教材中设置的每一个例题都有特定的教学功能,用好它们是实施有效教学的一个重要方面.但实践中,有些老师对例题的研究、认识不到位,没弄明白教材设置例题的意图,随意删减、替换,导致教学低效或无效.本文结合具体的案例,讨论领会例题设置目的,对于提高教学有效性的意义.     

多层架构及其在JBuilder6.0中的实现

阐述了多层架构系统的形成结构和特点。作者结合JBuilder6.0中CORBA/Web的技术,介绍了多 层架构在JBuilder6.0中的实现过程,并有效地解决了在Client/Server体系结构下负载平衡系统伸缩性等 问题。解决了传统二层模式与应用需求日益突出的矛盾,为用开放技术实现大规模的关键业务处理提供了 一个解决方案。