逻辑数学悖论及其解决

逻辑--数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论.从历史发展看,其主要是指布拉里--福蒂(Burali-Forti) 悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的.逻辑--数学悖论的出现,明确地表明素朴集合论中包含有逻辑矛盾.解决逻辑--数学悖论,必须对康托的素朴集合论加以限制,特别是必须抛弃前面所提到的概括原则.按策梅罗的研究成果,只须对公理适当地加以选择,就可做到既能使新建立的集合论能成为数学的基础,同时又能确保新的理论不会导致悖论.     

5-氟尿嘧啶与Mg2＋配位选择性的理论研究

在B3LYP／6-31G（d,p）、B3LYP／6—31IG（d,p）水平上对5-氟尿嘧啶（5-FU）与Mg2＋配合物几何结构、稳定性进行研究,计算结果显示5．FU…Mg2＋（F1206）配合物稳定性更高,NBO分析表明06、09与F12位点孤对电子杂化方式不同,与Mg2＋作用也存在一定差异。     

和田师专智能办公系统的设计与实现

智能办公系统即OA（Office Automation）系统主要指利用现代化的办公设备、计算机技术．通信技术和互联网技术来代替办公人员的手工作业．从而大幅度地提高办公效率和办公质量。随着高校信息化建设步伐的进一步加快,高校内部信息平台建设的需求越来越紧迫。因为无论是多媒体的信息传输,还是日常公文的传送,都需要能实时、快速、准确的处理相关问题.办理相关办公业务。利用网络以提高办公效率,充分利用网络资源推行网上办公,已经成为目前高等院校内部办公的一种必然趋势。本文首先对分析了和田师专网络应用的现在的实际情况．指出智能办公系统的重要性。论文主要介绍智能办公系统所要完成的功能和开发的过程。重点地说明了系统设计的核心、设计思想、难点技术。     

基于WEB模式课件系统的设计与实现

基于WEB课件的功能和特点,结合教学实践介绍了网络课件开发的相关技术和实例。     

基于STM32的室内定位系统设计

介绍了一种基于STM32处理器的超声波室内定位系统,阐述了超声波室内定位系统硬件电路构成、工作原理及软件设计。系统采用单向测距法,降低对被测表面的要求,应用范围广。数据通过USB口传给计算机,可实现实时跟踪,结构简单,工作可靠。     

基于B/S模式的毕业设计选题系统的设计与开发

基于网络Browser/Server模式,利用PHP和MYSQL数据库设计和开发了一个毕业设计选题系统.通过该系统可以实现毕业设计题目的上传、审核和选择,同时通过系统留言及公告模块,能对师生进行实时任务及通知提醒,方便师生交流.实践证明,该系统安全可靠,很好地满足了毕业设计的选题需求,有效地提高了学生毕业设计管理工作的效率.     

Bézier曲线的光滑拼接

Bézier曲线是计算机图形学研究的主要内容.曲线的拼接是曲线曲面造型中的关键技术之一.基于Bézier曲线的拼接原理,在Visual C＋＋6.0环境下开发Bézier曲线的拼接程序,将曲线拼接在界面中动态实现.     

玻璃螺旋面的制作及面型检测

用B270玻璃烧制出满足需要的螺旋基底,并对其进行检测.利用智能式烘箱设置合适的程序来控制玻璃的升温、恒温和降温,得到了合乎要求的玻璃螺旋面基底,并利用三坐标测量系统进行了检测.经三坐标检测后得到的结果与理论值误差很小,满足使用要求.研究结果表明用高温软化B270玻璃制作螺旋面工艺的可行性与可靠性.     

基于JSP技术的实验室管理系统开发

针对本校实验室管理工作繁琐的现状,采用B,S模式,利用JSP技术以及Mysql数据库技术开发实验室管理系统。该系统的运用将减小实验室管理的工作量,提高工作效率,并使得实验室的管理更加规范化,信息化,实现其资源共享的功能。     

新古典主义的音乐格言——析肖斯塔科维奇B大调前奏曲（OP．34NO．11）

肖斯塔科维奇《前奏曲二十四首》（OP．34）,不但是他在钢琴创作领域技法完全成熟的重要标志,更是他借鉴前人《前奏曲》创作手法与本民族特有音乐语言成功结合的典范,对后世影响巨大。被称之为“新古典主义的音乐格言”。特别是第十一首《B大调前奏曲》（OP．34NO．11）,虽在其中没有制造出更多的新语言,却获得了新的效果,无论从主题写作、曲式结构到和声、转调方式等,都能感受到作曲家赋予赋格曲这一传统的形式以新的手法和内容,使得古老的前奏曲散发出了新的生命力。