注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 使用UPPAAL进行模型检查：这是INSE 6250的课程项目。它专注于开发模型并使用任何模型检查器工具检查正确性-源码

  2. INSE 6250-软件质量方法论（2020年冬季） 教授：贾马尔·本塔哈（Jamal Bentahar） 项目详情： 主题：使用UPPAAL进行模型检查。 将开发的模型：蒙特利尔地铁上基于Web的售票机。 模型检查器工具： UPPAAL [ ] 为了检查此模型的有效性，我想使用UPPAAL模型检查器，它是用于实时系统建模，验证和验证的集成工具环境。 抽象的 售票机是一种售票机，可生产纸质或电子票或为储值卡或智能卡或用户的移动钱包充值，通常在智能手机上。 例如，售票机在火车站分配火车票

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：28311552
    • 提供者：weixin_42117037

  1. carparkapplication：示例Spring Boot Rest应用程序-源码

  2. 停车场申请 使用Spring Boot + JDBC + Swagger构建的示例Spring Boot Rest应用程序（用于文档） 问题陈述 我拥有一个多层停车场，在任何给定时间点最多可容纳n辆汽车。 每个插槽都有一个从1开始的数字，并随着与入口点的距离增加而递增，步长为1。 我想创建一个自动售票系统，使我的客户无需人工干预即可使用我的停车场。 当汽车进入我的停车场时，我想向驾驶员出票。 票证的发行过程包括记录登记号（车牌）和汽车的颜色，并在实际向驾驶员处理车票之前为汽车分配一个可用的停

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：67584
    • 提供者：weixin_42127748

  1. Safar-Suhaana：一个Python巴士售票系统，使用mysql作为脱机数据库和tkinter库进行GUI实现-源码

  2. 萨法尔·苏哈纳（Safar Suhaana） 一个使用mysql作为脱机数据库和tkinter库进行GUI实现的python公交车票预订系统。 通过在IDLE中执行“ safar_suhaana”来运行项目 要求： Python 3.x 皮尔 Y 要安装PIL： 以管理员身份运行命令提示符 执行此命令 pip install pillow 要安装PYGLET： 以管理员身份运行命令提示符 执行此命令 pip install pyglet 感谢您的运行:)项目创建者：Spanda

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：1048576
    • 提供者：weixin_42128988

  1. 项目1-源码

  2. 车票 描述 CarVets是一款用于在用户当前位置附近查找汽车维修店的应用程序。 它将拉起一张地图，显示用户的当前位置以及20个最近的汽车维修店。 然后，用户将能够选择这些位置之一，并有模式显示有关该位置的基本信息，包括该位置的名称，地址，等级以及获取路线的链接。 该网站整合了Google的javascr ipt Map API，Place API和Maps URL API。 安装 无需安装，因为它可以与任何浏览器一起使用。 用法 页面启动时，将拉出用户的位置，并生成包含20个最近的自动修复位置

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：4096
    • 提供者：weixin_42139357

  1. 查找魁北克蒙特利尔巴士-源码

  2. 查找巴士票 该项目包括建立一个页面，以使用Busbud API查找公交车票。 主要图书馆 React 打字稿 测试库 笑话 下一个10.xx 样式化的组件5.xx 更漂亮 服务器端渲染（SSR） 驻波比 Reacti18next 故事书 日期Fns 贡献 01.安装依赖项 $ yarn 02.创建配置 在项目的根目录下创建一个.env文件。 确保遵循文件作为指南。 03.运行测试 $ yarn test 03.运行项目 $ yarn dev 03.运行故事书 $ yarn storybo

  3. 所属分类：其它

    • 发布日期：2021-02-07
    • 文件大小：696320
    • 提供者：weixin_42117340

  1. carpoolear：用于阿根廷拼车应用程序的开源Vue.js前端（移动和Cordova应用程序）：Carpoolear-源码

  2. 拼车前端 西班牙文 阿根廷汽车租赁公司和社交媒体合作社，阿根廷的汽车租赁公司使用自动取款机。 在阿根廷拼车的特别活动，包括普通车票和普通车票。 从欧洲到欧洲的拼车旅行，从欧洲到欧洲的通俗旅行，从西班牙到欧洲的旅行社，从西班牙到欧洲的通俗旅行。 英语 Carpoolear是阿根廷第一个Facebook应用程序，它允许该社交网络的用户与其他用户共享汽车旅行。 这是阿根廷的特别定制，具有拼车理念，其中包括与其他人共享我们的汽车旅行。 拼车是美国和欧洲的一种流行做法，是有组织的做法，目的是增加邻居和

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：16777216
    • 提供者：weixin_42129113

  1. 从排队等待谈进度条设计

  2. 排队等待是一种日常中常见的现象，例如新年领开工利是、去排队购买首发的苹果产品、每天中午去食堂排队购买午餐。排队等待在我们的生活中无处不在且看似是一个简单的现象。即使是种简单的存在，但也有其复杂的一面，当存在着很多条队列时，确定每条队列是做什么的就变得困难了；在加入队列后，人们会产生：大概要等多久？为什么队伍很久没有往前移动？等诸多疑问。无法解释的等待是令人烦躁的，不公平的等待则可能引发人们的怒火。经历过领开工利是的同学应该对于当天排队等待的回忆不会很糟，甚至觉得还不错，是一个值得回忆的经历，明年

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：150528
    • 提供者：weixin_38641150

  1. 如果火车票是一款产品，他们打算这样设计

  2. 前两天写工作日志，在看一些纪念性的小东西。其中一张今年3月从上海到北京的火车票，多少勾起了我对当时的回忆。望着车票出神，却也越发觉得这张车票有意义但并不美观，从产品设计的角度来看可能问题更多。我把这种感觉以问题的方式在PMClub微信群（一群互联网小伙伴们聊天提问的地方）中提出：火车票是乘客搭乘固定班次列车的资格凭证，人们使用它的场景可能有三种：上车前凭票乘车、上车后找到座位和下车后的纪念保存偶尔翻看。具体看车票中罗列的信息也是在满足以上使用场景的，只是信息的布置比较混乱，视觉体验不够友好。如果

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：1048576
    • 提供者：weixin_38711643

  1. 《今天你买到票了吗？——从铁道部12306.cn网站漫谈电子商务网站的“海量事务高速处理”系统》

  2. 首发地址：。一万四千字电子商务网站干货贴，贯穿产品、研发、运维三大领域，没有耐心读完的读者慎入，另外，本文不是教你如何订到车票的。 宁夏卫视《第一财经》《首席评论》2012年1月12日《被“网”住的铁道部》。视频请猛击Flash请直接观看 采访新闻上了新浪的首页 采访新闻上了腾讯的首页 我在新浪微博上转发了几条已知的预订火车票的技术漏洞

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：613376
    • 提供者：weixin_38642636

  1. Java中有两种实现多线程的方式以及两种方式之间的区别

  2. Java中有两种实现多线程的方式。一是直接继承Thread类，二是实现Runnable接口。那么这两种实现多线程的方式在应用上有什么区别呢？ 　　为了回答这个问题，我们可以通过编写一段代码来进行分析。我们用代码来模拟铁路售票系统，实现通过四个售票点发售某日某次列车的100张车票，一个售票点用一个线程表示。 　　我们首先这样编写这个程序： 　　Java代码  Java中有两种实现多线程的方式以及两种方式之间的区别  Java中有两种实现多线程的方式以及两种方式之间的区别 　　classTh

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：66560
    • 提供者：weixin_38730129

  1. NFC手机支付在公交电子收费系统中的应用

  2. 引言 　　NFC作为一种短距离的无线连接技术标准，可以简单又安全地实现电子终端之间的通讯：只需将两个NFC兼容终端互相靠近至几厘米的距离，或者让两个终端彼此 “接触”，就能实现通讯。NFC的应用包括非接触交易，例如支付和交通票务，数据交换，包括日历同步或电子名片交换以及存取在线数字内容。 　　在城市推进信息化的过程中，都迈出了巨大的一步——公交一卡通。这种方式使市民的出行更加方便，不需现金购买车票。这是基本的应用，而更多的应用则体现在小额支付领域。一卡通就是NFC技术的典型应用，而现在将NFC技

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：58368
    • 提供者：weixin_38600017

  1. SONY发表具备触控功能的3.5吋液晶显示器

  2. SONY发表一款内建触控功能的液晶显示器，画面尺寸3.5吋，分辨率640×480像素。可以手指同时五点触控输入，亦可利用触控笔顺畅手写输入文字或绘图。产品预定于2008下半年开始样品出货，将以移动电话、便携式媒体播放器、掌上型游戏机、摄影机等为主要应用领域。 　　目前触控面板除应用于铁路车票销售、ATM外，也逐渐普及于移动电话、音乐播放器等产品。过去同型产品均采用于液晶面板表面贴附触控面板的方式，不仅会增加厚度，同时也会降低设计的自由度、亮度与画质。 　　相较于此，新产品采用低温多晶硅S

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：40960
    • 提供者：weixin_38582506

  1. jquery实现网页查找功能示例分享

  2. 本文以查找车站名为例，仿12306官网查找车站售票时间页面效果，当用户输入关键字点击查找按钮或按回车键时，jQuery通过正则匹配内容，准确匹配关键字，并迅速将页面定位滚动到第一个匹配的位置，并显示相关信息（本例中附加信息为车站开始售票时间）。 HTML页面需要放置一个输入框用来输入要查找的关键字，以及一个查找按钮，然后就是主体内容#content，里面包含着n个，即每个时间段开售车票的车站名。  代码如下:     <input class=”textbox” id=”searchstr

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：66560
    • 提供者：weixin_38657848

  1. 远距离微波卡在智能停车场管理系统的应用

  2. RFID技术是一门用途很广泛的科学技术，其应用领域非常广，包括动物识别、容器识别、工具识别、电子闭锁防盗，电子车票、电子身份证、电子闭锁防盗(电子遥控门锁控制器)、小区物业管理、大厦门禁系统，铁路车辆自动识别、集装箱识别，公路车辆识别与自动收费系统，移动车辆识别、电子闭锁防盗(电子遥控门锁控制器)、医疗科研等。本文主要介绍远距离微波卡在智能停车场管理系统应用。 　　1. 概述 　　随着社会的进步和发展，人们的生活方式发生着深刻的变化。城市的交通拥挤便是这种变化引起的现象之一。城市由于交通设施

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：122880
    • 提供者：weixin_38694699

  1. NFC有望引领更安全的便捷门禁系统

  2. 过去数十年，我们采用塑胶卡片验证身份以及其他一卡通的应用，但随着智能手机的流行，用户期望以更便利的方式来完成这些应用。NFC技术的出现恰好应对了这方面的诉求，NFC 技术能够在几厘米的近距离内实现数据交换，从而为支持NFC的手机实现多种非接触式应用和交易，包括付款和公交车票、钥匙（门禁卡）、数据传输（包括电子商务卡）以及浏览网络资料。 　　目前NFC 技术的应用集中在电子支付，但未来NFC技术将进一步融合到门禁解决方案，从而为安防市场带来的新的发展机会。用户只需将虚拟凭证卡配置到NFC 手机中

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：167936
    • 提供者：weixin_38557670

  1. PHPProject-源码

  2. 铁路预订系统PHP 为希望通过BookingTickets进行旅行的用​​户设计了铁路车票预订，预订和取消系统，主要包括：HTML，PHP，Javascr ipt，MySQL数据库。

  3. 所属分类：其它

    • 发布日期：2021-03-31
    • 文件大小：14680064
    • 提供者：weixin_42126274

  1. Ticket-Reservation-System:课程项目-源码

  2. 一，项目目标 订票系统包括浏览当前所有火车的信息，包含启动站与终点站，通道的站点，发车日期和时间，到站时刻，余票情况，座位和票价；查询功能包含对车次的查询，也可以按照分段进行查询，其次是对已经购买订单的查询，线下也可以进行购票，数据库中的余票情况相应减少，购买功能包括替换日期，车次和区间后进行购买，同时线下购票时也会相应减少数据库中的车票记录，目的是方便人们日常购买车票。 二，项目时间 项目启动时间：2021-3-17项目预计上线时间：2021-6-15 三，项目成员 项目组长：霍达项目成员：霍

  3. 所属分类：其它

    • 发布日期：2021-03-29
    • 文件大小：217088
    • 提供者：weixin_42101237

  1. 关于微信小程序的二三事（理论篇）

  2. 前言： 看待事物的角度不能只站在技术方面，所以本文想谈一些和技术不是那么密切的东西，技术篇看这儿。 本文主要讨论一下， 小程序存在的意义。 正文 小程序的价值 微信已经集成了很多功能： 早起打车，中午点外卖，晚上看电影，酒店开房，过年抢车票等等。 但是除了这些相对高频的功能，还有很多低频的功能是微信没有的，比如：买卖二手，租车，租房，挂号，问诊等。 而微信明显是不甘于只做一个社交软件的，微信的野望是完全融入国民的生活，所以这些低频但是又不可或缺的服务，就需要有一个工具来承担，这就是微信小程序存在

  3. 所属分类：其它

    • 发布日期：2021-03-29
    • 文件大小：81920
    • 提供者：weixin_38700409

  1. php-src:php源码阅读-源码

  2. PHP解释器 这是位于的官方PHP存储库的github镜像。 拉取请求 PHP通过github接受拉取请求。 讨论在github上进行，但根据主题，也可以转发给正式PHP开发人员mailinglist 。 新功能需要RFC，并且必须为开发人员所接受。 有关该过程的更多信息，请参见和 。 Bug修复不需要RFC，但需要一个错误追踪系统车票。 始终在打开票证，并使用#NNNNNN引用错误ID。 Fix #55371: get_magic_quotes_gpc() throws depreca

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：23068672
    • 提供者：weixin_42128988
« 1 2 ... 24 25 26 27 28 29»