基于MathML的数学公式在线编辑与传输的研究

大量公式和符号的编辑与传输处理是在线数学学术交流与教育活动中很重要的一个内容,MathML(Mathematical Markup Language)的出现为数学公式的在线编辑提供了强有力的支持.在对比分析相关技术的基础上,基于MathML设计一个在线公式编辑器并应用于数学论坛中,实现了公式的在线编辑、发布与显示等功能,具有很好的平台无关性、灵活性和可扩展性.     

尚需磨合：网络广告行业试行标准出台

近年来。互联网广告风生水起。并且迅速抢占了传统媒体广告投放的半壁江山。2007年。英特尔将网络广告投放额在其广告预算中的比例由两年前的15％提升至50％以上．众多大型企业纷纷效仿．网络广告迅猛上升的势头达到了顶峰。     

具有时变外系统扰动的一维抛物方程的观测器设计

本文考虑含有扰动的一维抛物方程的状态观测问题, 其中系统内部和边界上的扰动由一般的时变外系统产生. 利用反步变换和解耦变换, 设计了基于边界输出信号的状态观测器, 用于在线估计原系统和外部系统的状态.结果表明, 随着时间的推移, 观测器是指数收敛的. 最后, 通过数值仿真验证了该观测器的有效性.     

国内外高等职业技术教育浅议

本文介绍了经济发达国家重视发展职业技术教育,促进经济发展的经验及做法,分析了我国高等职业技术教育的发展历史,指出办出具有中国特色的高等职业技术教育是可能的,也是势在必行、刻不容缓的。     

基于电火花线切割机床的远程报警检测系统设计

电火花线切割机在加工过程中断丝、短路现象不可避免,若发生后未得到及时处理,会造成工时的大量浪费,影响加工效率;作者在对断丝、短路现象的物理特性分析基础上,提出了一种基于GSM模块的远程故障自动报警方案,在操作人员离机后,能及时收到短路和断丝的信息;设计了基于单片机的自动检测电路,编写了相应的软件程序;实验表明,该方案很好地完成了断丝、短路现象的报警,实现了线切割机床在无人值守情况的自动加工.     

互联网产业迎击金融危机

拥有158年历史的雷曼兄弟破产标志着新一轮华尔街金融风暴已经呼啸而来,并且迅速成为全球性的危机。中国互联网及其相关行业将会受到怎样的冲击？有些企业披着裁员的棉袄过冬,有些企业却在逆势而上……互联网产业链条中的重要三环—制造商、运营商和服务商,正在迎接着扑面而来的机遇与挑战。     

二语词汇习得石化消解的认知语言学研究

词汇习得过程分析表明母语介入是二语词汇习得石化的主要原因,用认知语言学理论指导二语词汇习得石化消解研究具有重要的理论和现实意义。典型理论、隐喻、转喻与意象图式结合起来可较好地解释多义词义项之间的理据及不同词汇之间的关系。认知语言学角度的二语词汇习得有助于学习者构建较为系统的词汇网络,习得语言事实背后的认知机制,加强二语词汇的语义与二语概念直接紧密的相通,理解和生成词汇,提高词汇能力,防止词汇习得中的石化现象。     

拯救钱包的APP《丁丁优惠》获新生

《丁丁优惠》是一个把所有的商家线下的优惠和折扣,集合到手机上来的应用。目前其服务已覆盖全国近38个城市,用户逾千万,优惠券在线数量超过5亿张。究竟是什么让它发展迅速,广受用户欢迎？我们一起来看看《丁丁优惠》背后的故事。     

天津地热回灌试验分析及存在问题

在分析天津地区地热地质背景、地热资源赋存条件的基础上,结合地热回灌试验历程及目的,划分了回灌阶段,研究了不同热储层回灌水温度、压力、回灌方式对地层吸水能力的影响和回灌条件下热储层水文地质条件的变化,并对存在问题和发展前景进行了分析和探讨,为下一步工作的开展积累了丰富的资料.研究表明,在天津实施地热回灌开采是可行的,它对延长地热开发寿命、改善生存环境、保持资源的循环利用是非常有效的.     

赋时Petri网的一种符号分析算法

有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上，对赋时位置Petri网的符号分析进行了研究，构造了一种扩展标识向量，给出了赋时Petri网分析的一种符号OBDD算法，实现了赋时Petri网的隐式描述与分析。实验表明，符号算法能处理较大规模赋时Petri网问题。