求解约束网络图的逆向推理方法

本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。     

多媒体技术应用于小学阅读教学的利与弊

科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经悄悄走进了课堂。多媒体技术应用于小学阅读教学,开辟了广阔的空间,激发了学生学习的欲望,突出了学生主体地位,化解了教学难点。然而,多媒体技术的运用也限制了学生思维的发展,语感的培养。本文试就多媒体技术应用于小学阅读教学的利与弊进行了阐述。     

运用多媒体技术,提高小学语文课堂教学效率

科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经走进了课堂,为教师教学开辟了广阔空间。多媒体技术激发了学生浓厚的学习兴趣,化解了教学难点,创设了丰富的教学情境,有效地进行了德育渗透,突出了学生主体地位,提高了课堂教学效率。本文试就小学语文教学运用多媒体技术问题进行了探讨。     

沪市行情

最近我又深切感受到电脑市场又恢复了往常的火热。内存价格已跌了不少,虽然没有跌到最低时候的价格,但也算跌了不少。先前想配机的用户被内存等的涨价一拖再拖,现在价格回落了,装机量大幅增加了。 CPU涨价 装机量上去了,热门部分CPU就涨价了。PⅢ550还是老样子,3400元,跌了一大段后,不动了。PⅢ500基本与上星期没什么变化,2150元。PⅢ450报价为1810元,涨了50元左右。PⅡ300/350分别是750/1190元,P400现在也只要1300元了,下降100元。赛扬的涨价范围较大。赛扬400的散装报价为650元,涨了几十元,盒装的要650元,也涨了一些。赛扬366的散装和盒装也涨了少许,散装报价为455     

面向航空发动机装配管理的动态表单系统研究

针对航空发动机装配生产中使用大量表格的特点,提出了动态表单解决方案,研究了各种表格数据的结构化存储技术,实现了装配过程的数字化管理。对基于表单的发动机装配流程进行建模,分析了表单的结构,建立表单的通用模型。使用面向对象技术,设计了表单系统的关键类,基于关系数据库设计了表单的结构化存储方案。设计了表单引擎,实现了表单数据的解析和结构化查询。最后结合发动机装配流程,应用该系统实现了装配过程的数字化管理。     

信息技术在小学语文教学中的作用

科学技术的日新月异,推进了素质教育的进程。现代化教学已经离不开信息技术,信息技术已经成为现代化教学必备的手段,小学语文教学尤其如此。现代信息技术可以把学生领进五彩缤纷的世界,实现梦寐以求的宏伟理想。运用现代信息技术进行语文教学,优化了课堂教学效率,提高了教学质量。运用现代信息技术教学,创设了丰富的教学情境,激发了学生浓厚的学习兴趣,学生学习获得了真正减负,促进了学生自主学习,丰富了学生课外知识,增加了学生文化底蕴。本文对信息技术在小学语文教学中的作用进行了阐述。     

某信号指示嵌入式软件的安全性分析

讨论了某信号指示预处理嵌入式软件的安全性问题。以有限状态机和马尔可夫链为理论基础,建立了该类软件的安全性模型。以灰熵定义为基础,定义了系统安全度的概念,量化系统安全性,给出了一种量化分析方法。预测了软件的安全性。最后借助数值仿真工具,讨论了估计参数对系统安全性的影响,得到了量化指标,根据仿真曲线给出了提高安全性的方法。     

面向智能电网的云计算技术研究

对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。     

我的开学防黑保卫战

暑假真是过得太快了,一转眼又到了大学开学的日子。以前我_直很讨厌开学,不过自从上了大学就不一样了。今年咱早早地告别了老妈的唠叨,来到了学校。不为别的,只为寝室我那已经休息了两个月的爱机。不过,在甩开膀子玩电脑之前,我还在电脑安全方面做了点功课。     

韩国Flash动画 顽皮搞怪的胖痴

体育篇单杠比赛开始了,伙伴们都使出了浑身解数,小熊甚至把单杠都压断了。终于轮到我了,拼命使出全身的力气才抓到了单杠。不好,忍不住了,只好完全释放了。伙伴们还真不给面子,不过是个屁嘛,怎么连防毒面具都带上了。     

基于多线程的HTTP服务器的设计与实现

HTTP服务器是Web服务器的一种,它是基于超文本传输协议HTTP的服务器。文章介绍了采用VC开发的多线程HTTP服务器的应用技术要点、工作原理及其模型设计,结合代码分析了HTTP服务器可以实现的功能,并进行了结果测试。     

APACHE在多核网络处理器平台上的性能评测与分析

测试并分析了Apache HTTP服务器在多核网络处理器平台ATCA-8000R上的性能。作为对比,测试了Apache在X86架构的服务器BH28上的性能。使用每秒完成的请求数、吞吐率和每个请求完成的时间作为性能指标。使用测试软件ab作为HTTP客户端,向被测设备发起请求。评测结果表明,Apache在多核网络处理器平台ATCA-8000R上的性能优于X86架构的BH28。通过分析网络处理器OCTEON 5860的特点,解释了这一评测结果。     

面向直播HTTP Streaming系统的HTTP缓存服务器行为优化

HTTP缓存服务器是提高HTTP Streaming系统客户并发量的关键环节。但当前主流HTTP缓存服务器,如Nginx、Squid、Varnish等,在缓存资源更新期间的行为都存在不足,当被应用在面向直播的HTTP Streaming系统中时,会周期性地把大量客户端请求转发至源服务器,从而制约了HTTP Streaming系统的可伸缩性。提出一种优化的HTTP缓存服务器在缓存更新期间的行为,即缓存服务器仅向源服务器转发一路客户端请求,缓存更新期间,拒绝其他关于该资源的请求。优化策略在使用最为广泛的Nginx服务器的基础上进行了实现。实验证明,优化后系统的伸缩性得到了显著提高。     

嵌入式Internet技术的研究与实现

对用嵌入式Web服务器技术在嵌入式设备中实现HTTP服务时的底层支持协议TCP/IP协议栈的精简进行了研究,主要从对TCP/IP协议栈中选用的协议进行精简着手,在实验室环境下对精简后的HTTP协议模块、ICMP协议模块进行了测试,达到了预期目的,并给出了HTTP协议精简后的程序处理方法.     

一种HTTP代理服务器的设计与实现

提出了一种高性能的HTTP代理服务器的设计方案。介绍了HTTP代理服务器基本工作原理，代理服务器的总体设计框架和其中采用的用以提高性能的关键技术、进程池技术和缓存机制以及核心模块的具体实现流程。     

嵌入式Web服务器端脚本引擎设计与实现

由于嵌入式设备的资源有限,RAM和ROM都非常小.为了在资源受限的情况下实现Web服务功能,在分析HTTP1.1的基础上,设计了一种简化的嵌入式Web服务器的软件结构.在参照MicrosoftASP技术的基础上,定义了实现嵌入式Web服务器端脚本解析的主要函数和接口,并给出了脚本引擎调用方法.结合C语言编程,成功地实现了HTTP连接和脚本解析.     

基于EWS的HTTP引擎设计

为了提高嵌入式系统开发的效率，该文提出了在嵌入式Web服务器中利用有限状态机来实现HTTP引擎的方法。根据嵌入式Web服务器对HTTP请求响应的过程，抽象出9个离散的状态，并将其转化为有限状态机的状态。用状态机的状态表示服务器完成HTTP连接处的各个状态，状态的变迁用状态表形式表示。通过有限状态机响应客户端的连接，使服务器的任务变得有效。实验表明，通过该方法实现的HTTP引擎，改进了服务的响应时间。     

面向HTTP身份鉴别协议的单点登录透明集成技术研究

针对单点登录技术实施过程中, 采用HTTP身份鉴别协议的已有Web应用系统不能修改、改变的技术难题, 提出了一种无须修改Web应用程序和Web服务器的身份鉴别方式即可实现单点登录的单点登录透明集成技术。该技术通过插入到Web服务器的HTTP请求、响应处理通道中的一个插件, 自动处理与Web服务器交互的HTTP身份鉴别协议数据, 从而在对Web服务器不作改变、对Web应用程序不作修改的情况下, 实现单点登录功能。实际应用和测试结果表明, 该方案实现了预定的功能, 达到了预期的效果。所提方案对单点登录的应用实施非常有帮助。     

嵌入式Web服务器的设计及其CGI实现

由于嵌入式设备的资源有限,RAM和ROM都非常小,在资源受限的情况下实现Web服务功能是非常困难的.在分析HTTP1.1的基础上,讨论了嵌入式Web服务器的特点及设计思想,提出了一种简化的嵌入式Web服务器的软件结构.重点描述了嵌入式Web服务器中CGI的实现方法.最后,结合C语言编程成功地实现了HTTP连接.     

HTTP协议及其发展

ＨＴＴＰ（超文本传输协议）是浏览器与Ｗｅｂ服务器共同遵守的协议。本文详细介绍了ＨＴＴＰ协议的消息格式、工作原理及客户机服务器间的互连方式。