论文部分内容阅读
重视直肠癌诊治方面的几个问题
【机 构】
：
武汉市第二医院普外科
【出 处】
：
腹部外科
【发表日期】
：
2000年2期
其他文献
摘要：DNA计算是通过DNA分子之間的生化反应来进行计算的一种计算模式，在解决一类困难问题，特别是Np-完全问题上具有一定的优势。0－1规划问题是运筹学中的一个重要问题，具有很广泛的应用背景。设计了一种基于发夹结构来求解0-1规划问题的计算模型，并且描述了问题求解算法。
在此提出了一种基于速度分布的HR树索引结构，首先在速度域中对移动对象集进行规则划分，根据速度标量大小将移动对象划分到不同的速度树中，每棵速度树中移动对象具有相近的速度；对
通过分析传统商业智能系统在数据展现交互性和易用性等方面的不足,提出了一种基于Silverlight的企业可视化商业智能系统解决方案,在此解决方案中应用了WCF RIA Service简化了传统的N层结构应用模式。最后结合一个实际例子探讨了如何在MS.NET架构下结合Silverlight及微软Bing地图实现具有丰富的交互性和良好用户体验的地理可视化数据展现功能。
摘要：随着工业上广泛采用基于模型的开发(model-based development.MBD)的工具，这正在改变工业上因为采用形式化方法所带来的花费和效益的平衡。形式化方法例如模型检测融合到软件开发环境中能降低费用和使复杂的检测能自动和严密的进行。该文主要用一个实际应用来说明软件安全性重要性和模型检测怎样降低其费用。 关键词：MBD；模型检测；NuSMV；规约 中图分类号：TP368.6文献