论文部分内容阅读
欢迎邮购本刊新书《超越自我：丁晓兵现象与当代青年成才学习读本》
【出 处】
：
中国青年研究
【发表日期】
：
2006年12期
其他文献
Isabelle是一个通用的定理证明器,应用领域广泛。介绍Isabelle逻辑系统的功能和构成,分析了Isabelle的规格说明语言、验证系统的特点,并给出了用Isabelle逻辑系统来构造Z规格说明的定理证明的方法。
传统的城市物流配送系统普遍采用的PDT(Portable Data Terminal)虽然携带方便,但是却存在读写距离短、范围小,需要手工更新物流信息等不足。分析了传统城市物流配送系统中存在的一些缺点,提出了一种基于RFID(Radio Frequency Identifica- tion)和GPRS技术的城市物流配送系统框架,实现了大范围物流信息的采集、存储以及自动实时传输。详细分析了各组成部分
随着uClinux应用与普及,移植uClinux和在Linux开发平台上设计嵌入式应用系统都迫切需要好的调试工具,而现有的Windows下的调试工具很难用于Linux系统。介绍如何在GDB的基础上,低成本实现嵌入式板的JTAG调试。
2007世界精神病学协会（WPA）上海区域性国际会议暨中华医学会精神病学分会精神科学术年会提出数据显示，我国精神科医生数量由1979年的1．7万余名，增加至如今的1．9万余名，其增幅较之其
个别教育和心理矫治教育都是矫正社工在社区矫正过程中挽救社区服刑人员的一种手段和方法。它们在某些方面存在交叉，如心理矫治要用到个别教育中谈心的方法，而个别教育也要用到
文章设计了一份孔子学院的对外汉语教学计划,教学对象是美国中小学生,教学计划中介绍了一些吸引学生学习的教学技巧。文章从当前建立孔子学院的必要性谈起,第一部分从孔子学
近日．郑州市科技丁业学校传来喜报．陔校秋季招生人数超过1100人．新生中招成绩最高为531分．招生人数和生源质量均再创历史新高。
利用最小二乘支持向量机和文献[10]中的半监督学习算法,我们对鼻咽癌患者5年生存状态进行了预测。实验结果表明:当已标注数据比较少时,两种方法的判别精度都比较低;随着已标注数据的增多,最小二乘支持向量机的推广能力逐渐增加,而半监督学习算法并没有给出更好的结果。这说明:对于鼻咽癌患者5年生存状态预测问题,最小二乘支持向量机比半监督学习方法更具有优势。