CPN建模语言是一种通用建模语言,即它不是着重于为特殊类型系统建模,而是旨在实现一个广泛类型的并发系统的建模。
典型的CP-nets应用领域包括通信协议,数据网,分布式算法及嵌入式系统。
然而,CP-nets也适用于更广泛地以并发性和交互性为主要特点的系统建模。
本文介绍了CPN建模语言和如何使用CPNTools中支持的构建、模拟、状态空间分析、性能分析,和可视化的说明。
2024/1/16 10:32:40 1.34MB CPN,CPN Tools,教程
1
TPC-H工具包针对数据库不同的使用场景TPC组织发布了多项测试标准。
TPC-H是决策支持的基准测试。
它由一套面向业务的即席查询和并发数据修改组成。
这些查询和填充数据库的数据具有广泛的行业相关性。
该基准测试展示了决策支持系统,它可以检索大量数据,执行高度复杂的查询,并为关键业务问题提供答案。
2024/1/6 6:02:44 24.69MB TPC-H SQL标准测试
1
本书是关于Oracle技术入门型教材,系统介绍了Oracle核心术语、工具、概念和架构。
全书覆盖至Oracle9i版本的功能介绍内容包括:基础性和高级OracleSQL知识;
Oracle开发工具SQL*plus;
介绍表、索引、事务、并发控制、视图、触发器和对象;
使用pl/sql在数据库中编写过程式代码,并对其进行打包;
保证Oracle应用的安全;
评估并调试Oracle应用的安全;
学习在数据中使用脚本的SQLToolkit。
最后,本书提供了两个案例分析,通过创建两个世纪的Oracle应用帮助读者掌握本书内容此书适用于具备SQL和关系数据库的基础知识,希望学习Oracle数据知识的各级读者
2023/12/28 16:49:23 15.87MB Oracle经典
1
说唱rap(par[::-1])是高级且快速的python异步rpcrap通过msgpack和Pythonasyncio以及多路复用conn实现了非常快速的通信,同时支持高并发性。
实施protobuf的Grpc通过Python函数和TypeHint。
注意:当前的rapAPI在后续版本中可能会发生重大变化说唱第一版功能的想法来自1.安装pipinstallrap2.快速入门服务器importasynciofromtypingimportAsyncIteratorfromrap.serverimportServerdefsync_sum(a:int,b:int)->int:returna+basyncdefasync_sum(a:int,b:int)->int:
2023/12/26 21:31:37 81KB rpc asyncio rap async-rpc
1
Spring5.0官方中文文档新特性:升级到JavaSE8和JavaEE7反应式编程模型使用注解进行编程函数式编程使用REST端点执行反应式编程HTTP/2支持Kotlin和SpringWebFlux使用Lambda表达式注册beanSpringWebMVC支持最新的API使用JUnit5执行条件和并发测试使用SpringWebFlux执行集成测试包清理和弃用对Spring核心和容器的一般更新
2023/12/26 14:08:31 80B spring5.0 官方文档
1
一、系统概述21.1课程设计目的31.2课程设计要求31.3课程设计的主要设计思想3二、需求分析32.1用户对系统的要求32.2系统功能要求3三、算法分析43.1多线程43.2并发控制43.3产生方块43.4方块变形43.5边界控制53.6级别提升5四、系统设计54.1概要设计54.1.1包的划分54.1.2类的层次关系54.1.3用户界面64.2详细设计94.2.1类属性及方法的设计94.2.2详尽算法分析13五、程序调试及运行结果14六、课程设计总结15七、附录157.1源代码15八、参考文献16
2023/12/25 23:22:57 2.2MB java 俄罗斯方块 swing 多线程
1
LoadRunner是通过先记录并保存用户的实际操作过程、再模拟用户操作过程来测试系统性能的自动化负载测试工具。
它适用于各种体系架构,主要用于测试并发程序的性能(从软件配置主要测试用户数就可以看出)。
它能自动分析测试结果,产生丰富的图表。
能模拟成千上万用户实施并发负载及实时性能监测。
2023/12/25 3:37:01 2.93MB 软件测试
1
2)基于JavaSocketTCP和UDP实现一个简易的网络文件服务程序,包含服务器端FileServer和客户端FileClient;
3)服务器端启动时需传递root目录参数,并校验该目录是否有效;
4)服务器启动后,开启TCP:2021端口,UDP:2020端口,其中,TCP连接负责与用户交互,UDP负责传送文件;
5)客户端启动后,连接指定服务器的TCP2021端口,成功后,服务器端回复信息:“客户端IP地址:客户端端口号>连接成功”;
6)连接成功后,用户可通过客户端命令行执行以下命令:[1]ls服务器返回当前目录文件列表(namesize)[2]cd进入指定目录(需判断目录是否存在,并给出提示)[3]get通过UDP下载指定文件,保存到客户端当前目录下[4]bye断开连接,客户端运行完毕7)服务器端支持多用户并发访问,不用考虑文件过大或UDP传输不可靠的问题。
2023/12/21 2:01:51 13KB socket tcp udp
1
TPC-H工具包针对数据库不同的使用场景TPC组织发布了多项测试标准。
TPC-H是决策支持的基准测试。
它由一套面向业务的即席查询和并发数据修改组成。
这些查询和填充数据库的数据具有广泛的行业相关性。
该基准测试展示了决策支持系统,它可以检索大量数据,执行高度复杂的查询,并为关键业务问题提供答案
2023/12/19 16:17:32 20.91MB benchmark tcph 数据库 OLAP
1
springboot项目研发1和2是一套,前后端分离,有支付,有短信接口,有通道接口,支持高并发,开发app
2023/12/18 5:11:27 95.21MB java
1
共 389 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡