从经典逻辑知识构建ASP知识库的新方法 被引量：6

1

作者 赵岭忠 王雪松 +1 位作者 钱俊彦 蔡国永 《计算机应用》 CSCD 北大核心 2010年第11期2932-2936,共5页

回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有... 回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。 展开更多

关键词 谓词逻辑 谓词公式 回答集程序设计 asp知识库

在线阅读 下载PDF 职称材料

ASP.NET页面间传值方法研究 被引量：18

2

作者 陈启祥 左强 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期113-114,117,共3页

ASP.NET Web Forms提供了很好的事件驱动编程模型,给开发工作带来诸多便利,但是,它也存在一些不足之处,页面间的值传送问题便是一个例子。该文重点探讨了解决这种页面间传值问题的6种方法,实验结果表明,该方法具备较高的效率和精度。

关键词 asp.NET 驱动编程 传值

在线阅读 下载PDF 职称材料

ASP对胸外科围手术期抗菌药物选择和感染发病率的影响 被引量：10

3

作者 杨阳 葛瑛 +8 位作者 周宝桐 荣晨 梁良 孙超 张国杰 张占杰 张波 李单青 范洪伟 《中国感染控制杂志》 CAS 北大核心 2018年第12期1050-1054,共5页

目的评价抗菌药物管理项目(ASP)对胸外科围手术期抗菌药物选择和患者术后感染发病率的影响。方法选取2015—2016年于某院胸外科进行肺或食管手术且术前无感染的患者。2015年的患者设为对照组(干预前),2016年的患者设为试验组(干预后)。2... 目的评价抗菌药物管理项目(ASP)对胸外科围手术期抗菌药物选择和患者术后感染发病率的影响。方法选取2015—2016年于某院胸外科进行肺或食管手术且术前无感染的患者。2015年的患者设为对照组(干预前),2016年的患者设为试验组(干预后)。2016年开展ASP,临床药师、感染科医生对使用碳青霉烯类药物和氟喹诺酮类药物的医嘱实时干预,规范抗菌药物的使用。比较实施ASP前后胸外科围手术期抗菌药物选择的规范程度和手术部位感染发生情况。结果干预前(2015年)纳入患者953例;干预后(2016年)纳入患者1 061例。食管或肺部手术患者手术部位感染发病率干预前、干预后分别为1. 57%、1. 70%,两者比较差异无统计学意义(χ~2=0. 047,P=0. 829)。使用推荐抗菌药物(头孢呋辛或头孢美唑)预防手术部位感染的比率从干预前的37. 15%(354/953)上升至干预后的69. 75%(740/1 061),干预前后比较差异有统计学意义(χ~2=215. 025,P=0. 000)。干预前、干预后胸外科抗菌药物AUD情况比较,厄他培南的AUD下降52. 46%(8. 12 VS 3. 86);头孢呋辛(7. 49 VS14. 83)和头孢美唑(4. 98 VS 9. 72)的AUD分别增加98. 00%、95. 18%;头孢曲松的使用强度下降85. 29%(12. 03VS 1. 77)。结论实施ASP,降低了胸外科厄他培南和头孢曲松的使用量,规范了胸外科手术预防用药,且不会引起肺和食管手术手术部位感染发病率的变化。 展开更多

关键词 抗菌药物管理项目 手术部位感染 抗菌药物 胸外科 围手术期 asp

在线阅读 下载PDF 职称材料

基于ASP的WEB数据库智能查询 被引量：10

4

作者 李志勇 徐长通 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期164-166,共3页

在网站信息处理工作中,Web数据库服务器能为访问者提供海量数据的存储和维护服务.就如何通过ASP把附加信息嵌入到链接中,在网络上实现客户端的智能查询作了一些探讨.

关键词 asp编程 WEB数据库 SQL查询 智能查询

在线阅读 下载PDF 职称材料

用ASP和SQL Server建立高校科研信息管理系统 被引量：6

5

作者 徐安 李霆 +1 位作者 刘琦晖 李晶 《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心 2006年第1期56-60,共5页

根据高校科研管理的特点对高校科研管理信息系统的需求进行了研究,提出了采用微软公司的ASP+SQL Server系统的解决方案,该方案采用B rowser/Server结构,浏览器的客户端无需安装任何组件,就可以使用本系统的所有功能;探讨了该解决方案的... 根据高校科研管理的特点对高校科研管理信息系统的需求进行了研究,提出了采用微软公司的ASP+SQL Server系统的解决方案,该方案采用B rowser/Server结构,浏览器的客户端无需安装任何组件,就可以使用本系统的所有功能;探讨了该解决方案的需求分析、程序设计、程序测试的全过程,系统总结了建立高效率科研管理信息系统的方法. 展开更多

关键词 asp编程技术 科研管理 信息系统

在线阅读 下载PDF 职称材料

图片到数据库存取的ASP实现 被引量：2

6

作者 董祥和 郭江鸿 《太原理工大学学报》 CAS 2004年第2期218-220,共3页

利用ASP中request对象的binaryread方法和recordset对象的appendchunk方法,以及response对象的binarywrite方法和getchunk方法实现了图片到Access数据库的存取,给出了关键的代码,使得网站具有方便、快速上传下载照片的功能。

关键词 asp编程 AD0 数据库

在线阅读 下载PDF 职称材料

WEB网站中统计在线用户的ASP解决途径 被引量：1

7

作者 邓长春 杨进 朱儒明 《兵工自动化》 2007年第7期50-50,66,共2页

基于Access数据库的校园网站,其WEB网站中在线用户实时统计,涉及在线用户、游客、注册用户在线的人数,上线时间及注册用户在线列表等问题。游客上线,则自动生成游客的ID。注册用户在线,则显示注册用户姓名。故就此设计了在线人数,在线... 基于Access数据库的校园网站,其WEB网站中在线用户实时统计,涉及在线用户、游客、注册用户在线的人数,上线时间及注册用户在线列表等问题。游客上线,则自动生成游客的ID。注册用户在线,则显示注册用户姓名。故就此设计了在线人数,在线时间及其注册在线列表的"*.ASP"程序。 展开更多

关键词 WEB网站 在线统计 ACCESS ＊.asp程序

在线阅读 下载PDF 职称材料

面向ASP服务基于B/S模式的WEB-LCAPS的研究与开发 被引量：2

8

作者 刘会霞 王霄 +1 位作者 梁佳洪 蔡兰 《组合机床与自动化加工技术》 北大核心 2002年第12期10-12,共3页

依据ASP理念 ,开发了一个基于web环境的激光切割自动编程系统 -WEB -LCAPS。阐述了WEB -LCAPS基于B/S模式的三层信息体系结构模式及基于Java的具体编程原理 ,论述了基于ASP理念的WEB -LCAPS客户管理、零件信息输入、识别及提取。

关键词 asp B/S模式 WEB 激光切割 自动编程系统

在线阅读 下载PDF 职称材料

ASP网页编程的安全性设计 被引量：1

9

作者 潘陆益 《现代电子技术》 2002年第11期11-12,16,共3页

介绍了在用 ASP设计网页时提高网络安全性的几种编程方法 ,对用

关键词 asp 网页 安全性 编程

在线阅读 下载PDF 职称材料

应用ASP实现Web环境下数据的管理与发布

10

作者 吴娟 程鹏 王涌 《现代电力》 2001年第1期71-77,共7页

介绍了 Active Server Pages(ASP)服务器端脚本编程环境及其工作原理 ,论述了校园网环境下应用 ASP技术 ,通过建立远程管理界面和客户端动态页面开发“软件天地”数据库管理系统的具体方案 ,并针对管理系统中的实际问题详细阐述了其解... 介绍了 Active Server Pages(ASP)服务器端脚本编程环境及其工作原理 ,论述了校园网环境下应用 ASP技术 ,通过建立远程管理界面和客户端动态页面开发“软件天地”数据库管理系统的具体方案 ,并针对管理系统中的实际问题详细阐述了其解决方法 ,以及在校园网环境下实际发挥的作用。 展开更多

关键词 校园网 数据库管理系统 asp WEB 动态服务主页

在线阅读 下载PDF 职称材料

基于ASP技术的网上购物模块的设计与实现

11

作者 孙新波 戴元永 +1 位作者 尹光明 丁晓晶 《黄金学报》 2001年第1期43-45,共3页

网上商店流程图的设计采用方框图的形式 ,购物程序的实现采用模块化设计 .着重就会员制的技术实现、商品种类的添加及数量的修改、客户邮件的处理等方面作较为详细的技术描述 。

关键词 asp 电子商务 网上商店 购物流程 模块化设计

在线阅读 下载PDF 职称材料

ASP程序和ActiveX技术结合开发Web系统 被引量：4

12

作者 张红 蔡秀云 +1 位作者 陈锦昌 谭建军 《工程图学学报》 CSCD 2001年第3期88-91,共4页

Web系统的设计和开发是当前应用于软件研制最活跃的领域之一。本文以Web技 术为基础，论述了一种最新的Web系统开发方法，即ASP程序和ActiveX技术结合书写Web系统 的方法，并以一个实际的Web信息系统的开发为例，论述了这一方法在实践... Web系统的设计和开发是当前应用于软件研制最活跃的领域之一。本文以Web技 术为基础，论述了一种最新的Web系统开发方法，即ASP程序和ActiveX技术结合书写Web系统 的方法，并以一个实际的Web信息系统的开发为例，论述了这一方法在实践中的应用。 展开更多

关键词 WEB系统 asp程序 ACTIVEX技术 WEB页面 系统开发 客户机/服务器

在线阅读 下载PDF 职称材料

ASP程序的版权保护 被引量：5

13

作者 崔学荣 李娟 《沈阳工业大学学报》 EI CAS 2007年第1期107-110,共4页

由于ASP程序的源代码不需要编译,只需要把源代码拷贝到服务器上便可以直接解释执行,所以ASP系统的版权保护一直是广大ASP用户最头疼的问题之一.为了确保一个ASP程序只能经过授权在一个Web服务器上运行,提出了一种版权保护的方法.该方法... 由于ASP程序的源代码不需要编译,只需要把源代码拷贝到服务器上便可以直接解释执行,所以ASP系统的版权保护一直是广大ASP用户最头疼的问题之一.为了确保一个ASP程序只能经过授权在一个Web服务器上运行,提出了一种版权保护的方法.该方法使用了ActiveX组件、微软的Script Encoder、网卡MAC地址绑定、字符串加密等多重保护措施.通过给出的实例,更加清楚地说明了如何使用该方法来实现ASP程序的版权保护.该方法可以有效地杜绝系统被非法拷贝在其他服务器上运行,从而保护系统版权. 展开更多

关键词 动态服务器页面 动态连接库 编程 网卡绑定 版权保护

在线阅读 下载PDF 职称材料

基于ASP的CSP模型验证性质反例生成技术研究 被引量：3

14

作者 王雪松 赵岭忠 张超 《计算机应用研究》 CSCD 北大核心 2013年第1期52-55,共4页

为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑... 为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性。 展开更多

关键词 通信顺序进程 回答集编程 支撑原因

在线阅读 下载PDF 职称材料

基于ASP的城市物流配送调度系统化设计 被引量：5

15

作者 周艳榕 《现代电子技术》 北大核心 2020年第7期159-162,168,共5页

以往城市物流配送调度系统采用中央服务器作为主要工作模式,存在调度效果差的问题,为了解决该问题,提出基于ASP的城市物流配送调度系统化设计。根据分布式ASP平台协同模式,设计系统框架结构。采用大容量存储C/S服务器,设计客户机应用程... 以往城市物流配送调度系统采用中央服务器作为主要工作模式,存在调度效果差的问题,为了解决该问题,提出基于ASP的城市物流配送调度系统化设计。根据分布式ASP平台协同模式,设计系统框架结构。采用大容量存储C/S服务器,设计客户机应用程序接口,通过DRDA通信层跟踪客户端内部工作情况。使用具有16根数据线的微处理器,通过控制电源对调度任务进行负载管理。利用ASP技术设计软件流程,并根据完成时间给出客户交货期、供应商资源收益率和网络负载均衡化计算公式,实现人员和车辆配送调度,由此完成城市物流配送调度系统化设计。通过实验对比结果可知,所提系统最高调度效果可达到89%,为城市物流配送提供高效调度方案。 展开更多

关键词 城市物流配送 调度系统化 asp 程序接口设计 软件流程设计 负载管理

在线阅读 下载PDF 职称材料

一种用于Slater与Kemeny选举求解的ASP方法 被引量：3

16

作者 徐珩僭 王以松 冯仁艳 《计算机工程》 CAS CSCD 北大核心 2019年第9期198-203,共6页

针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,... 针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,时间复杂度低,可读性强,并且适用于Kemeny选举。 展开更多

关键词 Slater选举 Kemeny选举 NP难问题 回答集程序设计 锦标赛

在线阅读 下载PDF 职称材料

医学寄生虫网络资料数据库的建立 被引量：5

17

作者 陈自强 贾雍 +1 位作者 彭鸿娟 陈晓光 《第一军医大学学报》 CSCD 北大核心 2003年第1期50-52,共3页

为了建立可用关键词进行资料搜索的医学寄生虫学数据库,本研究应用ASP程序及SQL语言,在网页与数据库文件之间建立了桥梁,利用数据库文件实现了网页搜索功能和资料查询。通过对医学寄生虫资料数据库建立方法的介绍,探讨了一种基于数据库... 为了建立可用关键词进行资料搜索的医学寄生虫学数据库,本研究应用ASP程序及SQL语言,在网页与数据库文件之间建立了桥梁,利用数据库文件实现了网页搜索功能和资料查询。通过对医学寄生虫资料数据库建立方法的介绍,探讨了一种基于数据库的网络搜索的方法。 展开更多

关键词 医学寄生虫网络资料数据库 建立 网络搜索 asp程序 SQL语言

在线阅读 下载PDF 职称材料

B/S模式下查询方法性能分析 被引量：2

18

作者 任志波 边小凡 《河北大学学报（自然科学版）》 CAS 2001年第1期94-97,共4页

在B/S模式下 ,通常Web利用动态SQL语句或存储过程查询数据库 ,本文对使用动态SQL语句和存储过程进行测试和比较 ,分析使用这两种方法的查询效率及对Web服务器和数据库服务器负载的影响 。

关键词 性能评测 B/S模式 asp程序设计 Web 数据库 SQL语句 存储过程 查询效率

在线阅读 下载PDF 职称材料

基于数据库的电子商务网站的Delphi实现技术 被引量：2

19

作者 蒋先刚 《计算机工程与应用》 CSCD 北大核心 2002年第21期153-154,163,共3页

分析和比较了目前的电子商务网站所应用的数据库技术,论述用Delphi开发电子商务的技术和方法,提出规范化快捷开发电子商务的最佳途径是运用数据库关联技术。

关键词 数据库 电子商务网站 DELPHI 面向对象 程序设计 数据关联 asp 分布式多层Web应用系统 Internet

在线阅读 下载PDF 职称材料

基于部件的化工生产可视化实现方法

20

作者 范艳军 孙力 +1 位作者 张晶 毛宗源 《控制工程》 CSCD 2005年第S1期5-7,共3页

针对工业现场有很多数据需要在后台显示,工作状况需要在控制台显示的情况, 研究了实现现场可视化方法。通过GUI方法,使应用者有身临其境的应用效果。基于部件便于分工协作、程序模块化、利于调试的开发方式,使用了当前最流行的VC开发工... 针对工业现场有很多数据需要在后台显示,工作状况需要在控制台显示的情况, 研究了实现现场可视化方法。通过GUI方法,使应用者有身临其境的应用效果。基于部件便于分工协作、程序模块化、利于调试的开发方式,使用了当前最流行的VC开发工具,利用VC强大的图形图像处理功能,制作出与现场设备外形相近的部件,同时添加必要的属性和方法体现其工作的动态效果。其后利用其他面向对象的编程语言,调用制作的部件,协调部件间的工作,以真实反映现场环境。最终通过ASP方式将可视化服务提供给使用者。 展开更多

关键词 OCK文件 数据可视化 控件 事件 容器程序 asp 部件 ⅡS

在线阅读 下载PDF 职称材料