- 博客(124)
- 收藏
- 关注
RSS订阅原创 31、工业中形式化方法采用的循证支持
本文探讨了在工业领域采用形式化方法时，如何通过自上而下和自下而上的导航方法有效检索证据库中的信息。结合高层经理、工程师、QA工程师和产品线经理等不同角色的应用场景，介绍了如何根据具体需求选择合适的导航策略，并详细说明了建立和管理证据库的关键要素，包括私有证据收集与选择性公开共享的机制。文章旨在为企业在形式化方法的实践与推广中提供系统性的信息支持。
2025-07-27 08:43:09
10
原创 29、Event-B 建模方法与形式化方法行业应用证据介绍
本文介绍了Event-B建模方法中的精化与死锁无关性证明，通过具体案例展示了机器m2的数据精化与事件精化过程，并分析了形式化方法在行业应用中的证据收集与呈现方式。同时，文章提供了证据材料的搜索方法、利用场景以及组织内部证据收集与分享的策略，为企业采用形式化方法提供了全面指导。
2025-07-25 13:33:11
10
原创 28、Event-B建模方法介绍
本博客介绍了Event-B建模方法的核心概念和技术，包括无死锁证明义务规则、机器建模与证明义务、上下文扩展机制、机器细化（叠加细化和数据细化）等内容。通过具体的示例机器m0和m1，详细阐述了如何对系统进行形式化建模和验证。博客还总结了关键知识点、应用建议以及常见问题解答，旨在帮助读者深入理解Event-B方法，并应用于复杂系统的开发与验证中。
2025-07-24 15:29:04
12
原创 27、事件 - B 建模方法入门
本博客详细介绍了事件-B建模方法的基础知识和应用实践。事件-B是一种基于数学的形式化建模语言，广泛用于系统设计和验证，其核心基础是一阶逻辑和类型化集合论。博客内容涵盖事件-B的数学语言、上下文定义、机器设计、事件定义、证明义务的生成与验证等多个方面，并通过一个课程管理系统的实例进行深入讲解。此外，还讨论了类型推断、良定义性条件、不变式保持、事件收敛和无死锁性等关键概念，帮助读者全面掌握事件-B建模的基本原理与实际应用。
2025-07-23 13:24:43
9
原创 41、SQL Server 2008 报告服务技术全解析
本文全面解析了 SQL Server 2008 报告服务的各项技术，涵盖基础概念、环境搭建、数据处理、查询优化、报表设计与布局、表达式应用、安全权限、性能优化、部署管理、系统集成等多个方面。同时深入探讨了高级查询、动态报表、交互性设计、国际化支持及报表监控维护等内容，并提供了丰富的代码示例和应用建议，帮助开发者和数据分析师高效构建企业级报表解决方案。
2025-07-23 12:15:16
11
原创 26、工业软件工程与形式化方法的实践洞察
本文探讨了形式化方法在工业软件工程实践中的应用与挑战。文章指出，软件工程应以计算机科学为基础，形式化方法是确保软件正确性和质量的关键手段。文章从需求差距、工具选择、团队合作、证明程度等多个方面分析了形式化方法在实际应用中的问题，并提出了相应的解决建议。通过实践案例表明，形式化方法能够有效提高软件系统的可靠性，并为未来软件行业的成熟发展指明了方向。
2025-07-22 13:08:35
6
原创 40、MDX 语言参考指南
本文详细介绍了 SQL Server 2008 中 MDX（多维表达式）语言的核心内容，包括对象标识符、保留关键字、成员引用、集合、元组和 SELECT 语句的使用方法。同时提供了常用函数分类、性能优化建议以及常见错误的解决方法，旨在帮助 Reporting Services 开发人员快速掌握 MDX 查询技巧，提升数据分析效率。
2025-07-22 10:37:54
10
原创 39、T - SQL 命令语法、系统变量及函数全解析
本文详细解析了T-SQL的命令语法、系统变量及常用系统函数，涵盖从基础语法到高级功能的全面内容。包括分区函数与方案的创建、脚本注释约定、保留字使用、系统变量分类及示例、多种类型系统函数及其使用场景，如聚合函数、日期和时间函数、数学函数等。通过示例代码和图表展示了其调用流程和实际应用，帮助开发者更好地理解和使用T-SQL进行数据库开发和管理。
2025-07-21 15:44:48
12
原创 25、软件形式化方法生态系统与工业应用前景
本文详细介绍了DEPLOY生态系统及其对形式化方法（特别是Event-B和Rodin技术）在工业应用中的推动作用。文章探讨了形式化方法在软件开发中的重要性，以及其如何提升系统可靠性和安全性。同时分析了形式化方法的优势、挑战及未来发展前景，并提供了多个工业应用案例，展示了其在交通、航天、半导体、嵌入式系统等领域的成功应用。
2025-07-21 14:34:51
25
原创 38、报表服务集成、自定义编程及 T - SQL 语法详解
本文深入探讨了报表服务集成与自定义编程的核心技术，包括使用RDL对象模型进行报表定义的动态生成、编辑和批量升级，以及T-SQL语法的详细参考与实际应用场景。内容涵盖从自定义数据扩展的调试方法到RDL文件的操作流程，再到T-SQL命令的分类与使用技巧，旨在帮助开发人员提升报表开发与数据库操作的能力。
2025-07-20 16:20:21
10
原创 24、技术转移经验分享：从培训到文档优化
本文总结了DEPLOY项目中从培训到文档优化的技术转移经验。文章探讨了初始培训的实施与挑战，支持模型的建立与局限，以特定领域问题为导向的技术转移，需求跟踪程序的管理，以及文档改进项目的关键作用。同时，文章还总结了实践经验，包括建立紧密的工业与学术联系、早期规划培训、重视文档质量等，为未来技术转移的进一步优化提供了方向。
2025-07-20 14:27:29
6
原创 23、技术工具与技术转移经验分享
本文详细介绍了在软件开发和系统工程中使用的实用工具插件，如Flow插件和Modes插件，它们为Event-B建模提供了更高效的控制流和模态视图支持。同时，文章分享了在多领域工业合作伙伴之间进行技术转移的经验，探讨了面临的挑战和采取的管理措施，并总结了推动技术落地和促进产学研融合的关键策略。
2025-07-19 15:26:24
5
原创 37、扩展报表服务：自定义数据集数据处理扩展的实现与应用
本文详细介绍了如何在 SQL Server Reporting Services (SSRS) 中实现一个自定义数据集数据处理扩展 (DPE)，以支持从 XML 数据集文件中读取数据。文章涵盖了从项目创建、接口实现、安装配置到最终测试的完整流程，并提供了 C# 和 VB.NET 两种语言的示例代码。通过该扩展，报表服务可以灵活处理隔离的数据存储并支持复杂的数据查询、过滤和排序功能。
2025-07-19 15:25:05
9
原创 22、Event-B工具集：功能、应用与发展
本文详细介绍了Event-B工具集的核心功能、应用场景及发展趋势。从B Motion Studio的可视化支持，到基于模型的测试（MBT）在工业界的应用，再到模型分解与组合、设计模式与转换模式的复用机制，全面展示了Event-B在系统建模中的优势。此外，还探讨了Event-B与其他符号（如需求管理工具ProR、UML-B）的集成，以及其代码生成能力，为复杂系统的开发提供了从建模、验证到实现的完整解决方案。
2025-07-18 11:44:43
22
原创 36、深入探究：SQL Server Reporting Services与SharePoint集成及扩展
本文深入探讨了SQL Server Reporting Services（SSRS）与SharePoint的集成模式及其扩展功能。详细分析了SSRS与SharePoint的两种集成模式（原生模式和集成模式）的架构、对比及适用场景，并进一步介绍了SSRS在数据处理扩展、传递扩展、渲染扩展等多个方面的扩展能力。文章旨在帮助企业根据实际需求选择合适的集成模式和扩展功能，以提升报表管理和数据处理的灵活性与效率。
2025-07-18 10:38:40
9
原创 35、实现报表与 SharePoint 的集成：全面指南
本文详细介绍了如何将 SQL Server 2008 报表服务与 SharePoint 实现深度集成，涵盖集成模式配置、报表发布与管理、数据连接设置、报表模型生成以及 Report Builder 1.0 的使用等内容。通过分步骤说明和流程图展示，全面解析了 SharePoint 环境下报表服务的部署流程，并提供了常见问题的解决方案和集成优势分析。最终展望了报表与 SharePoint 集成的未来发展趋势，为企业实现高效、统一的报表管理提供技术指导。
2025-07-17 13:34:11
11
原创 21、事件 - B 建模工具的特性与应用
本文详细介绍了事件-B建模工具及其插件的特性与应用，涵盖编辑器改进、团队协作支持、证明器增强、数学扩展、Isabelle集成、ProB模型检查与动画化、以及可视化工具B Motion Studio等内容。通过西门子、博世和BepiColombo等实际案例，展示了这些工具在工业规模项目中的高效性和实用性，并提供了针对不同应用场景的使用建议与未来发展方向。
2025-07-17 10:54:10
6
原创 34、报表集成：从自定义应用到 SharePoint 的全面指南
本文全面介绍了如何将 SQL Server 报表服务集成到自定义应用程序和 SharePoint 环境中的方法。内容涵盖使用 ASP.NET 应用程序渲染报表、利用 MicrosoftReportViewer 控件嵌入 Windows 应用程序中的报表、SharePoint Web 部件的使用，以及原生模式与 SharePoint 集成模式的对比分析。文章提供了详细的开发步骤、代码示例以及不同集成方式的适用场景和优缺点，为开发者提供了丰富的实践指导，帮助企业实现高效的报表管理与展示。
2025-07-16 16:04:52
7
原创 20、形式化方法在工业实践中的应用与工具支持
本文探讨了形式化方法在工业实践中的应用，重点介绍了Rodin平台及其对Event-B建模的支持。内容涵盖团队协作的挑战与解决方案、平台工具的规划与维护、模型编辑工具的开发与优化，以及数学理论与证明工具、自动化分析工具、模型组合与重用工具的应用。此外，还介绍了Event-B与其他符号链接工具的集成，展示了Rodin平台如何提升工业系统的开发效率和可靠性。
2025-07-16 12:19:28
6
原创 24、Knative 监控与开发安装指南
本文详细介绍了 Knative 中追踪（Traces）的重要性及其在系统监控和问题诊断中的应用，同时提供了开发环境下 Knative 的安装与配置指南。内容涵盖追踪的结构、使用工具 Zipkin 查看追踪信息、日志与指标的对比以及 Knative 安装所需的各类工具如 kubectl、kn 和 kapp 的使用方法。此外，还讨论了 Knative 的持续监控优化策略及相关常见问题的解决方案。
2025-07-15 16:14:05
13
原创 19、形式化方法在工业实践中的应用探索
本文探讨了形式化方法在工业实践中的应用，分析了模型处理的挑战与解决策略，介绍了定理证明和模型检查两种主要验证方法，并通过多个企业案例展示了形式化方法在实际开发中的应用效果与存在问题。文章总结了当前形式化方法在工业中面临的障碍，并提出了未来发展方向与实施建议，旨在推动软件质量与可靠性的提升。
2025-07-15 14:46:19
30
原创 33、报表集成到自定义应用程序的实现方法
本文详细介绍了如何将报表集成到自定义应用程序中，涵盖多种实现方式，包括URL渲染和编程式渲染。内容涉及报表的历史快照、常见场景、Windows和Web应用程序的集成方法，并提供了详细的代码示例和操作步骤，帮助开发者灵活地实现报表展示需求。
2025-07-15 09:37:39
7
原创 18、工业中形式化方法的应用与挑战
本文探讨了形式化方法在多个工业项目中的应用实践，包括CSWT、XMOS、SAP、AeS、SSF和博世等案例，分析了其在提升软件质量和系统可靠性方面的潜力与挑战。重点涉及形式化模型的构建、验证流程、工具支持、需求与模型之间的可追溯性，以及不同领域对形式化方法的适用性问题。同时，文章展望了未来形式化方法在工业中的发展趋势，包括工具自动化程度的提升、轻量级应用模式的推广以及更广泛的安全关键系统部署。
2025-07-14 13:53:17
8
原创 32、深入探究Reporting Services的URL访问与参数设置
本文深入探讨了Microsoft Reporting Services中通过URL访问和控制报表的方法，包括URL语法结构、参数传递机制、报表对象访问方式、输出格式设置以及设备信息配置等内容。同时，文章还详细介绍了如何通过URL动态传递报表参数、访问历史快照、嵌入Web页面以及提升应用安全性与性能的最佳实践，适用于开发人员和系统管理员深入理解和应用Reporting Services的URL功能。
2025-07-14 12:01:43
9
原创 23、从概念到生产：软件运行监控与指标分析
本文探讨了从概念到生产环境中的软件运行监控与指标分析，涵盖了 CI/CD 中的关键操作和部署策略，深入解析了 Knative 和 Kubernetes 环境下的日志、指标和追踪实践，并介绍了监控工具的使用及应对短暂性实例带来的挑战。同时，文章还提供了监控的最佳实践以及未来发展趋势，帮助读者构建全面的系统可观测性方案。
2025-07-14 09:51:20
13
原创 17、形式化方法的工业部署：趋势与挑战
本文详细分析了形式化方法在工业领域中的部署现状，包括其应用趋势、行业案例分析、面临的挑战以及未来发展方向。通过对汽车行业、交通行业、航天领域、商业领域、铁路领域和机载系统的具体案例研究，总结了形式化方法在不同行业的部署特点和经验教训。文章指出，工具的可扩展性、自动化水平、与现有开发实践的结合以及人员技能的提升是形式化方法广泛应用的关键。最后，文章展望了形式化方法在未来工业软件开发中的发展趋势，并提出了改进方向。
2025-07-13 13:27:43
29
原创 31、Reporting Services管理与集成全解析
本文深入解析了如何管理和集成Microsoft Reporting Services，包括服务器管理报告的作用、核心配置（如内存管理、URL预留、电子邮件传递）、渲染扩展的自定义设置，以及‘我的报告’功能的启用与注意事项。此外，还介绍了将Reporting Services报告集成到自定义应用程序的三种主要方法：URL访问、Web服务编程和Report Viewer控件的使用，并提供了最佳实践建议和配置示例。
2025-07-13 12:42:32
7
原创 22、软件从开发到生产的全流程实践
本文详细探讨了从软件开发到生产环境部署的全流程实践。重点包括容器镜像的最佳引用方式（如摘要）、使用云原生构建包（CNBs）和pack工具进行高效构建、选择合适的部署工具（如Concourse）、通过YAML进行声明式部署以及利用ytt渲染模板的方法。此外，还介绍了如何实现渐进式流量切换、可达性测试、回滚机制及错误处理等内容，旨在帮助开发者实现稳定、可扩展的云原生应用交付流程。
2025-07-13 11:16:50
17
原创 21、Knative中的并行与故障处理
本文介绍了 Knative 中并行（Parallel）与故障处理的机制和操作方法。内容涵盖如何创建并行实例、向多个分支发送 CloudEvent、扇入操作、重试与退避策略以及死信目的地的应用。同时，总结了关键概念，并提供了常见问题的解决方案和最佳实践建议，帮助开发者更好地构建和管理分布式系统。
2025-07-12 13:33:05
12
原创 16、形式化方法的工业部署：趋势与挑战
本文探讨了形式化方法在工业环境中的应用趋势与挑战，结合DEPLOY项目与2009年及2012年的调查数据，分析了形式化方法在不同领域的使用情况及其对时间、成本和质量的影响。文章指出，尽管形式化方法在提升产品质量方面成效显著，但仍面临工具可用性、成本效益、人才短缺等挑战。为此，提出了工具改进、证据收集、成本模型构建以及技能提升等应对策略，并展望了未来发展方向。
2025-07-12 10:36:02
6
原创 30、报告服务管理与监控全解析
本文全面解析了报告服务的管理与监控策略，涵盖备份与恢复计划、各类日志（设置日志、事件日志、跟踪日志和执行日志）的使用，以及性能计数器的监控方法和服务器管理报告的应用。通过这些手段，可以有效保障报告服务的稳定运行，并及时发现和解决潜在问题。
2025-07-12 09:23:50
7
原创 15、Event-B在工业微处理器开发中的应用经验
本文探讨了Event-B在工业微处理器开发中的实际应用经验，重点分析了其在指令集架构（ISA）形式化规范中的使用。通过XMOS公司的XCore ISA项目，展示了Event-B建模的优势与挑战，包括工具使用体验、证明消解的扩展性问题、工业流程集成的障碍以及与传统验证方法的对比。文章总结了该项目的技术成果与工业接受度限制，并提出了未来改进方向和发展潜力，如提升工具扩展性、熟悉用户界面设计、可靠支持体系建设等。尽管项目未被完全纳入现有设计流程，但开源发布为学术研究和工业应用提供了新的契机。
2025-07-11 16:21:28
27
原创 29、报告服务器管理：安全与备份恢复指南
本文详细介绍了报告服务器环境的管理方法，涵盖安全管理、备份与恢复、监控与配置等多个关键方面。通过合理配置账户权限、备份重要数据、实时监控服务器状态，可以有效保障报告服务的稳定性和数据安全性。此外，还提供了常见问题的解决方案和管理流程图，为企业提供全面的管理指导。
2025-07-11 16:03:33
7
原创 20、Knative Eventing中的序列与并行处理深入解析
本文深入解析了 Knative Eventing 中的序列（Sequence）与并行处理（Parallel）机制，详细介绍了它们的定义、结构及实际应用场景。通过示例演示了如何创建和配置序列与并行处理，并探讨了在实际电商系统中的应用案例。此外，还提供了性能优化建议，帮助开发者更好地构建高效、稳定的事件驱动型分布式系统。
2025-07-11 10:33:53
7
原创 19、Knative Eventing 中的过滤器使用指南
本文详细介绍了 Knative Eventing 中的过滤器使用方法，涵盖基本过滤规则、自定义属性过滤、多属性组合过滤等内容，并讨论了其优缺点及性能优化建议。同时，文章还展示了如何通过 Sockeye 和 Kafka 集成验证和扩展事件处理功能，为构建高效稳定的分布式事件驱动系统提供指导。
2025-07-10 15:46:33
8
原创 14、工业微处理器开发中部署 Event - B 的经验
本文探讨了在工业微处理器开发中部署 Event-B 方法进行指令集架构（ISA）形式化规范的经验。通过 XCore 形式化项目，详细描述了 ISA 的脆弱性和规范准确性的重要性，以及如何利用 Event-B 和 Rodin 工具集构建一个完整的 ISA 形式模型。项目不仅揭示了现有 ISA 文档中的错误、歧义和遗漏，还开发了特定工具和证明策略以提升自动证明消解率。最终，该项目成功生成了 XCore ISA 的完整 Event-B 规范，并为未来 ISA 的形式化建模提供了可复用的框架和经验参考。
2025-07-10 15:41:38
6
原创 28、报表服务内容管理全解析
本文深入解析了报表服务（Reporting Services）中的内容管理，涵盖项目级安全、角色与任务分配、内容管理自动化等多个方面。详细介绍了权限设置、任务映射、角色管理以及如何利用脚本和工具实现任务自动化。同时探讨了常见问题的解决方案及未来发展趋势，为企业高效、安全地管理报表服务提供了全面指导。
2025-07-10 09:15:46
7
原创 27、报表服务管理与创建指南
本博客详细介绍了报表服务的管理和创建过程，涵盖即席报表的创建基础、报表服务内容管理、Report Manager 的使用、各类内容管理活动（如文件夹、共享数据源、报表模型、报表资源等）、安全设置（包括项级安全）以及自动化内容管理的方法。同时，提供了总结与建议，帮助用户更好地利用报表服务，为用户提供准确、及时和有用的报表数据。
2025-07-09 14:25:24
8
原创 18、Knative Eventing：Sources、Sinks与高级特性介绍
本文深入介绍了Knative Eventing的核心概念与高级特性。内容涵盖Sources和Sinks的使用方式，包括PingSource的数据结构、Sink的两种指定方式（URI和Ref）及其优缺点，以及SinkBinding和ContainerSource的区别与应用场景。此外，还讨论了供应与绑定的概念差异，并列举了一些可用的第三方事件源。文章重点解析了Broker的作用机制、Triggers的过滤逻辑，以及Sequence和Parallel在复杂事件处理中的实现方法。通过这些内容，读者可以全面了解如何
2025-07-09 14:10:32
7
原创 13、正式方法在软件与微处理器开发中的应用经验
本博文探讨了正式方法在软件与微处理器开发中的实际应用经验，重点分析了CSWT公司的备用飞行显示器（RFD）项目和XMOS XCore微处理器的Event-B建模案例。通过详细描述项目背景、建模过程、挑战与解决方案，展示了正式方法在加强需求、提高系统可靠性和可追溯性方面的潜力。同时，总结了在工业实践中应用正式方法的经验教训，并展望了未来发展方向，如自动化工具支持、测试用例生成和团队协作优化。
2025-07-09 10:45:35
5
优化Web性能的关键技术与实践
2025-06-26
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人