检索结果-南通市图书馆

电脑编程技巧与维护 2009年第11期 88-89页

作者：王文江周国瑞

利用VC6.0的ATL COM创建ThreadExample工程,选择支持MFC,其他默认即可。然后添加简单的ATL对象,对象名命名为Thread。在CThread中,添加成员变量m;aram

关键词：线程类型库 VB 窗口句柄 Text VC

基于Visual Basic胶印机递纸牙类型库的开发

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

印刷杂志 2004年第11期 80-82页

作者：鲁继文闫海滨段刚龙张二虎西安理工大学印刷包装工程学院西安理工大学信息工程系

一、引言递纸机构是单张纸胶印机的关键部位,对印刷质量起着决定性的作用.因此,深入地认识递纸牙以便更好地熟悉胶印机,从而印出更精美的印刷品十分必要.目前,专门用来介绍递纸牙机构的系统还很少见,这对用户了解并选用印刷机递纸牙机... 详细信息

一、引言递纸机构是单张纸胶印机的关键部位,对印刷质量起着决定性的作用.因此,深入地认识递纸牙以便更好地熟悉胶印机,从而印出更精美的印刷品十分必要.目前,专门用来介绍递纸牙机构的系统还很少见,这对用户了解并选用印刷机递纸牙机构主要的类型带来了不便.为此,我们采用Visual Basic语言开发了胶印机递纸牙类型库.

关键词：递纸牙单张纸胶印机印刷机印刷品印刷质量递纸机构美的类型库 Basic语言用户

用DirectX加速Visual Basic的多媒体功能——创建VisualBasicCOM接口类型库

在线全文

学校读者我要写书评

暂无评论

医疗设备信息 1999年第3期14卷 72-75页

作者：张智河郭学谦马斌荣陆文秀李志辉齐颖张葵周跃华王钢首都医科大学北京同仁医院眼科

本文详细介绍了创建ＶｉｓｕａｌＢａｓｉｃ类型库的方法，解决ＶｉｓｕａｌＢａｓｉｃ与ＤｉｒｅｃｔＸ的接口问题。

关键词： Iunknown接口 DirectX COM接口类型库多媒体

算法的形式化推导与基于Isabelle的自动化验证

在线全文

学校读者我要写书评

暂无评论

算法的形式化推导与基于Isabelle的自动化验证

作者：齐蕾蕾江西师范大学

学位级别：硕士

可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程中的正确性。形式化方法主要包括形式化推导和形式化验证两个部分。形式化推导是通过对问题程序规约进行... 详细信息

可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程中的正确性。形式化方法主要包括形式化推导和形式化验证两个部分。形式化推导是通过对问题程序规约进行精确变换,最终得到算法程序。形式化验证是在对软件进行规约的基础上,验证软件是否具有所期望的性质。形式化方法对保证软件正确性和可靠性具有十分重要的意义。本文从形式化推导和自动化验证两方面研究提高算法程序正确性的有效途径。在形式化推导方面,采用基于递推技术的算法形式化方法开发算法程序,通过程序规约变换技术对形式化程序规约进行等价变换,得到问题求解的递推关系和循环不变式,以此为基础得到算法程序。该方法不仅清晰地展示了算法的设计思路与过程,而且有效保证了算法程序的正确性。在自动化验证方面,选择Isabelle定理证明器为工具。Isabelle传统应用领域为数学定理证明,本文结合验证需要在对其内置类型库和规则库进行扩充的基础上,探索将它应用于算法程序自动化验证以及问题求解序列递推关系自动化验证的有效方法。论文从三个层面深入剖析了Isabelle定理证明器,从三个部分展示了Isabelle的理论证明过程。结合本文两方面验证工作的需要,对Isabelle的类型库和规则库进行了扩充,完成了新添加规则的内部形式转换和正确性验证,以及新类型的嵌入;然后以此扩充的Isabelle类型库和规则库为基础,采用后推证明方式,结合Dijkstra最弱前置谓词方法,给出了算法程序自动化验证的基本流程,并对若干问题的算法程序进行了自动化验证;同时,为了避免手工推导递推关系带来的人为性错误,基于以上扩充的Isabelle规则库,对本文实例中推导得到的递推关系实现了进一步自动化验证。研究表明,上述工作有效提高了算法程序正确性证明和问题求解序列递推关系正确性验证的效率。

关键词：形式化推导自动化验证递推关系 Isabelle 证明规则库类型库

基于类型学的算法生形方法探索——以意大利普拉托城市更新设计为例

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于类型学的算法生形方法探索——以意大利普拉托城市更新设计为...

2019全国建筑院系建筑数字技术教学与研究学术研讨会

作者：张琪岩李飚东南大学建筑学院

建筑形式生成是生成设计探索中的重要环节之一,而基于类型学研究方法的形式语言演绎,赋予这一过程更加系统、理性和客观的研究可能性。本文源于与佛罗伦萨大学联合的意大利普拉托城市更新研究课题,运用类型学的分析方法提取和归纳既有... 详细信息

建筑形式生成是生成设计探索中的重要环节之一,而基于类型学研究方法的形式语言演绎,赋予这一过程更加系统、理性和客观的研究可能性。本文源于与佛罗伦萨大学联合的意大利普拉托城市更新研究课题,运用类型学的分析方法提取和归纳既有建筑的形式类型及其组织规则,构建形式元素类型数据库;通过Java程序设计进行转译,综合多个层级形式逻辑规则之间的相互作用,完成数字化程序建模。本研究基于既有的或生成的建筑轮廓快速获得大量、多样的建筑外部形式生成成果,旨在为建筑生成设计中的形式塑造提供更加高效的设计方式和新的参考思路。

关键词：生成设计类型库形式规则程序建模

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

计算机生成兵力中的模型管理

系统仿真学报 2005年第6期17卷 1303-1306页

作者：马耀飞龚光红彭晓源周波王亚男北京航空航天大学自动控制学院北京100083

模型库管理系统(MBMS)原型系统被开发用来管理以COM规范封装的仿真模型。若干关键技术,包括COM/DCOM、IDL、XML,构成了此系统的应用基础。MBMS被首先应用在CGF系统中。初步测试表明,此系统能够满足管理大量模型的需要。使用此系统,开发... 详细信息

模型库管理系统(MBMS)原型系统被开发用来管理以COM规范封装的仿真模型。若干关键技术,包括COM/DCOM、IDL、XML,构成了此系统的应用基础。MBMS被首先应用在CGF系统中。初步测试表明,此系统能够满足管理大量模型的需要。使用此系统,开发者能够迅速发现需要的模型;通过浏览模型信息,能够充分了解模型的使用方法。这大大加快了仿真应用的开发过程。

关键词：组件/分布式组件 XML 类型库 IDL 计算机生成兵力模型库管理系统

使用C++Build与AutoLisp实现在AutoCAD下AutoMation编程的一种方法

在线全文

学校读者我要写书评

暂无评论

测绘科学 2010年第S1期35卷 208-209,131页

作者：欧阳剑波云南省航测遥感信息院昆明650034

本文探讨了C++Build下AutoCAD软件的AutoMation编程方法,探讨如何利用C++Build建立用户界面,调用AutoLisp程序来实现AutoCAD功能。并通过一个应用实例,介绍了外部程序如何通过引用CAD类型库,调用CAD的智能对象,并向CAD发送命令的方法。

关键词： AutoMation编程类型库 AutoLisp

在线全文

学校读者我要写书评

暂无评论

一个实用的ole服务器类型库信息浏览器

电脑技术信息 1999年第8期 43-44页

作者：周灿林张清山东工业大学

本文介绍了ｖｉｓｕａｌｆｏｘｐｒｏｆｏｘｔｌｉｂ控件的使用方法，用它制作了一实用的ＯＬＥ服务器类型库信息浏览器。

关键词： OLE 服务器类型库类型信息浏览器

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

新闻

影视制作 2017年第6期23卷 12-15页

十八个优秀电视节目获广电总局表彰国家新闻出版广电总局日前发布的关于表彰2016年度广播电视创新创优节目的通报中，有18个电视节目获得殊荣。从科学、旅游，到创投、扶贫，再到文化、经济．在电视节目的类型库里，似乎“没有不可能”？

关键词：新闻出版电视节目广电总局广播电视类型库表彰

在线全文

学校读者我要写书评

暂无评论

1:500DWG转GIS数据技术研究

测绘 2015年第1期38卷 39-40,44页

作者：罗强杜云强宜宾市城乡规划建设地理信息中心四川宜宾644000

地理信息技术推广日益广泛,GIS数据在利用方面展现了巨大的优势。在广大的二、三线城市,以DWG格式获取测绘数据的方式目前还是主流,DWG快速转换为GIS数据意义重大。本文结合宜宾市城市规划管理部门的需求与实际情况,以CAD二次开发方式... 详细信息

地理信息技术推广日益广泛,GIS数据在利用方面展现了巨大的优势。在广大的二、三线城市,以DWG格式获取测绘数据的方式目前还是主流,DWG快速转换为GIS数据意义重大。本文结合宜宾市城市规划管理部门的需求与实际情况,以CAD二次开发方式实现对宜宾市1∶500大比例尺地形图的DWG到GIS数据的批量转换。

关键词： DWG转GIS 第三方控件类型库 1∶500地形图