在线算法验证系统的设计与实现

针对远程教学练习环节中存在的问题,提出了一种利用ASP.NET技术构建在线算法验证系统的实现方法.系统用命令行编译和批处理技术实现对算法程序的自动编译;利用运行结果的捕获技术和数据库技术实现算法程序的自动测试;利用数据库技术、哈希表技术,算法相似度计算等技术实现算法练习的管理.实践运行结果表明,该系统有效解决了练习提交的及时性和练习批改及管理的自动化问题,大大地改善了教学手段、提高了教学效果.     

高中化学在线考试系统的设计与实现

介绍高中化学在线考试系统出现的背景和意义,描述基于Java的在线考试系统的系统结构．该系统实现以学生为主体、教师为主导的在线练习与在线考试的网络环境,详细阐述组卷算法设计、在线练习模块等系统实现的关键技术．并给出具体实现步骤和相关界面图,总结系统的优势与特色。     

C4.5算法在在线学习行为评估系统中的应用

基于数据挖掘技术构建了在线学习行为评估系统。利用C4．5算法挖掘学生在线学习行为与学习效果的历史数据，建立“学习行为——效果”模型。用此模型评估未来学生的在线学习状况，给出形成性评估的成绩。通过测试，评估结果较准确，教师和学生的认可度达90％以上。系统的应用为在远程教学环境下客观、公正、合理的评估学生在线学习提供了有效方法和手段。     

网络远程教学系统中的Petri网建模研究

通过对网络远程教学系统进行功能分析,并逐步对其进行流程分析,针对各个功能模块,以实时练习与在线答疑功能作为分析实例。最终将次系统的Petri网模型应用于某高校的网络远程教学系统的设计与开发,并取得了较好的应用效果。     

远程教学直播系统中媒体同步的研究与实现

对于远程教学直播系统这样包含不同媒体流的分布式多媒体应用而言，媒体同步是一项重要内容。利用RTP（实时传输协议）传输机制中的时间戳和序列号信息，提出同步控制算法，实现了流内同步和流间同步。考虑到分组网络带来的延时抖动，算法可以动态地适应网络延时变化，从而保证了分布式环境中媒体同步的服务质量。     

流媒体技术在多媒体远程教学支撑环境系统中的应用

本文简单介绍了流媒体技术和基于该技术的一个产品一windows media service,给出了利用该技术实现的一个多媒体远程教学支撑环境系统,它能够实现实时授课,点播和在线交互等功能。     

基于B/S的电子白板的设计与实现

从CSCW理论和概念出发,针对远程教学环境的具体情况,探讨了适用于师生实时在线交互的电子白板系统的实现技术.系统采用基于B/S的3层体系结构和模块化组织,通过加锁技术实现多用户并发控制,使用组播技术提高交互效率和状态一致性,最后给出各模块实现要点.通过对原型系统的测试表明本平台能够简化客户端软件安装及升级过程,并适用于规模化远程教学活动的在线实时交流.     

远程教学系统的构建

基于J2EE体系结构的远程教学系统包括系统管理、教务管理、远程学习、在线答疑、教学评价分析、远程考核、讨论交流等六个子系统.在详细分析系统的框架设计后并实现构建,建立了一个良好的现代远程教学平台,为师生提供了良好的远程交互教学环境,进一步促进继续教育的发展.     

MCML及其在网络课件中的应用研究

分析了定义在线课件标准的必要性和可行性，定义了用于教学活动中远程教学课件研制的MCML语言，介绍了一个基于MCML的数学在线多媒体课件系统模型并论述了其实现方案。     

基于Moodle的网络远程教学模式研究

通过对网络远程教学模式梳理及对Moodle教学平台功能和特点的研究,分析了基于Moodle的网络远程功能模块,并从网络远程教学模式的环境设计、课程活动设计与开发、在线教学、教学评价几个部分进行了阐述,以推广Moodle平台下的网络远程教学模式。     

生产调度算法的研究

本文发展了文献⑴的排序算法并提出了加班算法，适用于小批量，多品种生产的调度。     

基于多代理的工作流在语义网络下的模型研究

提出了利用google对wsdl文件搜索来动态生成网络服务的方式,取代了以往在UDDI注册中心的集中式搜索方式,使得我们可以发现在网络上的可用的Web Service,将之应用到语义网络的工作流模型上,使得工作流的动态生成和执行成为可能.     

THE BATTLE OF THE SEALS

This article is primarily about the seals of the National Security Agency (NSA) and its Central Security Service (CSS). Specifically, this article provides, for the first time, a copy of the NSA seal that preceded the current one, a copy of the CSS seal, and their respective histories. A brief biography of the current CSS Deputy Chief and a very brief history about CSS itself is also provided. A number of references are made to James Bamford's two books: Body of Secrets (May 2001) and The Puzzle Palace (1982). My intention is not to nitpick his works. Rather, I simply wish to clarify points that readers may find confusing, especially since he is the world's leading authority on NSA. I not only admire Bamford's investigative journalism, but also strive toward the very high standard that he has set.     

带上面具的凝视

在上海民生现代美术馆的摄影群展《中国当代摄影2009-20149中,张巍的作品占据了一面墙。展览选取的是他到目前为止最有争议也最有代表性的《人工剧团》,这位色影无忌2013新锐摄影师奖项获得者,正在以自己独特的创作手法,进入中国大众的视野。     

基于VMware的虚拟蜜网系统的研究

介绍了一种全新的网络安全方案——虚拟蜜网。着重介绍了虚拟蜜网的概念及其实施的步骤。应用虚拟蜜网可以在不丧失传统蜜网优势的基础上降低相应的配置和管理的费用。     

基于PKI/PMI的应用系统重构策略研究

PKI/PMI技术发展迅速,当一个PKI/PMI系统建立起来后,怎样重构已经存在的各种应用系统,使其得到PKI/PMI的强安全支撑,有着非常重要的实用价值,针对上述问题对应用系统安全模型,应用重构策略和应用系统重构流程进行研究,最后,给出了一个GIS应用系统重构实例.     

THE WHAT,THE HOW,AND THE WHY IN DESIGN

Abstract

There seems to be confusion in the literature to date regarding the concepts of intent, purpose, function, behavior, and structure in design. This paper is meant to provide a focus for discussion on the disambiguation of such concepts. The paper argues for the integration of concepts relating to both the human sociocultural environment and the physical environment in arriving at definitions meaningful to designers from different disciplines. Issues such as decomposition and specialization are addressed, and finally, a means of representation with the expressive power and flexibility required is presented.     

离域片断轨道的定域化─WSW－like法程序

ＷＳＷ－ｌｉｋｅ法的核心是向每一个分子片断提供一组完整的具有正确集居数的片断轨道。开壳层离域片断轨道的定域化是ＰＭＯ法的基础。在计算技术上，片断分子的建立是ＷＳＷ－ｌｉｋｅ法的特点之一。片断分子为离域轨道的定域化提供了一个理想的分子模型。在本文中，详细地描述了轨道定域化的ＦＯＲＴＲＡＮ－７７程序。     

关于多变量开关函数化简的问题

本文提出n维立方体及顶点编号方法的模型,应用它可以解决多变量开关函数化简问题。该模型能全面准确地揭示出n维空间中2~n个多变量开关函数每个最小项之间相邻的数学关系,相邻单元的组合关系,并给出合并最小项的差值合并定理及系统化简方法,方法简单直观,可获得最简表达式。这对大规模集成电路设计和计算机辅助开关电路设计具有十分重要的意义。     

THE WEB,THE PUBLIC,AND THE GLOBAL WARMING DEBATE

The World Wide Web is a popular source of information on the environment. The global warming controversy, an important environmental problem, has very extensive Web coverage, yet no detailed analysis has been made of its treatment on the Web. Our paper attempts to remedy this lack of analysis. It first analyzes the scientific controversy about global warming, then examines its current treatment on the Web, contrasting it with the treatment in elite science journals. The paper further discusses the direction the controversy on the Web will most likely take in the future. We conclude that although the debate on global warming science has been very widely treated on the Web, the future is likely to see the controversy shift to questions of the appropriate response to climate change. We argue that this new phase of the controversy is likely to become even more prevalent on the Web as the controversy moves from the scientific arena to the political.