电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作．     

面向绿色制造的一种作业调度模型及其算法

建立了面向绿色调度的模型,旨在优化调度过程中产品的质量、生产成本、资源消耗、环境污染和生产周期．将多目标遗传算法与模糊优选技术相结合对该模型求解,并用案例验证了模型的实用性和算法的可行性．     

解决位置管理问题的混沌混合差分进化算法

位置管理问题是移动计算环境中的一个重要问题.提出了一种解决位置管理问题的混沌混合差分进化算法,给出了将浮点编码的种群个体映射为问题解的方法,给出了解决标准差分进化算法早熟收敛问题的混沌搜索算法.仿真结果表明,混沌混合差分进化算法能有效解决移动计算中的报告小区规划问题,且算法的搜索质量优于遗传算法、禁忌搜索算法、蚁群算法和传统差分进化算法.     

WEB应用中的远程数据库导入与导出机制

主要针对开发WEB应用软件时经常会遇到的问题,提出了远程数据导入导出的解决方案和实现方法.     

老年甲亢性心脏病误诊分析

老年甲亢性心脏病因症状不典型，易被漏诊或误诊，当患者以“心悸、气短、双下肢水肿”为主诉来诊时，易被误诊为冠心病心力衰竭。本文以临床典型病例加以讨论，总结二者的鉴别要点；分析误诊原因，概括二者治疗差异，供临床工作者参考、借鉴。     

梦之神秘虚飘与文学之创造:浅释弗洛伊德的梦与文学

阐释了弗洛伊德关于梦的实质，即梦是一个充满含义的心理行为，它的动力始终是一咱渴望满足的愿望。梦的形成经历了凝聚、移替、象征和修饰加工过程。并阐释了弗氏关于梦与文学创造的关系，即梦艰给作家、艺术家以启示与创造，其中一个重要原因是因素梦是人愿望的满足，而作家创作的一个重要条件，就是把自己被压抑的本能冲动贯注到充满纪想的艺术作品中去。