期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
14
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
利用通用数据交换模型实现多体系结构系统互操作的方法
被引量:
4
1
作者
董志华
朱元昌
邸彦强
《北京工业大学学报》
CAS
CSCD
北大核心
2015年第1期60-67,共8页
为解决分布式体系结构互联时存在的互操作问题,提出利用通用数据交互模型描述异构系统间的交互信息,给出了通用数据交换模型元模型的构建方法.将异构系统间交换的信息分为状态(对象类)、事件(交互,由状态改变引起)、控制信息3类,预定义...
为解决分布式体系结构互联时存在的互操作问题,提出利用通用数据交互模型描述异构系统间的交互信息,给出了通用数据交换模型元模型的构建方法.将异构系统间交换的信息分为状态(对象类)、事件(交互,由状态改变引起)、控制信息3类,预定义常用的通用消息模型和体系结构相关的消息模型,并设计了通用数据交换模型的创建方法,提升了扩展能力.基于该方法可实现集中式和分布式通用网关,利用回调机制、对象反射和主动发送等"推""拉"通信模式可实现信息的异步传递.通过HLA、TENA与某指控平台的互联验证了方法的有效性.
展开更多
关键词
体系结构
互操作
对象模型
回调机制
下载PDF
职称材料
基于逆向物流的废旧产品回收模式分析
被引量:
5
2
作者
闫欣欣
金姣
《商品储运与养护》
2008年第2期48-50,共3页
逆向物流是物流管理中新兴的一个服务项目,也是物流管理中比较棘手的问题。对废旧产品回收不仅可以节约资源、保护环境,还可以为企业带来新的利润增长。文中在理解逆向物流相关知识的基础上,以生产者为主体,从经济、政策、管理、技术等...
逆向物流是物流管理中新兴的一个服务项目,也是物流管理中比较棘手的问题。对废旧产品回收不仅可以节约资源、保护环境,还可以为企业带来新的利润增长。文中在理解逆向物流相关知识的基础上,以生产者为主体,从经济、政策、管理、技术等方面对三种回收模式进行比较分析,为生产者选择合适的废旧产品回收模式提供理论依据。
展开更多
关键词
废旧产品
回收模式
博弈
下载PDF
职称材料
一种元数据驱动的通用GIS应用集成模型
被引量:
1
3
作者
袁满
李金荣
+1 位作者
高俊涛
范忠钰
《计算机工程》
CAS
CSCD
2012年第6期282-284,287,共4页
分析基于地理信息系统(GIS)企业应用集成现状,提出一种元数据驱动的通用GIS应用集成的概念模型。定义实现自动集成的算法,构建支持基于GIS应用集成的支撑元模型。结合大庆油田GIS集成需求,以ArcGIS Server为开发平台,利用该模型实现油...
分析基于地理信息系统(GIS)企业应用集成现状,提出一种元数据驱动的通用GIS应用集成的概念模型。定义实现自动集成的算法,构建支持基于GIS应用集成的支撑元模型。结合大庆油田GIS集成需求,以ArcGIS Server为开发平台,利用该模型实现油田生产领域分布式应用系统的有效集成。
展开更多
关键词
地理信息系统
应用集成
元数据驱动
用户-实体-应用模型
客户端回调
下载PDF
职称材料
基于概率模型检测的移动应用缺陷评估
被引量:
2
4
作者
张国强
殷博
+1 位作者
朱静雯
康介恢
《计算机工程与设计》
北大核心
2019年第7期1908-1914,共7页
为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器...
为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器PRISM计算移动应用缺陷的发生概率,通过统计分析和对比实验分析研究方法的可行性和有效性。
展开更多
关键词
移动应用
回调序列
应用缺陷
MARKOV模型
概率模型检测
下载PDF
职称材料
网格环境下基于HLA的自适应仿真研究
5
作者
黄继杰
李伯虎
柴旭东
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第6期1479-1482,1499,共5页
在面向服务的网格环境下进行基于HLA的分布仿真时,网格环境的变化会使模型服务无法完成联邦成员对象实例的访问,从而导仿真运行终止,故必须在仿真中引入很强的容错机制,使仿真能自适应地运行。为满足网格环境下分布仿真运行的这些要求,...
在面向服务的网格环境下进行基于HLA的分布仿真时,网格环境的变化会使模型服务无法完成联邦成员对象实例的访问,从而导仿真运行终止,故必须在仿真中引入很强的容错机制,使仿真能自适应地运行。为满足网格环境下分布仿真运行的这些要求,先将模型设计成具有自适应能力的网格服务,再对运行支撑的本地组件(LRC)和核心组件(CRC)作服务化的改造,在这两组件间建立了两条基于Http协议的链接。通过为HLA增加几个模型管理接口,在LRC和CRC以及自适应模型服务三者之间实现了信息的互通,这使得模型服务的自适应能力被提升为仿真运行的自适应能力。实验表明,在网格环境下进行的自适应仿真具有了容错能力。
展开更多
关键词
自适应
对象实例
模型服务
联邦成员
RTI核心组件
回调
原文传递
基于GUI的Buck变换器仿真研究
6
作者
许智榜
石晓瑛
《华东交通大学学报》
2012年第4期35-39,共5页
分析同步Buck变换器工作模式,构造了非理想情况下Buck变换器的通用仿真模型,依据小信号模型,采用频域分析法设计了补偿网络,并在Matlab/GUI环境下开发了与Simulink交互的仿真系统调试平台。通过仿真实验,验证了通用模型的正确性,补偿网...
分析同步Buck变换器工作模式,构造了非理想情况下Buck变换器的通用仿真模型,依据小信号模型,采用频域分析法设计了补偿网络,并在Matlab/GUI环境下开发了与Simulink交互的仿真系统调试平台。通过仿真实验,验证了通用模型的正确性,补偿网络设计的合理性。采用所设计的交互式仿真平台,有助于补偿网络参数的整定、仿真实验结果的对比,对于开发和研究Buck变换器有着十分重要的意义。
展开更多
关键词
BUCK变换器
小信号模型
补偿网络
回调函数
下载PDF
职称材料
基于CORBA事件服务的异步通信
被引量:
1
7
作者
巩方浩
祈明龙
《电子设计工程》
2010年第5期22-24,28,共4页
为了真正实现基于CORBA(公用对象请求代理体系结构)的异步通信机制,首先对CORBA事件服务的原理及事件服务类型进行深入探索研究,着重分析了混合模型的信息传输过程。然后针对CORBA的传统通信机制在异步性方面存在的不足,在事件服务的基...
为了真正实现基于CORBA(公用对象请求代理体系结构)的异步通信机制,首先对CORBA事件服务的原理及事件服务类型进行深入探索研究,着重分析了混合模型的信息传输过程。然后针对CORBA的传统通信机制在异步性方面存在的不足,在事件服务的基础上,提出了异步回调模型。这种模型关键是将用户发送请求和接收应答分开,形成2个相互独立的运行过程。通过这个模型,消息的请求和应答互不干扰,用户发送请求后可以利用IIOPClient随时查询应答,实现了信息异步传输。
展开更多
关键词
事件服务
异步通信
服务模型
异步回调
下载PDF
职称材料
异步模型Asio的应用与分析
被引量:
4
8
作者
胡杨
梁昉昕
《现代计算机》
2008年第11期69-72,共4页
由于数据的读出和写入都存在延迟,一旦数据不能马上读入到缓存,按照以往的阻塞模型,程序只能在函数返回之前一直阻塞等待,极大的限制程序的扩展性和用户体验。异步IO正是为了解决这个问题而诞生的,但是因为其复杂性,涉及多线程的难以调...
由于数据的读出和写入都存在延迟,一旦数据不能马上读入到缓存,按照以往的阻塞模型,程序只能在函数返回之前一直阻塞等待,极大的限制程序的扩展性和用户体验。异步IO正是为了解决这个问题而诞生的,但是因为其复杂性,涉及多线程的难以调试性都阻碍着程序员的应用。通过分析Boost.Asio的异步设计思想的基础上,总结出一个异步模型以及其优缺点。
展开更多
关键词
网络开发库
异步模型
回调机制
下载PDF
职称材料
基于B/S的扫码支付平台的设计
被引量:
4
9
作者
汪天星
程耕国
《现代电子技术》
北大核心
2018年第22期49-52,58,共5页
针对单一的支付方式不能满足用户多元化的支付需求,设计一个基于B/S的扫码支付平台。该平台通过采用扫码支付模式,实现对支付宝和微信支付服务的整合。平台由服务器选型、支付订单生成和异步回调处理三个模块组成。服务器选型模块用于...
针对单一的支付方式不能满足用户多元化的支付需求,设计一个基于B/S的扫码支付平台。该平台通过采用扫码支付模式,实现对支付宝和微信支付服务的整合。平台由服务器选型、支付订单生成和异步回调处理三个模块组成。服务器选型模块用于从集群服务器中选择性能相对最佳的服务器处理整个扫码支付流程。支付订单生成模块调用第三方支付下单API生成预支付订单。异步回调处理模块的功能是接收支付通知和更新数据库表的数据。平台采用四项措施降低了支付风险,为用户提供了既安全又快捷的支付服务。
展开更多
关键词
支付方式
支付服务整合
服务器选型
异步回调处理
扫码支付
支付平台
下载PDF
职称材料
基于DCOM的软件模型
被引量:
1
10
作者
罗峰
《济宁师范专科学校学报》
2005年第3期1-3,共3页
为了把计算机网络简单地看作一个虚拟的并行机,并采用分布式计算以提高运行效率,减少运行时间,提出了一个基于DCOM的软件模型。通过使用截止期和回调标志,对该模型的算法进行了改进,提高了系统性能。该模型以主-从机模型为基础,通过调...
为了把计算机网络简单地看作一个虚拟的并行机,并采用分布式计算以提高运行效率,减少运行时间,提出了一个基于DCOM的软件模型。通过使用截止期和回调标志,对该模型的算法进行了改进,提高了系统性能。该模型以主-从机模型为基础,通过调用在整个子网中发送一个广播调用来请求合作,自动发行新的程序版本,并管理从机上未完成的作业。
展开更多
关键词
DCOM
软件模型
计算机网络
分布式计算
回调标志
下载PDF
职称材料
安卓应用的回调序列与模型检测应用
11
作者
崔洁
陈亮
+2 位作者
康介恢
吴彦峰
于家伟
《计算机工程与设计》
北大核心
2019年第1期218-222,235,共6页
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL (lin...
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL (linear temporal logic)表示目标验证属性,得以自动化地验证应用缺陷。通过设计一个移动应用回调排序原型系统SQDroid,并将该系统应用在数据竞争缺陷检测上,验证了该方法的有效性。
展开更多
关键词
ANDROID应用
回调函数
模型检测
缺陷检测
数据竞争
下载PDF
职称材料
城市空间信息服务共享平台研究与应用
被引量:
3
12
作者
罗雁
邹梦秋
+1 位作者
王刚
刘福成
《城市勘测》
2012年第5期20-24,共5页
随着空间信息技术、多媒体技术、网络技术的高速发展,GIS在城市发展和建设中的应用越来越广泛,同时越来越多的行业开始将GIS纳入到日常的管理和工作中去,如何搭建城市空间信息服务共享平台,实现对城市空间信息的网络化、网格化、智能化...
随着空间信息技术、多媒体技术、网络技术的高速发展,GIS在城市发展和建设中的应用越来越广泛,同时越来越多的行业开始将GIS纳入到日常的管理和工作中去,如何搭建城市空间信息服务共享平台,实现对城市空间信息的网络化、网格化、智能化的管理是我们目前需要解决的问题。本文将结合天津空间信息服务共享平台的建设,从空间数据组织层面、共享服务平台架构以及所采取的关键性技术三个方面来阐述相关的思路。
展开更多
关键词
GIS
空间信息服务
数据组织
多尺度金字塔模型
多级缓存
异步回调
下载PDF
职称材料
V8与CAR构件互操作技术研究
13
作者
袁轶
陈榕
《电脑知识与技术》
2010年第11期8904-8906,共3页
目前使用浏览器作为应用平台这一开发模式正越来越被接受。使用html/css作为表现层,JavaScript语言作为逻辑层已经成为了一种新的编程模式。比较著名的应用有PalmWebOS、GMail、GoogleWave以及即将推出的ChromeOS等。但是Javascript...
目前使用浏览器作为应用平台这一开发模式正越来越被接受。使用html/css作为表现层,JavaScript语言作为逻辑层已经成为了一种新的编程模式。比较著名的应用有PalmWebOS、GMail、GoogleWave以及即将推出的ChromeOS等。但是Javascript作为一种脚本语言有其先天的局限性,扩展JavaScript引擎可以使基于浏览器的应用的功能更加丰富。CAR作为一种二进制构件技术,可以在运行时动态加栽、反射。利用CAR的这些特性,可以实现对浏览器的JavaScript引擎的本地化扩展,大大提高JavaScript的运行效率与能力。
展开更多
关键词
JAVASCRIPT引擎
V8
CAR构件
本地化扩展
回调模型
下载PDF
职称材料
基于CAR构件技术回调函数线程模型的研究
14
作者
王文静
陈榕
《现代计算机》
2007年第7期4-6,15,共4页
CAR构件技术作为一种新型的、功能强大的构件技术,针对其特点,在CAR构件回调机制的基础上提出了基于CAR构件技术回调函数的线程模型,从而提高应用程序的模块化程度,加速应用程序的开发过程。
关键词
回调
异步
CAIL构件技术
线程模型
下载PDF
职称材料
题名
利用通用数据交换模型实现多体系结构系统互操作的方法
被引量:
4
1
作者
董志华
朱元昌
邸彦强
机构
军械工程学院电子与光学工程系
出处
《北京工业大学学报》
CAS
CSCD
北大核心
2015年第1期60-67,共8页
基金
总装备部预研基金资助项目(9140A04030213JB34050)
文摘
为解决分布式体系结构互联时存在的互操作问题,提出利用通用数据交互模型描述异构系统间的交互信息,给出了通用数据交换模型元模型的构建方法.将异构系统间交换的信息分为状态(对象类)、事件(交互,由状态改变引起)、控制信息3类,预定义常用的通用消息模型和体系结构相关的消息模型,并设计了通用数据交换模型的创建方法,提升了扩展能力.基于该方法可实现集中式和分布式通用网关,利用回调机制、对象反射和主动发送等"推""拉"通信模式可实现信息的异步传递.通过HLA、TENA与某指控平台的互联验证了方法的有效性.
关键词
体系结构
互操作
对象模型
回调机制
Keywords
architecture interoperability object
model
callback
mechanis
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于逆向物流的废旧产品回收模式分析
被引量:
5
2
作者
闫欣欣
金姣
机构
南京大学工程管理学院
出处
《商品储运与养护》
2008年第2期48-50,共3页
文摘
逆向物流是物流管理中新兴的一个服务项目,也是物流管理中比较棘手的问题。对废旧产品回收不仅可以节约资源、保护环境,还可以为企业带来新的利润增长。文中在理解逆向物流相关知识的基础上,以生产者为主体,从经济、政策、管理、技术等方面对三种回收模式进行比较分析,为生产者选择合适的废旧产品回收模式提供理论依据。
关键词
废旧产品
回收模式
博弈
Keywords
End-of-Life product
callback model
game theory
分类号
F252 [经济管理—国民经济]
下载PDF
职称材料
题名
一种元数据驱动的通用GIS应用集成模型
被引量:
1
3
作者
袁满
李金荣
高俊涛
范忠钰
机构
东北石油大学计算机与信息技术学院
华北油田勘探开发研究院
出处
《计算机工程》
CAS
CSCD
2012年第6期282-284,287,共4页
基金
黑龙江省教育厅科学技术研究基金资助面上项目"业务过程建模驱动的PAIS软件需求分析"(11551018)
文摘
分析基于地理信息系统(GIS)企业应用集成现状,提出一种元数据驱动的通用GIS应用集成的概念模型。定义实现自动集成的算法,构建支持基于GIS应用集成的支撑元模型。结合大庆油田GIS集成需求,以ArcGIS Server为开发平台,利用该模型实现油田生产领域分布式应用系统的有效集成。
关键词
地理信息系统
应用集成
元数据驱动
用户-实体-应用模型
客户端回调
Keywords
Geographic Information System(GIS)
application integration
metadata-driven
User-Entity-Application(UEA)
model
client
callback
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于概率模型检测的移动应用缺陷评估
被引量:
2
4
作者
张国强
殷博
朱静雯
康介恢
机构
国网天津市电力公司电力科学研究院
国网天津市电力公司
南开大学软件学院
南开大学计算机与控制工程学院
出处
《计算机工程与设计》
北大核心
2019年第7期1908-1914,共7页
基金
天津市自然科学基金重点基金项目(17JCZDJC30700)
天津市科技支撑基金项目(17YFZCGX00610)
文摘
为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器PRISM计算移动应用缺陷的发生概率,通过统计分析和对比实验分析研究方法的可行性和有效性。
关键词
移动应用
回调序列
应用缺陷
MARKOV模型
概率模型检测
Keywords
mobile applications
callback
sequence
application defects
Markov
model
probabilistic
model
detection
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
网格环境下基于HLA的自适应仿真研究
5
作者
黄继杰
李伯虎
柴旭东
机构
北京航空航天大学自动化科学与电气工程学院
航天科工集团二院
北京仿真中心
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008年第6期1479-1482,1499,共5页
文摘
在面向服务的网格环境下进行基于HLA的分布仿真时,网格环境的变化会使模型服务无法完成联邦成员对象实例的访问,从而导仿真运行终止,故必须在仿真中引入很强的容错机制,使仿真能自适应地运行。为满足网格环境下分布仿真运行的这些要求,先将模型设计成具有自适应能力的网格服务,再对运行支撑的本地组件(LRC)和核心组件(CRC)作服务化的改造,在这两组件间建立了两条基于Http协议的链接。通过为HLA增加几个模型管理接口,在LRC和CRC以及自适应模型服务三者之间实现了信息的互通,这使得模型服务的自适应能力被提升为仿真运行的自适应能力。实验表明,在网格环境下进行的自适应仿真具有了容错能力。
关键词
自适应
对象实例
模型服务
联邦成员
RTI核心组件
回调
Keywords
adaptive
object case
model
-service
Federate
RTI core component
callback
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
原文传递
题名
基于GUI的Buck变换器仿真研究
6
作者
许智榜
石晓瑛
机构
华东交通大学电气与电子工程学院
出处
《华东交通大学学报》
2012年第4期35-39,共5页
文摘
分析同步Buck变换器工作模式,构造了非理想情况下Buck变换器的通用仿真模型,依据小信号模型,采用频域分析法设计了补偿网络,并在Matlab/GUI环境下开发了与Simulink交互的仿真系统调试平台。通过仿真实验,验证了通用模型的正确性,补偿网络设计的合理性。采用所设计的交互式仿真平台,有助于补偿网络参数的整定、仿真实验结果的对比,对于开发和研究Buck变换器有着十分重要的意义。
关键词
BUCK变换器
小信号模型
补偿网络
回调函数
Keywords
Buck converter
small-signal
model
compensation network
GUI
callback
function
分类号
TM461.5 [电气工程—电器]
下载PDF
职称材料
题名
基于CORBA事件服务的异步通信
被引量:
1
7
作者
巩方浩
祈明龙
机构
武汉理工大学计算机学院
出处
《电子设计工程》
2010年第5期22-24,28,共4页
文摘
为了真正实现基于CORBA(公用对象请求代理体系结构)的异步通信机制,首先对CORBA事件服务的原理及事件服务类型进行深入探索研究,着重分析了混合模型的信息传输过程。然后针对CORBA的传统通信机制在异步性方面存在的不足,在事件服务的基础上,提出了异步回调模型。这种模型关键是将用户发送请求和接收应答分开,形成2个相互独立的运行过程。通过这个模型,消息的请求和应答互不干扰,用户发送请求后可以利用IIOPClient随时查询应答,实现了信息异步传输。
关键词
事件服务
异步通信
服务模型
异步回调
Keywords
event service
asynchronous communication
service
model
asynchronous
callback
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
异步模型Asio的应用与分析
被引量:
4
8
作者
胡杨
梁昉昕
机构
中山大学信息科学与技术学院
中山大学亚太研究院
出处
《现代计算机》
2008年第11期69-72,共4页
文摘
由于数据的读出和写入都存在延迟,一旦数据不能马上读入到缓存,按照以往的阻塞模型,程序只能在函数返回之前一直阻塞等待,极大的限制程序的扩展性和用户体验。异步IO正是为了解决这个问题而诞生的,但是因为其复杂性,涉及多线程的难以调试性都阻碍着程序员的应用。通过分析Boost.Asio的异步设计思想的基础上,总结出一个异步模型以及其优缺点。
关键词
网络开发库
异步模型
回调机制
Keywords
Network Library
Asynchronous
model
callback
Mechanism
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于B/S的扫码支付平台的设计
被引量:
4
9
作者
汪天星
程耕国
机构
武汉科技大学信息科学与工程学院
武汉科技大学冶金自动化与检测技术教育部工程研究中心
出处
《现代电子技术》
北大核心
2018年第22期49-52,58,共5页
基金
国家自然科学基金(61501337)~~
文摘
针对单一的支付方式不能满足用户多元化的支付需求,设计一个基于B/S的扫码支付平台。该平台通过采用扫码支付模式,实现对支付宝和微信支付服务的整合。平台由服务器选型、支付订单生成和异步回调处理三个模块组成。服务器选型模块用于从集群服务器中选择性能相对最佳的服务器处理整个扫码支付流程。支付订单生成模块调用第三方支付下单API生成预支付订单。异步回调处理模块的功能是接收支付通知和更新数据库表的数据。平台采用四项措施降低了支付风险,为用户提供了既安全又快捷的支付服务。
关键词
支付方式
支付服务整合
服务器选型
异步回调处理
扫码支付
支付平台
Keywords
payment mode
payment service integration
server
model
selection
asynchronous
callback
processing
scan-ning-code payment
payment platform
分类号
TN820.2-34 [电子电信—信息与通信工程]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于DCOM的软件模型
被引量:
1
10
作者
罗峰
机构
济宁师专数学系
出处
《济宁师范专科学校学报》
2005年第3期1-3,共3页
文摘
为了把计算机网络简单地看作一个虚拟的并行机,并采用分布式计算以提高运行效率,减少运行时间,提出了一个基于DCOM的软件模型。通过使用截止期和回调标志,对该模型的算法进行了改进,提高了系统性能。该模型以主-从机模型为基础,通过调用在整个子网中发送一个广播调用来请求合作,自动发行新的程序版本,并管理从机上未完成的作业。
关键词
DCOM
软件模型
计算机网络
分布式计算
回调标志
Keywords
distributed computing, master-slave
model
,
callback
mark, deadline
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
安卓应用的回调序列与模型检测应用
11
作者
崔洁
陈亮
康介恢
吴彦峰
于家伟
机构
国网天津市电力公司电力科学研究院
南开大学计算机与控制工程学院
出处
《计算机工程与设计》
北大核心
2019年第1期218-222,235,共6页
基金
天津市自然科学基金重点基金项目(17JCZDJC30700)
文摘
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL (linear temporal logic)表示目标验证属性,得以自动化地验证应用缺陷。通过设计一个移动应用回调排序原型系统SQDroid,并将该系统应用在数据竞争缺陷检测上,验证了该方法的有效性。
关键词
ANDROID应用
回调函数
模型检测
缺陷检测
数据竞争
Keywords
Android application
callback
function
model
checking
defect detection
data race
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
城市空间信息服务共享平台研究与应用
被引量:
3
12
作者
罗雁
邹梦秋
王刚
刘福成
机构
天津市测绘院
出处
《城市勘测》
2012年第5期20-24,共5页
文摘
随着空间信息技术、多媒体技术、网络技术的高速发展,GIS在城市发展和建设中的应用越来越广泛,同时越来越多的行业开始将GIS纳入到日常的管理和工作中去,如何搭建城市空间信息服务共享平台,实现对城市空间信息的网络化、网格化、智能化的管理是我们目前需要解决的问题。本文将结合天津空间信息服务共享平台的建设,从空间数据组织层面、共享服务平台架构以及所采取的关键性技术三个方面来阐述相关的思路。
关键词
GIS
空间信息服务
数据组织
多尺度金字塔模型
多级缓存
异步回调
Keywords
GIS
spatial information service
data organization
muhi-scale Pyramid
model
Multi-level cache
Asynchronous
callback
分类号
P208.2 [天文地球—地图制图学与地理信息工程]
下载PDF
职称材料
题名
V8与CAR构件互操作技术研究
13
作者
袁轶
陈榕
机构
同济大学基础软件工程中心
出处
《电脑知识与技术》
2010年第11期8904-8906,共3页
文摘
目前使用浏览器作为应用平台这一开发模式正越来越被接受。使用html/css作为表现层,JavaScript语言作为逻辑层已经成为了一种新的编程模式。比较著名的应用有PalmWebOS、GMail、GoogleWave以及即将推出的ChromeOS等。但是Javascript作为一种脚本语言有其先天的局限性,扩展JavaScript引擎可以使基于浏览器的应用的功能更加丰富。CAR作为一种二进制构件技术,可以在运行时动态加栽、反射。利用CAR的这些特性,可以实现对浏览器的JavaScript引擎的本地化扩展,大大提高JavaScript的运行效率与能力。
关键词
JAVASCRIPT引擎
V8
CAR构件
本地化扩展
回调模型
Keywords
JavaScript engine
v8
CAR component
native extension
callback model
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于CAR构件技术回调函数线程模型的研究
14
作者
王文静
陈榕
机构
同济大学嵌入式系统教育部重点实验室
出处
《现代计算机》
2007年第7期4-6,15,共4页
基金
国家"十五"863高科技发展研究计划资助项目(863-2001AA113400)
信息产业科技发展"十一五"计划及2020年中长期发展规划嵌入式基础软件重点项目
文摘
CAR构件技术作为一种新型的、功能强大的构件技术,针对其特点,在CAR构件回调机制的基础上提出了基于CAR构件技术回调函数的线程模型,从而提高应用程序的模块化程度,加速应用程序的开发过程。
关键词
回调
异步
CAIL构件技术
线程模型
Keywords
callback
Asynchronism
CAR(Component Assembly Runtime) Component Technology
Thread
model
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
利用通用数据交换模型实现多体系结构系统互操作的方法
董志华
朱元昌
邸彦强
《北京工业大学学报》
CAS
CSCD
北大核心
2015
4
下载PDF
职称材料
2
基于逆向物流的废旧产品回收模式分析
闫欣欣
金姣
《商品储运与养护》
2008
5
下载PDF
职称材料
3
一种元数据驱动的通用GIS应用集成模型
袁满
李金荣
高俊涛
范忠钰
《计算机工程》
CAS
CSCD
2012
1
下载PDF
职称材料
4
基于概率模型检测的移动应用缺陷评估
张国强
殷博
朱静雯
康介恢
《计算机工程与设计》
北大核心
2019
2
下载PDF
职称材料
5
网格环境下基于HLA的自适应仿真研究
黄继杰
李伯虎
柴旭东
《系统仿真学报》
EI
CAS
CSCD
北大核心
2008
0
原文传递
6
基于GUI的Buck变换器仿真研究
许智榜
石晓瑛
《华东交通大学学报》
2012
0
下载PDF
职称材料
7
基于CORBA事件服务的异步通信
巩方浩
祈明龙
《电子设计工程》
2010
1
下载PDF
职称材料
8
异步模型Asio的应用与分析
胡杨
梁昉昕
《现代计算机》
2008
4
下载PDF
职称材料
9
基于B/S的扫码支付平台的设计
汪天星
程耕国
《现代电子技术》
北大核心
2018
4
下载PDF
职称材料
10
基于DCOM的软件模型
罗峰
《济宁师范专科学校学报》
2005
1
下载PDF
职称材料
11
安卓应用的回调序列与模型检测应用
崔洁
陈亮
康介恢
吴彦峰
于家伟
《计算机工程与设计》
北大核心
2019
0
下载PDF
职称材料
12
城市空间信息服务共享平台研究与应用
罗雁
邹梦秋
王刚
刘福成
《城市勘测》
2012
3
下载PDF
职称材料
13
V8与CAR构件互操作技术研究
袁轶
陈榕
《电脑知识与技术》
2010
0
下载PDF
职称材料
14
基于CAR构件技术回调函数线程模型的研究
王文静
陈榕
《现代计算机》
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部