庞加莱猜想得到完整证明

法国著名数学家庞加莱（Poincaré）1905年修改了他1904年提出的一个猜想，提出：在一个三维空间中，假如每一条封闭的曲线都能收缩成一点，那么这个空间一定是一个三维圆球，这就是庞加莱猜想。后来，这个猜想被进一步推广为高维庞加莱猜想。20世纪60年代初，两位美国数学家Smale和Stallings证明了五维及五维以上的庞加莱猜想；1983年，美国数学家Freedman证明了四维庞加莱猜想。     

基于J2ME的手机订票系统的设计与实现

J2ME是近几年来诞生并飞速发展的一项新的开发技术。它定位在消费性电子产品的应用上，特别是移动无线设备上。对设备的智能化，提供了革命性的解决方案。本文介绍了J2ME的相关技术及其在订票系统中的开发应用。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

C_(60)(CH_3)-结构和反应特性的量子化学研究

用INDO系列方法对C_(60)(CH_3)~-进行理论研究,得到具有C_s对称性的分子。结果表明,与CH_3直接相连的C_(15)具有四面体性质,将离开球面向外突起,使C_(60)丧失球面芳香性。本文对C_(60)(CH_3)~-的电子光谱及NMR谱进行理论预测,并讨论其作为中间体与另一个CH_3反应时的最活性部位。     

广谱型C60修饰电极电位传感器的研究

吸附型Ｃ６０修饰玻碳电极可作为一种广谱响应的电位传感器，对十余种无机及有机季铵盐阳离子，其电位－浓度对数值呈一定的线性关系，该电极制备方便、响应速度快，稳定性好。本文还从电极表面Ｃ６０晶型结构出发，对电极的响应机理进行了初步探讨。     

神奇的布基球世界——C60研究中的新发现

神奇的布基球世界──Ｃ＿（６０）研究中的新发现布基球（即球状碳分于）充满了许多神秘色彩。自１９８５年９月美国化学家发现这种由６０个碳原子组成的分子后，在世界上吸引了许多科学家。天文物理学家也对Ｑ。发生了浓厚兴趣，认为在星际空间可能寻找到ｑ。。尽管天文...     

基于VHDL语言的循环码编译码系统的设计

介绍了循环码编译码系统的特点。以一个(15，6)循环码为例，使用硬件描述语言VHDL对该系统进行了设计，并使用FPGA对描述电路进行了综合，得到了该系统的顶层电路，最后下载到PLD芯片上。     

Multiple MIPS 4Kc cores based interrupt controller design and its implementation on HDTV SoC platform

A multiple MIPS 4Kc processor cores based interrupt processing system is introduced. The interrupt controller plays a key role in the high definition television （HDTV） system-on-a-chip （SoC） platform, especially when it is a multiple processor system. Based on a general introduction to the whole HDTV SoC platform, a layered interrupt controller and its implementation are discussed in detail. The proposed scheme was implemented in our FPGA verification board. The results indicate that our scheme is reliable and efficient. Meanwhile, as a functional intellectual property （IP）, the interrupt controller has reusability and expandability with the layered structure.     

一般动力学系统的守恒量（Ⅲ）

本文研究了分布参数的非保守力学系统的守恒律问题,将经典的Noether守恒律存在的条件-Killing方程推广到了分布参数系统,并给出了分布参数的非保守力学系统的Noether守恒律的形式,讨论了对断裂力学的有关应用。     

基于J2EE的电子采购系统的集成设计

本文描述了业务流程再造（BPR）在整合新旧电子采购系统中的应用及J2EE实现过程,探讨了基于J2EE的BPR在电子采购系统中应用的科学性与可行性.