许可
- 作品数：8 被引量：22H指数：4
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术环境科学与工程一般工业技术历史地理更多>>
- 战国楚简文字书写材料致讹现象初探
- 作为文字系统以外的因素，书写性文字的载体及其形制往往对文字形态有重要影响.作为文字的贮存载体，书写材料对文字形体的影响尤其不容小视.本文就载体及工具性质、边缘囿限和编纶破坏三方面导致的战国楚简文字讹变做简要分析.首先，载...
- 许可
- 关键词：讹变
- 网格服务流的状态π演算形式化验证技术研究与应用
- 网格服务流是实现复杂网格应用中大规模异构资源协作与共享的重要手段。如何确保其设计和实现上的正确性是系统科学和计算机科学领域的前沿性研究方向,具有重要的理论意义和实用价值。本文通过提出一种称为状态π演算的状态/事件混合形式...
- 许可
- 关键词：网格形式化验证
- 时间π演算及其弱时间互模拟分析被引量：5
- 2006年
- 为了提高π演算对系统时间特性进行建模和分析的能力,针对可重入流生产线系统的特点,提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算,即T-π演算。提出了一种新的弱时间互模拟关系,对模型的现有等价性判别条件进行了松弛。作为对T-π演算的有效性检验,利用T-π演算对可重入流生产线进行了形式化描述,在此基础上进行了其等价性分析,并给出了其可调度性判据。
- 许可刘连臣吴澄
- 关键词：可调度性分析形式化描述
- 某工程咨询公司的战略转型和实施探讨
- 许可
- 要件事实引论
- 许可
- 关键词：要件事实攻击防御释明权
- 网格服务链模型的验证分析技术及应用被引量：4
- 2007年
- 确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性.
- 许可王跃宣吴澄
- 关键词：网格形式化方法
- 战国楚简文字书写材料致讹现象初探被引量：1
- 2014年
- 作为文字系统以外的因素,书写性文字的载体及其形制往往对文字形态有重要影响。作为文字的贮存载体,书写材料对文字形体的影响尤其不容小视。本文就载体及工具性质、边缘囿限和编纶破坏三方面导致的战国楚简文字讹变做简要分析。首先,载体及工具性质导致讹变,归根到底是由楚地独特经济社会发展情况决定的。使用毛笔书写,则增大了书写的随意性和讹变出现的概率。其次,先写后编的简上,某些字迹可能被编纶破坏,客观上造成目前呈现出来的字形与理据产生差异。再次,边缘囿限因素致讹十分常见,而学界尚未系统研究。目前发现的战国楚简宽度在0.5~1.2厘米之间,大多数集中在0.6~0.8厘米内。窄幅书写区域限制笔画完整呈现,对文字形体产生了很大影响。
- 许可
- 关键词：讹变
- 电吸附法在污水回用工程中的应用研究
- 淡水资源短缺已成为制约我国经济发展的一个重要因素,污水再生利用是解决水资源短缺问题的重要途径,污水回用于工业循环冷却水时,氨氮及含盐量指标常常成为限制因素。电吸附技术是通过在电极两端施加低于水分解电压的电压,使得原水中的...
- 许可
- 关键词：电吸附污水回用氨氮除盐
- 文献传递
