我爱方案网    26人浏览/7人投稿    135天前    待托管赏金

【功能要求】 该项目技术适用于智能电梯摄像头产品 1. 产品所有功能： 1）摄像头模组利用算法对电梯开关门状态识别 2）运行的位置楼层进行识别 3）能够实现对电动车、人员数量等进行识别和数据统计 4）识别性能：乙方硬件配合甲方软件做算法，正确识别效>95%,识别时间

YesPMP    61人浏览/7人投稿    135天前    待托管赏金

想找套关于无人机飞行原理和结构原理教学系统  源码，预算大概2w到3w左右  是仿真不是实物，能够半实物控制无人机飞行，相关或类似系统 成品源码 不接受定制开发，价格可谈 

YesPMP    21人浏览/7人投稿    135天前    待托管赏金

单机互动游戏开发，要求有相关项目经验的服务商合作，具体功能要求见附件文档，请仔细查看确定能做再接单，谢谢。 有相关项目经验，按时交付

YesPMP    54人浏览/7人投稿    135天前    待托管赏金

数据标注兼职日结，可以做这方向的竞标沟通，具体的详细聊 。

互站网    40人浏览/7人投稿    135天前    待托管赏金

做一套跨境电商系统（接单者自行提供源码二开），要求美化界面功能要求如下： Pc后端管理（管理用户，商品，订单，库存等）h5用户端商城（首页，商品列表，购物车，个人中心，注册，集成国际抖音登录）   。   支付平台（国际银联+paypal）    仿写系统界面：www.ecloudmall99.com（一定要百分之95相似度）

电鸭    17人浏览/7人投稿    134天前    待托管赏金

岗位职责： 1）负责公司区块链应用的智能合约实现，根据产品需求和项目计划，完成业务设计，开发，自测，联调，部署与交付。 2）根据用户场景或业务需求给出基于区块链技术的多种解决方案。 3）关注区块链技术最新的行业动态，与团队共同推动公司区块链技术的持续迭代升级。 工作地点可以灵活，可在线远程协作（需要接受在线办公规则）。 **职位描述： ** 1）计算机技术相关专业，拥有Solidity智能合约开发经验 (ERC721、ERC1155) 2）拥有一定的架构设计能力，能独立完成业务层的智能合约实现 3）熟悉区块链技术的主要构成，至少熟悉如Ethereum，Tendermint，HyperledgerFabric之一的区块链底层框架 4）拥有数据库开发经验，或熟悉Docker，Kubernetes等运行机制优先 5）尊重自己的产出，写完代码会主动进行单元自测 6）较强的学习和钻研能力，对新技术、新内容感兴趣并敢于尝试，乐于分享 7）对区块链技术应用有自己的理解 8）对JavaScript，Python熟悉，并熟悉前后端开发的优先考虑 多少钱一个月 ？ 希望深度沟通一下

互站网    27人浏览/7人投稿    134天前    待托管赏金

小程序前端开发，uniapp，10个页面左右河南郑州技术优先，可长期合作

互站网    48人浏览/7人投稿    133天前    待托管赏金

原生java安卓部分页面和功能修改,只需要负责安卓前端的任务，

互站网    32人浏览/7人投稿    132天前    待托管赏金

1.内核为https://ourcms.cn/，我自己买了商业版，可以提供插件开发手册（https://doc.ourcms.cn/show/news-150.html）后台演示地址： 2.目前发帖模式（需前往后台演示登陆后以下链接才生效）2.1网站后台发帖 https://demo.ourcms.cn/myadmin/index.php?t=open&n=comsite&c=index&a=edit&action=news2.1通过网站自带的api接口发帖 https://demo.ourcms.cn/myadmin/index.php?t=open&n=comsite&c=collect&a=jianshu3.具体需求 3.1发布内容的时候可选生成pdf、word到指定目录3.2生成的内容为当前文章字段的内容（代码） 如文章内容为：你好 你好我好大家好那生成的内容就是以上代码字段，不讲求排版格式，生成就好。 3.3.生成的文件标题为随机数字加文章名（文章名不能有特殊字符和标点符号）

电鸭    26人浏览/7人投稿    132天前    待托管赏金

【工作内容】 1、使用Lean4形式化数学竞赛题目的解题过程，确保形式化结果清晰易懂、符合逻辑并通过Lean验证 2、学习最新形式化方法和工具，提升技能，协作解决形式化中的技术难题。 薪资面议，可谈 【岗位要求】 1、数学/理科相关专业优先，参加过数学竞赛且获奖者优先;精通初高中数学竞赛知识和相关运算，成绩优异; 2、熟练应用Lean数据编程语言，能依据国际奥赛的解题步骤答案，输出Lean语言的推理步骤，并验证无误; 3、扎实的数学基础，精通形式化定理证明语言Lean4，具备出色的Lean4编程能力，能够熟练运用Lean4进行数学定理的形式化工作; 4、优先考虑具有以下经验者:参与过形式化证明项目对Mathlib有commit经历，熟悉Lean语言元编程，具备训练或部署LLM辅助自动定理证明的经验。