期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于程序窗口推理的精化演算
1
作者 王云峰 李必信 +2 位作者 庞军 查鸣 郑国梁 《软件学报》 EI CSCD 北大核心 2000年第8期1071-1077,共7页
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出... 由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 . 展开更多
关键词 软件开发 精化演算 数据精化 程序窗口推理
在线阅读 下载PDF
通用隐式动值查找窗口程序 被引量:1
2
作者 王克富 《计算机应用》 CSCD 1998年第10期65-66,共2页
该文在分析传统显式静值查找的基础上,介绍利用INKEY()函数实现记录隐式动值查找的方法,并给出FoxPro通用窗口程序。
关键词 动值查找 窗口程序 管理信息系统 FOXPRO
在线阅读 下载PDF
深水钻井隔水管连接作业窗口分析 被引量:46
3
作者 鞠少栋 畅元江 +3 位作者 陈国明 刘秀全 许亮斌 王荣耀 《石油勘探与开发》 SCIE EI CAS CSCD 北大核心 2012年第1期105-110,共6页
采用通用组合确定准则和非线性搜索方法研究深水钻井隔水管连接作业窗口,建立隔水管-井口-导管整体有限元分析模型,并以钻井平台偏移值、表面海流流速和伸缩节冲程组合参数形式确定隔水管连接作业窗口。研究表明,隔水管钻井窗口总体上... 采用通用组合确定准则和非线性搜索方法研究深水钻井隔水管连接作业窗口,建立隔水管-井口-导管整体有限元分析模型,并以钻井平台偏移值、表面海流流速和伸缩节冲程组合参数形式确定隔水管连接作业窗口。研究表明,隔水管钻井窗口总体上呈倒锥形:表面海流流速较小时(小于1.0 m/s),钻井窗口主要受底部挠性接头转角的影响,顺流方向海流流速增加会增大底部挠性接头转角,减小允许的平台最大偏移值,逆流方向相反;当表面海流流速超过1.0 m/s时,钻井窗口主要受顶部挠性接头转角的影响,此时在逆流方向海流流速增加会显著增大顶部挠性接头转角,导致钻井窗口迅速缩小。隔水管连接非钻井和启动脱离程序窗口主要受导管最大等效应力限制,随海流流速增大向逆流方向偏移。另外,通过对隔水管连接作业窗口影响因素进行分析,可知适当提高顶张力和降低钻井液密度可有效扩展隔水管的钻井窗口。 展开更多
关键词 深水钻井 隔水管 钻井窗口 连接非钻井窗口 启动脱离程序窗口
在线阅读 下载PDF
根据窗口宽度创建可自动折叠或展开的工具栏 被引量:1
4
作者 张全法 庄春意 《郑州轻工业学院学报(自然科学版)》 CAS 2006年第2期64-66,69,共4页
结合开发实例,介绍了如何用Visual C++6.0创建能根据应用程序窗口宽度自动折叠或展开的工具栏.当窗口变窄时,自动折叠起来,即按照使用频度,依次将工具栏上的一组相关按钮折叠成下拉菜单.而当窗口变宽时,则按相反顺序展开.且能保持与对... 结合开发实例,介绍了如何用Visual C++6.0创建能根据应用程序窗口宽度自动折叠或展开的工具栏.当窗口变窄时,自动折叠起来,即按照使用频度,依次将工具栏上的一组相关按钮折叠成下拉菜单.而当窗口变宽时,则按相反顺序展开.且能保持与对话栏占据同一行的位置,节省视窗空间. 展开更多
关键词 工具栏 自动折叠或展开 应用程序窗口宽度 使用频度
在线阅读 下载PDF
拦截Windows传递给VB窗口的消息 被引量:1
5
作者 刘建都 周炜 周创明 《计算机工程》 EI CAS CSCD 北大核心 2000年第8期181-183,共3页
说明了拦截Windows传递给VB窗口程序的消息的方法.根据拦截消息后常见的3种处理方式,分别给出了一个实际例子.
关键词 窗口 窗口程序 消息 VB语言 WINDOWS
在线阅读 下载PDF
使用PowerBuilder编写系统托盘程序
6
作者 周伟 王丰 《兵工自动化》 2007年第10期11-11,共1页
在PowerBuilder中应用Win32 API函数编写系统托盘程序。步骤包括:向系统托盘添加应用程序窗口对应的图标;定义窗口最小化;当相关参数符合条件时,隐藏应用程序窗口,只显示图标;定义鼠标左键双击图标响应;条件满足时恢复应用程序窗口显示... 在PowerBuilder中应用Win32 API函数编写系统托盘程序。步骤包括:向系统托盘添加应用程序窗口对应的图标;定义窗口最小化;当相关参数符合条件时,隐藏应用程序窗口,只显示图标;定义鼠标左键双击图标响应;条件满足时恢复应用程序窗口显示;删除应用程序窗口对应的图标。程序实现参数含:本地外部函数、实例常量、NotifyIconData结构;定义实例变量;定义窗口的open事件、resize事件及close事件。 展开更多
关键词 POWERBUILDER 托盘程序 系统 编写 WIN32API函数 程序窗口 应用程序 显示图标
在线阅读 下载PDF
MFC窗口创建过程的研究 被引量:5
7
作者 卫洪春 彭小利 蒲国林 《现代电子技术》 2014年第11期151-154,共4页
VC开发环境中的Win32 Application生成窗口应用程序,结构简单清晰,MFC生成窗口应用程序的过程相当复杂。为了剖析MFC生成窗口应用程序的具体过程,深入分析了MFC框架的源代码及其调用关系,结合C++面向对象技术的封装、继承、多态、编译... VC开发环境中的Win32 Application生成窗口应用程序,结构简单清晰,MFC生成窗口应用程序的过程相当复杂。为了剖析MFC生成窗口应用程序的具体过程,深入分析了MFC框架的源代码及其调用关系,结合C++面向对象技术的封装、继承、多态、编译预处理等机制,设计了一个模拟系统,用以模拟MFC生成窗口应用程序的具体过程及响应各种消息,以助于深入领会、理解、应用MFC架构,从而编写更好的应用程序。 展开更多
关键词 虚函数 窗口应用程序 消息映射 面向对象技术
在线阅读 下载PDF
基于Aki模型的近震S波尾波Q值求解及分析软件研制 被引量:40
8
作者 朱新运 刘杰 张帆 《地震研究》 CSCD 北大核心 2006年第1期76-80,共5页
介绍了基于Ak i单次散射模型,在M atlab平台下开发研制近震S波尾波Q值的求解及分析软件的相关思路及数据实现、资料处理过程、窗口化程序软件模块的功能及使用方法,定量计算并分析了噪声水平、滤声器性能、数据采样等因素对计算尾波Q值... 介绍了基于Ak i单次散射模型,在M atlab平台下开发研制近震S波尾波Q值的求解及分析软件的相关思路及数据实现、资料处理过程、窗口化程序软件模块的功能及使用方法,定量计算并分析了噪声水平、滤声器性能、数据采样等因素对计算尾波Q值的影响,数据处理中引入了数据的动态采样方法。为了便于使用,该软件在设计上即设置了相关计算的默认控制参数,同时又对一些关键控制参数预留了可输入数据接口。 展开更多
关键词 尾波Q值 资料处理 窗口程序 MATLAB
在线阅读 下载PDF
药物临床试验盲态审核的SPSS实现 被引量:1
9
作者 杨立波 谷春华 《中国临床药理学与治疗学》 CAS CSCD 2005年第7期836-840,共5页
本文举例说明了SPSS 11.5 for Windows软件利用程序编辑窗口编程在药物临床试验盲态审核中的实际应用,列出了各种处理和产生相应的报表。
关键词 SPSS 11.5 程序编辑窗口 盲态审核 临床试验
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部