首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  完全免费   7篇
  自动化技术   15篇
  2016年   2篇
  2012年   1篇
  2011年   2篇
  2010年   2篇
  2009年   1篇
  2008年   1篇
  2007年   1篇
  2006年   4篇
  2005年   1篇
排序方式: 共有15条查询结果,搜索用时 46 毫秒
1.
使用SPEC#开发高可靠性的物流信息系统   总被引:2,自引:2,他引:0  
结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性,可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。  相似文献
2.
基于B方法的弹道计算机程序设计技术   总被引:2,自引:0,他引:2  
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。  相似文献
3.
基于范畴计算的多目标语言程序生成架构   总被引:1,自引:0,他引:1       下载免费PDF全文
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平。  相似文献
4.
基于DSL的装备保障领域建模   总被引:1,自引:0,他引:1       下载免费PDF全文
基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。  相似文献
5.
现代战争条件下,装备综合保障目标和约束的复杂度急剧增加,采用传统方法所建立的问题模型往往求解困难,而且不易于理解和维护.提出了一个基于Multi-Agent的装备保障决策支持系统,可实现复杂保障问题的规约、求解、组合、划分、反馈和动态控制,并给出了一个应用该系统进行保障规划问题求解的实例.系统采用基于Agent构件的分布式体系结构,高层Agent可由低层Agent组装而成.系统顶层使用了7类Agent,其中Decision-Maker和Solver进一步采用了基于Multi-Agent的A-Team框架来实现保障任务控制和问题求解,有效地提高了问题求解的效率和可靠性.  相似文献
6.
提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约,业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分,以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合,用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则,用于帮助用户在问题求解剖面中快速确定一个有效的算法,并将之应用于具体的问题规约。  相似文献
7.
开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。  相似文献
8.
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。  相似文献
9.
介绍.NET Framework中的源代码模型库CodeDOM,并讲解如何使用相关技术自动生成.NET数据库应用程序代码,包括存储过程、业务对象类、数据访问对象类,以及用户界面。这种开发方法不仅能够减少数据库应用开发中的大量重复操作,也有助于规范程序结构和代码风格。  相似文献
10.
讲解基于.NET平台和c#语言开发数据库应用程序的过程和方法。以一个销售客户管理系统为例,详细解析如何实现从数据库模型到对象系统、再到用户界面的平滑过渡,帮助读者快速掌握三层体系结构的数据库应用开发方法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号