简介：近年来关于不完全知识的规划成为活跃的研究领域,许多逻辑系统引入感知动作、条件规划描述这一问题。作为代表性的成果之一,Son和Baral提出了动作语言Ak及其不完全信息下的推理语义。本研究进一步为Ak设计了谨慎语义和弱谨慎语义,使得主体可以在严格安全环境下生成并执行可靠的规划。计算复杂性分析表明谨慎语义降低了Ak的推理复杂性;为上述语义提出用于验证条件规划推理机制的Hoare型证明系统,该系统是可靠和完全的,既可应用于规划生成,又可应用于规划验证;且该系统有离线规划的性质,即在离线状态下主体可以将已有的短的证明组成新的长的证明。

简介：为了克服阅读教学仅关注语篇整体而忽视策略培训的现状，本研究希望通过段落理解策略链训练，提高学生的段落理解力，并以此提高学生对篇章理解的深度和广度。该研究采用分阶段训练，通过访谈、调查问卷和课堂观察来收集数据。研究结果表明：以段落为阅读载体的策略链系统训练对帮助高中生克服阅读恐惧心理和提高阅读理解力效果显著。段落结构和归纳段意策略链能够帮助学生从微观和宏观两个层面理解段落的基本意思；推断策略链可以提高学生深层理解语篇的能力；分类阅读对学生形成共性的推断结论大有帮助；综合使用策略链则能够帮助学生把理解成果转化为个性化的背景知识。

简介：计算机技术快速发展，网络已经近乎普及到每个人，为学生成绩管理工作现代化提供了重要的手段。本文介绍了高校学年制学生成绩管理系统的需求分析、功能分析、数据库设计及代码设计。为今后实现学分制奠定了基础。

简介：你出门用不用全球定位系统（GPS）？现今很多的智能手机都有GPS,而且很多人的车上也装有GPS装置。你如果使用GPS的话，就可以很轻易地到处去，你不需要携带或是使用纸质的地图，

简介：肖玲考上了市重点高中，但她不上，非要上二中。要知道，重点高中可是全市最好的高中，很多学生削尖了脑袋也未必能进去，她却主动退出。肖玲从小性格就很倔，爸妈不敢太勉强。只好由她去。临去学校时，母亲给肖玲一部新手机，说是最尖端的高科技产品，特意托人从国外带回来的，里面装有特务跟踪系统，她在外面的一举一动在母亲的手机里都能看见。

简介：不久前，我国北斗卫星导航系统（简称北斗系统）向亚太大部分地区正式提供服务，服务能力与GPS基本相当：

简介：给出脉冲混合系统及其扰动系统的积分Φ0稳定的概念，利用锥值Lyapunov函数和比较原理得到了脉冲混合系统的积分Φ0稳定的结果．

简介：CRM系统是目前企业中使用最多的信息化产品，云计算也是当前最热门的技术焦点．提出了一种基于云计算的CRM系统设设计思想，将CRM在云计算架构下重建实现共享企业资源的目的，为企业提供更高新能服务．

简介：

简介：邮件分拣系统由西门子S7200PLC作为主控制系统,通过计算机网络联结,配合相应的人工处理环节构成一个完整的分拣系统.利用软件“组态王”来做系统的组态设计,具有监控和数据采集功能,可大大缩短开发时间,快捷地进行图形维护和数据采集.

简介：本文从空调的基础知识开始,介绍了空调的组成、工作原理、系统分类和特点,提出了汽车空调系统在汽车中的重要性,并以别克凯越和雷克萨斯的空调系统为例,对空调系统进行维修思路的解析。

简介：文章分析了高校成人教务系统升级的必要性,介绍了成人教务系统自身功能升级以及整合网络课程平台、集成数字化校园的关键做法,阐述了升级成人教务系统对提高成人教育核心竞争力.升级后的成人教务系统适应了新形势下成人教育事业的发展,推动了成人教学管理水平的提高.

简介：信号与系统课程要求学生掌握线性时不变系统的分析方法，其理论性很强，内容比较抽象，公式推导较多，是一门教师难教、学生学习吃力的课程。在信号与系统课程的理论知识教学过程中，有效地结合实验与科研应用，一方面使得学生对枯燥的理论知识有了更直观、更深刻的理解，对将信号与系统的分析方法在解决实际问题时的应用有了深刻体会；另一方面也增强学生学好信号与系统这门课程的信心，提高学生积极参与科研工作的兴趣。

简介：系统思考源自系统动力学，是系统动力学系统观的发展。从本质上看，系统思考实际上是一种分析、综合系统内外反馈信息、非线性特点和时间延迟影响的整体动态思考方法，也是一种指导行动的能力。南京师范大学附属中学致力于学生人文素养和科学素养的全面发展，充分运用“系统思考”这一校本课程建设项目平台，让学生尽情享受学习、体验、参与、认知、思考、探索、创造的自由与快乐，不仅培养了学生的创新能力，而且使学生学会了用“系统”的眼光看世界。“系统思考”给南京师范大学附属中学带来了诸多的惊喜和变化，也给全省的课程基地建设项目提供了一个典型的范式。

简介：“学、用、赛、评”四位一体教学模式包括四个方面内容：学——以模块化教学带动学生学习兴趣；用——以实践应用来深化学生对知识的认知；赛——以技能比赛引领学生的学习热情；评——以学生主动评价教学内容来提升学习质量。并以管理信息系统课程为例，对“学、用、赛、评”四位一体教学模式的应用进行了详细分析，认为：该模式虽然没有严格程序，但在教学中，可以激发学生的学习热情，培养学生的学习兴趣，并能帮助学生理解和掌握所学知识，从而提高教学效果。

简介：中考英语总复习是综合性、系统性的复习，宜于结合英语学科的特点，抓住复习的要点，明确复习的目标和考试内容，拟定科学的复习方法，以听力技能、口语技能、阅读技能、写作技能和语言知识综合运用五个版块进行分析、归类，结合专项训练和综合训练，加强实践运用，在实践和运用中变知识为能力。在此过程中，逐步梳理、网络，条理知识，不断提高。融会贯通。

简介：CTC（分散自律调度集中系统）是现铁路高铁采用的主要调度系统之一,在铁道运输教学沙盘上采用CTC系统可成功对现有铁路线路各种运营与调度功能进行模拟,实现铁路调度员、值班员、站务员等岗位的培训学习功能。本文以福建铁路机电学校CTC铁道运输沙盘教学系统开发为例,运用软件工程开发的原理对CTC系统总体框架、软件设计、硬件设计、CTC控制中心子系统、车站子系统等功能结构进行概要设计,并就系统测试进行了讨论。

简介：本设计由3个模块组成：主控制器、温度采集电路及显示电路。所设计的多路温度采集系统，可实现多个粮仓的温度监视，测温范围为-20～70℃，精度误差在0．1℃以内，LED数码管直读显示。

简介：摘要：设计各类基础课程包括英语，计算机文化基础，c语言等基础课程的通用上机考试系统，在各课程试题库的建设基础之上，根据各类基础课程的特点，采用最新的程序设计和数据库技术，以最优化的算法应用于考试系统中，具有对各类课程考试可扩展性，成果对改进目前的考试方式有现实意义，并将有力的推动数字化校园的建设。

简介：排课问题是一个有约束的、多目标的组合优化问题.在针对遗传算法在求解该问题时搜索效率较低的情况下,提出了一个基于粒子群的排课算法.在算法设计过程中,考虑排课过程中所出现的各种时间、空间资源的冲突情况,设计了一种基于粒子群优化算法来实现时间和空间两种资源的优化.利用C#程序设计语言实现了基于粒子群算法的排课系统,实验和测试结果也验证了其有效性和系统的可用性.